Trace number 4541762

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
roundingsat-log 63f22ad? (TO) 3600.05 3609.11

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

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=171467, runsolver pid=171464

[startup+0.100058 s]*
/proc/loadavg: 0.07 0.08 0.09 5/269 171469
/proc/meminfo: memFree=128336984/131250000 swapFree=33009904/33010684
[pid=171467] ppid=171464 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/171467/stat : 171467 (run-dec-log.sh) S 171464 171467 171389 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235576823 4292608 704 18446744073709551615 94094619430912 94094620325445 140734086045392 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94094620564496 94094620612240 94094632030208 140734086048069 140734086048226 140734086048226 140734086053830 0
/proc/171467/statm: 1048 704 672 219 0 110 0
[pid=171469] ppid=171467 vsize=72976 memory=27860 CPUtime=0.07 cores=4,6
/proc/171469/stat : 171469 (roundingsat) R 171467 171467 171389 0 -1 4194304 3902 0 0 0 5 2 0 0 20 0 1 0 235576825 74727424 6965 18446744073709551615 4227072 8923433 140723007875488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17899520 140723007883659 140723007883814 140723007883814 140723007889386 0
/proc/171469/statm: 18244 6965 2336 1147 0 5671 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 77168 KiB
Current children cumulated memory: 30676 KiB

[startup+0.20583 s]*
/proc/loadavg: 0.07 0.08 0.09 5/269 171469
/proc/meminfo: memFree=128334968/131250000 swapFree=33009904/33010684
[pid=171467] ppid=171464 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/171467/stat : 171467 (run-dec-log.sh) S 171464 171467 171389 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235576823 4292608 704 18446744073709551615 94094619430912 94094620325445 140734086045392 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94094620564496 94094620612240 94094632030208 140734086048069 140734086048226 140734086048226 140734086053830 0
/proc/171467/statm: 1048 704 672 219 0 110 0
[pid=171469] ppid=171467 vsize=74148 memory=28500 CPUtime=0.17 cores=4,6
/proc/171469/stat : 171469 (roundingsat) R 171467 171467 171389 0 -1 4194304 4075 0 0 0 15 2 0 0 20 0 1 0 235576825 75927552 7125 18446744073709551615 4227072 8923433 140723007875488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17899520 140723007883659 140723007883814 140723007883814 140723007889386 0
/proc/171469/statm: 18537 7125 2336 1147 0 5964 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 78340 KiB
Current children cumulated memory: 31316 KiB

[startup+0.305016 s]*
/proc/loadavg: 0.07 0.08 0.09 5/269 171469
/proc/meminfo: memFree=128326904/131250000 swapFree=33009904/33010684
[pid=171467] ppid=171464 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/171467/stat : 171467 (run-dec-log.sh) S 171464 171467 171389 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235576823 4292608 704 18446744073709551615 94094619430912 94094620325445 140734086045392 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94094620564496 94094620612240 94094632030208 140734086048069 140734086048226 140734086048226 140734086053830 0
/proc/171467/statm: 1048 704 672 219 0 110 0
[pid=171469] ppid=171467 vsize=74148 memory=28884 CPUtime=0.27 cores=4,6
/proc/171469/stat : 171469 (roundingsat) R 171467 171467 171389 0 -1 4194304 4168 0 0 0 25 2 0 0 20 0 1 0 235576825 75927552 7221 18446744073709551615 4227072 8923433 140723007875488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17899520 140723007883659 140723007883814 140723007883814 140723007889386 0
/proc/171469/statm: 18537 7221 2336 1147 0 5964 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 78340 KiB
Current children cumulated memory: 31700 KiB

[startup+0.700142 s]
/proc/loadavg: 0.07 0.08 0.09 5/269 171469
/proc/meminfo: memFree=128306744/131250000 swapFree=33009904/33010684
[pid=171467] ppid=171464 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/171467/stat : 171467 (run-dec-log.sh) S 171464 171467 171389 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235576823 4292608 704 18446744073709551615 94094619430912 94094620325445 140734086045392 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94094620564496 94094620612240 94094632030208 140734086048069 140734086048226 140734086048226 140734086053830 0
/proc/171467/statm: 1048 704 672 219 0 110 0
[pid=171469] ppid=171467 vsize=74964 memory=29652 CPUtime=0.67 cores=4,6
/proc/171469/stat : 171469 (roundingsat) R 171467 171467 171389 0 -1 4194304 4373 0 0 0 64 3 0 0 20 0 1 0 235576825 76763136 7413 18446744073709551615 4227072 8923433 140723007875488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17899520 140723007883659 140723007883814 140723007883814 140723007889386 0
/proc/171469/statm: 18741 7413 2336 1147 0 6168 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 79156 KiB
Current children cumulated memory: 32468 KiB

