Trace number 4541764

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
roundingsat-ls-log 63f22ad? (TO) 3600.11 3610.91

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
equalities/wallacecomm/normalized-27wallacecomm_greater_teq.opb
MD5SUMc5f0df1008e51f7adaa039b331d221c7
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5122
Total number of constraints7110
Number of constraints which are clauses4374
Number of constraints which are cardinality constraints (but not clauses)108
Number of constraints which are nor clauses,nor cardinality constraints2628
Minimum length of a constraint1
Maximum length of a constraint108
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 9007199254740992
Number of bits of the biggest number in a constraint 54
Biggest sum of numbers in a constraint 36028797018963967
Number of bits of the biggest sum of numbers55
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.03	c RoundingSat 2
0.00/0.03	c branch pb25
0.00/0.03	c commit 63f22ad
0.00/0.09	c #variables 5122 #constraints 9683
0.00/0.09	c rational objective 0
2.45/2.51	c #Conflicts:       1000 | #Constraints:      10682
2.45/2.51	c #Conflicts:       2000 | #Constraints:      11682
2.45/2.51	c INPROCESSING
2.45/2.51	c GARBAGE COLLECT
2.45/2.51	c rational objective 0
91.52/91.86	c #Conflicts:       3000 | #Constraints:      11639
91.52/91.86	c #Conflicts:       4000 | #Constraints:      12639
91.52/91.86	c INPROCESSING
91.52/91.86	c GARBAGE COLLECT
91.52/91.86	c #Conflicts:       5000 | #Constraints:      12061
91.52/91.86	c #Conflicts:       6000 | #Constraints:      13061
91.52/91.86	c INPROCESSING
91.52/91.86	c GARBAGE COLLECT
91.52/91.86	c #Conflicts:       7000 | #Constraints:      12072
91.52/91.86	c #Conflicts:       8000 | #Constraints:      13072
91.52/91.86	c #Conflicts:       9000 | #Constraints:      14072
91.52/91.86	c INPROCESSING
91.52/91.86	c GARBAGE COLLECT
91.52/91.86	c #Conflicts:      10000 | #Constraints:      12795
91.52/91.86	c #Conflicts:      11000 | #Constraints:      13795
91.52/91.86	c #Conflicts:      12000 | #Constraints:      14795
91.52/91.86	c INPROCESSING
91.52/91.86	c GARBAGE COLLECT
91.52/91.86	c #Conflicts:      13000 | #Constraints:      13249
91.52/91.86	c #Conflicts:      14000 | #Constraints:      14249
91.52/91.86	c #Conflicts:      15000 | #Constraints:      15249
91.52/91.86	c INPROCESSING
91.52/91.86	c GARBAGE COLLECT
91.52/91.86	c #Conflicts:      16000 | #Constraints:      13492
91.52/91.86	c #Conflicts:      17000 | #Constraints:      14492
91.52/91.86	c #Conflicts:      18000 | #Constraints:      15492
91.52/91.86	c INPROCESSING
91.52/91.86	c GARBAGE COLLECT
91.52/91.86	c #Conflicts:      19000 | #Constraints:      13506
91.52/91.86	c #Conflicts:      20000 | #Constraints:      14506
91.52/91.86	c #Conflicts:      21000 | #Constraints:      15506
91.52/91.86	c INPROCESSING
91.52/91.86	c GARBAGE COLLECT
91.52/91.86	c #Conflicts:      22000 | #Constraints:      13325
91.52/91.86	c #Conflicts:      23000 | #Constraints:      14325
91.52/91.86	c #Conflicts:      24000 | #Constraints:      15325
91.52/91.86	c #Conflicts:      25000 | #Constraints:      16325
91.52/91.86	c INPROCESSING
91.52/91.86	c GARBAGE COLLECT
91.52/91.86	c #Conflicts:      26000 | #Constraints:      13940
91.52/91.86	c #Conflicts:      27000 | #Constraints:      14940
91.52/91.86	c #Conflicts:      28000 | #Constraints:      15940
91.52/91.86	c #Conflicts:      29000 | #Constraints:      16940
91.52/91.86	c INPROCESSING
91.52/91.86	c GARBAGE COLLECT
91.52/91.86	c #Conflicts:      30000 | #Constraints:      14355
91.52/91.86	c #Conflicts:      31000 | #Constraints:      15355
91.52/91.86	c #Conflicts:      32000 | #Constraints:      16355
91.52/91.86	c #Conflicts:      33000 | #Constraints:      17355
91.52/91.86	c INPROCESSING
91.52/91.86	c GARBAGE COLLECT
91.52/91.86	c #Conflicts:      34000 | #Constraints:      14573
91.52/91.86	c #Conflicts:      35000 | #Constraints:      15573
91.52/91.86	c #Conflicts:      36000 | #Constraints:      16573
91.52/91.86	c #Conflicts:      37000 | #Constraints:      17573
91.52/91.86	c #Conflicts:      38000 | #Constraints:      18573
91.52/91.86	c #Conflicts:      39000 | #Constraints:      19573
91.52/91.86	c #Conflicts:      40000 | #Constraints:      20573
91.52/91.86	c #Conflicts:      41000 | #Constraints:      21573
91.52/91.86	c #Conflicts:      42000 | #Constraints:      22573
91.52/91.86	c #Conflicts:      43000 | #Constraints:      23573
91.52/91.86	c #Conflicts:      44000 | #Constraints:      24573
91.52/91.86	c #Conflicts:      45000 | #Constraints:      25573
91.52/91.86	c #Conflicts:      46000 | #Constraints:      26573
91.52/91.86	c #Conflicts:      47000 | #Constraints:      27573
91.52/91.86	c #Conflicts:      48000 | #Constraints:      28573
91.52/91.86	c INPROCESSING
91.52/91.86	c GARBAGE COLLECT
91.52/91.86	c #Conflicts:      49000 | #Constraints:      20196
91.52/91.86	c #Conflicts:      50000 | #Constraints:      21196
91.52/91.86	c #Conflicts:      51000 | #Constraints:      22196
91.52/91.86	c #Conflicts:      52000 | #Constraints:      23196
91.52/91.86	c #Conflicts:      53000 | #Constraints:      24196
91.52/91.86	c INPROCESSING
91.52/91.86	c GARBAGE COLLECT
91.52/91.86	c rational objective 0
162.93/163.44	c #Conflicts:      54000 | #Constraints:      17861
162.93/163.44	c #Conflicts:      55000 | #Constraints:      18861
162.93/163.44	c #Conflicts:      56000 | #Constraints:      19861
162.93/163.44	c #Conflicts:      57000 | #Constraints:      20861
162.93/163.44	c #Conflicts:      58000 | #Constraints:      21861
162.93/163.44	c INPROCESSING
162.93/163.44	c GARBAGE COLLECT
162.93/163.44	c #Conflicts:      59000 | #Constraints:      16456
162.93/163.44	c #Conflicts:      60000 | #Constraints:      17456
162.93/163.44	c #Conflicts:      61000 | #Constraints:      18456
162.93/163.44	c #Conflicts:      62000 | #Constraints:      19456
162.93/163.44	c #Conflicts:      63000 | #Constraints:      20456
162.93/163.44	c #Conflicts:      64000 | #Constraints:      21456
162.93/163.44	c INPROCESSING
162.93/163.44	c GARBAGE COLLECT
162.93/163.44	c #Conflicts:      65000 | #Constraints:      16402
162.93/163.44	c #Conflicts:      66000 | #Constraints:      17402
162.93/163.44	c #Conflicts:      67000 | #Constraints:      18402
162.93/163.44	c #Conflicts:      68000 | #Constraints:      19402
162.93/163.44	c #Conflicts:      69000 | #Constraints:      20402
162.93/163.44	c #Conflicts:      70000 | #Constraints:      21402
162.93/163.44	c #Conflicts:      71000 | #Constraints:      22402
162.93/163.44	c #Conflicts:      72000 | #Constraints:      23402
162.93/163.44	c #Conflicts:      73000 | #Constraints:      24402
162.93/163.44	c #Conflicts:      74000 | #Constraints:      25402
162.93/163.44	c #Conflicts:      75000 | #Constraints:      26402
162.93/163.44	c #Conflicts:      76000 | #Constraints:      27402
162.93/163.44	c #Conflicts:      77000 | #Constraints:      28402
162.93/163.44	c #Conflicts:      78000 | #Constraints:      29402
162.93/163.44	c #Conflicts:      79000 | #Constraints:      30402
162.93/163.44	c #Conflicts:      80000 | #Constraints:      31402
162.93/163.44	c #Conflicts:      81000 | #Constraints:      32402
162.93/163.44	c #Conflicts:      82000 | #Constraints:      33402
162.93/163.44	c #Conflicts:      83000 | #Constraints:      34402
162.93/163.44	c #Conflicts:      84000 | #Constraints:      35402
162.93/163.44	c INPROCESSING
162.93/163.44	c GARBAGE COLLECT
162.93/163.44	c rational objective 0
229.04/229.74	c #Conflicts:      85000 | #Constraints:      23240
229.04/229.74	c #Conflicts:      86000 | #Constraints:      24240
229.04/229.74	c #Conflicts:      87000 | #Constraints:      25240
229.04/229.74	c #Conflicts:      88000 | #Constraints:      26240
229.04/229.74	c #Conflicts:      89000 | #Constraints:      27240
229.04/229.74	c #Conflicts:      90000 | #Constraints:      28240
229.04/229.74	c #Conflicts:      91000 | #Constraints:      29240
229.04/229.74	c INPROCESSING
229.04/229.74	c GARBAGE COLLECT
229.04/229.74	c #Conflicts:      92000 | #Constraints:      20201
229.04/229.74	c #Conflicts:      93000 | #Constraints:      21201
229.04/229.74	c #Conflicts:      94000 | #Constraints:      22201
229.04/229.74	c #Conflicts:      95000 | #Constraints:      23201
229.04/229.74	c #Conflicts:      96000 | #Constraints:      24201
229.04/229.74	c #Conflicts:      97000 | #Constraints:      25201
229.04/229.74	c #Conflicts:      98000 | #Constraints:      26201
229.04/229.74	c #Conflicts:      99000 | #Constraints:      27201
229.04/229.74	c INPROCESSING
229.04/229.74	c GARBAGE COLLECT
229.04/229.74	c #Conflicts:     100000 | #Constraints:      19579
229.04/229.74	c #Conflicts:     101000 | #Constraints:      20579
229.04/229.74	c #Conflicts:     102000 | #Constraints:      21579
229.04/229.74	c #Conflicts:     103000 | #Constraints:      22579
229.04/229.74	c #Conflicts:     104000 | #Constraints:      23579
229.04/229.74	c #Conflicts:     105000 | #Constraints:      24579
229.04/229.74	c #Conflicts:     106000 | #Constraints:      25579
229.04/229.74	c #Conflicts:     107000 | #Constraints:      26579
229.04/229.74	c #Conflicts:     108000 | #Constraints:      27579
229.04/229.74	c #Conflicts:     109000 | #Constraints:      28579
229.04/229.74	c #Conflicts:     110000 | #Constraints:      29579
229.04/229.74	c #Conflicts:     111000 | #Constraints:      30579
229.04/229.74	c #Conflicts:     112000 | #Constraints:      31579
229.04/229.74	c #Conflicts:     113000 | #Constraints:      32579
229.04/229.74	c #Conflicts:     114000 | #Constraints:      33579
229.04/229.74	c #Conflicts:     115000 | #Constraints:      34579
229.04/229.74	c #Conflicts:     116000 | #Constraints:      35579
229.04/229.74	c #Conflicts:     117000 | #Constraints:      36579
229.04/229.74	c #Conflicts:     118000 | #Constraints:      37579
229.04/229.74	c #Conflicts:     119000 | #Constraints:      38579
229.04/229.74	c #Conflicts:     120000 | #Constraints:      39579
229.04/229.74	c #Conflicts:     121000 | #Constraints:      40579
229.04/229.74	c #Conflicts:     122000 | #Constraints:      41579
229.04/229.74	c #Conflicts:     123000 | #Constraints:      42579
229.04/229.74	c INPROCESSING
229.04/229.74	c GARBAGE COLLECT
229.04/229.74	c rational objective 0
476.69/478.05	c #Conflicts:     124000 | #Constraints:      27020
476.69/478.05	c #Conflicts:     125000 | #Constraints:      28020
476.69/478.05	c #Conflicts:     126000 | #Constraints:      29020
476.69/478.05	c #Conflicts:     127000 | #Constraints:      30020
476.69/478.05	c #Conflicts:     128000 | #Constraints:      31020
476.69/478.05	c #Conflicts:     129000 | #Constraints:      32020
476.69/478.05	c #Conflicts:     130000 | #Constraints:      33020
476.69/478.05	c #Conflicts:     131000 | #Constraints:      34020
476.69/478.05	c #Conflicts:     132000 | #Constraints:      35020
476.69/478.05	c INPROCESSING
476.69/478.05	c GARBAGE COLLECT
476.69/478.05	c #Conflicts:     133000 | #Constraints:      23477
476.69/478.05	c #Conflicts:     134000 | #Constraints:      24477
476.69/478.05	c #Conflicts:     135000 | #Constraints:      25477
476.69/478.05	c #Conflicts:     136000 | #Constraints:      26477
476.69/478.05	c #Conflicts:     137000 | #Constraints:      27477
476.69/478.05	c #Conflicts:     138000 | #Constraints:      28477
476.69/478.05	c #Conflicts:     139000 | #Constraints:      29477
476.69/478.05	c #Conflicts:     140000 | #Constraints:      30477
476.69/478.05	c INPROCESSING
476.69/478.05	c GARBAGE COLLECT
476.69/478.05	c #Conflicts:     141000 | #Constraints:      20879
476.69/478.05	c #Conflicts:     142000 | #Constraints:      21879
476.69/478.05	c #Conflicts:     143000 | #Constraints:      22879
476.69/478.05	c #Conflicts:     144000 | #Constraints:      23879
476.69/478.05	c #Conflicts:     145000 | #Constraints:      24879
476.69/478.05	c #Conflicts:     146000 | #Constraints:      25879
476.69/478.05	c #Conflicts:     147000 | #Constraints:      26879
476.69/478.05	c #Conflicts:     148000 | #Constraints:      27879
476.69/478.05	c #Conflicts:     149000 | #Constraints:      28879
476.69/478.05	c #Conflicts:     150000 | #Constraints:      29879
476.69/478.05	c #Conflicts:     151000 | #Constraints:      30879
476.69/478.05	c #Conflicts:     152000 | #Constraints:      31879
476.69/478.05	c #Conflicts:     153000 | #Constraints:      32879
476.69/478.05	c #Conflicts:     154000 | #Constraints:      33879
476.69/478.05	c #Conflicts:     155000 | #Constraints:      34879
476.69/478.05	c #Conflicts:     156000 | #Constraints:      35879
476.69/478.05	c #Conflicts:     157000 | #Constraints:      36879
476.69/478.05	c #Conflicts:     158000 | #Constraints:      37879
476.69/478.05	c #Conflicts:     159000 | #Constraints:      38879
476.69/478.05	c #Conflicts:     160000 | #Constraints:      39879
476.69/478.05	c #Conflicts:     161000 | #Constraints:      40879
476.69/478.05	c #Conflicts:     162000 | #Constraints:      41879
476.69/478.05	c #Conflicts:     163000 | #Constraints:      42879
476.69/478.05	c #Conflicts:     164000 | #Constraints:      43879
476.69/478.05	c #Conflicts:     165000 | #Constraints:      44879
476.69/478.05	c #Conflicts:     166000 | #Constraints:      45879
476.69/478.05	c #Conflicts:     167000 | #Constraints:      46879
476.69/478.05	c #Conflicts:     168000 | #Constraints:      47879
476.69/478.05	c #Conflicts:     169000 | #Constraints:      48879
476.69/478.05	c INPROCESSING
476.69/478.05	c GARBAGE COLLECT
476.69/478.05	c #Conflicts:     170000 | #Constraints:      30243
476.69/478.05	c #Conflicts:     171000 | #Constraints:      31243
476.69/478.05	c #Conflicts:     172000 | #Constraints:      32243
476.69/478.05	c #Conflicts:     173000 | #Constraints:      33243
476.69/478.05	c #Conflicts:     174000 | #Constraints:      34243
476.69/478.05	c #Conflicts:     175000 | #Constraints:      35243
476.69/478.05	c #Conflicts:     176000 | #Constraints:      36243
476.69/478.05	c #Conflicts:     177000 | #Constraints:      37243
476.69/478.05	c #Conflicts:     178000 | #Constraints:      38243
476.69/478.05	c #Conflicts:     179000 | #Constraints:      39243
476.69/478.05	c INPROCESSING
476.69/478.05	c GARBAGE COLLECT
476.69/478.05	c #Conflicts:     180000 | #Constraints:      25455
476.69/478.05	c #Conflicts:     181000 | #Constraints:      26455
476.69/478.05	c #Conflicts:     182000 | #Constraints:      27455
476.69/478.05	c #Conflicts:     183000 | #Constraints:      28455
476.69/478.05	c #Conflicts:     184000 | #Constraints:      29455
476.69/478.05	c #Conflicts:     185000 | #Constraints:      30455
476.69/478.05	c #Conflicts:     186000 | #Constraints:      31455
476.69/478.05	c #Conflicts:     187000 | #Constraints:      32455
476.69/478.05	c #Conflicts:     188000 | #Constraints:      33455
476.69/478.05	c #Conflicts:     189000 | #Constraints:      34455
476.69/478.05	c INPROCESSING
476.69/478.05	c GARBAGE COLLECT
476.69/478.05	c #Conflicts:     190000 | #Constraints:      22960
476.69/478.05	c #Conflicts:     191000 | #Constraints:      23960
476.69/478.05	c #Conflicts:     192000 | #Constraints:      24960
476.69/478.05	c #Conflicts:     193000 | #Constraints:      25960
476.69/478.05	c #Conflicts:     194000 | #Constraints:      26960
476.69/478.05	c #Conflicts:     195000 | #Constraints:      27960
476.69/478.05	c #Conflicts:     196000 | #Constraints:      28960
476.69/478.05	c #Conflicts:     197000 | #Constraints:      29960
476.69/478.05	c #Conflicts:     198000 | #Constraints:      30960
476.69/478.05	c #Conflicts:     199000 | #Constraints:      31960
561.65/563.27	c #Conflicts:     200000 | #Constraints:      32960
561.65/563.27	c #Conflicts:     201000 | #Constraints:      33960
561.65/563.27	c #Conflicts:     202000 | #Constraints:      34960
561.65/563.27	c #Conflicts:     203000 | #Constraints:      35960
561.65/563.27	c #Conflicts:     204000 | #Constraints:      36960
561.65/563.27	c #Conflicts:     205000 | #Constraints:      37960
561.65/563.27	c #Conflicts:     206000 | #Constraints:      38960
561.65/563.27	c #Conflicts:     207000 | #Constraints:      39960
561.65/563.27	c #Conflicts:     208000 | #Constraints:      40960
561.65/563.27	c #Conflicts:     209000 | #Constraints:      41960
561.65/563.27	c #Conflicts:     210000 | #Constraints:      42960
561.65/563.27	c #Conflicts:     211000 | #Constraints:      43960
561.65/563.27	c #Conflicts:     212000 | #Constraints:      44960
561.65/563.27	c #Conflicts:     213000 | #Constraints:      45960
561.65/563.27	c #Conflicts:     214000 | #Constraints:      46960
561.65/563.27	c #Conflicts:     215000 | #Constraints:      47960
561.65/563.27	c #Conflicts:     216000 | #Constraints:      48960
561.65/563.27	c #Conflicts:     217000 | #Constraints:      49960
561.65/563.27	c #Conflicts:     218000 | #Constraints:      50960
561.65/563.27	c #Conflicts:     219000 | #Constraints:      51960
561.65/563.27	c #Conflicts:     220000 | #Constraints:      52960
561.65/563.27	c #Conflicts:     221000 | #Constraints:      53960
561.65/563.27	c #Conflicts:     222000 | #Constraints:      54960
561.65/563.27	c INPROCESSING
561.65/563.27	c GARBAGE COLLECT
561.65/563.27	c rational objective 0
756.61/758.79	c #Conflicts:     223000 | #Constraints:      33284
756.61/758.79	c #Conflicts:     224000 | #Constraints:      34284
756.61/758.79	c #Conflicts:     225000 | #Constraints:      35284
756.61/758.79	c #Conflicts:     226000 | #Constraints:      36284
756.61/758.79	c #Conflicts:     227000 | #Constraints:      37284
756.61/758.79	c #Conflicts:     228000 | #Constraints:      38284
756.61/758.79	c #Conflicts:     229000 | #Constraints:      39284
756.61/758.79	c #Conflicts:     230000 | #Constraints:      40284
756.61/758.79	c #Conflicts:     231000 | #Constraints:      41284
756.61/758.79	c #Conflicts:     232000 | #Constraints:      42284
756.61/758.79	c #Conflicts:     233000 | #Constraints:      43284
756.61/758.79	c #Conflicts:     234000 | #Constraints:      44284
756.61/758.79	c INPROCESSING
756.61/758.79	c GARBAGE COLLECT
756.61/758.79	c #Conflicts:     235000 | #Constraints:      28164
756.61/758.79	c #Conflicts:     236000 | #Constraints:      29164
756.61/758.79	c #Conflicts:     237000 | #Constraints:      30164
756.61/758.79	c #Conflicts:     238000 | #Constraints:      31164
756.61/758.79	c #Conflicts:     239000 | #Constraints:      32164
756.61/758.79	c #Conflicts:     240000 | #Constraints:      33164
756.61/758.79	c #Conflicts:     241000 | #Constraints:      34164
756.61/758.79	c #Conflicts:     242000 | #Constraints:      35164
756.61/758.79	c #Conflicts:     243000 | #Constraints:      36164
756.61/758.79	c #Conflicts:     244000 | #Constraints:      37164
756.61/758.79	c #Conflicts:     245000 | #Constraints:      38164
756.61/758.79	c INPROCESSING
756.61/758.79	c GARBAGE COLLECT
756.61/758.79	c #Conflicts:     246000 | #Constraints:      24782
756.61/758.79	c #Conflicts:     247000 | #Constraints:      25782
756.61/758.79	c #Conflicts:     248000 | #Constraints:      26782
756.61/758.79	c #Conflicts:     249000 | #Constraints:      27782
756.61/758.79	c #Conflicts:     250000 | #Constraints:      28782
756.61/758.79	c #Conflicts:     251000 | #Constraints:      29782
756.61/758.79	c #Conflicts:     252000 | #Constraints:      30782
756.61/758.79	c #Conflicts:     253000 | #Constraints:      31782
756.61/758.79	c #Conflicts:     254000 | #Constraints:      32782
756.61/758.79	c #Conflicts:     255000 | #Constraints:      33782
756.61/758.79	c #Conflicts:     256000 | #Constraints:      34782
756.61/758.79	c #Conflicts:     257000 | #Constraints:      35782
756.61/758.79	c #Conflicts:     258000 | #Constraints:      36782
756.61/758.79	c #Conflicts:     259000 | #Constraints:      37782
756.61/758.79	c #Conflicts:     260000 | #Constraints:      38782
756.61/758.79	c #Conflicts:     261000 | #Constraints:      39782
756.61/758.79	c #Conflicts:     262000 | #Constraints:      40782
756.61/758.79	c #Conflicts:     263000 | #Constraints:      41782
756.61/758.79	c #Conflicts:     264000 | #Constraints:      42782
756.61/758.79	c #Conflicts:     265000 | #Constraints:      43782
756.61/758.79	c #Conflicts:     266000 | #Constraints:      44782
756.61/758.79	c #Conflicts:     267000 | #Constraints:      45782
756.61/758.79	c #Conflicts:     268000 | #Constraints:      46782
756.61/758.79	c #Conflicts:     269000 | #Constraints:      47782
756.61/758.79	c #Conflicts:     270000 | #Constraints:      48782
756.61/758.79	c #Conflicts:     271000 | #Constraints:      49782
756.61/758.79	c #Conflicts:     272000 | #Constraints:      50782
756.61/758.79	c #Conflicts:     273000 | #Constraints:      51782
756.61/758.79	c #Conflicts:     274000 | #Constraints:      52782
756.61/758.79	c #Conflicts:     275000 | #Constraints:      53782
756.61/758.79	c #Conflicts:     276000 | #Constraints:      54782
756.61/758.79	c #Conflicts:     277000 | #Constraints:      55782
756.61/758.79	c #Conflicts:     278000 | #Constraints:      56782
756.61/758.79	c #Conflicts:     279000 | #Constraints:      57782
756.61/758.79	c #Conflicts:     280000 | #Constraints:      58782
756.61/758.79	c #Conflicts:     281000 | #Constraints:      59782
756.61/758.79	c #Conflicts:     282000 | #Constraints:      60782
756.61/758.79	c INPROCESSING
756.61/758.79	c GARBAGE COLLECT
756.61/758.79	c rational objective 0
822.93/825.20	c #Conflicts:     283000 | #Constraints:      36068
822.93/825.20	c #Conflicts:     284000 | #Constraints:      37068
822.93/825.20	c #Conflicts:     285000 | #Constraints:      38068
822.93/825.20	c #Conflicts:     286000 | #Constraints:      39068
822.93/825.20	c #Conflicts:     287000 | #Constraints:      40068
822.93/825.20	c #Conflicts:     288000 | #Constraints:      41068
822.93/825.20	c #Conflicts:     289000 | #Constraints:      42068
822.93/825.20	c #Conflicts:     290000 | #Constraints:      43068
822.93/825.20	c #Conflicts:     291000 | #Constraints:      44068
822.93/825.20	c #Conflicts:     292000 | #Constraints:      45068
822.93/825.20	c #Conflicts:     293000 | #Constraints:      46068
822.93/825.20	c #Conflicts:     294000 | #Constraints:      47068
822.93/825.20	c #Conflicts:     295000 | #Constraints:      48068
822.93/825.20	c INPROCESSING
822.93/825.20	c GARBAGE COLLECT
822.93/825.20	c #Conflicts:     296000 | #Constraints:      29729
822.93/825.20	c #Conflicts:     297000 | #Constraints:      30729
822.93/825.20	c #Conflicts:     298000 | #Constraints:      31729
822.93/825.20	c #Conflicts:     299000 | #Constraints:      32729
822.93/825.20	c #Conflicts:     300000 | #Constraints:      33729
822.93/825.20	c #Conflicts:     301000 | #Constraints:      34729
822.93/825.20	c #Conflicts:     302000 | #Constraints:      35729
822.93/825.20	c #Conflicts:     303000 | #Constraints:      36729
822.93/825.20	c #Conflicts:     304000 | #Constraints:      37729
822.93/825.20	c #Conflicts:     305000 | #Constraints:      38729
822.93/825.20	c #Conflicts:     306000 | #Constraints:      39729
822.93/825.20	c #Conflicts:     307000 | #Constraints:      40729
822.93/825.20	c #Conflicts:     308000 | #Constraints:      41729
822.93/825.20	c #Conflicts:     309000 | #Constraints:      42729
822.93/825.20	c INPROCESSING
822.93/825.20	c GARBAGE COLLECT
822.93/825.20	c rational objective 0
1045.84/1048.82	c #Conflicts:     310000 | #Constraints:      27428
1045.84/1048.82	c #Conflicts:     311000 | #Constraints:      28428
1045.84/1048.82	c #Conflicts:     312000 | #Constraints:      29428
1045.84/1048.82	c #Conflicts:     313000 | #Constraints:      30428
1045.84/1048.82	c #Conflicts:     314000 | #Constraints:      31428
1045.84/1048.82	c #Conflicts:     315000 | #Constraints:      32428
1045.84/1048.82	c #Conflicts:     316000 | #Constraints:      33428
1045.84/1048.82	c #Conflicts:     317000 | #Constraints:      34428
1045.84/1048.82	c #Conflicts:     318000 | #Constraints:      35428
1045.84/1048.82	c #Conflicts:     319000 | #Constraints:      36428
1045.84/1048.82	c #Conflicts:     320000 | #Constraints:      37428
1045.84/1048.82	c #Conflicts:     321000 | #Constraints:      38428
1045.84/1048.82	c #Conflicts:     322000 | #Constraints:      39428
1045.84/1048.82	c #Conflicts:     323000 | #Constraints:      40428
1045.84/1048.82	c #Conflicts:     324000 | #Constraints:      41428
1045.84/1048.82	c #Conflicts:     325000 | #Constraints:      42428
1045.84/1048.82	c #Conflicts:     326000 | #Constraints:      43428
1045.84/1048.82	c #Conflicts:     327000 | #Constraints:      44428
1045.84/1048.82	c #Conflicts:     328000 | #Constraints:      45428
1045.84/1048.82	c #Conflicts:     329000 | #Constraints:      46428
1045.84/1048.82	c #Conflicts:     330000 | #Constraints:      47428
1045.84/1048.82	c #Conflicts:     331000 | #Constraints:      48428
1045.84/1048.82	c #Conflicts:     332000 | #Constraints:      49428
1045.84/1048.82	c #Conflicts:     333000 | #Constraints:      50428
1045.84/1048.82	c #Conflicts:     334000 | #Constraints:      51428
1045.84/1048.82	c #Conflicts:     335000 | #Constraints:      52428
1045.84/1048.82	c #Conflicts:     336000 | #Constraints:      53428
1045.84/1048.82	c #Conflicts:     337000 | #Constraints:      54428
1045.84/1048.82	c #Conflicts:     338000 | #Constraints:      55428
1045.84/1048.82	c #Conflicts:     339000 | #Constraints:      56428
1045.84/1048.82	c #Conflicts:     340000 | #Constraints:      57428
1045.84/1048.82	c #Conflicts:     341000 | #Constraints:      58428
1045.84/1048.82	c #Conflicts:     342000 | #Constraints:      59428
1045.84/1048.82	c #Conflicts:     343000 | #Constraints:      60428
1045.84/1048.82	c #Conflicts:     344000 | #Constraints:      61428
1045.84/1048.82	c #Conflicts:     345000 | #Constraints:      62428
1045.84/1048.82	c #Conflicts:     346000 | #Constraints:      63428
1045.84/1048.82	c #Conflicts:     347000 | #Constraints:      64428
1045.84/1048.82	c #Conflicts:     348000 | #Constraints:      65428
1045.84/1048.82	c #Conflicts:     349000 | #Constraints:      66428
1045.84/1048.82	c #Conflicts:     350000 | #Constraints:      67428
1045.84/1048.82	c INPROCESSING
1045.84/1048.82	c GARBAGE COLLECT
1045.84/1048.82	c rational objective 0
1130.17/1133.43	c #Conflicts:     351000 | #Constraints:      39666
1130.17/1133.43	c #Conflicts:     352000 | #Constraints:      40666
1130.17/1133.43	c #Conflicts:     353000 | #Constraints:      41666
1130.17/1133.43	c #Conflicts:     354000 | #Constraints:      42666
1130.17/1133.43	c #Conflicts:     355000 | #Constraints:      43666
1130.17/1133.43	c #Conflicts:     356000 | #Constraints:      44666
1130.17/1133.43	c #Conflicts:     357000 | #Constraints:      45666
1130.17/1133.43	c #Conflicts:     358000 | #Constraints:      46666
1130.17/1133.43	c #Conflicts:     359000 | #Constraints:      47666
1130.17/1133.43	c #Conflicts:     360000 | #Constraints:      48666
1130.17/1133.43	c #Conflicts:     361000 | #Constraints:      49666
1130.17/1133.43	c #Conflicts:     362000 | #Constraints:      50666
1130.17/1133.43	c #Conflicts:     363000 | #Constraints:      51666
1130.17/1133.43	c #Conflicts:     364000 | #Constraints:      52666
1130.17/1133.43	c INPROCESSING
1130.17/1133.43	c GARBAGE COLLECT
1130.17/1133.43	c #Conflicts:     365000 | #Constraints:      32004
1130.17/1133.43	c #Conflicts:     366000 | #Constraints:      33004
1130.17/1133.43	c #Conflicts:     367000 | #Constraints:      34004
1130.17/1133.43	c #Conflicts:     368000 | #Constraints:      35004
1130.17/1133.43	c #Conflicts:     369000 | #Constraints:      36004
1130.17/1133.43	c #Conflicts:     370000 | #Constraints:      37004
1130.17/1133.43	c #Conflicts:     371000 | #Constraints:      38004
1130.17/1133.43	c #Conflicts:     372000 | #Constraints:      39004
1130.17/1133.43	c #Conflicts:     373000 | #Constraints:      40004
1130.17/1133.43	c #Conflicts:     374000 | #Constraints:      41004
1130.17/1133.43	c #Conflicts:     375000 | #Constraints:      42004
1130.17/1133.43	c #Conflicts:     376000 | #Constraints:      43004
1130.17/1133.43	c #Conflicts:     377000 | #Constraints:      44004
1130.17/1133.43	c #Conflicts:     378000 | #Constraints:      45004
1130.17/1133.43	c #Conflicts:     379000 | #Constraints:      46004
1130.17/1133.43	c INPROCESSING
1130.17/1133.43	c GARBAGE COLLECT
1130.17/1133.43	c rational objective 0
1455.14/1459.46	c #Conflicts:     380000 | #Constraints:      29521
1455.14/1459.46	c #Conflicts:     381000 | #Constraints:      30521
1455.14/1459.46	c #Conflicts:     382000 | #Constraints:      31521
1455.14/1459.46	c #Conflicts:     383000 | #Constraints:      32521
1455.14/1459.46	c #Conflicts:     384000 | #Constraints:      33521
1455.14/1459.46	c #Conflicts:     385000 | #Constraints:      34521
1455.14/1459.46	c #Conflicts:     386000 | #Constraints:      35521
1455.14/1459.46	c #Conflicts:     387000 | #Constraints:      36521
1455.14/1459.46	c #Conflicts:     388000 | #Constraints:      37521
1455.14/1459.46	c #Conflicts:     389000 | #Constraints:      38521
1455.14/1459.46	c #Conflicts:     390000 | #Constraints:      39521
1455.14/1459.46	c #Conflicts:     391000 | #Constraints:      40521
1455.14/1459.46	c #Conflicts:     392000 | #Constraints:      41521
1455.14/1459.46	c #Conflicts:     393000 | #Constraints:      42521
1455.14/1459.46	c #Conflicts:     394000 | #Constraints:      43521
1455.14/1459.46	c #Conflicts:     395000 | #Constraints:      44521
1455.14/1459.46	c #Conflicts:     396000 | #Constraints:      45521
1455.14/1459.46	c #Conflicts:     397000 | #Constraints:      46521
1455.14/1459.46	c #Conflicts:     398000 | #Constraints:      47521
1455.14/1459.46	c #Conflicts:     399000 | #Constraints:      48521
1455.14/1459.46	c #Conflicts:     400000 | #Constraints:      49521
1455.14/1459.46	c #Conflicts:     401000 | #Constraints:      50521
1455.14/1459.46	c #Conflicts:     402000 | #Constraints:      51521
1455.14/1459.46	c #Conflicts:     403000 | #Constraints:      52521
1455.14/1459.46	c #Conflicts:     404000 | #Constraints:      53521
1455.14/1459.46	c #Conflicts:     405000 | #Constraints:      54521
1455.14/1459.46	c #Conflicts:     406000 | #Constraints:      55521
1455.14/1459.46	c #Conflicts:     407000 | #Constraints:      56521
1455.14/1459.46	c #Conflicts:     408000 | #Constraints:      57521
1455.14/1459.46	c #Conflicts:     409000 | #Constraints:      58521
1455.14/1459.46	c #Conflicts:     410000 | #Constraints:      59521
1455.14/1459.46	c #Conflicts:     411000 | #Constraints:      60521
1455.14/1459.46	c #Conflicts:     412000 | #Constraints:      61521
1455.14/1459.46	c #Conflicts:     413000 | #Constraints:      62521
1455.14/1459.46	c #Conflicts:     414000 | #Constraints:      63521
1455.14/1459.46	c #Conflicts:     415000 | #Constraints:      64521
1455.14/1459.46	c #Conflicts:     416000 | #Constraints:      65521
1455.14/1459.46	c #Conflicts:     417000 | #Constraints:      66521
1455.14/1459.46	c #Conflicts:     418000 | #Constraints:      67521
1455.14/1459.46	c #Conflicts:     419000 | #Constraints:      68521
1455.14/1459.46	c #Conflicts:     420000 | #Constraints:      69521
1455.14/1459.46	c #Conflicts:     421000 | #Constraints:      70521
1455.14/1459.46	c #Conflicts:     422000 | #Constraints:      71521
1455.14/1459.46	c #Conflicts:     423000 | #Constraints:      72521
1455.14/1459.46	c #Conflicts:     424000 | #Constraints:      73521
1455.14/1459.46	c #Conflicts:     425000 | #Constraints:      74521
1455.14/1459.46	c INPROCESSING
1455.14/1459.46	c GARBAGE COLLECT
1455.14/1459.46	c #Conflicts:     426000 | #Constraints:      43372
1455.14/1459.46	c #Conflicts:     427000 | #Constraints:      44372
1455.14/1459.46	c #Conflicts:     428000 | #Constraints:      45372
1455.14/1459.46	c #Conflicts:     429000 | #Constraints:      46372
1455.14/1459.46	c #Conflicts:     430000 | #Constraints:      47372
1455.14/1459.46	c #Conflicts:     431000 | #Constraints:      48372
1455.14/1459.46	c #Conflicts:     432000 | #Constraints:      49372
1455.14/1459.46	c #Conflicts:     433000 | #Constraints:      50372
1455.14/1459.46	c #Conflicts:     434000 | #Constraints:      51372
1455.14/1459.46	c #Conflicts:     435000 | #Constraints:      52372
1455.14/1459.46	c #Conflicts:     436000 | #Constraints:      53372
1455.14/1459.46	c #Conflicts:     437000 | #Constraints:      54372
1455.14/1459.46	c #Conflicts:     438000 | #Constraints:      55372
1455.14/1459.46	c #Conflicts:     439000 | #Constraints:      56372
1455.14/1459.46	c #Conflicts:     440000 | #Constraints:      57372
1455.14/1459.46	c #Conflicts:     441000 | #Constraints:      58372
1455.14/1459.46	c INPROCESSING
1455.14/1459.46	c GARBAGE COLLECT
1455.14/1459.46	c #Conflicts:     442000 | #Constraints:      35288
1455.14/1459.46	c #Conflicts:     443000 | #Constraints:      36288
1455.14/1459.46	c #Conflicts:     444000 | #Constraints:      37288
1455.14/1459.46	c #Conflicts:     445000 | #Constraints:      38288
1455.14/1459.46	c #Conflicts:     446000 | #Constraints:      39288
1455.14/1459.46	c #Conflicts:     447000 | #Constraints:      40288
1455.14/1459.46	c #Conflicts:     448000 | #Constraints:      41288
1455.14/1459.46	c #Conflicts:     449000 | #Constraints:      42288
1455.14/1459.46	c #Conflicts:     450000 | #Constraints:      43288
1455.14/1459.46	c #Conflicts:     451000 | #Constraints:      44288
1455.14/1459.46	c #Conflicts:     452000 | #Constraints:      45288
1455.14/1459.46	c #Conflicts:     453000 | #Constraints:      46288
1455.14/1459.46	c #Conflicts:     454000 | #Constraints:      47288
1455.14/1459.46	c #Conflicts:     455000 | #Constraints:      48288
1455.14/1459.46	c #Conflicts:     456000 | #Constraints:      49288
1455.14/1459.46	c #Conflicts:     457000 | #Constraints:      50288
1787.94/1793.21	c INPROCESSING
1787.94/1793.21	c GARBAGE COLLECT
1787.94/1793.21	c #Conflicts:     458000 | #Constraints:      32429
1787.94/1793.21	c #Conflicts:     459000 | #Constraints:      33429
1787.94/1793.21	c #Conflicts:     460000 | #Constraints:      34429
1787.94/1793.21	c #Conflicts:     461000 | #Constraints:      35429
1787.94/1793.21	c #Conflicts:     462000 | #Constraints:      36429
1787.94/1793.21	c #Conflicts:     463000 | #Constraints:      37429
1787.94/1793.21	c #Conflicts:     464000 | #Constraints:      38429
1787.94/1793.21	c #Conflicts:     465000 | #Constraints:      39429
1787.94/1793.21	c #Conflicts:     466000 | #Constraints:      40429
1787.94/1793.21	c #Conflicts:     467000 | #Constraints:      41429
1787.94/1793.21	c #Conflicts:     468000 | #Constraints:      42429
1787.94/1793.21	c #Conflicts:     469000 | #Constraints:      43429
1787.94/1793.21	c #Conflicts:     470000 | #Constraints:      44429
1787.94/1793.21	c #Conflicts:     471000 | #Constraints:      45429
1787.94/1793.21	c #Conflicts:     472000 | #Constraints:      46429
1787.94/1793.21	c #Conflicts:     473000 | #Constraints:      47429
1787.94/1793.21	c #Conflicts:     474000 | #Constraints:      48429
1787.94/1793.21	c #Conflicts:     475000 | #Constraints:      49429
1787.94/1793.21	c #Conflicts:     476000 | #Constraints:      50429
1787.94/1793.21	c #Conflicts:     477000 | #Constraints:      51429
1787.94/1793.21	c #Conflicts:     478000 | #Constraints:      52429
1787.94/1793.21	c #Conflicts:     479000 | #Constraints:      53429
1787.94/1793.21	c #Conflicts:     480000 | #Constraints:      54429
1787.94/1793.21	c #Conflicts:     481000 | #Constraints:      55429
1787.94/1793.21	c #Conflicts:     482000 | #Constraints:      56429
1787.94/1793.21	c #Conflicts:     483000 | #Constraints:      57429
1787.94/1793.21	c #Conflicts:     484000 | #Constraints:      58429
1787.94/1793.21	c #Conflicts:     485000 | #Constraints:      59429
1787.94/1793.21	c #Conflicts:     486000 | #Constraints:      60429
1787.94/1793.21	c #Conflicts:     487000 | #Constraints:      61429
1787.94/1793.21	c #Conflicts:     488000 | #Constraints:      62429
1787.94/1793.21	c #Conflicts:     489000 | #Constraints:      63429
1787.94/1793.21	c #Conflicts:     490000 | #Constraints:      64429
1787.94/1793.21	c #Conflicts:     491000 | #Constraints:      65429
1787.94/1793.21	c #Conflicts:     492000 | #Constraints:      66429
1787.94/1793.21	c #Conflicts:     493000 | #Constraints:      67429
1787.94/1793.21	c #Conflicts:     494000 | #Constraints:      68429
1787.94/1793.21	c #Conflicts:     495000 | #Constraints:      69429
1787.94/1793.21	c #Conflicts:     496000 | #Constraints:      70429
1787.94/1793.21	c #Conflicts:     497000 | #Constraints:      71429
1787.94/1793.21	c #Conflicts:     498000 | #Constraints:      72429
1787.94/1793.21	c #Conflicts:     499000 | #Constraints:      73429
1787.94/1793.21	c #Conflicts:     500000 | #Constraints:      74429
1787.94/1793.21	c #Conflicts:     501000 | #Constraints:      75429
1787.94/1793.21	c #Conflicts:     502000 | #Constraints:      76429
1787.94/1793.21	c #Conflicts:     503000 | #Constraints:      77429
1787.94/1793.21	c #Conflicts:     504000 | #Constraints:      78429
1787.94/1793.21	c #Conflicts:     505000 | #Constraints:      79429
1787.94/1793.21	c #Conflicts:     506000 | #Constraints:      80429
1787.94/1793.21	c INPROCESSING
1787.94/1793.21	c GARBAGE COLLECT
1787.94/1793.21	c rational objective 0
2029.56/2035.62	c #Conflicts:     507000 | #Constraints:      45874
2029.56/2035.62	c #Conflicts:     508000 | #Constraints:      46874
2029.56/2035.62	c #Conflicts:     509000 | #Constraints:      47874
2029.56/2035.62	c #Conflicts:     510000 | #Constraints:      48874
2029.56/2035.62	c #Conflicts:     511000 | #Constraints:      49874
2029.56/2035.62	c #Conflicts:     512000 | #Constraints:      50874
2029.56/2035.62	c #Conflicts:     513000 | #Constraints:      51875
2029.56/2035.62	c #Conflicts:     514000 | #Constraints:      52875
2029.56/2035.62	c #Conflicts:     515000 | #Constraints:      53875
2029.56/2035.62	c #Conflicts:     516000 | #Constraints:      54875
2029.56/2035.62	c #Conflicts:     517000 | #Constraints:      55875
2029.56/2035.62	c #Conflicts:     518000 | #Constraints:      56875
2029.56/2035.62	c #Conflicts:     519000 | #Constraints:      57875
2029.56/2035.62	c #Conflicts:     520000 | #Constraints:      58875
2029.56/2035.62	c #Conflicts:     521000 | #Constraints:      59875
2029.56/2035.62	c #Conflicts:     522000 | #Constraints:      60875
2029.56/2035.62	c #Conflicts:     523000 | #Constraints:      61875
2029.56/2035.62	c #Conflicts:     524000 | #Constraints:      62875
2029.56/2035.62	c INPROCESSING
2029.56/2035.62	c GARBAGE COLLECT
2029.56/2035.62	c #Conflicts:     525000 | #Constraints:      37389
2029.56/2035.62	c #Conflicts:     526000 | #Constraints:      38389
2029.56/2035.62	c #Conflicts:     527000 | #Constraints:      39389
2029.56/2035.62	c #Conflicts:     528000 | #Constraints:      40389
2029.56/2035.62	c #Conflicts:     529000 | #Constraints:      41389
2029.56/2035.62	c #Conflicts:     530000 | #Constraints:      42389
2029.56/2035.62	c #Conflicts:     531000 | #Constraints:      43389
2029.56/2035.62	c #Conflicts:     532000 | #Constraints:      44389
2029.56/2035.62	c #Conflicts:     533000 | #Constraints:      45389
2029.56/2035.62	c #Conflicts:     534000 | #Constraints:      46389
2029.56/2035.62	c #Conflicts:     535000 | #Constraints:      47389
2029.56/2035.62	c #Conflicts:     536000 | #Constraints:      48389
2029.56/2035.62	c #Conflicts:     537000 | #Constraints:      49389
2029.56/2035.62	c #Conflicts:     538000 | #Constraints:      50389
2029.56/2035.62	c #Conflicts:     539000 | #Constraints:      51389
2029.56/2035.62	c #Conflicts:     540000 | #Constraints:      52389
2029.56/2035.62	c #Conflicts:     541000 | #Constraints:      53389
2029.56/2035.62	c #Conflicts:     542000 | #Constraints:      54389
2029.56/2035.62	c INPROCESSING
2029.56/2035.62	c GARBAGE COLLECT
2029.56/2035.62	c #Conflicts:     543000 | #Constraints:      34997
2029.56/2035.62	c #Conflicts:     544000 | #Constraints:      35997
2029.56/2035.62	c #Conflicts:     545000 | #Constraints:      36997
2029.56/2035.62	c #Conflicts:     546000 | #Constraints:      37997
2029.56/2035.62	c #Conflicts:     547000 | #Constraints:      38997
2029.56/2035.62	c #Conflicts:     548000 | #Constraints:      39997
2029.56/2035.62	c #Conflicts:     549000 | #Constraints:      40997
2029.56/2035.62	c #Conflicts:     550000 | #Constraints:      41997
2029.56/2035.62	c #Conflicts:     551000 | #Constraints:      42997
2029.56/2035.62	c #Conflicts:     552000 | #Constraints:      43997
2029.56/2035.62	c #Conflicts:     553000 | #Constraints:      44997
2029.56/2035.62	c #Conflicts:     554000 | #Constraints:      45997
2029.56/2035.62	c #Conflicts:     555000 | #Constraints:      46997
2029.56/2035.62	c #Conflicts:     556000 | #Constraints:      47997
2029.56/2035.62	c #Conflicts:     557000 | #Constraints:      48997
2029.56/2035.62	c #Conflicts:     558000 | #Constraints:      49997
2029.56/2035.62	c #Conflicts:     559000 | #Constraints:      50997
2029.56/2035.62	c #Conflicts:     560000 | #Constraints:      51997
2029.56/2035.62	c #Conflicts:     561000 | #Constraints:      52997
2029.56/2035.62	c #Conflicts:     562000 | #Constraints:      53997
2029.56/2035.62	c #Conflicts:     563000 | #Constraints:      54997
2029.56/2035.62	c #Conflicts:     564000 | #Constraints:      55997
2029.56/2035.62	c #Conflicts:     565000 | #Constraints:      56997
2029.56/2035.62	c #Conflicts:     566000 | #Constraints:      57997
2029.56/2035.62	c #Conflicts:     567000 | #Constraints:      58997
2029.56/2035.62	c #Conflicts:     568000 | #Constraints:      59997
2029.56/2035.62	c #Conflicts:     569000 | #Constraints:      60997
2029.56/2035.62	c #Conflicts:     570000 | #Constraints:      61997
2029.56/2035.62	c #Conflicts:     571000 | #Constraints:      62997
2029.56/2035.62	c #Conflicts:     572000 | #Constraints:      63997
2029.56/2035.62	c #Conflicts:     573000 | #Constraints:      64997
2029.56/2035.62	c #Conflicts:     574000 | #Constraints:      65997
2029.56/2035.62	c #Conflicts:     575000 | #Constraints:      66997
2029.56/2035.62	c #Conflicts:     576000 | #Constraints:      67997
2029.56/2035.62	c #Conflicts:     577000 | #Constraints:      68997
2029.56/2035.62	c #Conflicts:     578000 | #Constraints:      69997
2029.56/2035.62	c #Conflicts:     579000 | #Constraints:      70997
2029.56/2035.62	c #Conflicts:     580000 | #Constraints:      71997
2029.56/2035.62	c #Conflicts:     581000 | #Constraints:      72997
2029.56/2035.62	c #Conflicts:     582000 | #Constraints:      73997
2029.56/2035.62	c #Conflicts:     583000 | #Constraints:      74997
2029.56/2035.62	c #Conflicts:     584000 | #Constraints:      75997
2101.13/2107.42	c #Conflicts:     585000 | #Constraints:      76997
2101.13/2107.42	c #Conflicts:     586000 | #Constraints:      77997
2101.13/2107.42	c #Conflicts:     587000 | #Constraints:      78997
2101.13/2107.42	c #Conflicts:     588000 | #Constraints:      79997
2101.13/2107.42	c #Conflicts:     589000 | #Constraints:      80997
2101.13/2107.42	c #Conflicts:     590000 | #Constraints:      81997
2101.13/2107.42	c #Conflicts:     591000 | #Constraints:      82997
2101.13/2107.42	c #Conflicts:     592000 | #Constraints:      83997
2101.13/2107.42	c #Conflicts:     593000 | #Constraints:      84997
2101.13/2107.42	c #Conflicts:     594000 | #Constraints:      85997
2101.13/2107.42	c #Conflicts:     595000 | #Constraints:      86997
2101.13/2107.42	c #Conflicts:     596000 | #Constraints:      87997
2101.13/2107.42	c INPROCESSING
2101.13/2107.42	c GARBAGE COLLECT
2101.13/2107.42	c rational objective 0
2117.58/2124.00	c #Conflicts:     597000 | #Constraints:      50128
2117.58/2124.00	c #Conflicts:     598000 | #Constraints:      51128
2117.58/2124.00	c #Conflicts:     599000 | #Constraints:      52128
2117.58/2124.00	c #Conflicts:     600000 | #Constraints:      53128
2117.58/2124.00	c #Conflicts:     601000 | #Constraints:      54128
2117.58/2124.00	c #Conflicts:     602000 | #Constraints:      55128
2117.58/2124.00	c #Conflicts:     603000 | #Constraints:      56128
2117.58/2124.00	c #Conflicts:     604000 | #Constraints:      57128
2117.58/2124.00	c #Conflicts:     605000 | #Constraints:      58128
2117.58/2124.00	c #Conflicts:     606000 | #Constraints:      59128
2117.58/2124.00	c #Conflicts:     607000 | #Constraints:      60128
2117.58/2124.00	c #Conflicts:     608000 | #Constraints:      61128
2117.58/2124.00	c #Conflicts:     609000 | #Constraints:      62128
2117.58/2124.00	c #Conflicts:     610000 | #Constraints:      63128
2117.58/2124.00	c #Conflicts:     611000 | #Constraints:      64128
2117.58/2124.00	c #Conflicts:     612000 | #Constraints:      65128
2117.58/2124.00	c #Conflicts:     613000 | #Constraints:      66128
2117.58/2124.00	c #Conflicts:     614000 | #Constraints:      67128
2117.58/2124.00	c #Conflicts:     615000 | #Constraints:      68128
2117.58/2124.00	c INPROCESSING
2117.58/2124.00	c GARBAGE COLLECT
2117.58/2124.00	c rational objective 0
2172.70/2179.28	c #Conflicts:     616000 | #Constraints:      40221
2172.70/2179.28	c #Conflicts:     617000 | #Constraints:      41221
2172.70/2179.28	c #Conflicts:     618000 | #Constraints:      42221
2172.70/2179.28	c #Conflicts:     619000 | #Constraints:      43221
2172.70/2179.28	c #Conflicts:     620000 | #Constraints:      44221
2172.70/2179.28	c #Conflicts:     621000 | #Constraints:      45221
2172.70/2179.28	c #Conflicts:     622000 | #Constraints:      46221
2172.70/2179.28	c #Conflicts:     623000 | #Constraints:      47221
2172.70/2179.28	c #Conflicts:     624000 | #Constraints:      48221
2172.70/2179.28	c #Conflicts:     625000 | #Constraints:      49221
2172.70/2179.28	c #Conflicts:     626000 | #Constraints:      50221
2172.70/2179.28	c #Conflicts:     627000 | #Constraints:      51221
2172.70/2179.28	c #Conflicts:     628000 | #Constraints:      52221
2172.70/2179.28	c #Conflicts:     629000 | #Constraints:      53221
2172.70/2179.28	c #Conflicts:     630000 | #Constraints:      54221
2172.70/2179.28	c #Conflicts:     631000 | #Constraints:      55221
2172.70/2179.28	c #Conflicts:     632000 | #Constraints:      56221
2172.70/2179.28	c #Conflicts:     633000 | #Constraints:      57221
2172.70/2179.28	c #Conflicts:     634000 | #Constraints:      58221
2172.70/2179.28	c INPROCESSING
2172.70/2179.28	c GARBAGE COLLECT
2172.70/2179.28	c rational objective 0
2491.87/2499.40	c #Conflicts:     635000 | #Constraints:      38095
2491.87/2499.40	c #Conflicts:     636000 | #Constraints:      39095
2491.87/2499.40	c #Conflicts:     637000 | #Constraints:      40095
2491.87/2499.40	c #Conflicts:     638000 | #Constraints:      41095
2491.87/2499.40	c #Conflicts:     639000 | #Constraints:      42095
2491.87/2499.40	c #Conflicts:     640000 | #Constraints:      43095
2491.87/2499.40	c #Conflicts:     641000 | #Constraints:      44095
2491.87/2499.40	c #Conflicts:     642000 | #Constraints:      45095
2491.87/2499.40	c #Conflicts:     643000 | #Constraints:      46095
2491.87/2499.40	c #Conflicts:     644000 | #Constraints:      47095
2491.87/2499.40	c #Conflicts:     645000 | #Constraints:      48095
2491.87/2499.40	c #Conflicts:     646000 | #Constraints:      49095
2491.87/2499.40	c #Conflicts:     647000 | #Constraints:      50095
2491.87/2499.40	c #Conflicts:     648000 | #Constraints:      51095
2491.87/2499.40	c #Conflicts:     649000 | #Constraints:      52095
2491.87/2499.40	c #Conflicts:     650000 | #Constraints:      53095
2491.87/2499.40	c #Conflicts:     651000 | #Constraints:      54095
2491.87/2499.40	c #Conflicts:     652000 | #Constraints:      55095
2491.87/2499.40	c #Conflicts:     653000 | #Constraints:      56095
2491.87/2499.40	c #Conflicts:     654000 | #Constraints:      57095
2491.87/2499.40	c #Conflicts:     655000 | #Constraints:      58095
2491.87/2499.40	c #Conflicts:     656000 | #Constraints:      59095
2491.87/2499.40	c #Conflicts:     657000 | #Constraints:      60095
2491.87/2499.40	c #Conflicts:     658000 | #Constraints:      61095
2491.87/2499.40	c #Conflicts:     659000 | #Constraints:      62095
2491.87/2499.40	c #Conflicts:     660000 | #Constraints:      63095
2491.87/2499.40	c #Conflicts:     661000 | #Constraints:      64095
2491.87/2499.40	c #Conflicts:     662000 | #Constraints:      65095
2491.87/2499.40	c #Conflicts:     663000 | #Constraints:      66095
2491.87/2499.40	c #Conflicts:     664000 | #Constraints:      67095
2491.87/2499.40	c #Conflicts:     665000 | #Constraints:      68095
2491.87/2499.40	c #Conflicts:     666000 | #Constraints:      69095
2491.87/2499.40	c #Conflicts:     667000 | #Constraints:      70095
2491.87/2499.40	c #Conflicts:     668000 | #Constraints:      71095
2491.87/2499.40	c #Conflicts:     669000 | #Constraints:      72095
2491.87/2499.40	c #Conflicts:     670000 | #Constraints:      73095
2491.87/2499.40	c #Conflicts:     671000 | #Constraints:      74095
2491.87/2499.40	c #Conflicts:     672000 | #Constraints:      75095
2491.87/2499.40	c #Conflicts:     673000 | #Constraints:      76095
2491.87/2499.40	c #Conflicts:     674000 | #Constraints:      77095
2491.87/2499.40	c #Conflicts:     675000 | #Constraints:      78095
2491.87/2499.40	c #Conflicts:     676000 | #Constraints:      79095
2491.87/2499.40	c #Conflicts:     677000 | #Constraints:      80095
2491.87/2499.40	c #Conflicts:     678000 | #Constraints:      81095
2491.87/2499.40	c #Conflicts:     679000 | #Constraints:      82095
2491.87/2499.40	c #Conflicts:     680000 | #Constraints:      83095
2491.87/2499.40	c #Conflicts:     681000 | #Constraints:      84095
2491.87/2499.40	c #Conflicts:     682000 | #Constraints:      85095
2491.87/2499.40	c #Conflicts:     683000 | #Constraints:      86095
2491.87/2499.40	c #Conflicts:     684000 | #Constraints:      87095
2491.87/2499.40	c #Conflicts:     685000 | #Constraints:      88095
2491.87/2499.40	c #Conflicts:     686000 | #Constraints:      89095
2491.87/2499.40	c #Conflicts:     687000 | #Constraints:      90095
2491.87/2499.40	c #Conflicts:     688000 | #Constraints:      91095
2491.87/2499.40	c #Conflicts:     689000 | #Constraints:      92095
2491.87/2499.40	c #Conflicts:     690000 | #Constraints:      93095
2491.87/2499.40	c #Conflicts:     691000 | #Constraints:      94095
2491.87/2499.40	c #Conflicts:     692000 | #Constraints:      95095
2491.87/2499.40	c INPROCESSING
2491.87/2499.40	c GARBAGE COLLECT
2491.87/2499.40	c rational objective 0
2573.71/2581.51	c #Conflicts:     693000 | #Constraints:      53515
2573.71/2581.51	c #Conflicts:     694000 | #Constraints:      54515
2573.71/2581.51	c #Conflicts:     695000 | #Constraints:      55515
2573.71/2581.51	c #Conflicts:     696000 | #Constraints:      56515
2573.71/2581.51	c #Conflicts:     697000 | #Constraints:      57515
2573.71/2581.51	c #Conflicts:     698000 | #Constraints:      58515
2573.71/2581.51	c #Conflicts:     699000 | #Constraints:      59515
2573.71/2581.51	c #Conflicts:     700000 | #Constraints:      60515
2573.71/2581.51	c #Conflicts:     701000 | #Constraints:      61515
2573.71/2581.51	c #Conflicts:     702000 | #Constraints:      62515
2573.71/2581.51	c #Conflicts:     703000 | #Constraints:      63515
2573.71/2581.51	c #Conflicts:     704000 | #Constraints:      64515
2573.71/2581.51	c #Conflicts:     705000 | #Constraints:      65515
2573.71/2581.51	c #Conflicts:     706000 | #Constraints:      66515
2573.71/2581.51	c #Conflicts:     707000 | #Constraints:      67515
2573.71/2581.51	c #Conflicts:     708000 | #Constraints:      68515
2573.71/2581.51	c #Conflicts:     709000 | #Constraints:      69515
2573.71/2581.51	c #Conflicts:     710000 | #Constraints:      70515
2573.71/2581.51	c #Conflicts:     711000 | #Constraints:      71515
2573.71/2581.51	c #Conflicts:     712000 | #Constraints:      72515
2573.71/2581.51	c INPROCESSING
2573.71/2581.51	c GARBAGE COLLECT
2573.71/2581.51	c rational objective 0
2902.53/2911.42	c #Conflicts:     713000 | #Constraints:      42037
2902.53/2911.42	c #Conflicts:     714000 | #Constraints:      43037
2902.53/2911.42	c #Conflicts:     715000 | #Constraints:      44037
2902.53/2911.42	c #Conflicts:     716000 | #Constraints:      45037
2902.53/2911.42	c #Conflicts:     717000 | #Constraints:      46037
2902.53/2911.42	c #Conflicts:     718000 | #Constraints:      47037
2902.53/2911.42	c #Conflicts:     719000 | #Constraints:      48037
2902.53/2911.42	c #Conflicts:     720000 | #Constraints:      49037
2902.53/2911.42	c #Conflicts:     721000 | #Constraints:      50037
2902.53/2911.42	c #Conflicts:     722000 | #Constraints:      51037
2902.53/2911.42	c #Conflicts:     723000 | #Constraints:      52037
2902.53/2911.42	c #Conflicts:     724000 | #Constraints:      53037
2902.53/2911.42	c #Conflicts:     725000 | #Constraints:      54037
2902.53/2911.42	c #Conflicts:     726000 | #Constraints:      55037
2902.53/2911.42	c #Conflicts:     727000 | #Constraints:      56037
2902.53/2911.42	c #Conflicts:     728000 | #Constraints:      57037
2902.53/2911.42	c #Conflicts:     729000 | #Constraints:      58037
2902.53/2911.42	c #Conflicts:     730000 | #Constraints:      59037
2902.53/2911.42	c #Conflicts:     731000 | #Constraints:      60037
2902.53/2911.42	c #Conflicts:     732000 | #Constraints:      61037
2902.53/2911.42	c #Conflicts:     733000 | #Constraints:      62037
2902.53/2911.42	c #Conflicts:     734000 | #Constraints:      63037
2902.53/2911.42	c #Conflicts:     735000 | #Constraints:      64037
2902.53/2911.42	c #Conflicts:     736000 | #Constraints:      65037
2902.53/2911.42	c #Conflicts:     737000 | #Constraints:      66037
2902.53/2911.42	c #Conflicts:     738000 | #Constraints:      67037
2902.53/2911.42	c #Conflicts:     739000 | #Constraints:      68037
2902.53/2911.42	c #Conflicts:     740000 | #Constraints:      69037
2902.53/2911.42	c #Conflicts:     741000 | #Constraints:      70037
2902.53/2911.42	c #Conflicts:     742000 | #Constraints:      71037
2902.53/2911.42	c #Conflicts:     743000 | #Constraints:      72037
2902.53/2911.42	c #Conflicts:     744000 | #Constraints:      73037
2902.53/2911.42	c #Conflicts:     745000 | #Constraints:      74037
2902.53/2911.42	c #Conflicts:     746000 | #Constraints:      75037
2902.53/2911.42	c #Conflicts:     747000 | #Constraints:      76037
2902.53/2911.42	c #Conflicts:     748000 | #Constraints:      77037
2902.53/2911.42	c #Conflicts:     749000 | #Constraints:      78037
2902.53/2911.42	c #Conflicts:     750000 | #Constraints:      79037
2902.53/2911.42	c #Conflicts:     751000 | #Constraints:      80037
2902.53/2911.42	c #Conflicts:     752000 | #Constraints:      81037
2902.53/2911.42	c #Conflicts:     753000 | #Constraints:      82037
2902.53/2911.42	c #Conflicts:     754000 | #Constraints:      83037
2902.53/2911.42	c #Conflicts:     755000 | #Constraints:      84037
2902.53/2911.42	c #Conflicts:     756000 | #Constraints:      85037
2902.53/2911.42	c #Conflicts:     757000 | #Constraints:      86037
2902.53/2911.42	c #Conflicts:     758000 | #Constraints:      87037
2902.53/2911.42	c #Conflicts:     759000 | #Constraints:      88037
2902.53/2911.42	c #Conflicts:     760000 | #Constraints:      89037
2902.53/2911.42	c #Conflicts:     761000 | #Constraints:      90037
2902.53/2911.42	c #Conflicts:     762000 | #Constraints:      91037
2902.53/2911.42	c #Conflicts:     763000 | #Constraints:      92037
2902.53/2911.42	c #Conflicts:     764000 | #Constraints:      93037
2902.53/2911.42	c #Conflicts:     765000 | #Constraints:      94037
2902.53/2911.42	c #Conflicts:     766000 | #Constraints:      95037
2902.53/2911.42	c #Conflicts:     767000 | #Constraints:      96037
2902.53/2911.42	c #Conflicts:     768000 | #Constraints:      97037
2902.53/2911.42	c #Conflicts:     769000 | #Constraints:      98037
2902.53/2911.42	c #Conflicts:     770000 | #Constraints:      99037
2902.53/2911.42	c #Conflicts:     771000 | #Constraints:     100037
2902.53/2911.42	c #Conflicts:     772000 | #Constraints:     101037
2902.53/2911.42	c #Conflicts:     773000 | #Constraints:     102037
2902.53/2911.42	c #Conflicts:     774000 | #Constraints:     103037
2902.53/2911.42	c INPROCESSING
2902.53/2911.42	c GARBAGE COLLECT
2902.53/2911.42	c rational objective 0
2950.17/2959.22	c #Conflicts:     775000 | #Constraints:      57690
2950.17/2959.22	c #Conflicts:     776000 | #Constraints:      58690
2950.17/2959.22	c #Conflicts:     777000 | #Constraints:      59690
2950.17/2959.22	c #Conflicts:     778000 | #Constraints:      60690
2950.17/2959.22	c #Conflicts:     779000 | #Constraints:      61690
2950.17/2959.22	c #Conflicts:     780000 | #Constraints:      62690
2950.17/2959.22	c #Conflicts:     781000 | #Constraints:      63690
2950.17/2959.22	c #Conflicts:     782000 | #Constraints:      64690
2950.17/2959.22	c #Conflicts:     783000 | #Constraints:      65690
2950.17/2959.22	c #Conflicts:     784000 | #Constraints:      66690
2950.17/2959.22	c #Conflicts:     785000 | #Constraints:      67690
2950.17/2959.22	c #Conflicts:     786000 | #Constraints:      68690
2950.17/2959.22	c #Conflicts:     787000 | #Constraints:      69690
2950.17/2959.22	c #Conflicts:     788000 | #Constraints:      70690
2950.17/2959.22	c #Conflicts:     789000 | #Constraints:      71690
2950.17/2959.22	c #Conflicts:     790000 | #Constraints:      72690
2950.17/2959.22	c #Conflicts:     791000 | #Constraints:      73690
2950.17/2959.22	c #Conflicts:     792000 | #Constraints:      74690
2950.17/2959.22	c #Conflicts:     793000 | #Constraints:      75690
2950.17/2959.22	c #Conflicts:     794000 | #Constraints:      76690
2950.17/2959.22	c #Conflicts:     795000 | #Constraints:      77690
2950.17/2959.22	c INPROCESSING
2950.17/2959.22	c GARBAGE COLLECT
2950.17/2959.22	c rational objective 0
3309.06/3319.13	c #Conflicts:     796000 | #Constraints:      44646
3309.06/3319.13	c #Conflicts:     797000 | #Constraints:      45646
3309.06/3319.13	c #Conflicts:     798000 | #Constraints:      46646
3309.06/3319.13	c #Conflicts:     799000 | #Constraints:      47646
3309.06/3319.13	c #Conflicts:     800000 | #Constraints:      48646
3309.06/3319.13	c #Conflicts:     801000 | #Constraints:      49646
3309.06/3319.13	c #Conflicts:     802000 | #Constraints:      50646
3309.06/3319.13	c #Conflicts:     803000 | #Constraints:      51646
3309.06/3319.13	c #Conflicts:     804000 | #Constraints:      52646
3309.06/3319.13	c #Conflicts:     805000 | #Constraints:      53646
3309.06/3319.13	c #Conflicts:     806000 | #Constraints:      54646
3309.06/3319.13	c #Conflicts:     807000 | #Constraints:      55646
3309.06/3319.13	c #Conflicts:     808000 | #Constraints:      56646
3309.06/3319.13	c #Conflicts:     809000 | #Constraints:      57646
3309.06/3319.13	c #Conflicts:     810000 | #Constraints:      58646
3309.06/3319.13	c #Conflicts:     811000 | #Constraints:      59646
3309.06/3319.13	c #Conflicts:     812000 | #Constraints:      60646
3309.06/3319.13	c #Conflicts:     813000 | #Constraints:      61646
3309.06/3319.13	c #Conflicts:     814000 | #Constraints:      62646
3309.06/3319.13	c #Conflicts:     815000 | #Constraints:      63646
3309.06/3319.13	c #Conflicts:     816000 | #Constraints:      64646
3309.06/3319.13	c #Conflicts:     817000 | #Constraints:      65646
3309.06/3319.13	c #Conflicts:     818000 | #Constraints:      66646
3309.06/3319.13	c #Conflicts:     819000 | #Constraints:      67646
3309.06/3319.13	c #Conflicts:     820000 | #Constraints:      68646
3309.06/3319.13	c #Conflicts:     821000 | #Constraints:      69646
3309.06/3319.13	c #Conflicts:     822000 | #Constraints:      70646
3309.06/3319.13	c #Conflicts:     823000 | #Constraints:      71646
3309.06/3319.13	c #Conflicts:     824000 | #Constraints:      72646
3309.06/3319.13	c #Conflicts:     825000 | #Constraints:      73646
3309.06/3319.13	c #Conflicts:     826000 | #Constraints:      74646
3309.06/3319.13	c #Conflicts:     827000 | #Constraints:      75646
3309.06/3319.13	c #Conflicts:     828000 | #Constraints:      76646
3309.06/3319.13	c #Conflicts:     829000 | #Constraints:      77646
3309.06/3319.13	c #Conflicts:     830000 | #Constraints:      78646
3309.06/3319.13	c #Conflicts:     831000 | #Constraints:      79646
3309.06/3319.13	c #Conflicts:     832000 | #Constraints:      80646
3309.06/3319.13	c #Conflicts:     833000 | #Constraints:      81646
3309.06/3319.13	c #Conflicts:     834000 | #Constraints:      82646
3309.06/3319.13	c #Conflicts:     835000 | #Constraints:      83646
3309.06/3319.13	c #Conflicts:     836000 | #Constraints:      84646
3309.06/3319.13	c #Conflicts:     837000 | #Constraints:      85646
3309.06/3319.13	c #Conflicts:     838000 | #Constraints:      86646
3309.06/3319.13	c #Conflicts:     839000 | #Constraints:      87646
3309.06/3319.13	c #Conflicts:     840000 | #Constraints:      88646
3309.06/3319.13	c #Conflicts:     841000 | #Constraints:      89646
3309.06/3319.13	c #Conflicts:     842000 | #Constraints:      90646
3309.06/3319.13	c #Conflicts:     843000 | #Constraints:      91646
3309.06/3319.13	c #Conflicts:     844000 | #Constraints:      92646
3309.06/3319.13	c #Conflicts:     845000 | #Constraints:      93646
3309.06/3319.13	c #Conflicts:     846000 | #Constraints:      94646
3309.06/3319.13	c #Conflicts:     847000 | #Constraints:      95646
3309.06/3319.13	c #Conflicts:     848000 | #Constraints:      96646
3309.06/3319.13	c #Conflicts:     849000 | #Constraints:      97646
3309.06/3319.13	c #Conflicts:     850000 | #Constraints:      98646
3309.06/3319.13	c #Conflicts:     851000 | #Constraints:      99646
3309.06/3319.13	c #Conflicts:     852000 | #Constraints:     100646
3309.06/3319.13	c #Conflicts:     853000 | #Constraints:     101646
3309.06/3319.13	c #Conflicts:     854000 | #Constraints:     102646
3309.06/3319.13	c #Conflicts:     855000 | #Constraints:     103646
3309.06/3319.13	c #Conflicts:     856000 | #Constraints:     104646
3309.06/3319.13	c #Conflicts:     857000 | #Constraints:     105646
3309.06/3319.13	c #Conflicts:     858000 | #Constraints:     106646
3309.06/3319.13	c #Conflicts:     859000 | #Constraints:     107646
3309.06/3319.13	c #Conflicts:     860000 | #Constraints:     108646
3309.06/3319.13	c INPROCESSING
3309.06/3319.13	c GARBAGE COLLECT
3309.06/3319.13	c rational objective 0
3368.00/3378.23	c #Conflicts:     861000 | #Constraints:      60440
3368.00/3378.23	c #Conflicts:     862000 | #Constraints:      61440
3368.00/3378.23	c #Conflicts:     863000 | #Constraints:      62440
3368.00/3378.23	c #Conflicts:     864000 | #Constraints:      63440
3368.00/3378.23	c #Conflicts:     865000 | #Constraints:      64440
3368.00/3378.23	c #Conflicts:     866000 | #Constraints:      65440
3368.00/3378.23	c #Conflicts:     867000 | #Constraints:      66440
3368.00/3378.23	c #Conflicts:     868000 | #Constraints:      67440
3368.00/3378.23	c #Conflicts:     869000 | #Constraints:      68440
3368.00/3378.23	c #Conflicts:     870000 | #Constraints:      69440
3368.00/3378.23	c #Conflicts:     871000 | #Constraints:      70440
3368.00/3378.23	c #Conflicts:     872000 | #Constraints:      71440
3368.00/3378.23	c #Conflicts:     873000 | #Constraints:      72440
3368.00/3378.23	c #Conflicts:     874000 | #Constraints:      73440
3368.00/3378.23	c #Conflicts:     875000 | #Constraints:      74440
3368.00/3378.23	c #Conflicts:     876000 | #Constraints:      75440
3368.00/3378.23	c #Conflicts:     877000 | #Constraints:      76440
3368.00/3378.23	c #Conflicts:     878000 | #Constraints:      77440
3368.00/3378.23	c #Conflicts:     879000 | #Constraints:      78440
3368.00/3378.23	c #Conflicts:     880000 | #Constraints:      79440
3368.00/3378.23	c #Conflicts:     881000 | #Constraints:      80440
3368.00/3378.23	c #Conflicts:     882000 | #Constraints:      81440
3368.00/3378.23	c #Conflicts:     883000 | #Constraints:      82440
3368.00/3378.23	c INPROCESSING
3368.00/3378.23	c GARBAGE COLLECT
3368.00/3378.23	c rational objective 0
3600.09/3610.90	c #Conflicts:     884000 | #Constraints:      47327
3600.09/3610.90	c #Conflicts:     885000 | #Constraints:      48327
3600.09/3610.90	c #Conflicts:     886000 | #Constraints:      49327
3600.09/3610.90	c #Conflicts:     887000 | #Constraints:      50327
3600.09/3610.90	c #Conflicts:     888000 | #Constraints:      51327
3600.09/3610.90	c #Conflicts:     889000 | #Constraints:      52327
3600.09/3610.90	c #Conflicts:     890000 | #Constraints:      53327
3600.09/3610.90	c #Conflicts:     891000 | #Constraints:      54327
3600.09/3610.90	c #Conflicts:     892000 | #Constraints:      55327
3600.09/3610.90	c #Conflicts:     893000 | #Constraints:      56327
3600.09/3610.90	c #Conflicts:     894000 | #Constraints:      57327
3600.09/3610.90	c #Conflicts:     895000 | #Constraints:      58327
3600.09/3610.90	c #Conflicts:     896000 | #Constraints:      59327
3600.09/3610.90	c #Conflicts:     897000 | #Constraints:      60327
3600.09/3610.90	c #Conflicts:     898000 | #Constraints:      61327
3600.09/3610.90	c #Conflicts:     899000 | #Constraints:      62327
3600.09/3610.90	c #Conflicts:     900000 | #Constraints:      63327
3600.09/3610.90	c #Conflicts:     901000 | #Constraints:      64327
3600.09/3610.90	c #Conflicts:     902000 | #Constraints:      65327
3600.09/3610.90	c #Conflicts:     903000 | #Constraints:      66327
3600.09/3610.90	c #Conflicts:     904000 | #Constraints:      67327
3600.09/3610.90	c #Conflicts:     905000 | #Constraints:      68327
3600.09/3610.90	c #Conflicts:     906000 | #Constraints:      69327
3600.09/3610.90	c #Conflicts:     907000 | #Constraints:      70327
3600.09/3610.90	c #Conflicts:     908000 | #Constraints:      71327
3600.09/3610.90	c #Conflicts:     909000 | #Constraints:      72327
3600.09/3610.90	c #Conflicts:     910000 | #Constraints:      73327
3600.09/3610.90	c #Conflicts:     911000 | #Constraints:      74327
3600.09/3610.90	c #Conflicts:     912000 | #Constraints:      75327
3600.09/3610.90	c #Conflicts:     913000 | #Constraints:      76327
3600.09/3610.90	c #Conflicts:     914000 | #Constraints:      77327
3600.09/3610.90	c #Conflicts:     915000 | #Constraints:      78327
3600.09/3610.90	c #Conflicts:     916000 | #Constraints:      79327
3600.09/3610.90	c #Conflicts:     917000 | #Constraints:      80327
3600.09/3610.90	c #Conflicts:     918000 | #Constraints:      81327
3600.09/3610.90	c #Conflicts:     919000 | #Constraints:      82327
3600.09/3610.90	c #Conflicts:     920000 | #Constraints:      83327
3600.09/3610.90	c #Conflicts:     921000 | #Constraints:      84327
3600.09/3610.90	c #Conflicts:     922000 | #Constraints:      85327
3600.09/3610.90	c #Conflicts:     923000 | #Constraints:      86327
3600.09/3610.90	c #Conflicts:     924000 | #Constraints:      87327
3600.09/3610.90	c #Conflicts:     925000 | #Constraints:      88327
3600.09/3610.90	c #Conflicts:     926000 | #Constraints:      89327
3600.09/3610.90	c #Conflicts:     927000 | #Constraints:      90327
3600.09/3610.90	c #Conflicts:     928000 | #Constraints:      91327
3600.09/3610.90	c #Conflicts:     929000 | #Constraints:      92327
3600.09/3610.90	c cpu time 3586.04 s
3600.09/3610.90	c deterministic time 124582991062 1.25e+11
3600.09/3610.90	c optimization time 231.439 s
3600.09/3610.90	c total solve time 3354.57 s
3600.09/3610.90	c core-guided solve time 0 s
3600.09/3610.90	c propagation time 1606.84 s
3600.09/3610.90	c conflict analysis time 1913.18 s
3600.09/3610.90	c propagations 589800314
3600.09/3610.90	c resolve steps 203554132
3600.09/3610.90	c decisions 1495214
3600.09/3610.90	c conflicts 929955
3600.09/3610.90	c restarts 2042
3600.09/3610.90	c inprocessing phases 48
3600.09/3610.90	c garbage collections 48 ,( 100.00 )
3600.09/3610.90	c input clauses 6382 ,( 65.91 )
3600.09/3610.90	c input cardinalities 0 ,( 0.00 )
3600.09/3610.90	c input general constraints 3301 ,( 34.09 )
3600.09/3610.90	c input average constraint length 3.11
3600.09/3610.90	c input average constraint degree 1860415006660.95
3600.09/3610.90	c learned clauses 697695 ,( 75.02 )
3600.09/3610.90	c learned cardinalities 565 ,( 0.06 )
3600.09/3610.90	c learned general constraints 231695 ,( 24.91 )
3600.09/3610.90	c learned average constraint length 326.44
3600.09/3610.90	c learned average constraint degree 95326034.10
3600.09/3610.90	c watched  CF 32, 64, 128, Arb: 50561 , 0 , 0 , 0
3600.09/3610.90	c counting CF 32, 64, 128, Arb: 184434 , 1 , 0 , 0
3600.09/3610.90	c watched   constraints 50561 ,( 21.52 ) 
3600.09/3610.90	c counting  constraints 184435 ,( 78.48 ) 
3600.09/3610.90	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 744732828 , 22550103 , 37318936104 ,( 71157671 , 37247778433 )
3600.09/3610.90	c gcd simplifications 7672
3600.09/3610.90	c detected cardinalities 490
3600.09/3610.90	c weakened non-implied lits 48448719
3600.09/3610.90	c weakened non-implying lits 150430
3600.09/3610.90	c original variables 5122
3600.09/3610.90	c clausal propagations 167526943
3600.09/3610.90	c cardinality propagations 1110437
3600.09/3610.90	c watched propagations 1001017
3600.09/3610.90	c counting propagations 419215762
3600.09/3610.90	c watch lookups 97352963049
3600.09/3610.90	c watch backjump lookups 0
3600.09/3610.90	c watch checks 2917999484
3600.09/3610.90	c propagation checks 21707552926
3600.09/3610.90	c constraint additions 1420773664
3600.09/3610.90	c trail pops 592222629
3600.09/3610.90	c formula constraints 9683
3600.09/3610.90	c learned constraints 929953
3600.09/3610.90	c bound constraints 0
3600.09/3610.90	c core-guided constraints 0
3600.09/3610.90	c encountered formula constraints 170523864
3600.09/3610.90	c encountered learned constraints 33936186
3600.09/3610.90	c encountered bound constraints 0
3600.09/3610.90	c encountered core-guided constraints 0
3600.09/3610.90	c LP total time 18.505 s
3600.09/3610.90	c LP solve time 16.85 s
3600.09/3610.90	c LP constraints added 9683
3600.09/3610.90	c LP constraints removed 0
3600.09/3610.90	c LP pivots internal 98520
3600.09/3610.90	c LP pivots root 85261
3600.09/3610.90	c LP calls 102
3600.09/3610.90	c LP optimalities 97
3600.09/3610.90	c LP no pivot count 5
3600.09/3610.90	c LP infeasibilities 1
3600.09/3610.90	c LP valid Farkas constraints 1
3600.09/3610.90	c LP learned Farkas constraints 1
3600.09/3610.90	c LP basis resets 0
3600.09/3610.90	c LP cycling count 0
3600.09/3610.90	c LP singular count 0
3600.09/3610.90	c LP no primal count 0
3600.09/3610.90	c LP no farkas count 0
3600.09/3610.90	c LP other issue count 0
3600.09/3610.90	c LP Gomory cuts 0
3600.09/3610.90	c LP learned cuts 0
3600.09/3610.90	c LP deleted cuts 0
3600.09/3610.90	c LP encountered Gomory constraints 0
3600.09/3610.90	c LP encountered Farkas constraints 24035
3600.09/3610.90	c LP encountered learned Farkas constraints 1
3600.09/3610.90	c CG auxiliary variables introduced 0
3600.09/3610.90	c CG solutions found 0
3600.09/3610.90	c CG cores constructed 0
3600.09/3610.90	c CG core cardinality constraints returned 0
3600.09/3610.90	c CG unit cores 0
3600.09/3610.90	c CG single cores 0
3600.09/3610.90	c CG blocks removed during cardinality reduction 0
3600.09/3610.90	c CG first core best 0
3600.09/3610.90	c CG decision core best 0
3600.09/3610.90	c CG core reduction tie 0
3600.09/3610.90	c CG core degree average 0.00
3600.09/3610.90	c CG core slack average 0.00
3600.09/3610.90	c CG core upper bound improvements 0
3600.09/3610.90	c STR number of successful calls 0
3600.09/3610.90	c STR number of unsuccessful calls 0
3600.09/3610.90	c STR number of inconclusive calls 0
3600.09/3610.90	c STR number of successful attempts 0
3600.09/3610.90	c STR number of unsuccessful attempts 0
3600.09/3610.90	c STR number of inconclusive attempts 0
3600.09/3610.90	c STR average degree increase per successful call inf
3600.09/3610.90	c STR average degree increase per successful attempt inf
3600.09/3610.90	c STR total number of conflicts for successful attempts 0
3600.09/3610.90	c STR total number of conflicts for unsuccessful attempts 0
3600.09/3610.90	c STR total number of conflicts for inconclusive attempts 0
3600.09/3610.90	c STR average number of conflicts per successful attempt inf
3600.09/3610.90	c STR average number of conflicts per unsuccessful attempt inf
3600.09/3610.90	c STR average number of conflicts per inconclusive attempt inf
3600.09/3610.90	c AVG.sumWPerc 71.15 
3600.09/3610.90	c bigint constraints 1 
3600.09/3610.90	s UNKNOWN
3600.09/3610.90	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: 63708 MiB (61948 MiB free)
  memory of node 1: 64465 MiB (56760 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4541764-1753198973/watcher-4541764-1753198973 -o /tmp/evaluation-result-4541764-1753198973/solver-4541764-1753198973 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1753198973-167713 --watchdog 3760 --file-size-limit 100000 run-dec-ls-log.sh HOME/instance-4541764-1753198973.opb /tmp/proof-4541764-1753198973 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=167765, runsolver pid=167757

[startup+0.100059 s]*
/proc/loadavg: 0.10 0.09 0.09 5/269 167773
/proc/meminfo: memFree=121504072/131249996 swapFree=33010160/33010684
[pid=167765] ppid=167757 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/167765/stat : 167765 (run-dec-ls-log.) S 167757 167765 167693 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 235576041 4292608 736 18446744073709551615 94859618582528 94859619477061 140725600101584 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94859619716112 94859619763856 94859644387328 140725600106815 140725600106975 140725600106975 140725600112579 0
/proc/167765/statm: 1048 736 672 219 0 110 0
[pid=167772] ppid=167765 vsize=74920 memory=29028 CPUtime=0.06 cores=5,7
/proc/167772/stat : 167772 (roundingsat) R 167765 167765 167693 0 -1 4194304 5175 0 0 0 4 2 0 0 20 0 1 0 235576043 76718080 7257 18446744073709551615 4227072 8923433 140724307945648 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37408768 140724307949940 140724307950118 140724307950118 140724307955690 0
/proc/167772/statm: 18730 7257 2368 1147 0 6157 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 79112 KiB
Current children cumulated memory: 31972 KiB

[startup+0.205736 s]*
/proc/loadavg: 0.10 0.09 0.09 5/269 167773
/proc/meminfo: memFree=121495252/131249996 swapFree=33010160/33010684
[pid=167765] ppid=167757 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/167765/stat : 167765 (run-dec-ls-log.) S 167757 167765 167693 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 235576041 4292608 736 18446744073709551615 94859618582528 94859619477061 140725600101584 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94859619716112 94859619763856 94859644387328 140725600106815 140725600106975 140725600106975 140725600112579 0
/proc/167765/statm: 1048 736 672 219 0 110 0
[pid=167772] ppid=167765 vsize=76172 memory=29796 CPUtime=0.17 cores=5,7
/proc/167772/stat : 167772 (roundingsat) R 167765 167765 167693 0 -1 4194304 5366 0 0 0 15 2 0 0 20 0 1 0 235576043 78000128 7449 18446744073709551615 4227072 8923433 140724307945648 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37408768 140724307949940 140724307950118 140724307950118 140724307955690 0
/proc/167772/statm: 19043 7449 2368 1147 0 6470 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 80364 KiB
Current children cumulated memory: 32740 KiB

[startup+0.305462 s]*
/proc/loadavg: 0.10 0.09 0.09 5/269 167773
/proc/meminfo: memFree=121490720/131249996 swapFree=33010160/33010684
[pid=167765] ppid=167757 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/167765/stat : 167765 (run-dec-ls-log.) S 167757 167765 167693 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 235576041 4292608 736 18446744073709551615 94859618582528 94859619477061 140725600101584 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94859619716112 94859619763856 94859644387328 140725600106815 140725600106975 140725600106975 140725600112579 0
/proc/167765/statm: 1048 736 672 219 0 110 0
[pid=167772] ppid=167765 vsize=76332 memory=30436 CPUtime=0.26 cores=5,7
/proc/167772/stat : 167772 (roundingsat) R 167765 167765 167693 0 -1 4194304 5497 0 0 0 24 2 0 0 20 0 1 0 235576043 78163968 7609 18446744073709551615 4227072 8923433 140724307945648 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37408768 140724307949940 140724307950118 140724307950118 140724307955690 0
/proc/167772/statm: 19083 7609 2400 1147 0 6510 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 80524 KiB
Current children cumulated memory: 33380 KiB

[startup+0.700136 s]
/proc/loadavg: 0.10 0.09 0.09 5/269 167773
/proc/meminfo: memFree=121480060/131249996 swapFree=33010160/33010684
[pid=167765] ppid=167757 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/167765/stat : 167765 (run-dec-ls-log.) S 167757 167765 167693 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 235576041 4292608 736 18446744073709551615 94859618582528 94859619477061 140725600101584 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94859619716112 94859619763856 94859644387328 140725600106815 140725600106975 140725600106975 140725600112579 0
/proc/167765/statm: 1048 736 672 219 0 110 0
[pid=167772] ppid=167765 vsize=77092 memory=31204 CPUtime=0.65 cores=5,7
/proc/167772/stat : 167772 (roundingsat) R 167765 167765 167693 0 -1 4194304 5698 0 0 0 63 2 0 0 20 0 1 0 235576043 78942208 7801 18446744073709551615 4227072 8923433 140724307945648 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37408768 140724307949940 140724307950118 140724307950118 140724307955690 0
/proc/167772/statm: 19273 7801 2400 1147 0 6700 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 81284 KiB
Current children cumulated memory: 34148 KiB

[startup+1.50014 s]
/proc/loadavg: 0.42 0.16 0.11 5/269 167773
/proc/meminfo: memFree=121455868/131249996 swapFree=33010160/33010684
[pid=167765] ppid=167757 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/167765/stat : 167765 (run-dec-ls-log.) S 167757 167765 167693 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 235576041 4292608 736 18446744073709551615 94859618582528 94859619477061 140725600101584 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94859619716112 94859619763856 94859644387328 140725600106815 140725600106975 140725600106975 140725600112579 0
/proc/167765/statm: 1048 736 672 219 0 110 0
[pid=167772] ppid=167765 vsize=77932 memory=31972 CPUtime=1.45 cores=5,7
/proc/167772/stat : 167772 (roundingsat) R 167765 167765 167693 0 -1 4194304 5896 0 0 0 142 3 0 0 20 0 1 0 235576043 79802368 7993 18446744073709551615 4227072 8923433 140724307945648 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37408768 140724307949940 140724307950118 140724307950118 140724307955690 0
/proc/167772/statm: 19483 7993 2400 1147 0 6910 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 82124 KiB
Current children cumulated memory: 34916 KiB

[startup+3.10547 s]
/proc/loadavg: 0.42 0.16 0.11 5/269 167773
/proc/meminfo: memFree=121387896/131249996 swapFree=33010160/33010684
[pid=167765] ppid=167757 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/167765/stat : 167765 (run-dec-ls-log.) S 167757 167765 167693 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 235576041 4292608 736 18446744073709551615 94859618582528 94859619477061 140725600101584 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94859619716112 94859619763856 94859644387328 140725600106815 140725600106975 140725600106975 140725600112579 0
/proc/167765/statm: 1048 736 672 219 0 110 0
[pid=167772] ppid=167765 vsize=80036 memory=36132 CPUtime=3.05 cores=5,7
/proc/167772/stat : 167772 (roundingsat) R 167765 167765 167693 0 -1 4194304 6438 0 0 0 300 5 0 0 20 0 1 0 235576043 81956864 9033 18446744073709551615 4227072 8923433 140724307945648 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37408768 140724307949940 140724307950118 140724307950118 140724307955690 0
/proc/167772/statm: 20009 9033 2400 1147 0 7436 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 84228 KiB
Current children cumulated memory: 39076 KiB

[startup+6.30014 s]
/proc/loadavg: 0.70 0.22 0.13 5/269 167773
/proc/meminfo: memFree=121299344/131249996 swapFree=33010160/33010684
[pid=167765] ppid=167757 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/167765/stat : 167765 (run-dec-ls-log.) S 167757 167765 167693 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 235576041 4292608 736 18446744073709551615 94859618582528 94859619477061 140725600101584 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94859619716112 94859619763856 94859644387328 140725600106815 140725600106975 140725600106975 140725600112579 0
/proc/167765/statm: 1048 736 672 219 0 110 0
[pid=167772] ppid=167765 vsize=81088 memory=37284 CPUtime=6.24 cores=5,7
/proc/167772/stat : 167772 (roundingsat) R 167765 167765 167693 0 -1 4194304 6697 0 0 0 617 7 0 0 20 0 1 0 235576043 83034112 9321 18446744073709551615 4227072 8923433 140724307945648 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37408768 140724307949940 140724307950118 140724307950118 140724307955690 0
/proc/167772/statm: 20272 9321 2400 1147 0 7699 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 85280 KiB
Current children cumulated memory: 40228 KiB

[startup+12.7001 s]
/proc/loadavg: 1.05 0.30 0.16 5/269 167773
/proc/meminfo: memFree=121146380/131249996 swapFree=33010160/33010684
[pid=167765] ppid=167757 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/167765/stat : 167765 (run-dec-ls-log.) S 167757 167765 167693 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 235576041 4292608 736 18446744073709551615 94859618582528 94859619477061 140725600101584 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94859619716112 94859619763856 94859644387328 140725600106815 140725600106975 140725600106975 140725600112579 0
/proc/167765/statm: 1048 736 672 219 0 110 0
[pid=167772] ppid=167765 vsize=82828 memory=38948 CPUtime=12.63 cores=5,7
/proc/167772/stat : 167772 (roundingsat) R 167765 167765 167693 0 -1 4194304 7143 0 0 0 1252 11 0 0 20 0 1 0 235576043 84815872 9737 18446744073709551615 4227072 8923433 140724307945648 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37408768 140724307949940 140724307950118 140724307950118 140724307955690 0
/proc/167772/statm: 20707 9737 2400 1147 0 8134 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 87020 KiB
Current children cumulated memory: 41892 KiB

[startup+25.5001 s]
/proc/loadavg: 1.50 0.42 0.20 5/269 167773
/proc/meminfo: memFree=120840576/131249996 swapFree=33010160/33010684
[pid=167765] ppid=167757 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/167765/stat : 167765 (run-dec-ls-log.) S 167757 167765 167693 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 235576041 4292608 736 18446744073709551615 94859618582528 94859619477061 140725600101584 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94859619716112 94859619763856 94859644387328 140725600106815 140725600106975 140725600106975 140725600112579 0
/proc/167765/statm: 1048 736 672 219 0 110 0
[pid=167772] ppid=167765 vsize=85076 memory=41252 CPUtime=25.39 cores=5,7
/proc/167772/stat : 167772 (roundingsat) R 167765 167765 167693 0 -1 4194304 7725 0 0 0 2518 21 0 0 20 0 1 0 235576043 87117824 10313 18446744073709551615 4227072 8923433 140724307945648 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37408768 140724307949940 140724307950118 140724307950118 140724307955690 0
/proc/167772/statm: 21269 10313 2400 1147 0 8696 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 89268 KiB
Current children cumulated memory: 44196 KiB

[startup+51.1057 s]
/proc/loadavg: 2.64 0.80 0.33 5/271 167776
/proc/meminfo: memFree=120220564/131249996 swapFree=33010160/33010684
[pid=167765] ppid=167757 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/167765/stat : 167765 (run-dec-ls-log.) S 167757 167765 167693 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 235576041 4292608 736 18446744073709551615 94859618582528 94859619477061 140725600101584 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94859619716112 94859619763856 94859644387328 140725600106815 140725600106975 140725600106975 140725600112579 0
/proc/167765/statm: 1048 736 672 219 0 110 0
[pid=167772] ppid=167765 vsize=94648 memory=49572 CPUtime=50.93 cores=5,7
/proc/167772/stat : 167772 (roundingsat) R 167765 167765 167693 0 -1 4194304 9832 0 0 0 5056 37 0 0 20 0 1 0 235576043 96919552 12393 18446744073709551615 4227072 8923433 140724307945648 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37408768 140724307949940 140724307950118 140724307950118 140724307955690 0
/proc/167772/statm: 23662 12393 2400 1147 0 11089 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 98840 KiB
Current children cumulated memory: 52516 KiB

[startup+102.3 s]
/proc/loadavg: 3.59 1.34 0.54 5/272 167779
/proc/meminfo: memFree=119195084/131249996 swapFree=33010160/33010684
[pid=167765] ppid=167757 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/167765/stat : 167765 (run-dec-ls-log.) S 167757 167765 167693 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 235576041 4292608 736 18446744073709551615 94859618582528 94859619477061 140725600101584 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94859619716112 94859619763856 94859644387328 140725600106815 140725600106975 140725600106975 140725600112579 0
/proc/167765/statm: 1048 736 672 219 0 110 0
[pid=167772] ppid=167765 vsize=128520 memory=77608 CPUtime=101.99 cores=5,7
/proc/167772/stat : 167772 (roundingsat) R 167765 167765 167693 0 -1 4194304 14301 0 0 0 10132 67 0 0 20 0 1 0 235576043 131604480 19402 18446744073709551615 4227072 8923433 140724307945648 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37408768 140724307949940 140724307950118 140724307950118 140724307955690 0
/proc/167772/statm: 32130 19402 2400 1147 0 19557 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 132712 KiB
Current children cumulated memory: 80552 KiB

[startup+162.3 s]
/proc/loadavg: 3.99 1.86 0.77 5/272 167781
/proc/meminfo: memFree=118185688/131249996 swapFree=33010160/33010684
[pid=167765] ppid=167757 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/167765/stat : 167765 (run-dec-ls-log.) S 167757 167765 167693 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 235576041 4292608 736 18446744073709551615 94859618582528 94859619477061 140725600101584 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94859619716112 94859619763856 94859644387328 140725600106815 140725600106975 140725600106975 140725600112579 0
/proc/167765/statm: 1048 736 672 219 0 110 0
[pid=167772] ppid=167765 vsize=142396 memory=95420 CPUtime=161.83 cores=5,7
/proc/167772/stat : 167772 (roundingsat) R 167765 167765 167693 0 -1 4194304 17716 0 0 0 16084 99 0 0 20 0 1 0 235576043 145813504 23855 18446744073709551615 4227072 8923433 140724307945648 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37408768 140724307949940 140724307950118 140724307950118 140724307955690 0
/proc/167772/statm: 35599 23855 2400 1147 0 23026 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 146588 KiB
Current children cumulated memory: 98364 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 2.28 0.99 5/272 167783
/proc/meminfo: memFree=117206676/131249996 swapFree=33010160/33010684
[pid=167765] ppid=167757 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/167765/stat : 167765 (run-dec-ls-log.) S 167757 167765 167693 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 235576041 4292608 736 18446744073709551615 94859618582528 94859619477061 140725600101584 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94859619716112 94859619763856 94859644387328 140725600106815 140725600106975 140725600106975 140725600112579 0
/proc/167765/statm: 1048 736 672 219 0 110 0
[pid=167772] ppid=167765 vsize=160812 memory=113084 CPUtime=221.66 cores=5,7
/proc/167772/stat : 167772 (roundingsat) R 167765 167765 167693 0 -1 4194304 21855 0 0 0 22029 137 0 0 20 0 1 0 235576043 164671488 28271 18446744073709551615 4227072 8923433 140724307945648 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37408768 140724307949940 140724307950118 140724307950118 140724307955690 0
/proc/167772/statm: 40203 28271 2400 1147 0 27630 0

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

/proc/167772/statm: 106273 91177 2400 1147 0 93700 0
Current children cumulated CPU time: 3092.86 s
Current children cumulated vsize: 429284 KiB
Current children cumulated memory: 367652 KiB

[startup+3162.3 s]
/proc/loadavg: 4.15 4.15 4.05 5/271 167944
/proc/meminfo: memFree=92254712/131249996 swapFree=33010160/33010684
[pid=167765] ppid=167757 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/167765/stat : 167765 (run-dec-ls-log.) S 167757 167765 167693 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 235576041 4292608 736 18446744073709551615 94859618582528 94859619477061 140725600101584 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94859619716112 94859619763856 94859644387328 140725600106815 140725600106975 140725600106975 140725600112579 0
/proc/167765/statm: 1048 736 672 219 0 110 0
[pid=167772] ppid=167765 vsize=425092 memory=364708 CPUtime=3152.7 cores=5,7
/proc/167772/stat : 167772 (roundingsat) R 167765 167765 167693 0 -1 4194304 60053 0 0 0 313997 1273 0 0 20 0 1 0 235576043 435294208 91177 18446744073709551615 4227072 8923433 140724307945648 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37408768 140724307949940 140724307950118 140724307950118 140724307955690 0
/proc/167772/statm: 106273 91177 2400 1147 0 93700 0
Current children cumulated CPU time: 3152.7 s
Current children cumulated vsize: 429284 KiB
Current children cumulated memory: 367652 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.14 4.05 5/271 167948
/proc/meminfo: memFree=92077636/131249996 swapFree=33010160/33010684
[pid=167765] ppid=167757 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/167765/stat : 167765 (run-dec-ls-log.) S 167757 167765 167693 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 235576041 4292608 736 18446744073709551615 94859618582528 94859619477061 140725600101584 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94859619716112 94859619763856 94859644387328 140725600106815 140725600106975 140725600106975 140725600112579 0
/proc/167765/statm: 1048 736 672 219 0 110 0
[pid=167772] ppid=167765 vsize=425092 memory=364708 CPUtime=3212.53 cores=5,7
/proc/167772/stat : 167772 (roundingsat) R 167765 167765 167693 0 -1 4194304 60066 0 0 0 319963 1290 0 0 20 0 1 0 235576043 435294208 91177 18446744073709551615 4227072 8923433 140724307945648 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37408768 140724307949940 140724307950118 140724307950118 140724307955690 0
/proc/167772/statm: 106273 91177 2400 1147 0 93700 0
Current children cumulated CPU time: 3212.53 s
Current children cumulated vsize: 429284 KiB
Current children cumulated memory: 367652 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.14 4.06 5/270 167950
/proc/meminfo: memFree=91933456/131249996 swapFree=33010160/33010684
[pid=167765] ppid=167757 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/167765/stat : 167765 (run-dec-ls-log.) S 167757 167765 167693 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 235576041 4292608 736 18446744073709551615 94859618582528 94859619477061 140725600101584 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94859619716112 94859619763856 94859644387328 140725600106815 140725600106975 140725600106975 140725600112579 0
/proc/167765/statm: 1048 736 672 219 0 110 0
[pid=167772] ppid=167765 vsize=425516 memory=371748 CPUtime=3272.36 cores=5,7
/proc/167772/stat : 167772 (roundingsat) R 167765 167765 167693 0 -1 4194304 60194 0 0 0 325928 1308 0 0 20 0 1 0 235576043 435728384 92937 18446744073709551615 4227072 8923433 140724307945648 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37408768 140724307949940 140724307950118 140724307950118 140724307955690 0
/proc/167772/statm: 106379 92937 2400 1147 0 93806 0
Current children cumulated CPU time: 3272.36 s
Current children cumulated vsize: 429708 KiB
Current children cumulated memory: 374692 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.13 4.06 5/268 167952
/proc/meminfo: memFree=91705304/131249996 swapFree=33010160/33010684
[pid=167765] ppid=167757 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/167765/stat : 167765 (run-dec-ls-log.) S 167757 167765 167693 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 235576041 4292608 736 18446744073709551615 94859618582528 94859619477061 140725600101584 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94859619716112 94859619763856 94859644387328 140725600106815 140725600106975 140725600106975 140725600112579 0
/proc/167765/statm: 1048 736 672 219 0 110 0
[pid=167772] ppid=167765 vsize=429200 memory=382884 CPUtime=3332.2 cores=5,7
/proc/167772/stat : 167772 (roundingsat) R 167765 167765 167693 0 -1 4194304 60978 0 0 0 331884 1336 0 0 20 0 1 0 235576043 439500800 95721 18446744073709551615 4227072 8923433 140724307945648 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37408768 140724307949940 140724307950118 140724307950118 140724307955690 0
/proc/167772/statm: 107300 95721 2400 1147 0 94727 0
Current children cumulated CPU time: 3332.2 s
Current children cumulated vsize: 433392 KiB
Current children cumulated memory: 385828 KiB

[startup+3402.3 s]
/proc/loadavg: 4.16 4.13 4.06 5/268 167954
/proc/meminfo: memFree=91146756/131249996 swapFree=33010160/33010684
[pid=167765] ppid=167757 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/167765/stat : 167765 (run-dec-ls-log.) S 167757 167765 167693 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 235576041 4292608 736 18446744073709551615 94859618582528 94859619477061 140725600101584 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94859619716112 94859619763856 94859644387328 140725600106815 140725600106975 140725600106975 140725600112579 0
/proc/167765/statm: 1048 736 672 219 0 110 0
[pid=167772] ppid=167765 vsize=429200 memory=383268 CPUtime=3392.04 cores=5,7
/proc/167772/stat : 167772 (roundingsat) R 167765 167765 167693 0 -1 4194304 61063 0 0 0 337846 1358 0 0 20 0 1 0 235576043 439500800 95817 18446744073709551615 4227072 8923433 140724307945648 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37408768 140724307949940 140724307950118 140724307950118 140724307955690 0
/proc/167772/statm: 107300 95817 2400 1147 0 94727 0
Current children cumulated CPU time: 3392.04 s
Current children cumulated vsize: 433392 KiB
Current children cumulated memory: 386212 KiB

[startup+3462.3 s]
/proc/loadavg: 4.29 4.17 4.08 5/268 167956
/proc/meminfo: memFree=90666076/131249996 swapFree=33010160/33010684
[pid=167765] ppid=167757 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/167765/stat : 167765 (run-dec-ls-log.) S 167757 167765 167693 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 235576041 4292608 736 18446744073709551615 94859618582528 94859619477061 140725600101584 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94859619716112 94859619763856 94859644387328 140725600106815 140725600106975 140725600106975 140725600112579 0
/proc/167765/statm: 1048 736 672 219 0 110 0
[pid=167772] ppid=167765 vsize=429200 memory=383268 CPUtime=3451.88 cores=5,7
/proc/167772/stat : 167772 (roundingsat) R 167765 167765 167693 0 -1 4194304 61063 0 0 0 343811 1377 0 0 20 0 1 0 235576043 439500800 95817 18446744073709551615 4227072 8923433 140724307945648 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37408768 140724307949940 140724307950118 140724307950118 140724307955690 0
/proc/167772/statm: 107300 95817 2400 1147 0 94727 0
Current children cumulated CPU time: 3451.88 s
Current children cumulated vsize: 433392 KiB
Current children cumulated memory: 386212 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.14 4.08 5/267 167958
/proc/meminfo: memFree=90307072/131249996 swapFree=33010160/33010684
[pid=167765] ppid=167757 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/167765/stat : 167765 (run-dec-ls-log.) S 167757 167765 167693 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 235576041 4292608 736 18446744073709551615 94859618582528 94859619477061 140725600101584 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94859619716112 94859619763856 94859644387328 140725600106815 140725600106975 140725600106975 140725600112579 0
/proc/167765/statm: 1048 736 672 219 0 110 0
[pid=167772] ppid=167765 vsize=429200 memory=383268 CPUtime=3511.72 cores=5,7
/proc/167772/stat : 167772 (roundingsat) R 167765 167765 167693 0 -1 4194304 61063 0 0 0 349782 1390 0 0 20 0 1 0 235576043 439500800 95817 18446744073709551615 4227072 8923433 140724307945648 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37408768 140724307949940 140724307950118 140724307950118 140724307955690 0
/proc/167772/statm: 107300 95817 2400 1147 0 94727 0
Current children cumulated CPU time: 3511.72 s
Current children cumulated vsize: 433392 KiB
Current children cumulated memory: 386212 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.14 4.08 5/267 167961
/proc/meminfo: memFree=89975032/131249996 swapFree=33010160/33010684
[pid=167765] ppid=167757 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/167765/stat : 167765 (run-dec-ls-log.) S 167757 167765 167693 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 235576041 4292608 736 18446744073709551615 94859618582528 94859619477061 140725600101584 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94859619716112 94859619763856 94859644387328 140725600106815 140725600106975 140725600106975 140725600112579 0
/proc/167765/statm: 1048 736 672 219 0 110 0
[pid=167772] ppid=167765 vsize=429200 memory=383268 CPUtime=3571.56 cores=5,7
/proc/167772/stat : 167772 (roundingsat) R 167765 167765 167693 0 -1 4194304 61063 0 0 0 355755 1401 0 0 20 0 1 0 235576043 439500800 95817 18446744073709551615 4227072 8923433 140724307945648 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37408768 140724307949940 140724307950118 140724307950118 140724307955690 0
/proc/167772/statm: 107300 95817 2400 1147 0 94727 0
Current children cumulated CPU time: 3571.56 s
Current children cumulated vsize: 433392 KiB
Current children cumulated memory: 386212 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.9 s]
/proc/loadavg: 4.19 4.16 4.09 2/255 167982
/proc/meminfo: memFree=92445936/131249996 swapFree=33010160/33010684
[pid=167765] ppid=167757 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/167765/stat : 167765 (run-dec-ls-log.) S 167757 167765 167693 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 235576041 4292608 736 18446744073709551615 94859618582528 94859619477061 140725600101584 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94859619716112 94859619763856 94859644387328 140725600106815 140725600106975 140725600106975 140725600112579 0
/proc/167765/statm: 1048 736 672 219 0 110 0
[pid=167772] ppid=167765 vsize=429380 memory=383524 CPUtime=3600.09 cores=5,7
/proc/167772/stat : 167772 (roundingsat) R 167765 167765 167693 0 -1 4194304 61167 0 0 0 358604 1405 0 0 20 0 1 0 235576043 439685120 95881 18446744073709551615 4227072 8923433 140724307945648 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37408768 140724307949940 140724307950118 140724307950118 140724307955690 0
/proc/167772/statm: 107345 95881 2400 1147 0 94772 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 433572 KiB
Current children cumulated memory: 386468 KiB