[startup+1.50014 s]
/proc/loadavg: 0.07 0.08 0.09 5/269 171469
/proc/meminfo: memFree=128278444/131250000 swapFree=33009904/33010684
[pid=171467] ppid=171464 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/171467/stat : 171467 (run-dec-log.sh) S 171464 171467 171389 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235576823 4292608 704 18446744073709551615 94094619430912 94094620325445 140734086045392 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94094620564496 94094620612240 94094632030208 140734086048069 140734086048226 140734086048226 140734086053830 0
/proc/171467/statm: 1048 704 672 219 0 110 0
[pid=171469] ppid=171467 vsize=75840 memory=30548 CPUtime=1.46 cores=4,6
/proc/171469/stat : 171469 (roundingsat) R 171467 171467 171389 0 -1 4194304 4578 0 0 0 143 3 0 0 20 0 1 0 235576825 77660160 7637 18446744073709551615 4227072 8923433 140723007875488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17899520 140723007883659 140723007883814 140723007883814 140723007889386 0
/proc/171469/statm: 18960 7637 2336 1147 0 6387 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 80032 KiB
Current children cumulated memory: 33364 KiB

[startup+3.10541 s]
/proc/loadavg: 0.46 0.16 0.11 5/269 171469
/proc/meminfo: memFree=128163000/131250000 swapFree=33009904/33010684
[pid=171467] ppid=171464 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/171467/stat : 171467 (run-dec-log.sh) S 171464 171467 171389 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235576823 4292608 704 18446744073709551615 94094619430912 94094620325445 140734086045392 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94094620564496 94094620612240 94094632030208 140734086048069 140734086048226 140734086048226 140734086053830 0
/proc/171467/statm: 1048 704 672 219 0 110 0
[pid=171469] ppid=171467 vsize=77916 memory=34736 CPUtime=3.06 cores=4,6
/proc/171469/stat : 171469 (roundingsat) R 171467 171467 171389 0 -1 4194304 5111 0 0 0 301 5 0 0 20 0 1 0 235576825 79785984 8684 18446744073709551615 4227072 8923433 140723007875488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17899520 140723007883659 140723007883814 140723007883814 140723007889386 0
/proc/171469/statm: 19479 8684 2336 1147 0 6906 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 82108 KiB
Current children cumulated memory: 37552 KiB

[startup+6.30015 s]
/proc/loadavg: 0.46 0.16 0.11 5/269 171469
/proc/meminfo: memFree=128026044/131250000 swapFree=33009904/33010684
[pid=171467] ppid=171464 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/171467/stat : 171467 (run-dec-log.sh) S 171464 171467 171389 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235576823 4292608 704 18446744073709551615 94094619430912 94094620325445 140734086045392 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94094620564496 94094620612240 94094632030208 140734086048069 140734086048226 140734086048226 140734086053830 0
/proc/171467/statm: 1048 704 672 219 0 110 0
[pid=171469] ppid=171467 vsize=78824 memory=35504 CPUtime=6.25 cores=4,6
/proc/171469/stat : 171469 (roundingsat) R 171467 171467 171389 0 -1 4194304 5328 0 0 0 618 7 0 0 20 0 1 0 235576825 80715776 8876 18446744073709551615 4227072 8923433 140723007875488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17899520 140723007883659 140723007883814 140723007883814 140723007889386 0
/proc/171469/statm: 19706 8876 2336 1147 0 7133 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 83016 KiB
Current children cumulated memory: 38320 KiB

[startup+12.7002 s]
/proc/loadavg: 0.75 0.22 0.13 5/271 171471
/proc/meminfo: memFree=127780884/131250000 swapFree=33009904/33010684
[pid=171467] ppid=171464 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/171467/stat : 171467 (run-dec-log.sh) S 171464 171467 171389 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235576823 4292608 704 18446744073709551615 94094619430912 94094620325445 140734086045392 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94094620564496 94094620612240 94094632030208 140734086048069 140734086048226 140734086048226 140734086053830 0
/proc/171467/statm: 1048 704 672 219 0 110 0
[pid=171469] ppid=171467 vsize=80532 memory=37296 CPUtime=12.64 cores=4,6
/proc/171469/stat : 171469 (roundingsat) R 171467 171467 171389 0 -1 4194304 5765 0 0 0 1254 10 0 0 20 0 1 0 235576825 82464768 9324 18446744073709551615 4227072 8923433 140723007875488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17899520 140723007883659 140723007883814 140723007883814 140723007889386 0
/proc/171469/statm: 20133 9324 2336 1147 0 7560 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 84724 KiB
Current children cumulated memory: 40112 KiB

[startup+25.5002 s]
/proc/loadavg: 1.54 0.43 0.20 5/271 171471
/proc/meminfo: memFree=127297964/131250000 swapFree=33009904/33010684
[pid=171467] ppid=171464 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/171467/stat : 171467 (run-dec-log.sh) S 171464 171467 171389 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235576823 4292608 704 18446744073709551615 94094619430912 94094620325445 140734086045392 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94094620564496 94094620612240 94094632030208 140734086048069 140734086048226 140734086048226 140734086053830 0
/proc/171467/statm: 1048 704 672 219 0 110 0
[pid=171469] ppid=171467 vsize=83088 memory=39984 CPUtime=25.41 cores=4,6
/proc/171469/stat : 171469 (roundingsat) R 171467 171467 171389 0 -1 4194304 6426 0 0 0 2522 19 0 0 20 0 1 0 235576825 85082112 9996 18446744073709551615 4227072 8923433 140723007875488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17899520 140723007883659 140723007883814 140723007883814 140723007889386 0
/proc/171469/statm: 20772 9996 2336 1147 0 8199 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 87280 KiB
Current children cumulated memory: 42800 KiB

[startup+51.1057 s]
/proc/loadavg: 2.54 0.75 0.32 5/271 171472
/proc/meminfo: memFree=126524564/131250000 swapFree=33009904/33010684
[pid=171467] ppid=171464 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/171467/stat : 171467 (run-dec-log.sh) S 171464 171467 171389 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235576823 4292608 704 18446744073709551615 94094619430912 94094620325445 140734086045392 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94094620564496 94094620612240 94094632030208 140734086048069 140734086048226 140734086048226 140734086053830 0
/proc/171467/statm: 1048 704 672 219 0 110 0
[pid=171469] ppid=171467 vsize=92320 memory=48048 CPUtime=50.96 cores=4,6
/proc/171469/stat : 171469 (roundingsat) R 171467 171467 171389 0 -1 4194304 8487 0 0 0 5061 35 0 0 20 0 1 0 235576825 94535680 12012 18446744073709551615 4227072 8923433 140723007875488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17899520 140723007883659 140723007883814 140723007883814 140723007889386 0
/proc/171469/statm: 23080 12012 2336 1147 0 10507 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 96512 KiB
Current children cumulated memory: 50864 KiB

[startup+102.3 s]
/proc/loadavg: 3.54 1.30 0.53 5/271 171473
/proc/meminfo: memFree=125091284/131250000 swapFree=33009904/33010684
[pid=171467] ppid=171464 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/171467/stat : 171467 (run-dec-log.sh) S 171464 171467 171389 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235576823 4292608 704 18446744073709551615 94094619430912 94094620325445 140734086045392 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94094620564496 94094620612240 94094632030208 140734086048069 140734086048226 140734086048226 140734086053830 0
/proc/171467/statm: 1048 704 672 219 0 110 0
[pid=171469] ppid=171467 vsize=126204 memory=76736 CPUtime=102.03 cores=4,6
/proc/171469/stat : 171469 (roundingsat) R 171467 171467 171389 0 -1 4194304 12611 0 0 0 10140 63 0 0 20 0 1 0 235576825 129232896 19184 18446744073709551615 4227072 8923433 140723007875488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17899520 140723007883659 140723007883814 140723007883814 140723007889386 0
/proc/171469/statm: 31551 19184 2336 1147 0 18978 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 130396 KiB
Current children cumulated memory: 79552 KiB