Sending SIGTERM to process tree (bottom up)

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

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

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

# cumulated CPU time of all completed processes:  user=3586.05 s, system=14.0553 s
# this solver process was not waited by its parent and was adopted by runsolver

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3610.9 s]
/proc/loadavg: 4.19 4.16 4.09 2/255 167982
/proc/meminfo: memFree=92445936/131249996 swapFree=33010160/33010684
[pid=167765] ppid=167757 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/167765/stat : 167765 (run-dec-ls-log.) S 167757 167765 167693 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 235576041 4292608 736 18446744073709551615 94859618582528 94859619477061 140725600101584 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94859619716112 94859619763856 94859644387328 140725600106815 140725600106975 140725600106975 140725600112579 0
/proc/167765/statm: 1048 736 672 219 0 110 0
[pid=167772] ppid=167765 vsize=429380 memory=383524 CPUtime=3600.09 cores=5,7
/proc/167772/stat : 167772 (roundingsat) R 167765 167765 167693 0 -1 4194304 61167 0 0 0 358604 1405 0 0 20 0 1 0 235576043 439685120 95881 18446744073709551615 4227072 8923433 140724307945648 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37408768 140724307949940 140724307950118 140724307950118 140724307955690 0
/proc/167772/statm: 107345 95881 2400 1147 0 94772 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 433572 KiB
Current children cumulated memory: 386468 KiB