[startup+162.3 s]
/proc/loadavg: 4.50 2.00 0.82 5/271 171476
/proc/meminfo: memFree=123636656/131250000 swapFree=33009904/33010684
[pid=171467] ppid=171464 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/171467/stat : 171467 (run-dec-log.sh) S 171464 171467 171389 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235576823 4292608 704 18446744073709551615 94094619430912 94094620325445 140734086045392 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94094620564496 94094620612240 94094632030208 140734086048069 140734086048226 140734086048226 140734086053830 0
/proc/171467/statm: 1048 704 672 219 0 110 0
[pid=171469] ppid=171467 vsize=139872 memory=92188 CPUtime=161.88 cores=4,6
/proc/171469/stat : 171469 (roundingsat) R 171467 171467 171389 0 -1 4194304 15970 0 0 0 16092 96 0 0 20 0 1 0 235576825 143228928 23047 18446744073709551615 4227072 8923433 140723007875488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17899520 140723007883659 140723007883814 140723007883814 140723007889386 0
/proc/171469/statm: 34968 23047 2336 1147 0 22395 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 144064 KiB
Current children cumulated memory: 95004 KiB

[startup+222.3 s]
/proc/loadavg: 4.45 2.44 1.05 5/271 171478
/proc/meminfo: memFree=122348040/131250000 swapFree=33009904/33010684
[pid=171467] ppid=171464 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/171467/stat : 171467 (run-dec-log.sh) S 171464 171467 171389 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235576823 4292608 704 18446744073709551615 94094619430912 94094620325445 140734086045392 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94094620564496 94094620612240 94094632030208 140734086048069 140734086048226 140734086048226 140734086053830 0
/proc/171467/statm: 1048 704 672 219 0 110 0
[pid=171469] ppid=171467 vsize=157180 memory=108060 CPUtime=221.72 cores=4,6
/proc/171469/stat : 171469 (roundingsat) R 171467 171467 171389 0 -1 4194304 19910 0 0 0 22042 130 0 0 20 0 1 0 235576825 160952320 27015 18446744073709551615 4227072 8923433 140723007875488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17899520 140723007883659 140723007883814 140723007883814 140723007889386 0

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

/proc/171469/statm: 105715 93937 2368 1147 0 93142 0
Current children cumulated CPU time: 3094.45 s
Current children cumulated vsize: 427052 KiB
Current children cumulated memory: 378564 KiB

[startup+3162.3 s]
/proc/loadavg: 4.16 4.18 4.08 5/269 171643
/proc/meminfo: memFree=88591620/131250000 swapFree=33009904/33010684
[pid=171467] ppid=171464 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/171467/stat : 171467 (run-dec-log.sh) S 171464 171467 171389 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235576823 4292608 704 18446744073709551615 94094619430912 94094620325445 140734086045392 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94094620564496 94094620612240 94094632030208 140734086048069 140734086048226 140734086048226 140734086053830 0
/proc/171467/statm: 1048 704 672 219 0 110 0
[pid=171469] ppid=171467 vsize=422860 memory=375748 CPUtime=3154.3 cores=4,6
/proc/171469/stat : 171469 (roundingsat) R 171467 171467 171389 0 -1 4194304 58667 0 0 0 314218 1212 0 0 20 0 1 0 235576825 433008640 93937 18446744073709551615 4227072 8923433 140723007875488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17899520 140723007883659 140723007883814 140723007883814 140723007889386 0
/proc/171469/statm: 105715 93937 2368 1147 0 93142 0
Current children cumulated CPU time: 3154.3 s
Current children cumulated vsize: 427052 KiB
Current children cumulated memory: 378564 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.18 4.09 5/269 171646
/proc/meminfo: memFree=88123512/131250000 swapFree=33009904/33010684
[pid=171467] ppid=171464 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/171467/stat : 171467 (run-dec-log.sh) S 171464 171467 171389 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235576823 4292608 704 18446744073709551615 94094619430912 94094620325445 140734086045392 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94094620564496 94094620612240 94094632030208 140734086048069 140734086048226 140734086048226 140734086053830 0
/proc/171467/statm: 1048 704 672 219 0 110 0
[pid=171469] ppid=171467 vsize=422860 memory=375748 CPUtime=3214.16 cores=4,6
/proc/171469/stat : 171469 (roundingsat) R 171467 171467 171389 0 -1 4194304 58667 0 0 0 320188 1228 0 0 20 0 1 0 235576825 433008640 93937 18446744073709551615 4227072 8923433 140723007875488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17899520 140723007883659 140723007883814 140723007883814 140723007889386 0
/proc/171469/statm: 105715 93937 2368 1147 0 93142 0
Current children cumulated CPU time: 3214.16 s
Current children cumulated vsize: 427052 KiB
Current children cumulated memory: 378564 KiB

[startup+3282.3 s]
/proc/loadavg: 4.19 4.19 4.09 5/268 171648
/proc/meminfo: memFree=87679428/131250000 swapFree=33009904/33010684
[pid=171467] ppid=171464 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/171467/stat : 171467 (run-dec-log.sh) S 171464 171467 171389 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235576823 4292608 704 18446744073709551615 94094619430912 94094620325445 140734086045392 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94094620564496 94094620612240 94094632030208 140734086048069 140734086048226 140734086048226 140734086053830 0
/proc/171467/statm: 1048 704 672 219 0 110 0
[pid=171469] ppid=171467 vsize=422860 memory=375748 CPUtime=3274.02 cores=4,6
/proc/171469/stat : 171469 (roundingsat) R 171467 171467 171389 0 -1 4194304 58667 0 0 0 326158 1244 0 0 20 0 1 0 235576825 433008640 93937 18446744073709551615 4227072 8923433 140723007875488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17899520 140723007883659 140723007883814 140723007883814 140723007889386 0
/proc/171469/statm: 105715 93937 2368 1147 0 93142 0
Current children cumulated CPU time: 3274.02 s
Current children cumulated vsize: 427052 KiB
Current children cumulated memory: 378564 KiB

[startup+3342.3 s]
/proc/loadavg: 4.16 4.18 4.09 5/269 171651
/proc/meminfo: memFree=87342116/131250000 swapFree=33009904/33010684
[pid=171467] ppid=171464 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/171467/stat : 171467 (run-dec-log.sh) S 171464 171467 171389 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235576823 4292608 704 18446744073709551615 94094619430912 94094620325445 140734086045392 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94094620564496 94094620612240 94094632030208 140734086048069 140734086048226 140734086048226 140734086053830 0
/proc/171467/statm: 1048 704 672 219 0 110 0
[pid=171469] ppid=171467 vsize=422860 memory=375748 CPUtime=3333.88 cores=4,6
/proc/171469/stat : 171469 (roundingsat) R 171467 171467 171389 0 -1 4194304 58674 0 0 0 332130 1258 0 0 20 0 1 0 235576825 433008640 93937 18446744073709551615 4227072 8923433 140723007875488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17899520 140723007883659 140723007883814 140723007883814 140723007889386 0
/proc/171469/statm: 105715 93937 2368 1147 0 93142 0
Current children cumulated CPU time: 3333.88 s
Current children cumulated vsize: 427052 KiB
Current children cumulated memory: 378564 KiB

[startup+3402.3 s]
/proc/loadavg: 4.18 4.18 4.10 5/269 171653
/proc/meminfo: memFree=86934172/131250000 swapFree=33009904/33010684
[pid=171467] ppid=171464 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/171467/stat : 171467 (run-dec-log.sh) S 171464 171467 171389 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235576823 4292608 704 18446744073709551615 94094619430912 94094620325445 140734086045392 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94094620564496 94094620612240 94094632030208 140734086048069 140734086048226 140734086048226 140734086053830 0
/proc/171467/statm: 1048 704 672 219 0 110 0
[pid=171469] ppid=171467 vsize=424100 memory=376900 CPUtime=3393.74 cores=4,6
/proc/171469/stat : 171469 (roundingsat) R 171467 171467 171389 0 -1 4194304 58958 0 0 0 338103 1271 0 0 20 0 1 0 235576825 434278400 94225 18446744073709551615 4227072 8923433 140723007875488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17899520 140723007883659 140723007883814 140723007883814 140723007889386 0
/proc/171469/statm: 106025 94225 2368 1147 0 93452 0
Current children cumulated CPU time: 3393.74 s
Current children cumulated vsize: 428292 KiB
Current children cumulated memory: 379716 KiB