Child status: 2

Real time (s): 3610.91
CPU time (s): 3600.11
CPU user time (s): 3586.05
CPU system time (s): 14.0553
CPU usage (%): 99.7008
Max. virtual memory (cumulated for all children) (KiB): 433572
Max. memory (cumulated for all children) (KiB): 386468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.05
system time used= 14.0553
maximum resident set size= 383908
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61396
page faults= 0
swaps= 0
block input operations= 0
block output operations= 17567792
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 254
involuntary context switches= 22211


# summary of solver processes directly reported to runsolver:
#   pid: 167765,167772
#   total CPU time (s): 3600.11
#   total CPU user time (s): 3586.05
#   total CPU system time (s): 14.0553

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.5402 second user time and 13.3979 second system time

The end

Launcher Data 

Begin job on nodeC032 at 2025-07-22 17:42:54
IDJOB=4541764
IDBENCH=163377
IDSOLVER=3354
FILE ID=nodeC032/4541764-1753198973
RUNJOBID= nodeC032-1753198973-167713
SLURM_JOB_ID= 9687765
Free space on /tmp= 432576 MiB

SOLVER NAME= roundingsat-ls-log 63f22ad
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/equalities/wallacecomm/normalized-27wallacecomm_greater_teq.opb
COMMAND LINE= run-dec-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4541764-1753198973/watcher-4541764-1753198973 -o /tmp/evaluation-result-4541764-1753198973/solver-4541764-1753198973 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1753198973-167713 --watchdog 3760 --file-size-limit 100000 run-dec-ls-log.sh HOME/instance-4541764-1753198973.opb /tmp/proof-4541764-1753198973

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

MD5SUM BENCH= c5f0df1008e51f7adaa039b331d221c7
RANDOM SEED=1581860338

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        121554964 kB
MemAvailable:   129638856 kB
Buffers:            2728 kB
Cached:          8763972 kB
SwapCached:           20 kB
Active:          1200600 kB
Inactive:        7633316 kB
Active(anon):      90332 kB
Inactive(anon):     3124 kB
Active(file):    1110268 kB
Inactive(file):  7630192 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             28636 kB
Writeback:             0 kB
AnonPages:         70344 kB
Mapped:           108380 kB
Shmem:             26240 kB
KReclaimable:     365344 kB
Slab:             463620 kB
SReclaimable:     365344 kB
SUnreclaim:        98276 kB
KernelStack:        4144 kB
PageTables:         2964 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     351956 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150392 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      203476 kB
DirectMap2M:     7956480 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 404576 MiB
End job on nodeC032 at 2025-07-22 18:43:05