[startup+3462.3 s]
/proc/loadavg: 4.21 4.19 4.10 5/271 171658
/proc/meminfo: memFree=86445004/131250000 swapFree=33009904/33010684
[pid=171467] ppid=171464 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/171467/stat : 171467 (run-dec-log.sh) S 171464 171467 171389 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235576823 4292608 704 18446744073709551615 94094619430912 94094620325445 140734086045392 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94094620564496 94094620612240 94094632030208 140734086048069 140734086048226 140734086048226 140734086053830 0
/proc/171467/statm: 1048 704 672 219 0 110 0
[pid=171469] ppid=171467 vsize=426968 memory=379332 CPUtime=3453.58 cores=4,6
/proc/171469/stat : 171469 (roundingsat) R 171467 171467 171389 0 -1 4194304 59561 0 0 0 344058 1300 0 0 20 0 1 0 235576825 437215232 94833 18446744073709551615 4227072 8923433 140723007875488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17899520 140723007883659 140723007883814 140723007883814 140723007889386 0
/proc/171469/statm: 106742 94833 2368 1147 0 94169 0
Current children cumulated CPU time: 3453.58 s
Current children cumulated vsize: 431160 KiB
Current children cumulated memory: 382148 KiB

[startup+3522.3 s]
/proc/loadavg: 4.17 4.18 4.10 5/270 171660
/proc/meminfo: memFree=85961256/131250000 swapFree=33009904/33010684
[pid=171467] ppid=171464 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/171467/stat : 171467 (run-dec-log.sh) S 171464 171467 171389 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235576823 4292608 704 18446744073709551615 94094619430912 94094620325445 140734086045392 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94094620564496 94094620612240 94094632030208 140734086048069 140734086048226 140734086048226 140734086053830 0
/proc/171467/statm: 1048 704 672 219 0 110 0
[pid=171469] ppid=171467 vsize=426968 memory=379588 CPUtime=3513.44 cores=4,6
/proc/171469/stat : 171469 (roundingsat) R 171467 171467 171389 0 -1 4194304 59646 0 0 0 350022 1322 0 0 20 0 1 0 235576825 437215232 94897 18446744073709551615 4227072 8923433 140723007875488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17899520 140723007883659 140723007883814 140723007883814 140723007889386 0
/proc/171469/statm: 106742 94897 2368 1147 0 94169 0
Current children cumulated CPU time: 3513.44 s
Current children cumulated vsize: 431160 KiB
Current children cumulated memory: 382404 KiB

[startup+3582.3 s]
/proc/loadavg: 4.18 4.19 4.11 5/270 171662
/proc/meminfo: memFree=85488496/131250000 swapFree=33009904/33010684
[pid=171467] ppid=171464 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/171467/stat : 171467 (run-dec-log.sh) S 171464 171467 171389 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235576823 4292608 704 18446744073709551615 94094619430912 94094620325445 140734086045392 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94094620564496 94094620612240 94094632030208 140734086048069 140734086048226 140734086048226 140734086053830 0
/proc/171467/statm: 1048 704 672 219 0 110 0
[pid=171469] ppid=171467 vsize=426968 memory=379588 CPUtime=3573.29 cores=4,6
/proc/171469/stat : 171469 (roundingsat) R 171467 171467 171389 0 -1 4194304 59646 0 0 0 355986 1343 0 0 20 0 1 0 235576825 437215232 94897 18446744073709551615 4227072 8923433 140723007875488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17899520 140723007883659 140723007883814 140723007883814 140723007889386 0
/proc/171469/statm: 106742 94897 2368 1147 0 94169 0
Current children cumulated CPU time: 3573.29 s
Current children cumulated vsize: 431160 KiB
Current children cumulated memory: 382404 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.11 s]
/proc/loadavg: 4.19 4.19 4.11 5/270 171671
/proc/meminfo: memFree=85282392/131250000 swapFree=33009904/33010684
[pid=171467] ppid=171464 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/171467/stat : 171467 (run-dec-log.sh) S 171464 171467 171389 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235576823 4292608 704 18446744073709551615 94094619430912 94094620325445 140734086045392 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94094620564496 94094620612240 94094632030208 140734086048069 140734086048226 140734086048226 140734086053830 0
/proc/171467/statm: 1048 704 672 219 0 110 0
[pid=171469] ppid=171467 vsize=426968 memory=379588 CPUtime=3600.03 cores=4,6
/proc/171469/stat : 171469 (roundingsat) R 171467 171467 171389 0 -1 4194304 59646 0 0 0 358652 1351 0 0 20 0 1 0 235576825 437215232 94897 18446744073709551615 4227072 8923433 140723007875488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17899520 140723007883659 140723007883814 140723007883814 140723007889386 0
/proc/171469/statm: 106742 94897 2368 1147 0 94169 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 431160 KiB
Current children cumulated memory: 382404 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.000595 s, system=0.00134 s

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

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

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

[startup+3609.11 s]
/proc/loadavg: 4.19 4.19 4.11 5/270 171671
/proc/meminfo: memFree=85282392/131250000 swapFree=33009904/33010684
[pid=171467] ppid=171464 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/171467/stat : 171467 (run-dec-log.sh) S 171464 171467 171389 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 235576823 4292608 704 18446744073709551615 94094619430912 94094620325445 140734086045392 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94094620564496 94094620612240 94094632030208 140734086048069 140734086048226 140734086048226 140734086053830 0
/proc/171467/statm: 1048 704 672 219 0 110 0
[pid=171469] ppid=171467 vsize=426968 memory=379588 CPUtime=3600.03 cores=4,6
/proc/171469/stat : 171469 (roundingsat) R 171467 171467 171389 0 -1 4194304 59646 0 0 0 358652 1351 0 0 20 0 1 0 235576825 437215232 94897 18446744073709551615 4227072 8923433 140723007875488 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17899520 140723007883659 140723007883814 140723007883814 140723007889386 0
/proc/171469/statm: 106742 94897 2368 1147 0 94169 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 431160 KiB
Current children cumulated memory: 382404 KiB

Child status: 2

Real time (s): 3609.11
CPU time (s): 3600.05
CPU user time (s): 3586.54
CPU system time (s): 13.5169
CPU usage (%): 99.7489
Max. virtual memory (cumulated for all children) (KiB): 431160
Max. memory (cumulated for all children) (KiB): 382404

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.54
system time used= 13.5169
maximum resident set size= 379972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59874
page faults= 0
swaps= 0
block input operations= 0
block output operations= 17341416
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 213
involuntary context switches= 4844


# summary of solver processes directly reported to runsolver:
#   pid: 171467,171469
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3586.54
#   total CPU system time (s): 13.5169

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.97867 second user time and 16.9097 second system time

The end

Launcher Data 

Begin job on nodeC033 at 2025-07-22 17:42:54
IDJOB=4541762
IDBENCH=163377
IDSOLVER=3352
FILE ID=nodeC033/4541762-1753198973
RUNJOBID= nodeC033-1753198973-171407
SLURM_JOB_ID= 9687766
Free space on /tmp= 432568 MiB

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

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

MD5SUM BENCH= c5f0df1008e51f7adaa039b331d221c7
RANDOM SEED=1581860338

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        128377240 kB
MemAvailable:   129689376 kB
Buffers:            2128 kB
Cached:          2035928 kB
SwapCached:           64 kB
Active:          1292904 kB
Inactive:         808812 kB
Active(anon):      84604 kB
Inactive(anon):     5284 kB
Active(file):    1208300 kB
Inactive(file):   803528 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             29656 kB
Writeback:             0 kB
AnonPages:         66844 kB
Mapped:           108440 kB
Shmem:             26228 kB
KReclaimable:     279092 kB
Slab:             382908 kB
SReclaimable:     279092 kB
SUnreclaim:       103816 kB
KernelStack:        4160 kB
PageTables:         3092 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     349428 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150456 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 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:      221908 kB
DirectMap2M:    11083776 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 387228 MiB
End job on nodeC033 at 2025-07-22 18:43:03