Trace number 4507303

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
roundingsat-ls-log 63f22ad? (TO) 3600.12 3611.98

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K92.opb
MD5SUM0bf652578c2f1d207084d270794d0d34
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark16.9419
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6256
Total number of constraints6442
Number of constraints which are clauses6350
Number of constraints which are cardinality constraints (but not clauses)92
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint92
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 93
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.01	c RoundingSat 2
0.00/0.01	c branch pb25
0.00/0.01	c commit 63f22ad
0.00/0.06	c #variables 6256 #constraints 6442
42.37/42.54	c #Conflicts:       1000 | #Constraints:       7441
42.37/42.54	c #Conflicts:       2000 | #Constraints:       8441
42.37/42.54	c INPROCESSING
42.37/42.54	c GARBAGE COLLECT
42.37/42.54	c #Conflicts:       3000 | #Constraints:       8069
42.37/42.54	c #Conflicts:       4000 | #Constraints:       9069
42.37/42.54	c INPROCESSING
42.37/42.54	c GARBAGE COLLECT
42.37/42.54	c #Conflicts:       5000 | #Constraints:       8522
42.37/42.54	c #Conflicts:       6000 | #Constraints:       9522
42.37/42.54	c INPROCESSING
42.37/42.54	c GARBAGE COLLECT
42.37/42.54	c #Conflicts:       7000 | #Constraints:       8568
42.37/42.54	c #Conflicts:       8000 | #Constraints:       9568
42.37/42.54	c #Conflicts:       9000 | #Constraints:      10568
42.37/42.54	c INPROCESSING
42.37/42.54	c GARBAGE COLLECT
42.37/42.54	c #Conflicts:      10000 | #Constraints:       9308
42.37/42.54	c #Conflicts:      11000 | #Constraints:      10308
42.37/42.54	c #Conflicts:      12000 | #Constraints:      11308
42.37/42.54	c INPROCESSING
42.37/42.54	c GARBAGE COLLECT
42.37/42.54	c #Conflicts:      13000 | #Constraints:       9800
42.37/42.54	c #Conflicts:      14000 | #Constraints:      10800
42.37/42.54	c #Conflicts:      15000 | #Constraints:      11800
42.37/42.54	c INPROCESSING
42.37/42.54	c GARBAGE COLLECT
42.37/42.54	c #Conflicts:      16000 | #Constraints:      10080
42.37/42.54	c #Conflicts:      17000 | #Constraints:      11080
42.37/42.54	c #Conflicts:      18000 | #Constraints:      12080
42.37/42.54	c INPROCESSING
42.37/42.54	c GARBAGE COLLECT
42.37/42.54	c #Conflicts:      19000 | #Constraints:      10111
42.37/42.54	c #Conflicts:      20000 | #Constraints:      11111
42.37/42.54	c #Conflicts:      21000 | #Constraints:      12112
42.37/42.54	c INPROCESSING
42.37/42.54	c GARBAGE COLLECT
42.37/42.54	c #Conflicts:      22000 | #Constraints:       9918
42.37/42.54	c #Conflicts:      23000 | #Constraints:      10918
42.37/42.54	c #Conflicts:      24000 | #Constraints:      11918
42.37/42.54	c #Conflicts:      25000 | #Constraints:      12918
42.37/42.54	c INPROCESSING
42.37/42.54	c GARBAGE COLLECT
42.37/42.54	c #Conflicts:      26000 | #Constraints:      10578
42.37/42.54	c #Conflicts:      27000 | #Constraints:      11578
42.37/42.54	c #Conflicts:      28000 | #Constraints:      12578
42.37/42.54	c #Conflicts:      29000 | #Constraints:      13578
42.37/42.54	c INPROCESSING
42.37/42.54	c GARBAGE COLLECT
42.37/42.54	c #Conflicts:      30000 | #Constraints:      10986
42.37/42.54	c #Conflicts:      31000 | #Constraints:      11986
42.37/42.54	c #Conflicts:      32000 | #Constraints:      12986
42.37/42.54	c #Conflicts:      33000 | #Constraints:      13986
42.37/42.54	c INPROCESSING
42.37/42.54	c GARBAGE COLLECT
42.37/42.54	c #Conflicts:      34000 | #Constraints:      11219
42.37/42.54	c #Conflicts:      35000 | #Constraints:      12219
42.37/42.54	c #Conflicts:      36000 | #Constraints:      13219
42.37/42.54	c #Conflicts:      37000 | #Constraints:      14219
42.37/42.54	c INPROCESSING
42.37/42.54	c GARBAGE COLLECT
42.37/42.54	c #Conflicts:      38000 | #Constraints:      11238
42.37/42.54	c #Conflicts:      39000 | #Constraints:      12238
42.37/42.54	c #Conflicts:      40000 | #Constraints:      13238
42.37/42.54	c #Conflicts:      41000 | #Constraints:      14238
42.37/42.54	c INPROCESSING
42.37/42.54	c GARBAGE COLLECT
42.37/42.54	c #Conflicts:      42000 | #Constraints:      11049
42.37/42.54	c #Conflicts:      43000 | #Constraints:      12049
42.37/42.54	c #Conflicts:      44000 | #Constraints:      13049
42.37/42.54	c #Conflicts:      45000 | #Constraints:      14049
42.37/42.54	c #Conflicts:      46000 | #Constraints:      15049
42.37/42.54	c INPROCESSING
42.37/42.54	c GARBAGE COLLECT
42.37/42.54	c #Conflicts:      47000 | #Constraints:      11656
42.37/42.54	c #Conflicts:      48000 | #Constraints:      12656
42.37/42.54	c #Conflicts:      49000 | #Constraints:      13656
42.37/42.54	c #Conflicts:      50000 | #Constraints:      14656
42.37/42.54	c #Conflicts:      51000 | #Constraints:      15656
42.37/42.54	c INPROCESSING
42.37/42.54	c GARBAGE COLLECT
42.37/42.54	c #Conflicts:      52000 | #Constraints:      12069
42.37/42.54	c #Conflicts:      53000 | #Constraints:      13069
42.37/42.54	c #Conflicts:      54000 | #Constraints:      14069
42.37/42.54	c #Conflicts:      55000 | #Constraints:      15069
42.37/42.54	c #Conflicts:      56000 | #Constraints:      16069
42.37/42.54	c INPROCESSING
42.37/42.54	c GARBAGE COLLECT
42.37/42.54	c #Conflicts:      57000 | #Constraints:      12331
42.37/42.54	c #Conflicts:      58000 | #Constraints:      13331
42.37/42.54	c #Conflicts:      59000 | #Constraints:      14331
42.37/42.54	c #Conflicts:      60000 | #Constraints:      15331
42.37/42.54	c #Conflicts:      61000 | #Constraints:      16331
42.37/42.54	c INPROCESSING
42.37/42.54	c GARBAGE COLLECT
42.37/42.54	c #Conflicts:      62000 | #Constraints:      12309
42.37/42.54	c #Conflicts:      63000 | #Constraints:      13309
42.37/42.54	c #Conflicts:      64000 | #Constraints:      14309
42.37/42.54	c #Conflicts:      65000 | #Constraints:      15309
42.37/42.54	c #Conflicts:      66000 | #Constraints:      16309
42.37/42.54	c INPROCESSING
42.37/42.54	c GARBAGE COLLECT
42.37/42.54	c #Conflicts:      67000 | #Constraints:      12117
42.37/42.54	c #Conflicts:      68000 | #Constraints:      13117
112.48/112.88	c #Conflicts:      69000 | #Constraints:      14117
112.48/112.88	c #Conflicts:      70000 | #Constraints:      15117
112.48/112.88	c #Conflicts:      71000 | #Constraints:      16117
112.48/112.88	c #Conflicts:      72000 | #Constraints:      17117
112.48/112.88	c #Conflicts:      73000 | #Constraints:      18117
112.48/112.88	c #Conflicts:      74000 | #Constraints:      19117
112.48/112.88	c #Conflicts:      75000 | #Constraints:      20117
112.48/112.88	c #Conflicts:      76000 | #Constraints:      21117
112.48/112.88	c #Conflicts:      77000 | #Constraints:      22117
112.48/112.88	c #Conflicts:      78000 | #Constraints:      23117
112.48/112.88	c #Conflicts:      79000 | #Constraints:      24117
112.48/112.88	c #Conflicts:      80000 | #Constraints:      25117
112.48/112.88	c #Conflicts:      81000 | #Constraints:      26118
112.48/112.88	c #Conflicts:      82000 | #Constraints:      27118
112.48/112.88	c #Conflicts:      83000 | #Constraints:      28118
112.48/112.88	c #Conflicts:      84000 | #Constraints:      29118
112.48/112.88	c #Conflicts:      85000 | #Constraints:      30118
112.48/112.88	c #Conflicts:      86000 | #Constraints:      31118
112.48/112.88	c #Conflicts:      87000 | #Constraints:      32118
112.48/112.88	c #Conflicts:      88000 | #Constraints:      33118
112.48/112.88	c #Conflicts:      89000 | #Constraints:      34118
112.48/112.88	c INPROCESSING
112.48/112.88	c GARBAGE COLLECT
112.48/112.88	c #Conflicts:      90000 | #Constraints:      21214
112.48/112.88	c #Conflicts:      91000 | #Constraints:      22214
112.48/112.88	c #Conflicts:      92000 | #Constraints:      23214
112.48/112.88	c #Conflicts:      93000 | #Constraints:      24214
112.48/112.88	c #Conflicts:      94000 | #Constraints:      25214
112.48/112.88	c #Conflicts:      95000 | #Constraints:      26214
112.48/112.88	c #Conflicts:      96000 | #Constraints:      27214
112.48/112.88	c INPROCESSING
112.48/112.88	c GARBAGE COLLECT
112.48/112.88	c #Conflicts:      97000 | #Constraints:      17932
112.48/112.88	c #Conflicts:      98000 | #Constraints:      18932
112.48/112.88	c #Conflicts:      99000 | #Constraints:      19932
112.48/112.88	c #Conflicts:     100000 | #Constraints:      20932
112.48/112.88	c #Conflicts:     101000 | #Constraints:      21932
112.48/112.88	c #Conflicts:     102000 | #Constraints:      22932
112.48/112.88	c INPROCESSING
112.48/112.88	c GARBAGE COLLECT
112.48/112.88	c #Conflicts:     103000 | #Constraints:      15370
112.48/112.88	c #Conflicts:     104000 | #Constraints:      16370
112.48/112.88	c #Conflicts:     105000 | #Constraints:      17370
112.48/112.88	c #Conflicts:     106000 | #Constraints:      18370
112.48/112.88	c #Conflicts:     107000 | #Constraints:      19370
112.48/112.88	c #Conflicts:     108000 | #Constraints:      20370
112.48/112.88	c #Conflicts:     109000 | #Constraints:      21370
112.48/112.88	c #Conflicts:     110000 | #Constraints:      22370
112.48/112.88	c INPROCESSING
112.48/112.88	c GARBAGE COLLECT
112.48/112.88	c #Conflicts:     111000 | #Constraints:      15512
112.48/112.88	c #Conflicts:     112000 | #Constraints:      16512
112.48/112.88	c #Conflicts:     113000 | #Constraints:      17512
112.48/112.88	c #Conflicts:     114000 | #Constraints:      18512
112.48/112.88	c #Conflicts:     115000 | #Constraints:      19512
112.48/112.88	c #Conflicts:     116000 | #Constraints:      20512
112.48/112.88	c #Conflicts:     117000 | #Constraints:      21512
112.48/112.88	c INPROCESSING
112.48/112.88	c GARBAGE COLLECT
112.48/112.88	c #Conflicts:     118000 | #Constraints:      14914
112.48/112.88	c #Conflicts:     119000 | #Constraints:      15914
112.48/112.88	c #Conflicts:     120000 | #Constraints:      16914
112.48/112.88	c #Conflicts:     121000 | #Constraints:      17915
112.48/112.88	c #Conflicts:     122000 | #Constraints:      18915
112.48/112.88	c #Conflicts:     123000 | #Constraints:      19915
112.48/112.88	c #Conflicts:     124000 | #Constraints:      20915
112.48/112.88	c #Conflicts:     125000 | #Constraints:      21915
112.48/112.88	c #Conflicts:     126000 | #Constraints:      22915
112.48/112.88	c #Conflicts:     127000 | #Constraints:      23915
112.48/112.88	c #Conflicts:     128000 | #Constraints:      24915
112.48/112.88	c #Conflicts:     129000 | #Constraints:      25915
112.48/112.88	c #Conflicts:     130000 | #Constraints:      26915
112.48/112.88	c #Conflicts:     131000 | #Constraints:      27915
112.48/112.88	c #Conflicts:     132000 | #Constraints:      28915
112.48/112.88	c #Conflicts:     133000 | #Constraints:      29915
112.48/112.88	c #Conflicts:     134000 | #Constraints:      30915
112.48/112.88	c #Conflicts:     135000 | #Constraints:      31915
112.48/112.88	c #Conflicts:     136000 | #Constraints:      32915
112.48/112.88	c #Conflicts:     137000 | #Constraints:      33915
112.48/112.88	c #Conflicts:     138000 | #Constraints:      34915
112.48/112.88	c #Conflicts:     139000 | #Constraints:      35915
112.48/112.88	c #Conflicts:     140000 | #Constraints:      36915
112.48/112.88	c #Conflicts:     141000 | #Constraints:      37915
112.48/112.88	c #Conflicts:     142000 | #Constraints:      38915
112.48/112.88	c #Conflicts:     143000 | #Constraints:      39915
123.55/123.99	c #Conflicts:     144000 | #Constraints:      40915
123.55/123.99	c #Conflicts:     145000 | #Constraints:      41915
123.55/123.99	c #Conflicts:     146000 | #Constraints:      42915
123.55/123.99	c INPROCESSING
123.55/123.99	c GARBAGE COLLECT
123.55/123.99	c rational objective 92
204.43/205.06	c #Conflicts:     147000 | #Constraints:      25600
204.43/205.06	c #Conflicts:     148000 | #Constraints:      26600
204.43/205.06	c #Conflicts:     149000 | #Constraints:      27600
204.43/205.06	c #Conflicts:     150000 | #Constraints:      28600
204.43/205.06	c #Conflicts:     151000 | #Constraints:      29600
204.43/205.06	c #Conflicts:     152000 | #Constraints:      30600
204.43/205.06	c #Conflicts:     153000 | #Constraints:      31601
204.43/205.06	c #Conflicts:     154000 | #Constraints:      32601
204.43/205.06	c #Conflicts:     155000 | #Constraints:      33601
204.43/205.06	c INPROCESSING
204.43/205.06	c GARBAGE COLLECT
204.43/205.06	c #Conflicts:     156000 | #Constraints:      21144
204.43/205.06	c #Conflicts:     157000 | #Constraints:      22144
204.43/205.06	c #Conflicts:     158000 | #Constraints:      23144
204.43/205.06	c #Conflicts:     159000 | #Constraints:      24144
204.43/205.06	c #Conflicts:     160000 | #Constraints:      25144
204.43/205.06	c #Conflicts:     161000 | #Constraints:      26144
204.43/205.06	c #Conflicts:     162000 | #Constraints:      27144
204.43/205.06	c #Conflicts:     163000 | #Constraints:      28144
204.43/205.06	c INPROCESSING
204.43/205.06	c GARBAGE COLLECT
204.43/205.06	c #Conflicts:     164000 | #Constraints:      18030
204.43/205.06	c #Conflicts:     165000 | #Constraints:      19030
204.43/205.07	c #Conflicts:     166000 | #Constraints:      20030
204.43/205.07	c #Conflicts:     167000 | #Constraints:      21030
204.43/205.07	c #Conflicts:     168000 | #Constraints:      22030
204.43/205.07	c #Conflicts:     169000 | #Constraints:      23030
204.43/205.07	c #Conflicts:     170000 | #Constraints:      24030
204.43/205.07	c #Conflicts:     171000 | #Constraints:      25030
204.43/205.07	c #Conflicts:     172000 | #Constraints:      26030
204.43/205.07	c INPROCESSING
204.43/205.07	c GARBAGE COLLECT
204.43/205.07	c #Conflicts:     173000 | #Constraints:      16983
204.43/205.07	c #Conflicts:     174000 | #Constraints:      17983
204.43/205.07	c #Conflicts:     175000 | #Constraints:      18983
204.43/205.07	c #Conflicts:     176000 | #Constraints:      19983
204.43/205.07	c #Conflicts:     177000 | #Constraints:      20983
204.43/205.07	c #Conflicts:     178000 | #Constraints:      21983
204.43/205.07	c #Conflicts:     179000 | #Constraints:      22983
204.43/205.07	c #Conflicts:     180000 | #Constraints:      23983
204.43/205.07	c #Conflicts:     181000 | #Constraints:      24983
204.43/205.07	c #Conflicts:     182000 | #Constraints:      25983
204.43/205.07	c INPROCESSING
204.43/205.07	c GARBAGE COLLECT
204.43/205.07	c #Conflicts:     183000 | #Constraints:      17347
204.43/205.07	c #Conflicts:     184000 | #Constraints:      18347
204.43/205.07	c #Conflicts:     185000 | #Constraints:      19347
204.43/205.07	c #Conflicts:     186000 | #Constraints:      20347
204.43/205.07	c #Conflicts:     187000 | #Constraints:      21347
204.43/205.07	c #Conflicts:     188000 | #Constraints:      22347
204.43/205.07	c #Conflicts:     189000 | #Constraints:      23347
204.43/205.07	c #Conflicts:     190000 | #Constraints:      24347
204.43/205.07	c #Conflicts:     191000 | #Constraints:      25347
204.43/205.07	c #Conflicts:     192000 | #Constraints:      26347
204.43/205.07	c #Conflicts:     193000 | #Constraints:      27347
204.43/205.07	c #Conflicts:     194000 | #Constraints:      28347
204.43/205.07	c #Conflicts:     195000 | #Constraints:      29347
204.43/205.07	c #Conflicts:     196000 | #Constraints:      30347
204.43/205.07	c #Conflicts:     197000 | #Constraints:      31347
204.43/205.07	c #Conflicts:     198000 | #Constraints:      32347
204.43/205.07	c #Conflicts:     199000 | #Constraints:      33347
204.43/205.07	c #Conflicts:     200000 | #Constraints:      34347
204.43/205.07	c #Conflicts:     201000 | #Constraints:      35347
204.43/205.07	c #Conflicts:     202000 | #Constraints:      36347
204.43/205.07	c #Conflicts:     203000 | #Constraints:      37347
204.43/205.07	c #Conflicts:     204000 | #Constraints:      38347
204.43/205.07	c #Conflicts:     205000 | #Constraints:      39347
204.43/205.07	c #Conflicts:     206000 | #Constraints:      40347
204.43/205.07	c #Conflicts:     207000 | #Constraints:      41347
204.43/205.07	c #Conflicts:     208000 | #Constraints:      42347
204.43/205.07	c #Conflicts:     209000 | #Constraints:      43347
204.43/205.07	c #Conflicts:     210000 | #Constraints:      44347
204.43/205.07	c #Conflicts:     211000 | #Constraints:      45347
204.43/205.07	c #Conflicts:     212000 | #Constraints:      46347
204.43/205.07	c #Conflicts:     213000 | #Constraints:      47347
204.43/205.07	c #Conflicts:     214000 | #Constraints:      48347
204.43/205.07	c #Conflicts:     215000 | #Constraints:      49347
204.43/205.07	c #Conflicts:     216000 | #Constraints:      50347
204.43/205.07	c #Conflicts:     217000 | #Constraints:      51347
204.43/205.07	c INPROCESSING
204.43/205.07	c GARBAGE COLLECT
204.43/205.07	c #Conflicts:     218000 | #Constraints:      29845
204.43/205.07	c #Conflicts:     219000 | #Constraints:      30845
204.43/205.07	c #Conflicts:     220000 | #Constraints:      31845
204.43/205.07	c #Conflicts:     221000 | #Constraints:      32845
204.43/205.07	c #Conflicts:     222000 | #Constraints:      33845
238.84/239.58	c #Conflicts:     223000 | #Constraints:      34845
238.84/239.58	c #Conflicts:     224000 | #Constraints:      35845
238.84/239.58	c #Conflicts:     225000 | #Constraints:      36845
238.84/239.58	c #Conflicts:     226000 | #Constraints:      37845
238.84/239.58	c #Conflicts:     227000 | #Constraints:      38845
238.84/239.58	c #Conflicts:     228000 | #Constraints:      39845
238.84/239.58	c INPROCESSING
238.84/239.58	c GARBAGE COLLECT
238.84/239.58	c #Conflicts:     229000 | #Constraints:      24284
238.84/239.58	c #Conflicts:     230000 | #Constraints:      25284
238.84/239.58	c #Conflicts:     231000 | #Constraints:      26284
238.84/239.58	c #Conflicts:     232000 | #Constraints:      27284
238.84/239.58	c #Conflicts:     233000 | #Constraints:      28284
238.84/239.58	c #Conflicts:     234000 | #Constraints:      29284
238.84/239.58	c #Conflicts:     235000 | #Constraints:      30284
238.84/239.58	c #Conflicts:     236000 | #Constraints:      31284
238.84/239.58	c #Conflicts:     237000 | #Constraints:      32284
238.84/239.58	c #Conflicts:     238000 | #Constraints:      33284
238.84/239.58	c INPROCESSING
238.84/239.58	c GARBAGE COLLECT
238.84/239.58	c #Conflicts:     239000 | #Constraints:      20713
238.84/239.58	c #Conflicts:     240000 | #Constraints:      21713
238.84/239.58	c #Conflicts:     241000 | #Constraints:      22713
238.84/239.58	c #Conflicts:     242000 | #Constraints:      23713
238.84/239.58	c #Conflicts:     243000 | #Constraints:      24713
238.84/239.58	c #Conflicts:     244000 | #Constraints:      25713
238.84/239.58	c #Conflicts:     245000 | #Constraints:      26713
238.84/239.58	c #Conflicts:     246000 | #Constraints:      27713
238.84/239.58	c #Conflicts:     247000 | #Constraints:      28713
238.84/239.58	c #Conflicts:     248000 | #Constraints:      29713
238.84/239.58	c #Conflicts:     249000 | #Constraints:      30713
238.84/239.58	c INPROCESSING
238.84/239.58	c GARBAGE COLLECT
238.84/239.58	c rational objective 92
251.20/251.92	c #Conflicts:     250000 | #Constraints:      19485
251.20/251.92	c #Conflicts:     251000 | #Constraints:      20485
251.20/251.92	c #Conflicts:     252000 | #Constraints:      21485
251.20/251.92	c #Conflicts:     253000 | #Constraints:      22485
251.20/251.92	c #Conflicts:     254000 | #Constraints:      23485
251.20/251.92	c #Conflicts:     255000 | #Constraints:      24485
251.20/251.92	c #Conflicts:     256000 | #Constraints:      25485
251.20/251.92	c #Conflicts:     257000 | #Constraints:      26485
251.20/251.92	c #Conflicts:     258000 | #Constraints:      27485
251.20/251.92	c #Conflicts:     259000 | #Constraints:      28485
251.20/251.92	c #Conflicts:     260000 | #Constraints:      29485
251.20/251.92	c INPROCESSING
251.20/251.92	c GARBAGE COLLECT
251.20/251.92	c rational objective 92
312.04/312.94	c #Conflicts:     261000 | #Constraints:      18786
312.04/312.94	c #Conflicts:     262000 | #Constraints:      19786
312.04/312.94	c #Conflicts:     263000 | #Constraints:      20786
312.04/312.94	c #Conflicts:     264000 | #Constraints:      21786
312.04/312.94	c #Conflicts:     265000 | #Constraints:      22786
312.04/312.94	c #Conflicts:     266000 | #Constraints:      23786
312.04/312.94	c #Conflicts:     267000 | #Constraints:      24786
312.04/312.94	c #Conflicts:     268000 | #Constraints:      25786
312.04/312.94	c #Conflicts:     269000 | #Constraints:      26786
312.04/312.94	c #Conflicts:     270000 | #Constraints:      27786
312.04/312.94	c #Conflicts:     271000 | #Constraints:      28786
312.04/312.94	c #Conflicts:     272000 | #Constraints:      29786
312.04/312.94	c #Conflicts:     273000 | #Constraints:      30786
312.04/312.94	c #Conflicts:     274000 | #Constraints:      31786
312.04/312.94	c #Conflicts:     275000 | #Constraints:      32786
312.04/312.94	c #Conflicts:     276000 | #Constraints:      33786
312.04/312.94	c #Conflicts:     277000 | #Constraints:      34786
312.04/312.94	c #Conflicts:     278000 | #Constraints:      35786
312.04/312.94	c #Conflicts:     279000 | #Constraints:      36786
312.04/312.94	c #Conflicts:     280000 | #Constraints:      37786
312.04/312.94	c #Conflicts:     281000 | #Constraints:      38786
312.04/312.94	c #Conflicts:     282000 | #Constraints:      39786
312.04/312.94	c #Conflicts:     283000 | #Constraints:      40786
312.04/312.94	c #Conflicts:     284000 | #Constraints:      41786
312.04/312.94	c #Conflicts:     285000 | #Constraints:      42786
312.04/312.94	c #Conflicts:     286000 | #Constraints:      43786
312.04/312.94	c #Conflicts:     287000 | #Constraints:      44786
312.04/312.94	c #Conflicts:     288000 | #Constraints:      45786
312.04/312.94	c #Conflicts:     289000 | #Constraints:      46786
312.04/312.94	c #Conflicts:     290000 | #Constraints:      47786
312.04/312.94	c #Conflicts:     291000 | #Constraints:      48786
312.04/312.94	c #Conflicts:     292000 | #Constraints:      49786
312.04/312.94	c #Conflicts:     293000 | #Constraints:      50786
312.04/312.94	c #Conflicts:     294000 | #Constraints:      51786
312.04/312.94	c #Conflicts:     295000 | #Constraints:      52786
312.04/312.94	c #Conflicts:     296000 | #Constraints:      53786
312.04/312.94	c #Conflicts:     297000 | #Constraints:      54786
312.04/312.94	c #Conflicts:     298000 | #Constraints:      55786
312.04/312.94	c #Conflicts:     299000 | #Constraints:      56786
312.04/312.94	c #Conflicts:     300000 | #Constraints:      57786
312.04/312.94	c #Conflicts:     301000 | #Constraints:      58786
312.04/312.94	c #Conflicts:     302000 | #Constraints:      59786
312.04/312.94	c INPROCESSING
312.04/312.94	c GARBAGE COLLECT
312.04/312.94	c rational objective 92
401.08/402.22	c #Conflicts:     303000 | #Constraints:      34036
401.08/402.22	c #Conflicts:     304000 | #Constraints:      35036
401.08/402.22	c #Conflicts:     305000 | #Constraints:      36036
401.08/402.22	c #Conflicts:     306000 | #Constraints:      37036
401.08/402.22	c #Conflicts:     307000 | #Constraints:      38036
401.08/402.22	c #Conflicts:     308000 | #Constraints:      39036
401.08/402.22	c #Conflicts:     309000 | #Constraints:      40036
401.08/402.22	c #Conflicts:     310000 | #Constraints:      41036
401.08/402.22	c #Conflicts:     311000 | #Constraints:      42036
401.08/402.22	c #Conflicts:     312000 | #Constraints:      43036
401.08/402.22	c #Conflicts:     313000 | #Constraints:      44036
401.08/402.22	c #Conflicts:     314000 | #Constraints:      45036
401.08/402.22	c #Conflicts:     315000 | #Constraints:      46036
401.08/402.22	c INPROCESSING
401.08/402.22	c GARBAGE COLLECT
401.08/402.22	c #Conflicts:     316000 | #Constraints:      27462
401.08/402.22	c #Conflicts:     317000 | #Constraints:      28462
401.08/402.22	c #Conflicts:     318000 | #Constraints:      29462
401.08/402.22	c #Conflicts:     319000 | #Constraints:      30462
401.08/402.22	c #Conflicts:     320000 | #Constraints:      31462
401.08/402.22	c #Conflicts:     321000 | #Constraints:      32462
401.08/402.22	c #Conflicts:     322000 | #Constraints:      33462
401.08/402.22	c #Conflicts:     323000 | #Constraints:      34462
401.08/402.22	c #Conflicts:     324000 | #Constraints:      35462
401.08/402.22	c #Conflicts:     325000 | #Constraints:      36462
401.08/402.22	c #Conflicts:     326000 | #Constraints:      37462
401.08/402.22	c #Conflicts:     327000 | #Constraints:      38462
401.08/402.22	c INPROCESSING
401.08/402.22	c GARBAGE COLLECT
401.08/402.22	c #Conflicts:     328000 | #Constraints:      23420
401.08/402.22	c #Conflicts:     329000 | #Constraints:      24420
401.08/402.22	c #Conflicts:     330000 | #Constraints:      25420
401.08/402.22	c #Conflicts:     331000 | #Constraints:      26420
401.08/402.22	c #Conflicts:     332000 | #Constraints:      27420
401.08/402.22	c #Conflicts:     333000 | #Constraints:      28420
401.08/402.22	c #Conflicts:     334000 | #Constraints:      29420
401.08/402.22	c #Conflicts:     335000 | #Constraints:      30420
401.08/402.22	c #Conflicts:     336000 | #Constraints:      31420
401.08/402.22	c #Conflicts:     337000 | #Constraints:      32420
401.08/402.22	c #Conflicts:     338000 | #Constraints:      33420
401.08/402.22	c #Conflicts:     339000 | #Constraints:      34420
401.08/402.22	c #Conflicts:     340000 | #Constraints:      35420
401.08/402.22	c INPROCESSING
401.08/402.22	c GARBAGE COLLECT
401.08/402.22	c #Conflicts:     341000 | #Constraints:      22019
401.08/402.22	c #Conflicts:     342000 | #Constraints:      23019
401.08/402.22	c #Conflicts:     343000 | #Constraints:      24019
401.08/402.22	c #Conflicts:     344000 | #Constraints:      25019
401.08/402.22	c #Conflicts:     345000 | #Constraints:      26019
401.08/402.22	c #Conflicts:     346000 | #Constraints:      27019
401.08/402.22	c #Conflicts:     347000 | #Constraints:      28019
401.08/402.22	c #Conflicts:     348000 | #Constraints:      29019
401.08/402.22	c #Conflicts:     349000 | #Constraints:      30020
401.08/402.22	c #Conflicts:     350000 | #Constraints:      31020
401.08/402.22	c #Conflicts:     351000 | #Constraints:      32020
401.08/402.22	c #Conflicts:     352000 | #Constraints:      33020
401.08/402.22	c #Conflicts:     353000 | #Constraints:      34020
401.08/402.22	c INPROCESSING
401.08/402.22	c GARBAGE COLLECT
401.08/402.22	c #Conflicts:     354000 | #Constraints:      21213
401.08/402.22	c #Conflicts:     355000 | #Constraints:      22213
401.08/402.22	c #Conflicts:     356000 | #Constraints:      23213
401.08/402.22	c #Conflicts:     357000 | #Constraints:      24213
401.08/402.22	c #Conflicts:     358000 | #Constraints:      25213
401.08/402.22	c #Conflicts:     359000 | #Constraints:      26213
401.08/402.22	c #Conflicts:     360000 | #Constraints:      27213
401.08/402.22	c #Conflicts:     361000 | #Constraints:      28213
401.08/402.22	c #Conflicts:     362000 | #Constraints:      29213
401.08/402.22	c #Conflicts:     363000 | #Constraints:      30213
401.08/402.22	c #Conflicts:     364000 | #Constraints:      31213
401.08/402.22	c #Conflicts:     365000 | #Constraints:      32213
401.08/402.22	c #Conflicts:     366000 | #Constraints:      33213
401.08/402.22	c #Conflicts:     367000 | #Constraints:      34213
401.08/402.22	c #Conflicts:     368000 | #Constraints:      35213
401.08/402.22	c #Conflicts:     369000 | #Constraints:      36213
401.08/402.22	c #Conflicts:     370000 | #Constraints:      37213
401.08/402.22	c #Conflicts:     371000 | #Constraints:      38213
401.08/402.22	c #Conflicts:     372000 | #Constraints:      39213
401.08/402.22	c #Conflicts:     373000 | #Constraints:      40213
401.08/402.22	c #Conflicts:     374000 | #Constraints:      41213
401.08/402.22	c #Conflicts:     375000 | #Constraints:      42213
401.08/402.22	c #Conflicts:     376000 | #Constraints:      43213
401.08/402.22	c #Conflicts:     377000 | #Constraints:      44213
401.08/402.22	c #Conflicts:     378000 | #Constraints:      45213
401.08/402.22	c #Conflicts:     379000 | #Constraints:      46213
489.81/491.27	c #Conflicts:     380000 | #Constraints:      47213
489.81/491.27	c #Conflicts:     381000 | #Constraints:      48213
489.81/491.27	c #Conflicts:     382000 | #Constraints:      49213
489.81/491.27	c #Conflicts:     383000 | #Constraints:      50213
489.81/491.27	c #Conflicts:     384000 | #Constraints:      51213
489.81/491.27	c #Conflicts:     385000 | #Constraints:      52213
489.81/491.27	c #Conflicts:     386000 | #Constraints:      53213
489.81/491.27	c #Conflicts:     387000 | #Constraints:      54213
489.81/491.27	c #Conflicts:     388000 | #Constraints:      55213
489.81/491.27	c #Conflicts:     389000 | #Constraints:      56213
489.81/491.27	c #Conflicts:     390000 | #Constraints:      57213
489.81/491.27	c #Conflicts:     391000 | #Constraints:      58213
489.81/491.27	c #Conflicts:     392000 | #Constraints:      59213
489.81/491.27	c #Conflicts:     393000 | #Constraints:      60213
489.81/491.27	c #Conflicts:     394000 | #Constraints:      61213
489.81/491.27	c #Conflicts:     395000 | #Constraints:      62213
489.81/491.27	c #Conflicts:     396000 | #Constraints:      63213
489.81/491.27	c #Conflicts:     397000 | #Constraints:      64213
489.81/491.27	c #Conflicts:     398000 | #Constraints:      65213
489.81/491.27	c #Conflicts:     399000 | #Constraints:      66213
489.81/491.27	c #Conflicts:     400000 | #Constraints:      67213
489.81/491.27	c #Conflicts:     401000 | #Constraints:      68213
489.81/491.27	c INPROCESSING
489.81/491.27	c GARBAGE COLLECT
489.81/491.27	c #Conflicts:     402000 | #Constraints:      38210
489.81/491.27	c #Conflicts:     403000 | #Constraints:      39210
489.81/491.27	c #Conflicts:     404000 | #Constraints:      40210
489.81/491.27	c #Conflicts:     405000 | #Constraints:      41210
489.81/491.27	c #Conflicts:     406000 | #Constraints:      42210
489.81/491.27	c #Conflicts:     407000 | #Constraints:      43210
489.81/491.27	c #Conflicts:     408000 | #Constraints:      44210
489.81/491.27	c #Conflicts:     409000 | #Constraints:      45210
489.81/491.27	c #Conflicts:     410000 | #Constraints:      46210
489.81/491.27	c #Conflicts:     411000 | #Constraints:      47210
489.81/491.27	c #Conflicts:     412000 | #Constraints:      48210
489.81/491.27	c #Conflicts:     413000 | #Constraints:      49210
489.81/491.27	c #Conflicts:     414000 | #Constraints:      50210
489.81/491.27	c #Conflicts:     415000 | #Constraints:      51210
489.81/491.27	c #Conflicts:     416000 | #Constraints:      52210
489.81/491.27	c INPROCESSING
489.81/491.27	c GARBAGE COLLECT
489.81/491.27	c #Conflicts:     417000 | #Constraints:      30579
489.81/491.27	c #Conflicts:     418000 | #Constraints:      31579
489.81/491.27	c #Conflicts:     419000 | #Constraints:      32579
489.81/491.27	c #Conflicts:     420000 | #Constraints:      33579
489.81/491.27	c #Conflicts:     421000 | #Constraints:      34579
489.81/491.27	c #Conflicts:     422000 | #Constraints:      35579
489.81/491.27	c #Conflicts:     423000 | #Constraints:      36579
489.81/491.27	c #Conflicts:     424000 | #Constraints:      37579
489.81/491.27	c #Conflicts:     425000 | #Constraints:      38579
489.81/491.27	c #Conflicts:     426000 | #Constraints:      39579
489.81/491.27	c #Conflicts:     427000 | #Constraints:      40579
489.81/491.27	c #Conflicts:     428000 | #Constraints:      41579
489.81/491.27	c #Conflicts:     429000 | #Constraints:      42579
489.81/491.27	c #Conflicts:     430000 | #Constraints:      43579
489.81/491.27	c INPROCESSING
489.81/491.27	c GARBAGE COLLECT
489.81/491.27	c rational objective 92
512.73/514.24	c #Conflicts:     431000 | #Constraints:      26006
512.73/514.24	c #Conflicts:     432000 | #Constraints:      27006
512.73/514.24	c #Conflicts:     433000 | #Constraints:      28006
512.73/514.24	c #Conflicts:     434000 | #Constraints:      29006
512.73/514.24	c #Conflicts:     435000 | #Constraints:      30006
512.73/514.24	c #Conflicts:     436000 | #Constraints:      31006
512.73/514.24	c #Conflicts:     437000 | #Constraints:      32006
512.73/514.24	c #Conflicts:     438000 | #Constraints:      33006
512.73/514.24	c #Conflicts:     439000 | #Constraints:      34006
512.73/514.24	c #Conflicts:     440000 | #Constraints:      35006
512.73/514.24	c #Conflicts:     441000 | #Constraints:      36006
512.73/514.24	c #Conflicts:     442000 | #Constraints:      37006
512.73/514.24	c #Conflicts:     443000 | #Constraints:      38006
512.73/514.24	c #Conflicts:     444000 | #Constraints:      39006
512.73/514.24	c #Conflicts:     445000 | #Constraints:      40006
512.73/514.24	c INPROCESSING
512.73/514.24	c GARBAGE COLLECT
512.73/514.24	c rational objective 92
639.45/641.34	c #Conflicts:     446000 | #Constraints:      24348
639.45/641.34	c #Conflicts:     447000 | #Constraints:      25348
639.45/641.34	c #Conflicts:     448000 | #Constraints:      26348
639.45/641.34	c #Conflicts:     449000 | #Constraints:      27348
639.45/641.34	c #Conflicts:     450000 | #Constraints:      28348
639.45/641.34	c #Conflicts:     451000 | #Constraints:      29348
639.45/641.34	c #Conflicts:     452000 | #Constraints:      30348
639.45/641.34	c #Conflicts:     453000 | #Constraints:      31348
639.45/641.34	c #Conflicts:     454000 | #Constraints:      32348
639.45/641.34	c #Conflicts:     455000 | #Constraints:      33348
639.45/641.34	c #Conflicts:     456000 | #Constraints:      34348
639.45/641.34	c #Conflicts:     457000 | #Constraints:      35348
639.45/641.34	c #Conflicts:     458000 | #Constraints:      36348
639.45/641.34	c #Conflicts:     459000 | #Constraints:      37348
639.45/641.34	c #Conflicts:     460000 | #Constraints:      38348
639.45/641.34	c INPROCESSING
639.45/641.34	c GARBAGE COLLECT
639.45/641.34	c #Conflicts:     461000 | #Constraints:      23553
639.45/641.34	c #Conflicts:     462000 | #Constraints:      24553
639.45/641.34	c #Conflicts:     463000 | #Constraints:      25553
639.45/641.34	c #Conflicts:     464000 | #Constraints:      26553
639.45/641.34	c #Conflicts:     465000 | #Constraints:      27553
639.45/641.34	c #Conflicts:     466000 | #Constraints:      28553
639.45/641.34	c #Conflicts:     467000 | #Constraints:      29553
639.45/641.34	c #Conflicts:     468000 | #Constraints:      30553
639.45/641.34	c #Conflicts:     469000 | #Constraints:      31553
639.45/641.34	c #Conflicts:     470000 | #Constraints:      32553
639.45/641.34	c #Conflicts:     471000 | #Constraints:      33553
639.45/641.34	c #Conflicts:     472000 | #Constraints:      34553
639.45/641.34	c #Conflicts:     473000 | #Constraints:      35553
639.45/641.34	c #Conflicts:     474000 | #Constraints:      36553
639.45/641.34	c #Conflicts:     475000 | #Constraints:      37553
639.45/641.34	c #Conflicts:     476000 | #Constraints:      38553
639.45/641.34	c #Conflicts:     477000 | #Constraints:      39553
639.45/641.34	c #Conflicts:     478000 | #Constraints:      40553
639.45/641.34	c #Conflicts:     479000 | #Constraints:      41553
639.45/641.34	c #Conflicts:     480000 | #Constraints:      42553
639.45/641.34	c #Conflicts:     481000 | #Constraints:      43553
639.45/641.34	c #Conflicts:     482000 | #Constraints:      44553
639.45/641.34	c #Conflicts:     483000 | #Constraints:      45553
639.45/641.34	c #Conflicts:     484000 | #Constraints:      46553
639.45/641.34	c #Conflicts:     485000 | #Constraints:      47553
639.45/641.34	c #Conflicts:     486000 | #Constraints:      48553
639.45/641.34	c #Conflicts:     487000 | #Constraints:      49553
639.45/641.34	c #Conflicts:     488000 | #Constraints:      50553
639.45/641.34	c #Conflicts:     489000 | #Constraints:      51553
639.45/641.34	c #Conflicts:     490000 | #Constraints:      52553
639.45/641.34	c #Conflicts:     491000 | #Constraints:      53553
639.45/641.34	c #Conflicts:     492000 | #Constraints:      54553
639.45/641.34	c #Conflicts:     493000 | #Constraints:      55553
639.45/641.34	c #Conflicts:     494000 | #Constraints:      56553
639.45/641.34	c #Conflicts:     495000 | #Constraints:      57553
639.45/641.34	c #Conflicts:     496000 | #Constraints:      58553
639.45/641.34	c #Conflicts:     497000 | #Constraints:      59553
639.45/641.34	c #Conflicts:     498000 | #Constraints:      60553
639.45/641.34	c #Conflicts:     499000 | #Constraints:      61553
639.45/641.34	c #Conflicts:     500000 | #Constraints:      62553
639.45/641.34	c #Conflicts:     501000 | #Constraints:      63553
639.45/641.34	c #Conflicts:     502000 | #Constraints:      64553
639.45/641.34	c #Conflicts:     503000 | #Constraints:      65553
639.45/641.34	c #Conflicts:     504000 | #Constraints:      66553
639.45/641.34	c #Conflicts:     505000 | #Constraints:      67553
639.45/641.34	c #Conflicts:     506000 | #Constraints:      68553
639.45/641.34	c #Conflicts:     507000 | #Constraints:      69553
639.45/641.34	c #Conflicts:     508000 | #Constraints:      70553
639.45/641.34	c #Conflicts:     509000 | #Constraints:      71553
639.45/641.34	c #Conflicts:     510000 | #Constraints:      72553
639.45/641.34	c #Conflicts:     511000 | #Constraints:      73553
639.45/641.34	c #Conflicts:     512000 | #Constraints:      74553
639.45/641.34	c #Conflicts:     513000 | #Constraints:      75553
639.45/641.34	c #Conflicts:     514000 | #Constraints:      76553
639.45/641.34	c INPROCESSING
639.45/641.34	c GARBAGE COLLECT
639.45/641.34	c #Conflicts:     515000 | #Constraints:      42336
639.45/641.34	c #Conflicts:     516000 | #Constraints:      43336
639.45/641.34	c #Conflicts:     517000 | #Constraints:      44336
639.45/641.34	c #Conflicts:     518000 | #Constraints:      45336
639.45/641.34	c #Conflicts:     519000 | #Constraints:      46336
639.45/641.34	c #Conflicts:     520000 | #Constraints:      47336
639.45/641.34	c #Conflicts:     521000 | #Constraints:      48336
639.45/641.34	c #Conflicts:     522000 | #Constraints:      49336
639.45/641.34	c #Conflicts:     523000 | #Constraints:      50336
693.58/695.65	c #Conflicts:     524000 | #Constraints:      51336
693.58/695.65	c #Conflicts:     525000 | #Constraints:      52336
693.58/695.65	c #Conflicts:     526000 | #Constraints:      53336
693.58/695.65	c #Conflicts:     527000 | #Constraints:      54336
693.58/695.65	c #Conflicts:     528000 | #Constraints:      55336
693.58/695.65	c #Conflicts:     529000 | #Constraints:      56336
693.58/695.65	c #Conflicts:     530000 | #Constraints:      57336
693.58/695.65	c #Conflicts:     531000 | #Constraints:      58336
693.58/695.65	c INPROCESSING
693.58/695.65	c GARBAGE COLLECT
693.58/695.65	c #Conflicts:     532000 | #Constraints:      33665
693.58/695.65	c #Conflicts:     533000 | #Constraints:      34665
693.58/695.65	c #Conflicts:     534000 | #Constraints:      35665
693.58/695.65	c #Conflicts:     535000 | #Constraints:      36665
693.58/695.65	c #Conflicts:     536000 | #Constraints:      37665
693.58/695.65	c #Conflicts:     537000 | #Constraints:      38665
693.58/695.65	c #Conflicts:     538000 | #Constraints:      39665
693.58/695.65	c #Conflicts:     539000 | #Constraints:      40665
693.58/695.65	c #Conflicts:     540000 | #Constraints:      41665
693.58/695.65	c #Conflicts:     541000 | #Constraints:      42665
693.58/695.65	c #Conflicts:     542000 | #Constraints:      43665
693.58/695.65	c #Conflicts:     543000 | #Constraints:      44665
693.58/695.65	c #Conflicts:     544000 | #Constraints:      45665
693.58/695.65	c #Conflicts:     545000 | #Constraints:      46665
693.58/695.65	c #Conflicts:     546000 | #Constraints:      47665
693.58/695.65	c #Conflicts:     547000 | #Constraints:      48665
693.58/695.65	c INPROCESSING
693.58/695.65	c GARBAGE COLLECT
693.58/695.65	c #Conflicts:     548000 | #Constraints:      28590
693.58/695.65	c #Conflicts:     549000 | #Constraints:      29590
693.58/695.65	c #Conflicts:     550000 | #Constraints:      30590
693.58/695.65	c #Conflicts:     551000 | #Constraints:      31590
693.58/695.65	c #Conflicts:     552000 | #Constraints:      32590
693.58/695.65	c #Conflicts:     553000 | #Constraints:      33590
693.58/695.65	c #Conflicts:     554000 | #Constraints:      34590
693.58/695.65	c #Conflicts:     555000 | #Constraints:      35590
693.58/695.65	c #Conflicts:     556000 | #Constraints:      36590
693.58/695.65	c #Conflicts:     557000 | #Constraints:      37590
693.58/695.65	c #Conflicts:     558000 | #Constraints:      38590
693.58/695.65	c #Conflicts:     559000 | #Constraints:      39590
693.58/695.65	c #Conflicts:     560000 | #Constraints:      40590
693.58/695.65	c #Conflicts:     561000 | #Constraints:      41590
693.58/695.65	c #Conflicts:     562000 | #Constraints:      42590
693.58/695.65	c #Conflicts:     563000 | #Constraints:      43590
693.58/695.65	c #Conflicts:     564000 | #Constraints:      44590
693.58/695.65	c INPROCESSING
693.58/695.65	c GARBAGE COLLECT
693.58/695.65	c rational objective 92
719.59/721.71	c #Conflicts:     565000 | #Constraints:      26829
719.59/721.71	c #Conflicts:     566000 | #Constraints:      27829
719.59/721.71	c #Conflicts:     567000 | #Constraints:      28829
719.59/721.71	c #Conflicts:     568000 | #Constraints:      29829
719.59/721.71	c #Conflicts:     569000 | #Constraints:      30829
719.59/721.71	c #Conflicts:     570000 | #Constraints:      31829
719.59/721.71	c #Conflicts:     571000 | #Constraints:      32829
719.59/721.71	c #Conflicts:     572000 | #Constraints:      33829
719.59/721.71	c #Conflicts:     573000 | #Constraints:      34829
719.59/721.71	c #Conflicts:     574000 | #Constraints:      35829
719.59/721.71	c #Conflicts:     575000 | #Constraints:      36829
719.59/721.71	c #Conflicts:     576000 | #Constraints:      37829
719.59/721.71	c #Conflicts:     577000 | #Constraints:      38829
719.59/721.71	c #Conflicts:     578000 | #Constraints:      39829
719.59/721.71	c #Conflicts:     579000 | #Constraints:      40829
719.59/721.71	c #Conflicts:     580000 | #Constraints:      41829
719.59/721.71	c INPROCESSING
719.59/721.71	c GARBAGE COLLECT
719.59/721.71	c rational objective 92
878.61/881.28	c #Conflicts:     581000 | #Constraints:      25021
878.61/881.28	c #Conflicts:     582000 | #Constraints:      26021
878.61/881.28	c #Conflicts:     583000 | #Constraints:      27021
878.61/881.28	c #Conflicts:     584000 | #Constraints:      28021
878.61/881.28	c #Conflicts:     585000 | #Constraints:      29021
878.61/881.28	c #Conflicts:     586000 | #Constraints:      30021
878.61/881.28	c #Conflicts:     587000 | #Constraints:      31021
878.61/881.28	c #Conflicts:     588000 | #Constraints:      32021
878.61/881.28	c #Conflicts:     589000 | #Constraints:      33021
878.61/881.28	c #Conflicts:     590000 | #Constraints:      34021
878.61/881.28	c #Conflicts:     591000 | #Constraints:      35021
878.61/881.28	c #Conflicts:     592000 | #Constraints:      36021
878.61/881.28	c #Conflicts:     593000 | #Constraints:      37021
878.61/881.28	c #Conflicts:     594000 | #Constraints:      38021
878.61/881.28	c #Conflicts:     595000 | #Constraints:      39021
878.61/881.28	c #Conflicts:     596000 | #Constraints:      40021
878.61/881.28	c #Conflicts:     597000 | #Constraints:      41021
878.61/881.28	c #Conflicts:     598000 | #Constraints:      42021
878.61/881.28	c #Conflicts:     599000 | #Constraints:      43021
878.61/881.28	c #Conflicts:     600000 | #Constraints:      44021
878.61/881.28	c #Conflicts:     601000 | #Constraints:      45021
878.61/881.28	c #Conflicts:     602000 | #Constraints:      46022
878.61/881.28	c #Conflicts:     603000 | #Constraints:      47022
878.61/881.28	c #Conflicts:     604000 | #Constraints:      48022
878.61/881.28	c #Conflicts:     605000 | #Constraints:      49022
878.61/881.28	c #Conflicts:     606000 | #Constraints:      50022
878.61/881.28	c #Conflicts:     607000 | #Constraints:      51022
878.61/881.28	c #Conflicts:     608000 | #Constraints:      52022
878.61/881.28	c #Conflicts:     609000 | #Constraints:      53022
878.61/881.28	c #Conflicts:     610000 | #Constraints:      54022
878.61/881.28	c #Conflicts:     611000 | #Constraints:      55022
878.61/881.28	c #Conflicts:     612000 | #Constraints:      56022
878.61/881.28	c #Conflicts:     613000 | #Constraints:      57022
878.61/881.28	c #Conflicts:     614000 | #Constraints:      58022
878.61/881.28	c #Conflicts:     615000 | #Constraints:      59022
878.61/881.28	c #Conflicts:     616000 | #Constraints:      60022
878.61/881.28	c #Conflicts:     617000 | #Constraints:      61022
878.61/881.28	c #Conflicts:     618000 | #Constraints:      62022
878.61/881.28	c #Conflicts:     619000 | #Constraints:      63022
878.61/881.28	c #Conflicts:     620000 | #Constraints:      64022
878.61/881.28	c #Conflicts:     621000 | #Constraints:      65022
878.61/881.28	c #Conflicts:     622000 | #Constraints:      66022
878.61/881.28	c #Conflicts:     623000 | #Constraints:      67022
878.61/881.28	c #Conflicts:     624000 | #Constraints:      68022
878.61/881.28	c #Conflicts:     625000 | #Constraints:      69022
878.61/881.28	c #Conflicts:     626000 | #Constraints:      70022
878.61/881.28	c #Conflicts:     627000 | #Constraints:      71022
878.61/881.28	c #Conflicts:     628000 | #Constraints:      72022
878.61/881.28	c #Conflicts:     629000 | #Constraints:      73022
878.61/881.28	c #Conflicts:     630000 | #Constraints:      74022
878.61/881.28	c #Conflicts:     631000 | #Constraints:      75022
878.61/881.28	c #Conflicts:     632000 | #Constraints:      76022
878.61/881.28	c #Conflicts:     633000 | #Constraints:      77022
878.61/881.28	c #Conflicts:     634000 | #Constraints:      78022
878.61/881.28	c #Conflicts:     635000 | #Constraints:      79022
878.61/881.28	c #Conflicts:     636000 | #Constraints:      80022
878.61/881.28	c #Conflicts:     637000 | #Constraints:      81022
878.61/881.28	c #Conflicts:     638000 | #Constraints:      82022
878.61/881.28	c #Conflicts:     639000 | #Constraints:      83022
878.61/881.28	c #Conflicts:     640000 | #Constraints:      84022
878.61/881.28	c #Conflicts:     641000 | #Constraints:      85022
878.61/881.28	c INPROCESSING
878.61/881.28	c GARBAGE COLLECT
878.61/881.28	c #Conflicts:     642000 | #Constraints:      46557
878.61/881.28	c #Conflicts:     643000 | #Constraints:      47557
878.61/881.28	c #Conflicts:     644000 | #Constraints:      48557
878.61/881.28	c #Conflicts:     645000 | #Constraints:      49557
878.61/881.28	c #Conflicts:     646000 | #Constraints:      50557
878.61/881.28	c #Conflicts:     647000 | #Constraints:      51557
878.61/881.28	c #Conflicts:     648000 | #Constraints:      52557
878.61/881.28	c #Conflicts:     649000 | #Constraints:      53557
878.61/881.28	c #Conflicts:     650000 | #Constraints:      54557
878.61/881.28	c #Conflicts:     651000 | #Constraints:      55557
878.61/881.28	c #Conflicts:     652000 | #Constraints:      56557
878.61/881.28	c #Conflicts:     653000 | #Constraints:      57557
878.61/881.28	c #Conflicts:     654000 | #Constraints:      58557
878.61/881.28	c #Conflicts:     655000 | #Constraints:      59557
878.61/881.28	c #Conflicts:     656000 | #Constraints:      60557
878.61/881.28	c #Conflicts:     657000 | #Constraints:      61557
878.61/881.28	c #Conflicts:     658000 | #Constraints:      62557
878.61/881.28	c #Conflicts:     659000 | #Constraints:      63557
989.66/992.60	c #Conflicts:     660000 | #Constraints:      64557
989.66/992.60	c INPROCESSING
989.66/992.60	c GARBAGE COLLECT
989.66/992.60	c #Conflicts:     661000 | #Constraints:      36786
989.66/992.60	c #Conflicts:     662000 | #Constraints:      37786
989.66/992.60	c #Conflicts:     663000 | #Constraints:      38786
989.66/992.60	c #Conflicts:     664000 | #Constraints:      39786
989.66/992.60	c #Conflicts:     665000 | #Constraints:      40786
989.66/992.60	c #Conflicts:     666000 | #Constraints:      41786
989.66/992.60	c #Conflicts:     667000 | #Constraints:      42786
989.66/992.60	c #Conflicts:     668000 | #Constraints:      43786
989.66/992.60	c #Conflicts:     669000 | #Constraints:      44786
989.66/992.60	c #Conflicts:     670000 | #Constraints:      45786
989.66/992.60	c #Conflicts:     671000 | #Constraints:      46786
989.66/992.60	c #Conflicts:     672000 | #Constraints:      47786
989.66/992.60	c #Conflicts:     673000 | #Constraints:      48786
989.66/992.60	c #Conflicts:     674000 | #Constraints:      49786
989.66/992.60	c #Conflicts:     675000 | #Constraints:      50786
989.66/992.60	c #Conflicts:     676000 | #Constraints:      51786
989.66/992.60	c #Conflicts:     677000 | #Constraints:      52786
989.66/992.60	c #Conflicts:     678000 | #Constraints:      53786
989.66/992.60	c INPROCESSING
989.66/992.60	c GARBAGE COLLECT
989.66/992.60	c #Conflicts:     679000 | #Constraints:      31278
989.66/992.60	c #Conflicts:     680000 | #Constraints:      32278
989.66/992.60	c #Conflicts:     681000 | #Constraints:      33278
989.66/992.60	c #Conflicts:     682000 | #Constraints:      34278
989.66/992.60	c #Conflicts:     683000 | #Constraints:      35278
989.66/992.60	c #Conflicts:     684000 | #Constraints:      36278
989.66/992.60	c #Conflicts:     685000 | #Constraints:      37278
989.66/992.60	c #Conflicts:     686000 | #Constraints:      38278
989.66/992.60	c #Conflicts:     687000 | #Constraints:      39278
989.66/992.60	c #Conflicts:     688000 | #Constraints:      40278
989.66/992.60	c #Conflicts:     689000 | #Constraints:      41278
989.66/992.60	c #Conflicts:     690000 | #Constraints:      42278
989.66/992.60	c #Conflicts:     691000 | #Constraints:      43278
989.66/992.60	c #Conflicts:     692000 | #Constraints:      44278
989.66/992.60	c #Conflicts:     693000 | #Constraints:      45278
989.66/992.60	c #Conflicts:     694000 | #Constraints:      46278
989.66/992.60	c #Conflicts:     695000 | #Constraints:      47278
989.66/992.60	c #Conflicts:     696000 | #Constraints:      48278
989.66/992.60	c INPROCESSING
989.66/992.60	c GARBAGE COLLECT
989.66/992.60	c #Conflicts:     697000 | #Constraints:      28260
989.66/992.60	c #Conflicts:     698000 | #Constraints:      29260
989.66/992.60	c #Conflicts:     699000 | #Constraints:      30260
989.66/992.60	c #Conflicts:     700000 | #Constraints:      31260
989.66/992.60	c #Conflicts:     701000 | #Constraints:      32260
989.66/992.60	c #Conflicts:     702000 | #Constraints:      33260
989.66/992.60	c #Conflicts:     703000 | #Constraints:      34260
989.66/992.60	c #Conflicts:     704000 | #Constraints:      35260
989.66/992.60	c #Conflicts:     705000 | #Constraints:      36260
989.66/992.60	c #Conflicts:     706000 | #Constraints:      37260
989.66/992.60	c #Conflicts:     707000 | #Constraints:      38260
989.66/992.60	c #Conflicts:     708000 | #Constraints:      39260
989.66/992.60	c #Conflicts:     709000 | #Constraints:      40260
989.66/992.60	c #Conflicts:     710000 | #Constraints:      41260
989.66/992.60	c #Conflicts:     711000 | #Constraints:      42260
989.66/992.60	c #Conflicts:     712000 | #Constraints:      43260
989.66/992.60	c #Conflicts:     713000 | #Constraints:      44260
989.66/992.60	c #Conflicts:     714000 | #Constraints:      45260
989.66/992.60	c #Conflicts:     715000 | #Constraints:      46260
989.66/992.60	c INPROCESSING
989.66/992.60	c GARBAGE COLLECT
989.66/992.60	c #Conflicts:     716000 | #Constraints:      27446
989.66/992.60	c #Conflicts:     717000 | #Constraints:      28446
989.66/992.60	c #Conflicts:     718000 | #Constraints:      29446
989.66/992.60	c #Conflicts:     719000 | #Constraints:      30446
989.66/992.60	c #Conflicts:     720000 | #Constraints:      31446
989.66/992.60	c #Conflicts:     721000 | #Constraints:      32446
989.66/992.60	c #Conflicts:     722000 | #Constraints:      33446
989.66/992.60	c #Conflicts:     723000 | #Constraints:      34446
989.66/992.60	c #Conflicts:     724000 | #Constraints:      35446
989.66/992.60	c #Conflicts:     725000 | #Constraints:      36446
989.66/992.60	c #Conflicts:     726000 | #Constraints:      37446
989.66/992.60	c #Conflicts:     727000 | #Constraints:      38446
989.66/992.60	c #Conflicts:     728000 | #Constraints:      39446
989.66/992.60	c #Conflicts:     729000 | #Constraints:      40446
989.66/992.60	c #Conflicts:     730000 | #Constraints:      41446
989.66/992.60	c #Conflicts:     731000 | #Constraints:      42446
989.66/992.60	c #Conflicts:     732000 | #Constraints:      43446
989.66/992.60	c #Conflicts:     733000 | #Constraints:      44446
989.66/992.60	c #Conflicts:     734000 | #Constraints:      45446
989.66/992.60	c #Conflicts:     735000 | #Constraints:      46446
1152.45/1155.96	c #Conflicts:     736000 | #Constraints:      47446
1152.45/1155.96	c #Conflicts:     737000 | #Constraints:      48446
1152.45/1155.96	c #Conflicts:     738000 | #Constraints:      49446
1152.45/1155.96	c #Conflicts:     739000 | #Constraints:      50446
1152.45/1155.96	c #Conflicts:     740000 | #Constraints:      51446
1152.45/1155.96	c #Conflicts:     741000 | #Constraints:      52446
1152.45/1155.96	c #Conflicts:     742000 | #Constraints:      53446
1152.45/1155.96	c #Conflicts:     743000 | #Constraints:      54446
1152.45/1155.96	c #Conflicts:     744000 | #Constraints:      55446
1152.45/1155.96	c #Conflicts:     745000 | #Constraints:      56446
1152.45/1155.96	c #Conflicts:     746000 | #Constraints:      57446
1152.45/1155.96	c #Conflicts:     747000 | #Constraints:      58446
1152.45/1155.96	c #Conflicts:     748000 | #Constraints:      59446
1152.45/1155.96	c #Conflicts:     749000 | #Constraints:      60446
1152.45/1155.96	c #Conflicts:     750000 | #Constraints:      61446
1152.45/1155.96	c #Conflicts:     751000 | #Constraints:      62446
1152.45/1155.96	c #Conflicts:     752000 | #Constraints:      63446
1152.45/1155.96	c #Conflicts:     753000 | #Constraints:      64446
1152.45/1155.96	c #Conflicts:     754000 | #Constraints:      65446
1152.45/1155.96	c #Conflicts:     755000 | #Constraints:      66446
1152.45/1155.96	c #Conflicts:     756000 | #Constraints:      67446
1152.45/1155.96	c #Conflicts:     757000 | #Constraints:      68446
1152.45/1155.96	c #Conflicts:     758000 | #Constraints:      69446
1152.45/1155.96	c #Conflicts:     759000 | #Constraints:      70446
1152.45/1155.96	c #Conflicts:     760000 | #Constraints:      71446
1152.45/1155.96	c #Conflicts:     761000 | #Constraints:      72446
1152.45/1155.96	c #Conflicts:     762000 | #Constraints:      73446
1152.45/1155.96	c #Conflicts:     763000 | #Constraints:      74446
1152.45/1155.96	c #Conflicts:     764000 | #Constraints:      75446
1152.45/1155.96	c #Conflicts:     765000 | #Constraints:      76446
1152.45/1155.96	c #Conflicts:     766000 | #Constraints:      77446
1152.45/1155.96	c #Conflicts:     767000 | #Constraints:      78446
1152.45/1155.96	c #Conflicts:     768000 | #Constraints:      79446
1152.45/1155.96	c #Conflicts:     769000 | #Constraints:      80446
1152.45/1155.96	c #Conflicts:     770000 | #Constraints:      81446
1152.45/1155.96	c #Conflicts:     771000 | #Constraints:      82446
1152.45/1155.96	c #Conflicts:     772000 | #Constraints:      83446
1152.45/1155.96	c #Conflicts:     773000 | #Constraints:      84446
1152.45/1155.96	c #Conflicts:     774000 | #Constraints:      85446
1152.45/1155.96	c #Conflicts:     775000 | #Constraints:      86446
1152.45/1155.96	c #Conflicts:     776000 | #Constraints:      87446
1152.45/1155.96	c #Conflicts:     777000 | #Constraints:      88446
1152.45/1155.96	c #Conflicts:     778000 | #Constraints:      89447
1152.45/1155.96	c #Conflicts:     779000 | #Constraints:      90447
1152.45/1155.96	c #Conflicts:     780000 | #Constraints:      91447
1152.45/1155.96	c #Conflicts:     781000 | #Constraints:      92447
1152.45/1155.96	c #Conflicts:     782000 | #Constraints:      93447
1152.45/1155.96	c #Conflicts:     783000 | #Constraints:      94447
1152.45/1155.96	c INPROCESSING
1152.45/1155.96	c GARBAGE COLLECT
1152.45/1155.96	c #Conflicts:     784000 | #Constraints:      51814
1152.45/1155.96	c #Conflicts:     785000 | #Constraints:      52814
1152.45/1155.96	c #Conflicts:     786000 | #Constraints:      53814
1152.45/1155.96	c #Conflicts:     787000 | #Constraints:      54814
1152.45/1155.96	c #Conflicts:     788000 | #Constraints:      55814
1152.45/1155.96	c #Conflicts:     789000 | #Constraints:      56814
1152.45/1155.96	c #Conflicts:     790000 | #Constraints:      57814
1152.45/1155.96	c #Conflicts:     791000 | #Constraints:      58814
1152.45/1155.96	c #Conflicts:     792000 | #Constraints:      59814
1152.45/1155.96	c #Conflicts:     793000 | #Constraints:      60814
1152.45/1155.96	c #Conflicts:     794000 | #Constraints:      61814
1152.45/1155.96	c #Conflicts:     795000 | #Constraints:      62814
1152.45/1155.96	c #Conflicts:     796000 | #Constraints:      63814
1152.45/1155.96	c #Conflicts:     797000 | #Constraints:      64814
1152.45/1155.96	c #Conflicts:     798000 | #Constraints:      65814
1152.45/1155.96	c #Conflicts:     799000 | #Constraints:      66814
1152.45/1155.96	c #Conflicts:     800000 | #Constraints:      67814
1152.45/1155.96	c #Conflicts:     801000 | #Constraints:      68814
1152.45/1155.96	c #Conflicts:     802000 | #Constraints:      69814
1152.45/1155.96	c #Conflicts:     803000 | #Constraints:      70814
1152.45/1155.96	c INPROCESSING
1152.45/1155.96	c GARBAGE COLLECT
1152.45/1155.96	c #Conflicts:     804000 | #Constraints:      39880
1152.45/1155.96	c #Conflicts:     805000 | #Constraints:      40880
1152.45/1155.96	c #Conflicts:     806000 | #Constraints:      41880
1152.45/1155.96	c #Conflicts:     807000 | #Constraints:      42880
1152.45/1155.96	c #Conflicts:     808000 | #Constraints:      43880
1152.45/1155.96	c #Conflicts:     809000 | #Constraints:      44880
1152.45/1155.96	c #Conflicts:     810000 | #Constraints:      45880
1152.45/1155.96	c #Conflicts:     811000 | #Constraints:      46880
1152.45/1155.96	c #Conflicts:     812000 | #Constraints:      47880
1233.12/1236.81	c #Conflicts:     813000 | #Constraints:      48880
1233.12/1236.81	c #Conflicts:     814000 | #Constraints:      49880
1233.12/1236.81	c #Conflicts:     815000 | #Constraints:      50880
1233.12/1236.81	c #Conflicts:     816000 | #Constraints:      51880
1233.12/1236.81	c #Conflicts:     817000 | #Constraints:      52880
1233.12/1236.81	c #Conflicts:     818000 | #Constraints:      53880
1233.12/1236.81	c #Conflicts:     819000 | #Constraints:      54880
1233.12/1236.81	c #Conflicts:     820000 | #Constraints:      55880
1233.12/1236.81	c #Conflicts:     821000 | #Constraints:      56880
1233.12/1236.81	c #Conflicts:     822000 | #Constraints:      57880
1233.12/1236.81	c #Conflicts:     823000 | #Constraints:      58880
1233.12/1236.81	c INPROCESSING
1233.12/1236.81	c GARBAGE COLLECT
1233.12/1236.81	c #Conflicts:     824000 | #Constraints:      33919
1233.12/1236.81	c #Conflicts:     825000 | #Constraints:      34919
1233.12/1236.81	c #Conflicts:     826000 | #Constraints:      35919
1233.12/1236.81	c #Conflicts:     827000 | #Constraints:      36919
1233.12/1236.81	c #Conflicts:     828000 | #Constraints:      37919
1233.12/1236.81	c #Conflicts:     829000 | #Constraints:      38919
1233.12/1236.81	c #Conflicts:     830000 | #Constraints:      39919
1233.12/1236.81	c #Conflicts:     831000 | #Constraints:      40919
1233.12/1236.81	c #Conflicts:     832000 | #Constraints:      41919
1233.12/1236.81	c #Conflicts:     833000 | #Constraints:      42919
1233.12/1236.81	c #Conflicts:     834000 | #Constraints:      43919
1233.12/1236.81	c #Conflicts:     835000 | #Constraints:      44919
1233.12/1236.81	c #Conflicts:     836000 | #Constraints:      45919
1233.12/1236.81	c #Conflicts:     837000 | #Constraints:      46919
1233.12/1236.81	c #Conflicts:     838000 | #Constraints:      47919
1233.12/1236.81	c #Conflicts:     839000 | #Constraints:      48919
1233.12/1236.81	c #Conflicts:     840000 | #Constraints:      49919
1233.12/1236.81	c #Conflicts:     841000 | #Constraints:      50919
1233.12/1236.81	c #Conflicts:     842000 | #Constraints:      51919
1233.12/1236.81	c #Conflicts:     843000 | #Constraints:      52919
1233.12/1236.81	c INPROCESSING
1233.12/1236.81	c GARBAGE COLLECT
1233.12/1236.81	c #Conflicts:     844000 | #Constraints:      30776
1233.12/1236.81	c #Conflicts:     845000 | #Constraints:      31776
1233.12/1236.81	c #Conflicts:     846000 | #Constraints:      32776
1233.12/1236.81	c #Conflicts:     847000 | #Constraints:      33776
1233.12/1236.81	c #Conflicts:     848000 | #Constraints:      34776
1233.12/1236.81	c #Conflicts:     849000 | #Constraints:      35776
1233.12/1236.81	c #Conflicts:     850000 | #Constraints:      36776
1233.12/1236.81	c #Conflicts:     851000 | #Constraints:      37776
1233.12/1236.81	c #Conflicts:     852000 | #Constraints:      38776
1233.12/1236.81	c #Conflicts:     853000 | #Constraints:      39776
1233.12/1236.81	c #Conflicts:     854000 | #Constraints:      40776
1233.12/1236.81	c #Conflicts:     855000 | #Constraints:      41776
1233.12/1236.81	c #Conflicts:     856000 | #Constraints:      42776
1233.12/1236.81	c #Conflicts:     857000 | #Constraints:      43776
1233.12/1236.81	c #Conflicts:     858000 | #Constraints:      44776
1233.12/1236.81	c #Conflicts:     859000 | #Constraints:      45776
1233.12/1236.81	c #Conflicts:     860000 | #Constraints:      46776
1233.12/1236.81	c #Conflicts:     861000 | #Constraints:      47776
1233.12/1236.81	c #Conflicts:     862000 | #Constraints:      48776
1233.12/1236.81	c #Conflicts:     863000 | #Constraints:      49776
1233.12/1236.81	c #Conflicts:     864000 | #Constraints:      50776
1233.12/1236.81	c INPROCESSING
1233.12/1236.81	c GARBAGE COLLECT
1233.12/1236.81	c rational objective 92
1262.85/1266.64	c #Conflicts:     865000 | #Constraints:      29796
1262.85/1266.64	c #Conflicts:     866000 | #Constraints:      30796
1262.85/1266.64	c #Conflicts:     867000 | #Constraints:      31796
1262.85/1266.64	c #Conflicts:     868000 | #Constraints:      32796
1262.85/1266.64	c #Conflicts:     869000 | #Constraints:      33796
1262.85/1266.64	c #Conflicts:     870000 | #Constraints:      34796
1262.85/1266.64	c #Conflicts:     871000 | #Constraints:      35796
1262.85/1266.64	c #Conflicts:     872000 | #Constraints:      36796
1262.85/1266.64	c #Conflicts:     873000 | #Constraints:      37796
1262.85/1266.64	c #Conflicts:     874000 | #Constraints:      38796
1262.85/1266.64	c #Conflicts:     875000 | #Constraints:      39796
1262.85/1266.64	c #Conflicts:     876000 | #Constraints:      40796
1262.85/1266.64	c #Conflicts:     877000 | #Constraints:      41796
1262.85/1266.64	c #Conflicts:     878000 | #Constraints:      42796
1262.85/1266.64	c #Conflicts:     879000 | #Constraints:      43796
1262.85/1266.64	c #Conflicts:     880000 | #Constraints:      44796
1262.85/1266.64	c #Conflicts:     881000 | #Constraints:      45796
1262.85/1266.64	c #Conflicts:     882000 | #Constraints:      46796
1262.85/1266.64	c #Conflicts:     883000 | #Constraints:      47796
1262.85/1266.64	c #Conflicts:     884000 | #Constraints:      48796
1262.85/1266.64	c #Conflicts:     885000 | #Constraints:      49796
1262.85/1266.64	c INPROCESSING
1262.85/1266.64	c GARBAGE COLLECT
1262.85/1266.64	c rational objective 92
1459.38/1463.72	c #Conflicts:     886000 | #Constraints:      29451
1459.38/1463.72	c #Conflicts:     887000 | #Constraints:      30451
1459.38/1463.72	c #Conflicts:     888000 | #Constraints:      31451
1459.38/1463.72	c #Conflicts:     889000 | #Constraints:      32451
1459.38/1463.72	c #Conflicts:     890000 | #Constraints:      33451
1459.38/1463.72	c #Conflicts:     891000 | #Constraints:      34451
1459.38/1463.72	c #Conflicts:     892000 | #Constraints:      35451
1459.38/1463.72	c #Conflicts:     893000 | #Constraints:      36451
1459.38/1463.72	c #Conflicts:     894000 | #Constraints:      37451
1459.38/1463.72	c #Conflicts:     895000 | #Constraints:      38451
1459.38/1463.72	c #Conflicts:     896000 | #Constraints:      39451
1459.38/1463.72	c #Conflicts:     897000 | #Constraints:      40451
1459.38/1463.72	c #Conflicts:     898000 | #Constraints:      41451
1459.38/1463.72	c #Conflicts:     899000 | #Constraints:      42451
1459.38/1463.72	c #Conflicts:     900000 | #Constraints:      43451
1459.38/1463.72	c #Conflicts:     901000 | #Constraints:      44451
1459.38/1463.72	c #Conflicts:     902000 | #Constraints:      45451
1459.38/1463.72	c #Conflicts:     903000 | #Constraints:      46451
1459.38/1463.72	c #Conflicts:     904000 | #Constraints:      47451
1459.38/1463.72	c #Conflicts:     905000 | #Constraints:      48451
1459.38/1463.72	c #Conflicts:     906000 | #Constraints:      49451
1459.38/1463.72	c #Conflicts:     907000 | #Constraints:      50451
1459.38/1463.72	c #Conflicts:     908000 | #Constraints:      51451
1459.38/1463.72	c #Conflicts:     909000 | #Constraints:      52451
1459.38/1463.72	c #Conflicts:     910000 | #Constraints:      53451
1459.38/1463.72	c #Conflicts:     911000 | #Constraints:      54451
1459.38/1463.72	c #Conflicts:     912000 | #Constraints:      55451
1459.38/1463.72	c #Conflicts:     913000 | #Constraints:      56451
1459.38/1463.72	c #Conflicts:     914000 | #Constraints:      57451
1459.38/1463.72	c #Conflicts:     915000 | #Constraints:      58451
1459.38/1463.72	c #Conflicts:     916000 | #Constraints:      59451
1459.38/1463.72	c #Conflicts:     917000 | #Constraints:      60451
1459.38/1463.72	c #Conflicts:     918000 | #Constraints:      61451
1459.38/1463.72	c #Conflicts:     919000 | #Constraints:      62451
1459.38/1463.72	c #Conflicts:     920000 | #Constraints:      63451
1459.38/1463.72	c #Conflicts:     921000 | #Constraints:      64451
1459.38/1463.72	c #Conflicts:     922000 | #Constraints:      65451
1459.38/1463.72	c #Conflicts:     923000 | #Constraints:      66451
1459.38/1463.72	c #Conflicts:     924000 | #Constraints:      67451
1459.38/1463.72	c #Conflicts:     925000 | #Constraints:      68451
1459.38/1463.72	c #Conflicts:     926000 | #Constraints:      69451
1459.38/1463.72	c #Conflicts:     927000 | #Constraints:      70451
1459.38/1463.72	c #Conflicts:     928000 | #Constraints:      71451
1459.38/1463.72	c #Conflicts:     929000 | #Constraints:      72451
1459.38/1463.72	c #Conflicts:     930000 | #Constraints:      73451
1459.38/1463.72	c #Conflicts:     931000 | #Constraints:      74451
1459.38/1463.72	c #Conflicts:     932000 | #Constraints:      75451
1459.38/1463.72	c #Conflicts:     933000 | #Constraints:      76451
1459.38/1463.72	c #Conflicts:     934000 | #Constraints:      77451
1459.38/1463.72	c #Conflicts:     935000 | #Constraints:      78451
1459.38/1463.72	c #Conflicts:     936000 | #Constraints:      79451
1459.38/1463.72	c #Conflicts:     937000 | #Constraints:      80451
1459.38/1463.72	c #Conflicts:     938000 | #Constraints:      81451
1459.38/1463.72	c #Conflicts:     939000 | #Constraints:      82451
1459.38/1463.72	c #Conflicts:     940000 | #Constraints:      83451
1459.38/1463.72	c #Conflicts:     941000 | #Constraints:      84451
1459.38/1463.72	c #Conflicts:     942000 | #Constraints:      85451
1459.38/1463.72	c #Conflicts:     943000 | #Constraints:      86451
1459.38/1463.72	c #Conflicts:     944000 | #Constraints:      87451
1459.38/1463.72	c #Conflicts:     945000 | #Constraints:      88451
1459.38/1463.72	c #Conflicts:     946000 | #Constraints:      89451
1459.38/1463.72	c #Conflicts:     947000 | #Constraints:      90451
1459.38/1463.72	c #Conflicts:     948000 | #Constraints:      91451
1459.38/1463.72	c #Conflicts:     949000 | #Constraints:      92451
1459.38/1463.72	c #Conflicts:     950000 | #Constraints:      93451
1459.38/1463.72	c #Conflicts:     951000 | #Constraints:      94451
1459.38/1463.72	c #Conflicts:     952000 | #Constraints:      95451
1459.38/1463.72	c #Conflicts:     953000 | #Constraints:      96451
1459.38/1463.72	c #Conflicts:     954000 | #Constraints:      97451
1459.38/1463.72	c #Conflicts:     955000 | #Constraints:      98451
1459.38/1463.72	c #Conflicts:     956000 | #Constraints:      99451
1459.38/1463.72	c #Conflicts:     957000 | #Constraints:     100451
1459.38/1463.72	c #Conflicts:     958000 | #Constraints:     101451
1459.38/1463.72	c #Conflicts:     959000 | #Constraints:     102451
1459.38/1463.72	c #Conflicts:     960000 | #Constraints:     103451
1459.38/1463.72	c INPROCESSING
1459.38/1463.72	c GARBAGE COLLECT
1459.38/1463.72	c #Conflicts:     961000 | #Constraints:      56318
1459.38/1463.72	c #Conflicts:     962000 | #Constraints:      57318
1459.38/1463.72	c #Conflicts:     963000 | #Constraints:      58318
1459.38/1463.72	c #Conflicts:     964000 | #Constraints:      59318
1579.83/1584.51	c #Conflicts:     965000 | #Constraints:      60318
1579.83/1584.51	c #Conflicts:     966000 | #Constraints:      61318
1579.83/1584.51	c #Conflicts:     967000 | #Constraints:      62318
1579.83/1584.51	c #Conflicts:     968000 | #Constraints:      63318
1579.83/1584.51	c #Conflicts:     969000 | #Constraints:      64318
1579.83/1584.51	c #Conflicts:     970000 | #Constraints:      65318
1579.83/1584.51	c #Conflicts:     971000 | #Constraints:      66318
1579.83/1584.51	c #Conflicts:     972000 | #Constraints:      67318
1579.83/1584.51	c #Conflicts:     973000 | #Constraints:      68318
1579.83/1584.51	c #Conflicts:     974000 | #Constraints:      69318
1579.83/1584.51	c #Conflicts:     975000 | #Constraints:      70318
1579.83/1584.51	c #Conflicts:     976000 | #Constraints:      71318
1579.83/1584.51	c #Conflicts:     977000 | #Constraints:      72318
1579.83/1584.51	c #Conflicts:     978000 | #Constraints:      73318
1579.83/1584.51	c #Conflicts:     979000 | #Constraints:      74318
1579.83/1584.51	c #Conflicts:     980000 | #Constraints:      75318
1579.83/1584.51	c #Conflicts:     981000 | #Constraints:      76318
1579.83/1584.51	c #Conflicts:     982000 | #Constraints:      77318
1579.83/1584.51	c INPROCESSING
1579.83/1584.51	c GARBAGE COLLECT
1579.83/1584.51	c #Conflicts:     983000 | #Constraints:      43194
1579.83/1584.51	c #Conflicts:     984000 | #Constraints:      44194
1579.83/1584.51	c #Conflicts:     985000 | #Constraints:      45194
1579.83/1584.51	c #Conflicts:     986000 | #Constraints:      46194
1579.83/1584.51	c #Conflicts:     987000 | #Constraints:      47194
1579.83/1584.51	c #Conflicts:     988000 | #Constraints:      48194
1579.83/1584.51	c #Conflicts:     989000 | #Constraints:      49194
1579.83/1584.51	c #Conflicts:     990000 | #Constraints:      50194
1579.83/1584.51	c #Conflicts:     991000 | #Constraints:      51194
1579.83/1584.51	c #Conflicts:     992000 | #Constraints:      52194
1579.83/1584.51	c #Conflicts:     993000 | #Constraints:      53194
1579.83/1584.51	c #Conflicts:     994000 | #Constraints:      54194
1579.83/1584.51	c #Conflicts:     995000 | #Constraints:      55194
1579.83/1584.51	c #Conflicts:     996000 | #Constraints:      56194
1579.83/1584.51	c #Conflicts:     997000 | #Constraints:      57194
1579.83/1584.51	c #Conflicts:     998000 | #Constraints:      58194
1579.83/1584.51	c #Conflicts:     999000 | #Constraints:      59194
1579.83/1584.51	c #Conflicts:    1000000 | #Constraints:      60194
1579.83/1584.51	c #Conflicts:    1001000 | #Constraints:      61194
1579.83/1584.51	c #Conflicts:    1002000 | #Constraints:      62194
1579.83/1584.51	c #Conflicts:    1003000 | #Constraints:      63194
1579.83/1584.51	c #Conflicts:    1004000 | #Constraints:      64194
1579.83/1584.51	c INPROCESSING
1579.83/1584.51	c GARBAGE COLLECT
1579.83/1584.51	c #Conflicts:    1005000 | #Constraints:      36536
1579.83/1584.51	c #Conflicts:    1006000 | #Constraints:      37536
1579.83/1584.51	c #Conflicts:    1007000 | #Constraints:      38536
1579.83/1584.51	c #Conflicts:    1008000 | #Constraints:      39536
1579.83/1584.51	c #Conflicts:    1009000 | #Constraints:      40536
1579.83/1584.51	c #Conflicts:    1010000 | #Constraints:      41536
1579.83/1584.51	c #Conflicts:    1011000 | #Constraints:      42536
1579.83/1584.51	c #Conflicts:    1012000 | #Constraints:      43536
1579.83/1584.51	c #Conflicts:    1013000 | #Constraints:      44536
1579.83/1584.51	c #Conflicts:    1014000 | #Constraints:      45536
1579.83/1584.51	c #Conflicts:    1015000 | #Constraints:      46536
1579.83/1584.51	c #Conflicts:    1016000 | #Constraints:      47536
1579.83/1584.51	c #Conflicts:    1017000 | #Constraints:      48536
1579.83/1584.51	c #Conflicts:    1018000 | #Constraints:      49536
1579.83/1584.51	c #Conflicts:    1019000 | #Constraints:      50536
1579.83/1584.51	c #Conflicts:    1020000 | #Constraints:      51536
1579.83/1584.51	c #Conflicts:    1021000 | #Constraints:      52536
1579.83/1584.51	c #Conflicts:    1022000 | #Constraints:      53536
1579.83/1584.51	c #Conflicts:    1023000 | #Constraints:      54536
1579.83/1584.51	c #Conflicts:    1024000 | #Constraints:      55536
1579.83/1584.51	c #Conflicts:    1025000 | #Constraints:      56536
1579.83/1584.51	c #Conflicts:    1026000 | #Constraints:      57536
1579.83/1584.51	c INPROCESSING
1579.83/1584.51	c GARBAGE COLLECT
1579.83/1584.51	c rational objective 92
1619.91/1624.78	c #Conflicts:    1027000 | #Constraints:      32865
1619.91/1624.78	c #Conflicts:    1028000 | #Constraints:      33865
1619.91/1624.78	c #Conflicts:    1029000 | #Constraints:      34865
1619.91/1624.78	c #Conflicts:    1030000 | #Constraints:      35865
1619.91/1624.78	c #Conflicts:    1031000 | #Constraints:      36865
1619.91/1624.78	c #Conflicts:    1032000 | #Constraints:      37865
1619.91/1624.78	c #Conflicts:    1033000 | #Constraints:      38865
1619.91/1624.78	c #Conflicts:    1034000 | #Constraints:      39865
1619.91/1624.78	c #Conflicts:    1035000 | #Constraints:      40865
1619.91/1624.78	c #Conflicts:    1036000 | #Constraints:      41865
1619.91/1624.78	c #Conflicts:    1037000 | #Constraints:      42865
1619.91/1624.78	c #Conflicts:    1038000 | #Constraints:      43865
1619.91/1624.78	c #Conflicts:    1039000 | #Constraints:      44865
1619.91/1624.78	c #Conflicts:    1040000 | #Constraints:      45865
1619.91/1624.78	c #Conflicts:    1041000 | #Constraints:      46865
1619.91/1624.78	c #Conflicts:    1042000 | #Constraints:      47865
1619.91/1624.78	c #Conflicts:    1043000 | #Constraints:      48865
1619.91/1624.78	c #Conflicts:    1044000 | #Constraints:      49865
1619.91/1624.78	c #Conflicts:    1045000 | #Constraints:      50865
1619.91/1624.78	c #Conflicts:    1046000 | #Constraints:      51865
1619.91/1624.78	c #Conflicts:    1047000 | #Constraints:      52865
1619.91/1624.78	c #Conflicts:    1048000 | #Constraints:      53865
1619.91/1624.78	c #Conflicts:    1049000 | #Constraints:      54865
1619.91/1624.78	c INPROCESSING
1619.91/1624.78	c GARBAGE COLLECT
1619.91/1624.78	c rational objective 92
1660.50/1665.46	c #Conflicts:    1050000 | #Constraints:      31670
1660.50/1665.46	c #Conflicts:    1051000 | #Constraints:      32670
1660.50/1665.46	c #Conflicts:    1052000 | #Constraints:      33670
1660.50/1665.46	c #Conflicts:    1053000 | #Constraints:      34670
1660.50/1665.46	c #Conflicts:    1054000 | #Constraints:      35670
1660.50/1665.46	c #Conflicts:    1055000 | #Constraints:      36670
1660.50/1665.46	c #Conflicts:    1056000 | #Constraints:      37670
1660.50/1665.46	c #Conflicts:    1057000 | #Constraints:      38670
1660.50/1665.46	c #Conflicts:    1058000 | #Constraints:      39670
1660.50/1665.46	c #Conflicts:    1059000 | #Constraints:      40670
1660.50/1665.46	c #Conflicts:    1060000 | #Constraints:      41670
1660.50/1665.46	c #Conflicts:    1061000 | #Constraints:      42670
1660.50/1665.46	c #Conflicts:    1062000 | #Constraints:      43670
1660.50/1665.46	c #Conflicts:    1063000 | #Constraints:      44670
1660.50/1665.46	c #Conflicts:    1064000 | #Constraints:      45670
1660.50/1665.46	c #Conflicts:    1065000 | #Constraints:      46670
1660.50/1665.46	c #Conflicts:    1066000 | #Constraints:      47670
1660.50/1665.46	c #Conflicts:    1067000 | #Constraints:      48670
1660.50/1665.46	c #Conflicts:    1068000 | #Constraints:      49670
1660.50/1665.46	c #Conflicts:    1069000 | #Constraints:      50670
1660.50/1665.46	c #Conflicts:    1070000 | #Constraints:      51670
1660.50/1665.46	c #Conflicts:    1071000 | #Constraints:      52670
1660.50/1665.46	c #Conflicts:    1072000 | #Constraints:      53670
1660.50/1665.46	c INPROCESSING
1660.50/1665.46	c GARBAGE COLLECT
1660.50/1665.46	c rational objective 92
1802.48/1807.87	c #Conflicts:    1073000 | #Constraints:      31247
1802.48/1807.87	c #Conflicts:    1074000 | #Constraints:      32247
1802.48/1807.87	c #Conflicts:    1075000 | #Constraints:      33247
1802.48/1807.87	c #Conflicts:    1076000 | #Constraints:      34247
1802.48/1807.87	c #Conflicts:    1077000 | #Constraints:      35247
1802.48/1807.87	c #Conflicts:    1078000 | #Constraints:      36247
1802.48/1807.87	c #Conflicts:    1079000 | #Constraints:      37247
1802.48/1807.87	c #Conflicts:    1080000 | #Constraints:      38247
1802.48/1807.87	c #Conflicts:    1081000 | #Constraints:      39247
1802.48/1807.87	c #Conflicts:    1082000 | #Constraints:      40247
1802.48/1807.87	c #Conflicts:    1083000 | #Constraints:      41247
1802.48/1807.87	c #Conflicts:    1084000 | #Constraints:      42247
1802.48/1807.87	c #Conflicts:    1085000 | #Constraints:      43247
1802.48/1807.87	c #Conflicts:    1086000 | #Constraints:      44247
1802.48/1807.87	c #Conflicts:    1087000 | #Constraints:      45247
1802.48/1807.87	c #Conflicts:    1088000 | #Constraints:      46247
1802.48/1807.87	c #Conflicts:    1089000 | #Constraints:      47247
1802.48/1807.87	c #Conflicts:    1090000 | #Constraints:      48247
1802.48/1807.87	c #Conflicts:    1091000 | #Constraints:      49247
1802.48/1807.87	c #Conflicts:    1092000 | #Constraints:      50247
1802.48/1807.87	c #Conflicts:    1093000 | #Constraints:      51247
1802.48/1807.87	c #Conflicts:    1094000 | #Constraints:      52247
1802.48/1807.87	c #Conflicts:    1095000 | #Constraints:      53247
1802.48/1807.87	c INPROCESSING
1802.48/1807.87	c GARBAGE COLLECT
1802.48/1807.87	c #Conflicts:    1096000 | #Constraints:      30911
1802.48/1807.87	c #Conflicts:    1097000 | #Constraints:      31911
1802.48/1807.87	c #Conflicts:    1098000 | #Constraints:      32911
1802.48/1807.87	c #Conflicts:    1099000 | #Constraints:      33912
1802.48/1807.87	c #Conflicts:    1100000 | #Constraints:      34912
1802.48/1807.87	c #Conflicts:    1101000 | #Constraints:      35912
1802.48/1807.87	c #Conflicts:    1102000 | #Constraints:      36912
1802.48/1807.87	c #Conflicts:    1103000 | #Constraints:      37912
1802.48/1807.87	c #Conflicts:    1104000 | #Constraints:      38912
1802.48/1807.87	c #Conflicts:    1105000 | #Constraints:      39912
1802.48/1807.87	c #Conflicts:    1106000 | #Constraints:      40912
1802.48/1807.87	c #Conflicts:    1107000 | #Constraints:      41912
1802.48/1807.87	c #Conflicts:    1108000 | #Constraints:      42912
1802.48/1807.87	c #Conflicts:    1109000 | #Constraints:      43912
1802.48/1807.87	c #Conflicts:    1110000 | #Constraints:      44912
1802.48/1807.87	c #Conflicts:    1111000 | #Constraints:      45912
1802.48/1807.87	c #Conflicts:    1112000 | #Constraints:      46912
1802.48/1807.87	c #Conflicts:    1113000 | #Constraints:      47912
1802.48/1807.87	c #Conflicts:    1114000 | #Constraints:      48912
1802.48/1807.87	c #Conflicts:    1115000 | #Constraints:      49912
1802.48/1807.87	c #Conflicts:    1116000 | #Constraints:      50912
1802.48/1807.87	c #Conflicts:    1117000 | #Constraints:      51912
1802.48/1807.87	c #Conflicts:    1118000 | #Constraints:      52912
1802.48/1807.87	c #Conflicts:    1119000 | #Constraints:      53912
1802.48/1807.87	c #Conflicts:    1120000 | #Constraints:      54912
1802.48/1807.87	c #Conflicts:    1121000 | #Constraints:      55912
1802.48/1807.87	c #Conflicts:    1122000 | #Constraints:      56912
1802.48/1807.87	c #Conflicts:    1123000 | #Constraints:      57912
1802.48/1807.87	c #Conflicts:    1124000 | #Constraints:      58912
1802.48/1807.87	c #Conflicts:    1125000 | #Constraints:      59912
1802.48/1807.87	c #Conflicts:    1126000 | #Constraints:      60912
1802.48/1807.87	c #Conflicts:    1127000 | #Constraints:      61912
1802.48/1807.87	c #Conflicts:    1128000 | #Constraints:      62912
1802.48/1807.87	c #Conflicts:    1129000 | #Constraints:      63912
1802.48/1807.87	c #Conflicts:    1130000 | #Constraints:      64912
1802.48/1807.87	c #Conflicts:    1131000 | #Constraints:      65912
1802.48/1807.87	c #Conflicts:    1132000 | #Constraints:      66912
1802.48/1807.87	c #Conflicts:    1133000 | #Constraints:      67912
1802.48/1807.87	c #Conflicts:    1134000 | #Constraints:      68912
1802.48/1807.87	c #Conflicts:    1135000 | #Constraints:      69912
1802.48/1807.87	c #Conflicts:    1136000 | #Constraints:      70912
1802.48/1807.87	c #Conflicts:    1137000 | #Constraints:      71912
1802.48/1807.87	c #Conflicts:    1138000 | #Constraints:      72912
1802.48/1807.87	c #Conflicts:    1139000 | #Constraints:      73912
1802.48/1807.87	c #Conflicts:    1140000 | #Constraints:      74912
1802.48/1807.87	c #Conflicts:    1141000 | #Constraints:      75912
1802.48/1807.87	c #Conflicts:    1142000 | #Constraints:      76912
1802.48/1807.87	c #Conflicts:    1143000 | #Constraints:      77912
1802.48/1807.87	c #Conflicts:    1144000 | #Constraints:      78912
1802.48/1807.87	c #Conflicts:    1145000 | #Constraints:      79912
1802.48/1807.87	c #Conflicts:    1146000 | #Constraints:      80912
1802.48/1807.87	c #Conflicts:    1147000 | #Constraints:      81912
1802.48/1807.87	c #Conflicts:    1148000 | #Constraints:      82912
1802.48/1807.87	c #Conflicts:    1149000 | #Constraints:      83912
1802.48/1807.87	c #Conflicts:    1150000 | #Constraints:      84912
1802.48/1807.87	c #Conflicts:    1151000 | #Constraints:      85912
1906.17/1911.88	c #Conflicts:    1152000 | #Constraints:      86912
1906.17/1911.88	c #Conflicts:    1153000 | #Constraints:      87912
1906.17/1911.88	c #Conflicts:    1154000 | #Constraints:      88912
1906.17/1911.88	c #Conflicts:    1155000 | #Constraints:      89912
1906.17/1911.88	c #Conflicts:    1156000 | #Constraints:      90912
1906.17/1911.88	c #Conflicts:    1157000 | #Constraints:      91912
1906.17/1911.88	c #Conflicts:    1158000 | #Constraints:      92912
1906.17/1911.88	c #Conflicts:    1159000 | #Constraints:      93912
1906.17/1911.88	c #Conflicts:    1160000 | #Constraints:      94912
1906.17/1911.88	c #Conflicts:    1161000 | #Constraints:      95912
1906.17/1911.88	c #Conflicts:    1162000 | #Constraints:      96912
1906.17/1911.88	c #Conflicts:    1163000 | #Constraints:      97912
1906.17/1911.88	c #Conflicts:    1164000 | #Constraints:      98912
1906.17/1911.88	c #Conflicts:    1165000 | #Constraints:      99912
1906.17/1911.88	c #Conflicts:    1166000 | #Constraints:     100912
1906.17/1911.88	c #Conflicts:    1167000 | #Constraints:     101912
1906.17/1911.88	c #Conflicts:    1168000 | #Constraints:     102912
1906.17/1911.88	c #Conflicts:    1169000 | #Constraints:     103912
1906.17/1911.88	c #Conflicts:    1170000 | #Constraints:     104912
1906.17/1911.88	c #Conflicts:    1171000 | #Constraints:     105912
1906.17/1911.88	c #Conflicts:    1172000 | #Constraints:     106912
1906.17/1911.88	c #Conflicts:    1173000 | #Constraints:     107912
1906.17/1911.88	c #Conflicts:    1174000 | #Constraints:     108912
1906.17/1911.88	c #Conflicts:    1175000 | #Constraints:     109912
1906.17/1911.88	c #Conflicts:    1176000 | #Constraints:     110912
1906.17/1911.88	c #Conflicts:    1177000 | #Constraints:     111912
1906.17/1911.88	c #Conflicts:    1178000 | #Constraints:     112912
1906.17/1911.88	c #Conflicts:    1179000 | #Constraints:     113912
1906.17/1911.88	c INPROCESSING
1906.17/1911.88	c GARBAGE COLLECT
1906.17/1911.88	c rational objective 92
2059.91/2066.04	c #Conflicts:    1180000 | #Constraints:      61433
2059.91/2066.04	c #Conflicts:    1181000 | #Constraints:      62433
2059.91/2066.04	c #Conflicts:    1182000 | #Constraints:      63433
2059.91/2066.04	c #Conflicts:    1183000 | #Constraints:      64433
2059.91/2066.04	c #Conflicts:    1184000 | #Constraints:      65433
2059.91/2066.04	c #Conflicts:    1185000 | #Constraints:      66433
2059.91/2066.04	c #Conflicts:    1186000 | #Constraints:      67433
2059.91/2066.04	c #Conflicts:    1187000 | #Constraints:      68433
2059.91/2066.04	c #Conflicts:    1188000 | #Constraints:      69433
2059.91/2066.04	c #Conflicts:    1189000 | #Constraints:      70433
2059.91/2066.04	c #Conflicts:    1190000 | #Constraints:      71433
2059.91/2066.04	c #Conflicts:    1191000 | #Constraints:      72433
2059.91/2066.04	c #Conflicts:    1192000 | #Constraints:      73433
2059.91/2066.04	c #Conflicts:    1193000 | #Constraints:      74433
2059.91/2066.04	c #Conflicts:    1194000 | #Constraints:      75433
2059.91/2066.04	c #Conflicts:    1195000 | #Constraints:      76433
2059.91/2066.04	c #Conflicts:    1196000 | #Constraints:      77433
2059.91/2066.04	c #Conflicts:    1197000 | #Constraints:      78433
2059.91/2066.04	c #Conflicts:    1198000 | #Constraints:      79433
2059.91/2066.04	c #Conflicts:    1199000 | #Constraints:      80433
2059.91/2066.04	c #Conflicts:    1200000 | #Constraints:      81433
2059.91/2066.04	c #Conflicts:    1201000 | #Constraints:      82433
2059.91/2066.04	c #Conflicts:    1202000 | #Constraints:      83433
2059.91/2066.04	c #Conflicts:    1203000 | #Constraints:      84433
2059.91/2066.04	c INPROCESSING
2059.91/2066.04	c GARBAGE COLLECT
2059.91/2066.04	c #Conflicts:    1204000 | #Constraints:      46489
2059.91/2066.04	c #Conflicts:    1205000 | #Constraints:      47489
2059.91/2066.04	c #Conflicts:    1206000 | #Constraints:      48489
2059.91/2066.04	c #Conflicts:    1207000 | #Constraints:      49489
2059.91/2066.04	c #Conflicts:    1208000 | #Constraints:      50489
2059.91/2066.04	c #Conflicts:    1209000 | #Constraints:      51489
2059.91/2066.04	c #Conflicts:    1210000 | #Constraints:      52489
2059.91/2066.04	c #Conflicts:    1211000 | #Constraints:      53489
2059.91/2066.04	c #Conflicts:    1212000 | #Constraints:      54489
2059.91/2066.04	c #Conflicts:    1213000 | #Constraints:      55489
2059.91/2066.04	c #Conflicts:    1214000 | #Constraints:      56489
2059.91/2066.04	c #Conflicts:    1215000 | #Constraints:      57489
2059.91/2066.04	c #Conflicts:    1216000 | #Constraints:      58489
2059.91/2066.04	c #Conflicts:    1217000 | #Constraints:      59489
2059.91/2066.04	c #Conflicts:    1218000 | #Constraints:      60489
2059.91/2066.04	c #Conflicts:    1219000 | #Constraints:      61489
2059.91/2066.04	c #Conflicts:    1220000 | #Constraints:      62490
2059.91/2066.04	c #Conflicts:    1221000 | #Constraints:      63490
2059.91/2066.04	c #Conflicts:    1222000 | #Constraints:      64490
2059.91/2066.04	c #Conflicts:    1223000 | #Constraints:      65490
2059.91/2066.04	c #Conflicts:    1224000 | #Constraints:      66490
2059.91/2066.04	c #Conflicts:    1225000 | #Constraints:      67490
2059.91/2066.04	c #Conflicts:    1226000 | #Constraints:      68490
2059.91/2066.04	c #Conflicts:    1227000 | #Constraints:      69490
2059.91/2066.04	c #Conflicts:    1228000 | #Constraints:      70490
2059.91/2066.04	c INPROCESSING
2059.91/2066.04	c GARBAGE COLLECT
2059.91/2066.04	c #Conflicts:    1229000 | #Constraints:      39690
2059.91/2066.04	c #Conflicts:    1230000 | #Constraints:      40690
2059.91/2066.04	c #Conflicts:    1231000 | #Constraints:      41690
2059.91/2066.04	c #Conflicts:    1232000 | #Constraints:      42690
2059.91/2066.04	c #Conflicts:    1233000 | #Constraints:      43690
2059.91/2066.04	c #Conflicts:    1234000 | #Constraints:      44690
2059.91/2066.04	c #Conflicts:    1235000 | #Constraints:      45690
2059.91/2066.04	c #Conflicts:    1236000 | #Constraints:      46690
2059.91/2066.04	c #Conflicts:    1237000 | #Constraints:      47690
2059.91/2066.04	c #Conflicts:    1238000 | #Constraints:      48690
2059.91/2066.04	c #Conflicts:    1239000 | #Constraints:      49690
2059.91/2066.04	c #Conflicts:    1240000 | #Constraints:      50690
2059.91/2066.04	c #Conflicts:    1241000 | #Constraints:      51690
2059.91/2066.04	c #Conflicts:    1242000 | #Constraints:      52690
2059.91/2066.04	c #Conflicts:    1243000 | #Constraints:      53690
2059.91/2066.04	c #Conflicts:    1244000 | #Constraints:      54690
2059.91/2066.04	c #Conflicts:    1245000 | #Constraints:      55690
2059.91/2066.04	c #Conflicts:    1246000 | #Constraints:      56690
2059.91/2066.04	c #Conflicts:    1247000 | #Constraints:      57690
2059.91/2066.04	c #Conflicts:    1248000 | #Constraints:      58690
2059.91/2066.04	c #Conflicts:    1249000 | #Constraints:      59690
2059.91/2066.04	c #Conflicts:    1250000 | #Constraints:      60690
2059.91/2066.04	c #Conflicts:    1251000 | #Constraints:      61690
2059.91/2066.04	c #Conflicts:    1252000 | #Constraints:      62690
2059.91/2066.04	c #Conflicts:    1253000 | #Constraints:      63690
2059.91/2066.04	c INPROCESSING
2059.91/2066.04	c GARBAGE COLLECT
2059.91/2066.04	c #Conflicts:    1254000 | #Constraints:      36396
2059.91/2066.04	c #Conflicts:    1255000 | #Constraints:      37396
2059.91/2066.04	c #Conflicts:    1256000 | #Constraints:      38396
2174.07/2180.56	c #Conflicts:    1257000 | #Constraints:      39396
2174.07/2180.56	c #Conflicts:    1258000 | #Constraints:      40396
2174.07/2180.56	c #Conflicts:    1259000 | #Constraints:      41396
2174.07/2180.56	c #Conflicts:    1260000 | #Constraints:      42396
2174.07/2180.56	c #Conflicts:    1261000 | #Constraints:      43396
2174.07/2180.56	c #Conflicts:    1262000 | #Constraints:      44396
2174.07/2180.56	c #Conflicts:    1263000 | #Constraints:      45396
2174.07/2180.56	c #Conflicts:    1264000 | #Constraints:      46396
2174.07/2180.56	c #Conflicts:    1265000 | #Constraints:      47396
2174.07/2180.56	c #Conflicts:    1266000 | #Constraints:      48396
2174.07/2180.56	c #Conflicts:    1267000 | #Constraints:      49396
2174.07/2180.56	c #Conflicts:    1268000 | #Constraints:      50396
2174.07/2180.56	c #Conflicts:    1269000 | #Constraints:      51396
2174.07/2180.56	c #Conflicts:    1270000 | #Constraints:      52396
2174.07/2180.56	c #Conflicts:    1271000 | #Constraints:      53396
2174.07/2180.56	c #Conflicts:    1272000 | #Constraints:      54396
2174.07/2180.56	c #Conflicts:    1273000 | #Constraints:      55396
2174.07/2180.56	c #Conflicts:    1274000 | #Constraints:      56396
2174.07/2180.56	c #Conflicts:    1275000 | #Constraints:      57396
2174.07/2180.56	c #Conflicts:    1276000 | #Constraints:      58396
2174.07/2180.56	c #Conflicts:    1277000 | #Constraints:      59396
2174.07/2180.56	c #Conflicts:    1278000 | #Constraints:      60396
2174.07/2180.56	c INPROCESSING
2174.07/2180.56	c GARBAGE COLLECT
2174.07/2180.56	c #Conflicts:    1279000 | #Constraints:      34807
2174.07/2180.56	c #Conflicts:    1280000 | #Constraints:      35807
2174.07/2180.56	c #Conflicts:    1281000 | #Constraints:      36807
2174.07/2180.56	c #Conflicts:    1282000 | #Constraints:      37807
2174.07/2180.56	c #Conflicts:    1283000 | #Constraints:      38807
2174.07/2180.56	c #Conflicts:    1284000 | #Constraints:      39807
2174.07/2180.56	c #Conflicts:    1285000 | #Constraints:      40807
2174.07/2180.56	c #Conflicts:    1286000 | #Constraints:      41807
2174.07/2180.56	c #Conflicts:    1287000 | #Constraints:      42807
2174.07/2180.56	c #Conflicts:    1288000 | #Constraints:      43807
2174.07/2180.56	c #Conflicts:    1289000 | #Constraints:      44807
2174.07/2180.56	c #Conflicts:    1290000 | #Constraints:      45807
2174.07/2180.56	c #Conflicts:    1291000 | #Constraints:      46807
2174.07/2180.56	c #Conflicts:    1292000 | #Constraints:      47807
2174.07/2180.56	c #Conflicts:    1293000 | #Constraints:      48807
2174.07/2180.56	c #Conflicts:    1294000 | #Constraints:      49807
2174.07/2180.56	c #Conflicts:    1295000 | #Constraints:      50807
2174.07/2180.56	c #Conflicts:    1296000 | #Constraints:      51807
2174.07/2180.56	c #Conflicts:    1297000 | #Constraints:      52807
2174.07/2180.56	c #Conflicts:    1298000 | #Constraints:      53807
2174.07/2180.56	c #Conflicts:    1299000 | #Constraints:      54807
2174.07/2180.56	c #Conflicts:    1300000 | #Constraints:      55807
2174.07/2180.56	c #Conflicts:    1301000 | #Constraints:      56808
2174.07/2180.56	c #Conflicts:    1302000 | #Constraints:      57808
2174.07/2180.56	c #Conflicts:    1303000 | #Constraints:      58808
2174.07/2180.56	c INPROCESSING
2174.07/2180.56	c GARBAGE COLLECT
2174.07/2180.56	c #Conflicts:    1304000 | #Constraints:      33852
2174.07/2180.56	c #Conflicts:    1305000 | #Constraints:      34852
2174.07/2180.56	c #Conflicts:    1306000 | #Constraints:      35852
2174.07/2180.56	c #Conflicts:    1307000 | #Constraints:      36852
2174.07/2180.56	c #Conflicts:    1308000 | #Constraints:      37852
2174.07/2180.56	c #Conflicts:    1309000 | #Constraints:      38852
2174.07/2180.56	c #Conflicts:    1310000 | #Constraints:      39852
2174.07/2180.56	c #Conflicts:    1311000 | #Constraints:      40852
2174.07/2180.56	c #Conflicts:    1312000 | #Constraints:      41852
2174.07/2180.56	c #Conflicts:    1313000 | #Constraints:      42852
2174.07/2180.56	c #Conflicts:    1314000 | #Constraints:      43852
2174.07/2180.56	c #Conflicts:    1315000 | #Constraints:      44852
2174.07/2180.56	c #Conflicts:    1316000 | #Constraints:      45852
2174.07/2180.56	c #Conflicts:    1317000 | #Constraints:      46852
2174.07/2180.56	c #Conflicts:    1318000 | #Constraints:      47852
2174.07/2180.56	c #Conflicts:    1319000 | #Constraints:      48852
2174.07/2180.56	c #Conflicts:    1320000 | #Constraints:      49852
2174.07/2180.56	c #Conflicts:    1321000 | #Constraints:      50852
2174.07/2180.56	c #Conflicts:    1322000 | #Constraints:      51852
2174.07/2180.56	c #Conflicts:    1323000 | #Constraints:      52852
2174.07/2180.56	c #Conflicts:    1324000 | #Constraints:      53852
2174.07/2180.56	c #Conflicts:    1325000 | #Constraints:      54852
2174.07/2180.56	c #Conflicts:    1326000 | #Constraints:      55852
2174.07/2180.56	c #Conflicts:    1327000 | #Constraints:      56852
2174.07/2180.56	c #Conflicts:    1328000 | #Constraints:      57852
2174.07/2180.56	c #Conflicts:    1329000 | #Constraints:      58852
2174.07/2180.56	c #Conflicts:    1330000 | #Constraints:      59852
2174.07/2180.56	c #Conflicts:    1331000 | #Constraints:      60852
2174.07/2180.56	c #Conflicts:    1332000 | #Constraints:      61852
2174.07/2180.56	c #Conflicts:    1333000 | #Constraints:      62852
2174.07/2180.56	c #Conflicts:    1334000 | #Constraints:      63852
2384.43/2391.51	c #Conflicts:    1335000 | #Constraints:      64852
2384.43/2391.51	c #Conflicts:    1336000 | #Constraints:      65852
2384.43/2391.51	c #Conflicts:    1337000 | #Constraints:      66852
2384.43/2391.51	c #Conflicts:    1338000 | #Constraints:      67852
2384.43/2391.51	c #Conflicts:    1339000 | #Constraints:      68852
2384.43/2391.51	c #Conflicts:    1340000 | #Constraints:      69852
2384.43/2391.51	c #Conflicts:    1341000 | #Constraints:      70852
2384.43/2391.51	c #Conflicts:    1342000 | #Constraints:      71852
2384.43/2391.51	c #Conflicts:    1343000 | #Constraints:      72852
2384.43/2391.51	c #Conflicts:    1344000 | #Constraints:      73852
2384.43/2391.51	c #Conflicts:    1345000 | #Constraints:      74852
2384.43/2391.51	c #Conflicts:    1346000 | #Constraints:      75852
2384.43/2391.51	c #Conflicts:    1347000 | #Constraints:      76852
2384.43/2391.51	c #Conflicts:    1348000 | #Constraints:      77852
2384.43/2391.51	c #Conflicts:    1349000 | #Constraints:      78852
2384.43/2391.51	c #Conflicts:    1350000 | #Constraints:      79852
2384.43/2391.51	c #Conflicts:    1351000 | #Constraints:      80852
2384.43/2391.51	c #Conflicts:    1352000 | #Constraints:      81852
2384.43/2391.51	c #Conflicts:    1353000 | #Constraints:      82852
2384.43/2391.51	c #Conflicts:    1354000 | #Constraints:      83852
2384.43/2391.51	c #Conflicts:    1355000 | #Constraints:      84852
2384.43/2391.51	c #Conflicts:    1356000 | #Constraints:      85852
2384.43/2391.51	c #Conflicts:    1357000 | #Constraints:      86852
2384.43/2391.51	c #Conflicts:    1358000 | #Constraints:      87852
2384.43/2391.51	c #Conflicts:    1359000 | #Constraints:      88852
2384.43/2391.51	c #Conflicts:    1360000 | #Constraints:      89852
2384.43/2391.51	c #Conflicts:    1361000 | #Constraints:      90852
2384.43/2391.51	c #Conflicts:    1362000 | #Constraints:      91852
2384.43/2391.51	c #Conflicts:    1363000 | #Constraints:      92852
2384.43/2391.51	c #Conflicts:    1364000 | #Constraints:      93852
2384.43/2391.51	c #Conflicts:    1365000 | #Constraints:      94852
2384.43/2391.51	c #Conflicts:    1366000 | #Constraints:      95852
2384.43/2391.51	c #Conflicts:    1367000 | #Constraints:      96852
2384.43/2391.51	c #Conflicts:    1368000 | #Constraints:      97852
2384.43/2391.51	c #Conflicts:    1369000 | #Constraints:      98852
2384.43/2391.51	c #Conflicts:    1370000 | #Constraints:      99852
2384.43/2391.51	c #Conflicts:    1371000 | #Constraints:     100852
2384.43/2391.51	c #Conflicts:    1372000 | #Constraints:     101852
2384.43/2391.51	c #Conflicts:    1373000 | #Constraints:     102852
2384.43/2391.51	c #Conflicts:    1374000 | #Constraints:     103852
2384.43/2391.51	c #Conflicts:    1375000 | #Constraints:     104852
2384.43/2391.51	c #Conflicts:    1376000 | #Constraints:     105852
2384.43/2391.51	c #Conflicts:    1377000 | #Constraints:     106852
2384.43/2391.51	c #Conflicts:    1378000 | #Constraints:     107852
2384.43/2391.51	c #Conflicts:    1379000 | #Constraints:     108852
2384.43/2391.51	c #Conflicts:    1380000 | #Constraints:     109852
2384.43/2391.51	c #Conflicts:    1381000 | #Constraints:     110852
2384.43/2391.51	c #Conflicts:    1382000 | #Constraints:     111852
2384.43/2391.51	c #Conflicts:    1383000 | #Constraints:     112852
2384.43/2391.51	c #Conflicts:    1384000 | #Constraints:     113852
2384.43/2391.51	c #Conflicts:    1385000 | #Constraints:     114852
2384.43/2391.51	c #Conflicts:    1386000 | #Constraints:     115852
2384.43/2391.51	c #Conflicts:    1387000 | #Constraints:     116852
2384.43/2391.51	c #Conflicts:    1388000 | #Constraints:     117852
2384.43/2391.51	c #Conflicts:    1389000 | #Constraints:     118852
2384.43/2391.51	c #Conflicts:    1390000 | #Constraints:     119852
2384.43/2391.51	c #Conflicts:    1391000 | #Constraints:     120852
2384.43/2391.51	c #Conflicts:    1392000 | #Constraints:     121852
2384.43/2391.51	c #Conflicts:    1393000 | #Constraints:     122852
2384.43/2391.51	c #Conflicts:    1394000 | #Constraints:     123852
2384.43/2391.51	c INPROCESSING
2384.43/2391.51	c GARBAGE COLLECT
2384.43/2391.51	c rational objective 92
2451.63/2458.94	c #Conflicts:    1395000 | #Constraints:      66384
2451.63/2458.94	c #Conflicts:    1396000 | #Constraints:      67384
2451.63/2458.94	c #Conflicts:    1397000 | #Constraints:      68384
2451.63/2458.94	c #Conflicts:    1398000 | #Constraints:      69384
2451.63/2458.94	c #Conflicts:    1399000 | #Constraints:      70384
2451.63/2458.94	c #Conflicts:    1400000 | #Constraints:      71384
2451.63/2458.94	c #Conflicts:    1401000 | #Constraints:      72384
2451.63/2458.94	c #Conflicts:    1402000 | #Constraints:      73384
2451.63/2458.94	c #Conflicts:    1403000 | #Constraints:      74384
2451.63/2458.94	c #Conflicts:    1404000 | #Constraints:      75384
2451.63/2458.94	c #Conflicts:    1405000 | #Constraints:      76384
2451.63/2458.94	c #Conflicts:    1406000 | #Constraints:      77384
2451.63/2458.94	c #Conflicts:    1407000 | #Constraints:      78384
2451.63/2458.94	c #Conflicts:    1408000 | #Constraints:      79384
2451.63/2458.94	c #Conflicts:    1409000 | #Constraints:      80384
2451.63/2458.94	c #Conflicts:    1410000 | #Constraints:      81384
2451.63/2458.94	c #Conflicts:    1411000 | #Constraints:      82384
2451.63/2458.94	c #Conflicts:    1412000 | #Constraints:      83384
2451.63/2458.94	c #Conflicts:    1413000 | #Constraints:      84384
2451.63/2458.94	c #Conflicts:    1414000 | #Constraints:      85384
2451.63/2458.94	c #Conflicts:    1415000 | #Constraints:      86384
2451.63/2458.94	c #Conflicts:    1416000 | #Constraints:      87384
2451.63/2458.94	c #Conflicts:    1417000 | #Constraints:      88384
2451.63/2458.94	c #Conflicts:    1418000 | #Constraints:      89384
2451.63/2458.94	c #Conflicts:    1419000 | #Constraints:      90384
2451.63/2458.94	c #Conflicts:    1420000 | #Constraints:      91384
2451.63/2458.94	c INPROCESSING
2451.63/2458.94	c GARBAGE COLLECT
2451.63/2458.94	c rational objective 92
2508.96/2516.48	c #Conflicts:    1421000 | #Constraints:      49924
2508.96/2516.48	c #Conflicts:    1422000 | #Constraints:      50924
2508.96/2516.48	c #Conflicts:    1423000 | #Constraints:      51924
2508.96/2516.48	c #Conflicts:    1424000 | #Constraints:      52924
2508.96/2516.48	c #Conflicts:    1425000 | #Constraints:      53924
2508.96/2516.48	c #Conflicts:    1426000 | #Constraints:      54924
2508.96/2516.48	c #Conflicts:    1427000 | #Constraints:      55924
2508.96/2516.48	c #Conflicts:    1428000 | #Constraints:      56924
2508.96/2516.48	c #Conflicts:    1429000 | #Constraints:      57924
2508.96/2516.48	c #Conflicts:    1430000 | #Constraints:      58924
2508.96/2516.48	c #Conflicts:    1431000 | #Constraints:      59924
2508.96/2516.48	c #Conflicts:    1432000 | #Constraints:      60924
2508.96/2516.48	c #Conflicts:    1433000 | #Constraints:      61924
2508.96/2516.48	c #Conflicts:    1434000 | #Constraints:      62924
2508.96/2516.48	c #Conflicts:    1435000 | #Constraints:      63924
2508.96/2516.48	c #Conflicts:    1436000 | #Constraints:      64924
2508.96/2516.48	c #Conflicts:    1437000 | #Constraints:      65924
2508.96/2516.48	c #Conflicts:    1438000 | #Constraints:      66924
2508.96/2516.48	c #Conflicts:    1439000 | #Constraints:      67924
2508.96/2516.48	c #Conflicts:    1440000 | #Constraints:      68924
2508.96/2516.48	c #Conflicts:    1441000 | #Constraints:      69924
2508.96/2516.48	c #Conflicts:    1442000 | #Constraints:      70924
2508.96/2516.48	c #Conflicts:    1443000 | #Constraints:      71924
2508.96/2516.48	c #Conflicts:    1444000 | #Constraints:      72924
2508.96/2516.48	c #Conflicts:    1445000 | #Constraints:      73924
2508.96/2516.48	c #Conflicts:    1446000 | #Constraints:      74924
2508.96/2516.48	c #Conflicts:    1447000 | #Constraints:      75924
2508.96/2516.48	c INPROCESSING
2508.96/2516.48	c GARBAGE COLLECT
2508.96/2516.48	c rational objective 92
2632.47/2640.32	c #Conflicts:    1448000 | #Constraints:      42279
2632.47/2640.32	c #Conflicts:    1449000 | #Constraints:      43279
2632.47/2640.32	c #Conflicts:    1450000 | #Constraints:      44279
2632.47/2640.32	c #Conflicts:    1451000 | #Constraints:      45279
2632.47/2640.32	c #Conflicts:    1452000 | #Constraints:      46279
2632.47/2640.32	c #Conflicts:    1453000 | #Constraints:      47279
2632.47/2640.32	c #Conflicts:    1454000 | #Constraints:      48279
2632.47/2640.32	c #Conflicts:    1455000 | #Constraints:      49279
2632.47/2640.32	c #Conflicts:    1456000 | #Constraints:      50279
2632.47/2640.32	c #Conflicts:    1457000 | #Constraints:      51279
2632.47/2640.32	c #Conflicts:    1458000 | #Constraints:      52279
2632.47/2640.32	c #Conflicts:    1459000 | #Constraints:      53279
2632.47/2640.32	c #Conflicts:    1460000 | #Constraints:      54279
2632.47/2640.32	c #Conflicts:    1461000 | #Constraints:      55279
2632.47/2640.32	c #Conflicts:    1462000 | #Constraints:      56279
2632.47/2640.32	c #Conflicts:    1463000 | #Constraints:      57279
2632.47/2640.32	c #Conflicts:    1464000 | #Constraints:      58279
2632.47/2640.32	c #Conflicts:    1465000 | #Constraints:      59279
2632.47/2640.32	c #Conflicts:    1466000 | #Constraints:      60279
2632.47/2640.32	c #Conflicts:    1467000 | #Constraints:      61279
2632.47/2640.32	c #Conflicts:    1468000 | #Constraints:      62279
2632.47/2640.32	c #Conflicts:    1469000 | #Constraints:      63279
2632.47/2640.32	c #Conflicts:    1470000 | #Constraints:      64279
2632.47/2640.32	c #Conflicts:    1471000 | #Constraints:      65279
2632.47/2640.32	c #Conflicts:    1472000 | #Constraints:      66279
2632.47/2640.32	c #Conflicts:    1473000 | #Constraints:      67279
2632.47/2640.32	c #Conflicts:    1474000 | #Constraints:      68279
2632.47/2640.32	c INPROCESSING
2632.47/2640.32	c GARBAGE COLLECT
2632.47/2640.32	c #Conflicts:    1475000 | #Constraints:      38591
2632.47/2640.32	c #Conflicts:    1476000 | #Constraints:      39591
2632.47/2640.32	c #Conflicts:    1477000 | #Constraints:      40591
2632.47/2640.32	c #Conflicts:    1478000 | #Constraints:      41591
2632.47/2640.32	c #Conflicts:    1479000 | #Constraints:      42591
2632.47/2640.32	c #Conflicts:    1480000 | #Constraints:      43591
2632.47/2640.32	c #Conflicts:    1481000 | #Constraints:      44591
2632.47/2640.32	c #Conflicts:    1482000 | #Constraints:      45591
2632.47/2640.32	c #Conflicts:    1483000 | #Constraints:      46591
2632.47/2640.32	c #Conflicts:    1484000 | #Constraints:      47591
2632.47/2640.32	c #Conflicts:    1485000 | #Constraints:      48591
2632.47/2640.32	c #Conflicts:    1486000 | #Constraints:      49591
2632.47/2640.32	c #Conflicts:    1487000 | #Constraints:      50591
2632.47/2640.32	c #Conflicts:    1488000 | #Constraints:      51591
2632.47/2640.32	c #Conflicts:    1489000 | #Constraints:      52591
2632.47/2640.32	c #Conflicts:    1490000 | #Constraints:      53591
2632.47/2640.32	c #Conflicts:    1491000 | #Constraints:      54591
2632.47/2640.32	c #Conflicts:    1492000 | #Constraints:      55591
2632.47/2640.32	c #Conflicts:    1493000 | #Constraints:      56591
2632.47/2640.32	c #Conflicts:    1494000 | #Constraints:      57591
2632.47/2640.32	c #Conflicts:    1495000 | #Constraints:      58591
2632.47/2640.32	c #Conflicts:    1496000 | #Constraints:      59591
2632.47/2640.32	c #Conflicts:    1497000 | #Constraints:      60591
2632.47/2640.32	c #Conflicts:    1498000 | #Constraints:      61591
2632.47/2640.32	c #Conflicts:    1499000 | #Constraints:      62591
2632.47/2640.32	c #Conflicts:    1500000 | #Constraints:      63591
2632.47/2640.32	c #Conflicts:    1501000 | #Constraints:      64591
2632.47/2640.32	c INPROCESSING
2632.47/2640.32	c GARBAGE COLLECT
2632.47/2640.32	c #Conflicts:    1502000 | #Constraints:      36675
2632.47/2640.32	c #Conflicts:    1503000 | #Constraints:      37675
2632.47/2640.32	c #Conflicts:    1504000 | #Constraints:      38675
2632.47/2640.32	c #Conflicts:    1505000 | #Constraints:      39675
2632.47/2640.32	c #Conflicts:    1506000 | #Constraints:      40675
2632.47/2640.32	c #Conflicts:    1507000 | #Constraints:      41675
2632.47/2640.32	c #Conflicts:    1508000 | #Constraints:      42675
2632.47/2640.32	c #Conflicts:    1509000 | #Constraints:      43675
2632.47/2640.32	c #Conflicts:    1510000 | #Constraints:      44675
2632.47/2640.32	c #Conflicts:    1511000 | #Constraints:      45675
2632.47/2640.32	c #Conflicts:    1512000 | #Constraints:      46675
2632.47/2640.32	c #Conflicts:    1513000 | #Constraints:      47675
2632.47/2640.32	c #Conflicts:    1514000 | #Constraints:      48675
2632.47/2640.32	c #Conflicts:    1515000 | #Constraints:      49675
2632.47/2640.32	c #Conflicts:    1516000 | #Constraints:      50675
2632.47/2640.32	c #Conflicts:    1517000 | #Constraints:      51675
2632.47/2640.32	c #Conflicts:    1518000 | #Constraints:      52675
2632.47/2640.32	c #Conflicts:    1519000 | #Constraints:      53675
2632.47/2640.32	c #Conflicts:    1520000 | #Constraints:      54675
2632.47/2640.32	c #Conflicts:    1521000 | #Constraints:      55675
2632.47/2640.32	c #Conflicts:    1522000 | #Constraints:      56675
2632.47/2640.32	c #Conflicts:    1523000 | #Constraints:      57675
2632.47/2640.32	c #Conflicts:    1524000 | #Constraints:      58675
2632.47/2640.32	c #Conflicts:    1525000 | #Constraints:      59675
2817.01/2825.41	c #Conflicts:    1526000 | #Constraints:      60675
2817.01/2825.41	c #Conflicts:    1527000 | #Constraints:      61675
2817.01/2825.41	c #Conflicts:    1528000 | #Constraints:      62675
2817.01/2825.41	c INPROCESSING
2817.01/2825.41	c GARBAGE COLLECT
2817.01/2825.41	c #Conflicts:    1529000 | #Constraints:      35562
2817.01/2825.41	c #Conflicts:    1530000 | #Constraints:      36562
2817.01/2825.41	c #Conflicts:    1531000 | #Constraints:      37562
2817.01/2825.41	c #Conflicts:    1532000 | #Constraints:      38562
2817.01/2825.41	c #Conflicts:    1533000 | #Constraints:      39562
2817.01/2825.41	c #Conflicts:    1534000 | #Constraints:      40562
2817.01/2825.41	c #Conflicts:    1535000 | #Constraints:      41562
2817.01/2825.41	c #Conflicts:    1536000 | #Constraints:      42562
2817.01/2825.41	c #Conflicts:    1537000 | #Constraints:      43562
2817.01/2825.41	c #Conflicts:    1538000 | #Constraints:      44562
2817.01/2825.41	c #Conflicts:    1539000 | #Constraints:      45562
2817.01/2825.41	c #Conflicts:    1540000 | #Constraints:      46562
2817.01/2825.41	c #Conflicts:    1541000 | #Constraints:      47562
2817.01/2825.41	c #Conflicts:    1542000 | #Constraints:      48562
2817.01/2825.41	c #Conflicts:    1543000 | #Constraints:      49562
2817.01/2825.41	c #Conflicts:    1544000 | #Constraints:      50562
2817.01/2825.41	c #Conflicts:    1545000 | #Constraints:      51562
2817.01/2825.41	c #Conflicts:    1546000 | #Constraints:      52562
2817.01/2825.41	c #Conflicts:    1547000 | #Constraints:      53562
2817.01/2825.41	c #Conflicts:    1548000 | #Constraints:      54562
2817.01/2825.41	c #Conflicts:    1549000 | #Constraints:      55562
2817.01/2825.41	c #Conflicts:    1550000 | #Constraints:      56562
2817.01/2825.41	c #Conflicts:    1551000 | #Constraints:      57562
2817.01/2825.41	c #Conflicts:    1552000 | #Constraints:      58562
2817.01/2825.41	c #Conflicts:    1553000 | #Constraints:      59562
2817.01/2825.41	c #Conflicts:    1554000 | #Constraints:      60562
2817.01/2825.41	c #Conflicts:    1555000 | #Constraints:      61562
2817.01/2825.41	c #Conflicts:    1556000 | #Constraints:      62562
2817.01/2825.41	c #Conflicts:    1557000 | #Constraints:      63562
2817.01/2825.41	c #Conflicts:    1558000 | #Constraints:      64562
2817.01/2825.41	c #Conflicts:    1559000 | #Constraints:      65562
2817.01/2825.41	c #Conflicts:    1560000 | #Constraints:      66562
2817.01/2825.41	c #Conflicts:    1561000 | #Constraints:      67562
2817.01/2825.41	c #Conflicts:    1562000 | #Constraints:      68562
2817.01/2825.41	c #Conflicts:    1563000 | #Constraints:      69562
2817.01/2825.41	c #Conflicts:    1564000 | #Constraints:      70562
2817.01/2825.41	c #Conflicts:    1565000 | #Constraints:      71562
2817.01/2825.41	c #Conflicts:    1566000 | #Constraints:      72562
2817.01/2825.41	c #Conflicts:    1567000 | #Constraints:      73562
2817.01/2825.41	c #Conflicts:    1568000 | #Constraints:      74562
2817.01/2825.41	c #Conflicts:    1569000 | #Constraints:      75562
2817.01/2825.41	c #Conflicts:    1570000 | #Constraints:      76562
2817.01/2825.41	c #Conflicts:    1571000 | #Constraints:      77562
2817.01/2825.41	c #Conflicts:    1572000 | #Constraints:      78562
2817.01/2825.41	c #Conflicts:    1573000 | #Constraints:      79562
2817.01/2825.41	c #Conflicts:    1574000 | #Constraints:      80562
2817.01/2825.41	c #Conflicts:    1575000 | #Constraints:      81562
2817.01/2825.41	c #Conflicts:    1576000 | #Constraints:      82562
2817.01/2825.41	c #Conflicts:    1577000 | #Constraints:      83562
2817.01/2825.41	c #Conflicts:    1578000 | #Constraints:      84562
2817.01/2825.41	c #Conflicts:    1579000 | #Constraints:      85562
2817.01/2825.41	c #Conflicts:    1580000 | #Constraints:      86562
2817.01/2825.41	c #Conflicts:    1581000 | #Constraints:      87562
2817.01/2825.41	c #Conflicts:    1582000 | #Constraints:      88562
2817.01/2825.41	c #Conflicts:    1583000 | #Constraints:      89562
2817.01/2825.41	c #Conflicts:    1584000 | #Constraints:      90562
2817.01/2825.41	c #Conflicts:    1585000 | #Constraints:      91562
2817.01/2825.41	c #Conflicts:    1586000 | #Constraints:      92562
2817.01/2825.41	c #Conflicts:    1587000 | #Constraints:      93562
2817.01/2825.41	c #Conflicts:    1588000 | #Constraints:      94562
2817.01/2825.41	c #Conflicts:    1589000 | #Constraints:      95562
2817.01/2825.41	c #Conflicts:    1590000 | #Constraints:      96562
2817.01/2825.41	c #Conflicts:    1591000 | #Constraints:      97562
2817.01/2825.41	c #Conflicts:    1592000 | #Constraints:      98562
2817.01/2825.41	c #Conflicts:    1593000 | #Constraints:      99562
2817.01/2825.41	c #Conflicts:    1594000 | #Constraints:     100562
2817.01/2825.41	c #Conflicts:    1595000 | #Constraints:     101562
2817.01/2825.41	c #Conflicts:    1596000 | #Constraints:     102562
2817.01/2825.41	c #Conflicts:    1597000 | #Constraints:     103562
2817.01/2825.41	c #Conflicts:    1598000 | #Constraints:     104562
2817.01/2825.41	c #Conflicts:    1599000 | #Constraints:     105562
2817.01/2825.41	c #Conflicts:    1600000 | #Constraints:     106562
2817.01/2825.41	c #Conflicts:    1601000 | #Constraints:     107562
2817.01/2825.41	c #Conflicts:    1602000 | #Constraints:     108562
2817.01/2825.41	c #Conflicts:    1603000 | #Constraints:     109562
2932.85/2941.66	c #Conflicts:    1604000 | #Constraints:     110562
2932.85/2941.66	c #Conflicts:    1605000 | #Constraints:     111562
2932.85/2941.66	c #Conflicts:    1606000 | #Constraints:     112562
2932.85/2941.66	c #Conflicts:    1607000 | #Constraints:     113562
2932.85/2941.66	c #Conflicts:    1608000 | #Constraints:     114562
2932.85/2941.66	c #Conflicts:    1609000 | #Constraints:     115562
2932.85/2941.66	c #Conflicts:    1610000 | #Constraints:     116562
2932.85/2941.66	c #Conflicts:    1611000 | #Constraints:     117562
2932.85/2941.66	c #Conflicts:    1612000 | #Constraints:     118562
2932.85/2941.66	c #Conflicts:    1613000 | #Constraints:     119562
2932.85/2941.66	c #Conflicts:    1614000 | #Constraints:     120562
2932.85/2941.66	c #Conflicts:    1615000 | #Constraints:     121562
2932.85/2941.66	c #Conflicts:    1616000 | #Constraints:     122562
2932.85/2941.66	c #Conflicts:    1617000 | #Constraints:     123562
2932.85/2941.66	c #Conflicts:    1618000 | #Constraints:     124562
2932.85/2941.66	c #Conflicts:    1619000 | #Constraints:     125562
2932.85/2941.66	c #Conflicts:    1620000 | #Constraints:     126562
2932.85/2941.66	c #Conflicts:    1621000 | #Constraints:     127562
2932.85/2941.66	c #Conflicts:    1622000 | #Constraints:     128562
2932.85/2941.66	c #Conflicts:    1623000 | #Constraints:     129562
2932.85/2941.66	c #Conflicts:    1624000 | #Constraints:     130562
2932.85/2941.66	c #Conflicts:    1625000 | #Constraints:     131562
2932.85/2941.66	c #Conflicts:    1626000 | #Constraints:     132562
2932.85/2941.66	c #Conflicts:    1627000 | #Constraints:     133562
2932.85/2941.66	c INPROCESSING
2932.85/2941.66	c GARBAGE COLLECT
2932.85/2941.66	c rational objective 92
3010.80/3019.87	c #Conflicts:    1628000 | #Constraints:      71202
3010.80/3019.87	c #Conflicts:    1629000 | #Constraints:      72202
3010.80/3019.87	c #Conflicts:    1630000 | #Constraints:      73202
3010.80/3019.87	c #Conflicts:    1631000 | #Constraints:      74202
3010.80/3019.87	c #Conflicts:    1632000 | #Constraints:      75202
3010.80/3019.87	c #Conflicts:    1633000 | #Constraints:      76202
3010.80/3019.87	c #Conflicts:    1634000 | #Constraints:      77202
3010.80/3019.87	c #Conflicts:    1635000 | #Constraints:      78202
3010.80/3019.87	c #Conflicts:    1636000 | #Constraints:      79202
3010.80/3019.87	c #Conflicts:    1637000 | #Constraints:      80202
3010.80/3019.87	c #Conflicts:    1638000 | #Constraints:      81202
3010.80/3019.87	c #Conflicts:    1639000 | #Constraints:      82202
3010.80/3019.87	c #Conflicts:    1640000 | #Constraints:      83202
3010.80/3019.87	c #Conflicts:    1641000 | #Constraints:      84202
3010.80/3019.87	c #Conflicts:    1642000 | #Constraints:      85202
3010.80/3019.87	c #Conflicts:    1643000 | #Constraints:      86202
3010.80/3019.87	c #Conflicts:    1644000 | #Constraints:      87202
3010.80/3019.87	c #Conflicts:    1645000 | #Constraints:      88202
3010.80/3019.87	c #Conflicts:    1646000 | #Constraints:      89202
3010.80/3019.87	c #Conflicts:    1647000 | #Constraints:      90202
3010.80/3019.87	c #Conflicts:    1648000 | #Constraints:      91202
3010.80/3019.87	c #Conflicts:    1649000 | #Constraints:      92202
3010.80/3019.87	c #Conflicts:    1650000 | #Constraints:      93202
3010.80/3019.87	c #Conflicts:    1651000 | #Constraints:      94202
3010.80/3019.87	c #Conflicts:    1652000 | #Constraints:      95202
3010.80/3019.87	c #Conflicts:    1653000 | #Constraints:      96202
3010.80/3019.87	c #Conflicts:    1654000 | #Constraints:      97202
3010.80/3019.87	c #Conflicts:    1655000 | #Constraints:      98202
3010.80/3019.87	c #Conflicts:    1656000 | #Constraints:      99202
3010.80/3019.87	c INPROCESSING
3010.80/3019.87	c GARBAGE COLLECT
3010.80/3019.87	c rational objective 92
3068.82/3078.09	c #Conflicts:    1657000 | #Constraints:      54263
3068.82/3078.09	c #Conflicts:    1658000 | #Constraints:      55263
3068.82/3078.09	c #Conflicts:    1659000 | #Constraints:      56263
3068.82/3078.09	c #Conflicts:    1660000 | #Constraints:      57263
3068.82/3078.09	c #Conflicts:    1661000 | #Constraints:      58263
3068.82/3078.09	c #Conflicts:    1662000 | #Constraints:      59263
3068.82/3078.09	c #Conflicts:    1663000 | #Constraints:      60263
3068.82/3078.09	c #Conflicts:    1664000 | #Constraints:      61263
3068.82/3078.09	c #Conflicts:    1665000 | #Constraints:      62263
3068.82/3078.09	c #Conflicts:    1666000 | #Constraints:      63263
3068.82/3078.09	c #Conflicts:    1667000 | #Constraints:      64263
3068.82/3078.09	c #Conflicts:    1668000 | #Constraints:      65263
3068.82/3078.09	c #Conflicts:    1669000 | #Constraints:      66263
3068.82/3078.09	c #Conflicts:    1670000 | #Constraints:      67263
3068.82/3078.09	c #Conflicts:    1671000 | #Constraints:      68263
3068.82/3078.09	c #Conflicts:    1672000 | #Constraints:      69263
3068.82/3078.09	c #Conflicts:    1673000 | #Constraints:      70263
3068.82/3078.09	c #Conflicts:    1674000 | #Constraints:      71263
3068.82/3078.09	c #Conflicts:    1675000 | #Constraints:      72263
3068.82/3078.09	c #Conflicts:    1676000 | #Constraints:      73263
3068.82/3078.09	c #Conflicts:    1677000 | #Constraints:      74263
3068.82/3078.09	c #Conflicts:    1678000 | #Constraints:      75263
3068.82/3078.09	c #Conflicts:    1679000 | #Constraints:      76263
3068.82/3078.09	c #Conflicts:    1680000 | #Constraints:      77263
3068.82/3078.09	c #Conflicts:    1681000 | #Constraints:      78263
3068.82/3078.09	c #Conflicts:    1682000 | #Constraints:      79263
3068.82/3078.09	c #Conflicts:    1683000 | #Constraints:      80263
3068.82/3078.09	c #Conflicts:    1684000 | #Constraints:      81263
3068.82/3078.09	c INPROCESSING
3068.82/3078.09	c GARBAGE COLLECT
3068.82/3078.09	c rational objective 92
3139.23/3148.69	c #Conflicts:    1685000 | #Constraints:      44890
3139.23/3148.69	c #Conflicts:    1686000 | #Constraints:      45890
3139.23/3148.69	c #Conflicts:    1687000 | #Constraints:      46890
3139.23/3148.69	c #Conflicts:    1688000 | #Constraints:      47890
3139.23/3148.69	c #Conflicts:    1689000 | #Constraints:      48890
3139.23/3148.69	c #Conflicts:    1690000 | #Constraints:      49890
3139.23/3148.69	c #Conflicts:    1691000 | #Constraints:      50890
3139.23/3148.69	c #Conflicts:    1692000 | #Constraints:      51891
3139.23/3148.69	c #Conflicts:    1693000 | #Constraints:      52891
3139.23/3148.69	c #Conflicts:    1694000 | #Constraints:      53891
3139.23/3148.69	c #Conflicts:    1695000 | #Constraints:      54891
3139.23/3148.69	c #Conflicts:    1696000 | #Constraints:      55891
3139.23/3148.69	c #Conflicts:    1697000 | #Constraints:      56891
3139.23/3148.69	c #Conflicts:    1698000 | #Constraints:      57891
3139.23/3148.69	c #Conflicts:    1699000 | #Constraints:      58891
3139.23/3148.69	c #Conflicts:    1700000 | #Constraints:      59891
3139.23/3148.69	c #Conflicts:    1701000 | #Constraints:      60891
3139.23/3148.69	c #Conflicts:    1702000 | #Constraints:      61891
3139.23/3148.69	c #Conflicts:    1703000 | #Constraints:      62891
3139.23/3148.69	c #Conflicts:    1704000 | #Constraints:      63891
3139.23/3148.69	c #Conflicts:    1705000 | #Constraints:      64891
3139.23/3148.69	c #Conflicts:    1706000 | #Constraints:      65891
3139.23/3148.69	c #Conflicts:    1707000 | #Constraints:      66891
3139.23/3148.69	c #Conflicts:    1708000 | #Constraints:      67891
3139.23/3148.69	c #Conflicts:    1709000 | #Constraints:      68891
3139.23/3148.69	c #Conflicts:    1710000 | #Constraints:      69891
3139.23/3148.69	c #Conflicts:    1711000 | #Constraints:      70891
3139.23/3148.69	c #Conflicts:    1712000 | #Constraints:      71891
3139.23/3148.69	c #Conflicts:    1713000 | #Constraints:      72891
3139.23/3148.69	c INPROCESSING
3139.23/3148.69	c GARBAGE COLLECT
3139.23/3148.69	c rational objective 92
3263.40/3273.16	c #Conflicts:    1714000 | #Constraints:      40695
3263.40/3273.16	c #Conflicts:    1715000 | #Constraints:      41695
3263.40/3273.16	c #Conflicts:    1716000 | #Constraints:      42695
3263.40/3273.16	c #Conflicts:    1717000 | #Constraints:      43695
3263.40/3273.16	c #Conflicts:    1718000 | #Constraints:      44695
3263.40/3273.16	c #Conflicts:    1719000 | #Constraints:      45695
3263.40/3273.16	c #Conflicts:    1720000 | #Constraints:      46695
3263.40/3273.16	c #Conflicts:    1721000 | #Constraints:      47695
3263.40/3273.16	c #Conflicts:    1722000 | #Constraints:      48695
3263.40/3273.16	c #Conflicts:    1723000 | #Constraints:      49695
3263.40/3273.16	c #Conflicts:    1724000 | #Constraints:      50695
3263.40/3273.16	c #Conflicts:    1725000 | #Constraints:      51695
3263.40/3273.16	c #Conflicts:    1726000 | #Constraints:      52695
3263.40/3273.16	c #Conflicts:    1727000 | #Constraints:      53695
3263.40/3273.16	c #Conflicts:    1728000 | #Constraints:      54695
3263.40/3273.16	c #Conflicts:    1729000 | #Constraints:      55695
3263.40/3273.16	c #Conflicts:    1730000 | #Constraints:      56695
3263.40/3273.16	c #Conflicts:    1731000 | #Constraints:      57695
3263.40/3273.16	c #Conflicts:    1732000 | #Constraints:      58695
3263.40/3273.16	c #Conflicts:    1733000 | #Constraints:      59695
3263.40/3273.16	c #Conflicts:    1734000 | #Constraints:      60695
3263.40/3273.16	c #Conflicts:    1735000 | #Constraints:      61695
3263.40/3273.16	c #Conflicts:    1736000 | #Constraints:      62695
3263.40/3273.16	c #Conflicts:    1737000 | #Constraints:      63695
3263.40/3273.16	c #Conflicts:    1738000 | #Constraints:      64695
3263.40/3273.16	c #Conflicts:    1739000 | #Constraints:      65695
3263.40/3273.16	c #Conflicts:    1740000 | #Constraints:      66695
3263.40/3273.16	c #Conflicts:    1741000 | #Constraints:      67695
3263.40/3273.16	c #Conflicts:    1742000 | #Constraints:      68695
3263.40/3273.16	c #Conflicts:    1743000 | #Constraints:      69695
3263.40/3273.16	c INPROCESSING
3263.40/3273.16	c GARBAGE COLLECT
3263.40/3273.16	c #Conflicts:    1744000 | #Constraints:      39470
3263.40/3273.16	c #Conflicts:    1745000 | #Constraints:      40470
3263.40/3273.16	c #Conflicts:    1746000 | #Constraints:      41470
3263.40/3273.16	c #Conflicts:    1747000 | #Constraints:      42470
3263.40/3273.16	c #Conflicts:    1748000 | #Constraints:      43470
3263.40/3273.16	c #Conflicts:    1749000 | #Constraints:      44470
3263.40/3273.16	c #Conflicts:    1750000 | #Constraints:      45470
3263.40/3273.16	c #Conflicts:    1751000 | #Constraints:      46470
3263.40/3273.16	c #Conflicts:    1752000 | #Constraints:      47470
3263.40/3273.16	c #Conflicts:    1753000 | #Constraints:      48470
3263.40/3273.16	c #Conflicts:    1754000 | #Constraints:      49470
3263.40/3273.16	c #Conflicts:    1755000 | #Constraints:      50470
3263.40/3273.16	c #Conflicts:    1756000 | #Constraints:      51470
3263.40/3273.16	c #Conflicts:    1757000 | #Constraints:      52470
3263.40/3273.16	c #Conflicts:    1758000 | #Constraints:      53470
3263.40/3273.16	c #Conflicts:    1759000 | #Constraints:      54470
3263.40/3273.16	c #Conflicts:    1760000 | #Constraints:      55470
3263.40/3273.16	c #Conflicts:    1761000 | #Constraints:      56470
3263.40/3273.16	c #Conflicts:    1762000 | #Constraints:      57470
3263.40/3273.16	c #Conflicts:    1763000 | #Constraints:      58470
3263.40/3273.16	c #Conflicts:    1764000 | #Constraints:      59470
3263.40/3273.16	c #Conflicts:    1765000 | #Constraints:      60470
3263.40/3273.16	c #Conflicts:    1766000 | #Constraints:      61470
3263.40/3273.16	c #Conflicts:    1767000 | #Constraints:      62470
3263.40/3273.16	c #Conflicts:    1768000 | #Constraints:      63470
3263.40/3273.16	c #Conflicts:    1769000 | #Constraints:      64470
3263.40/3273.16	c #Conflicts:    1770000 | #Constraints:      65470
3263.40/3273.16	c #Conflicts:    1771000 | #Constraints:      66470
3263.40/3273.16	c #Conflicts:    1772000 | #Constraints:      67470
3263.40/3273.16	c INPROCESSING
3263.40/3273.16	c GARBAGE COLLECT
3263.40/3273.16	c #Conflicts:    1773000 | #Constraints:      38089
3263.40/3273.16	c #Conflicts:    1774000 | #Constraints:      39089
3263.40/3273.16	c #Conflicts:    1775000 | #Constraints:      40089
3263.40/3273.16	c #Conflicts:    1776000 | #Constraints:      41089
3263.40/3273.16	c #Conflicts:    1777000 | #Constraints:      42089
3263.40/3273.16	c #Conflicts:    1778000 | #Constraints:      43089
3263.40/3273.16	c #Conflicts:    1779000 | #Constraints:      44089
3263.40/3273.16	c #Conflicts:    1780000 | #Constraints:      45089
3263.40/3273.16	c #Conflicts:    1781000 | #Constraints:      46089
3263.40/3273.16	c #Conflicts:    1782000 | #Constraints:      47089
3263.40/3273.16	c #Conflicts:    1783000 | #Constraints:      48089
3263.40/3273.16	c #Conflicts:    1784000 | #Constraints:      49089
3263.40/3273.16	c #Conflicts:    1785000 | #Constraints:      50089
3263.40/3273.16	c #Conflicts:    1786000 | #Constraints:      51089
3263.40/3273.16	c #Conflicts:    1787000 | #Constraints:      52089
3263.40/3273.16	c #Conflicts:    1788000 | #Constraints:      53089
3263.40/3273.16	c #Conflicts:    1789000 | #Constraints:      54089
3263.40/3273.16	c #Conflicts:    1790000 | #Constraints:      55089
3263.40/3273.16	c #Conflicts:    1791000 | #Constraints:      56089
3563.69/3574.28	c #Conflicts:    1792000 | #Constraints:      57089
3563.69/3574.28	c #Conflicts:    1793000 | #Constraints:      58089
3563.69/3574.28	c #Conflicts:    1794000 | #Constraints:      59089
3563.69/3574.28	c #Conflicts:    1795000 | #Constraints:      60089
3563.69/3574.28	c #Conflicts:    1796000 | #Constraints:      61089
3563.69/3574.28	c #Conflicts:    1797000 | #Constraints:      62089
3563.69/3574.28	c #Conflicts:    1798000 | #Constraints:      63089
3563.69/3574.28	c #Conflicts:    1799000 | #Constraints:      64089
3563.69/3574.28	c #Conflicts:    1800000 | #Constraints:      65089
3563.69/3574.28	c #Conflicts:    1801000 | #Constraints:      66089
3563.69/3574.28	c #Conflicts:    1802000 | #Constraints:      67089
3563.69/3574.28	c #Conflicts:    1803000 | #Constraints:      68089
3563.69/3574.28	c #Conflicts:    1804000 | #Constraints:      69089
3563.69/3574.28	c #Conflicts:    1805000 | #Constraints:      70089
3563.69/3574.28	c #Conflicts:    1806000 | #Constraints:      71089
3563.69/3574.28	c #Conflicts:    1807000 | #Constraints:      72089
3563.69/3574.28	c #Conflicts:    1808000 | #Constraints:      73089
3563.69/3574.28	c #Conflicts:    1809000 | #Constraints:      74089
3563.69/3574.28	c #Conflicts:    1810000 | #Constraints:      75089
3563.69/3574.28	c #Conflicts:    1811000 | #Constraints:      76089
3563.69/3574.28	c #Conflicts:    1812000 | #Constraints:      77089
3563.69/3574.28	c #Conflicts:    1813000 | #Constraints:      78089
3563.69/3574.28	c #Conflicts:    1814000 | #Constraints:      79089
3563.69/3574.28	c #Conflicts:    1815000 | #Constraints:      80089
3563.69/3574.28	c #Conflicts:    1816000 | #Constraints:      81089
3563.69/3574.28	c #Conflicts:    1817000 | #Constraints:      82089
3563.69/3574.28	c #Conflicts:    1818000 | #Constraints:      83089
3563.69/3574.28	c #Conflicts:    1819000 | #Constraints:      84089
3563.69/3574.28	c #Conflicts:    1820000 | #Constraints:      85089
3563.69/3574.28	c #Conflicts:    1821000 | #Constraints:      86089
3563.69/3574.28	c #Conflicts:    1822000 | #Constraints:      87089
3563.69/3574.28	c #Conflicts:    1823000 | #Constraints:      88089
3563.69/3574.28	c #Conflicts:    1824000 | #Constraints:      89089
3563.69/3574.28	c #Conflicts:    1825000 | #Constraints:      90089
3563.69/3574.28	c #Conflicts:    1826000 | #Constraints:      91089
3563.69/3574.28	c #Conflicts:    1827000 | #Constraints:      92089
3563.69/3574.28	c #Conflicts:    1828000 | #Constraints:      93089
3563.69/3574.28	c #Conflicts:    1829000 | #Constraints:      94089
3563.69/3574.28	c #Conflicts:    1830000 | #Constraints:      95089
3563.69/3574.28	c #Conflicts:    1831000 | #Constraints:      96089
3563.69/3574.28	c #Conflicts:    1832000 | #Constraints:      97089
3563.69/3574.28	c #Conflicts:    1833000 | #Constraints:      98089
3563.69/3574.28	c #Conflicts:    1834000 | #Constraints:      99089
3563.69/3574.28	c #Conflicts:    1835000 | #Constraints:     100089
3563.69/3574.28	c #Conflicts:    1836000 | #Constraints:     101089
3563.69/3574.28	c #Conflicts:    1837000 | #Constraints:     102089
3563.69/3574.28	c #Conflicts:    1838000 | #Constraints:     103089
3563.69/3574.28	c #Conflicts:    1839000 | #Constraints:     104089
3563.69/3574.28	c #Conflicts:    1840000 | #Constraints:     105089
3563.69/3574.28	c #Conflicts:    1841000 | #Constraints:     106089
3563.69/3574.28	c #Conflicts:    1842000 | #Constraints:     107089
3563.69/3574.28	c #Conflicts:    1843000 | #Constraints:     108089
3563.69/3574.28	c #Conflicts:    1844000 | #Constraints:     109089
3563.69/3574.28	c #Conflicts:    1845000 | #Constraints:     110089
3563.69/3574.28	c #Conflicts:    1846000 | #Constraints:     111089
3563.69/3574.28	c #Conflicts:    1847000 | #Constraints:     112089
3563.69/3574.28	c #Conflicts:    1848000 | #Constraints:     113089
3563.69/3574.28	c #Conflicts:    1849000 | #Constraints:     114089
3563.69/3574.28	c #Conflicts:    1850000 | #Constraints:     115089
3563.69/3574.28	c #Conflicts:    1851000 | #Constraints:     116089
3563.69/3574.28	c #Conflicts:    1852000 | #Constraints:     117089
3563.69/3574.28	c #Conflicts:    1853000 | #Constraints:     118089
3563.69/3574.28	c #Conflicts:    1854000 | #Constraints:     119089
3563.69/3574.28	c #Conflicts:    1855000 | #Constraints:     120089
3563.69/3574.28	c #Conflicts:    1856000 | #Constraints:     121089
3563.69/3574.28	c #Conflicts:    1857000 | #Constraints:     122089
3563.69/3574.28	c #Conflicts:    1858000 | #Constraints:     123089
3563.69/3574.28	c #Conflicts:    1859000 | #Constraints:     124089
3563.69/3574.28	c #Conflicts:    1860000 | #Constraints:     125089
3563.69/3574.28	c #Conflicts:    1861000 | #Constraints:     126089
3563.69/3574.28	c #Conflicts:    1862000 | #Constraints:     127089
3563.69/3574.28	c #Conflicts:    1863000 | #Constraints:     128089
3563.69/3574.28	c #Conflicts:    1864000 | #Constraints:     129089
3563.69/3574.28	c #Conflicts:    1865000 | #Constraints:     130089
3563.69/3574.28	c #Conflicts:    1866000 | #Constraints:     131089
3563.69/3574.28	c #Conflicts:    1867000 | #Constraints:     132089
3563.69/3574.28	c #Conflicts:    1868000 | #Constraints:     133089
3563.69/3574.28	c #Conflicts:    1869000 | #Constraints:     134089
3563.69/3574.28	c #Conflicts:    1870000 | #Constraints:     135089
3600.08/3610.70	c #Conflicts:    1871000 | #Constraints:     136089
3600.08/3610.70	c #Conflicts:    1872000 | #Constraints:     137089
3600.08/3610.70	c #Conflicts:    1873000 | #Constraints:     138089
3600.08/3610.70	c #Conflicts:    1874000 | #Constraints:     139089
3600.08/3610.70	c #Conflicts:    1875000 | #Constraints:     140089
3600.08/3610.70	c cpu time 3577.22 s
3600.08/3610.70	c deterministic time 260647853121 2.61e+11
3600.08/3610.70	c optimization time 358.639 s
3600.08/3610.70	c total solve time 3218.54 s
3600.08/3610.70	c core-guided solve time 0 s
3600.08/3610.70	c propagation time 1981.46 s
3600.08/3610.70	c conflict analysis time 1369.65 s
3600.08/3610.70	c propagations 915332407
3600.08/3610.70	c resolve steps 83589806
3600.08/3610.70	c decisions 13663463
3600.08/3610.70	c conflicts 1875792
3600.08/3610.70	c restarts 3595
3600.08/3610.70	c inprocessing phases 84
3600.08/3610.70	c garbage collections 84 ,( 100.00 )
3600.08/3610.70	c input clauses 6350 ,( 98.57 )
3600.08/3610.70	c input cardinalities 92 ,( 1.43 )
3600.08/3610.70	c input general constraints 0 ,( 0.00 )
3600.08/3610.70	c input average constraint length 6.23
3600.08/3610.70	c input average constraint degree 1.94
3600.08/3610.70	c learned clauses 1442788 ,( 76.91 )
3600.08/3610.70	c learned cardinalities 30744 ,( 1.64 )
3600.08/3610.70	c learned general constraints 402292 ,( 21.45 )
3600.08/3610.70	c learned average constraint length 682.56
3600.08/3610.70	c learned average constraint degree 9176441.23
3600.08/3610.70	c watched  CF 32, 64, 128, Arb: 130876 , 0 , 0 , 0
3600.08/3610.70	c counting CF 32, 64, 128, Arb: 271416 , 0 , 0 , 0
3600.08/3610.70	c watched   constraints 130876 ,( 32.53 ) 
3600.08/3610.70	c counting  constraints 271416 ,( 67.47 ) 
3600.08/3610.70	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1476799422 , 665025117 , 3267108065 ,( 149015487 , 3118092578 )
3600.08/3610.70	c gcd simplifications 1178
3600.08/3610.70	c detected cardinalities 1893
3600.08/3610.70	c weakened non-implied lits 365721425
3600.08/3610.70	c weakened non-implying lits 259266
3600.08/3610.70	c original variables 6256
3600.08/3610.70	c clausal propagations 342211694
3600.08/3610.70	c cardinality propagations 345055170
3600.08/3610.70	c watched propagations 4771821
3600.08/3610.70	c counting propagations 216899109
3600.08/3610.70	c watch lookups 141751521191
3600.08/3610.70	c watch backjump lookups 0
3600.08/3610.70	c watch checks 39037035510
3600.08/3610.70	c propagation checks 73532733648
3600.08/3610.70	c constraint additions 4466322303
3600.08/3610.70	c trail pops 930866463
3600.08/3610.70	c formula constraints 6442
3600.08/3610.70	c learned constraints 1875780
3600.08/3610.70	c bound constraints 0
3600.08/3610.70	c core-guided constraints 0
3600.08/3610.70	c encountered formula constraints 49582035
3600.08/3610.70	c encountered learned constraints 35883462
3600.08/3610.70	c encountered bound constraints 0
3600.08/3610.70	c encountered core-guided constraints 0
3600.08/3610.70	c LP total time 182.849 s
3600.08/3610.70	c LP solve time 137.86 s
3600.08/3610.70	c LP constraints added 8443
3600.08/3610.70	c LP constraints removed 1878
3600.08/3610.70	c LP pivots internal 192250
3600.08/3610.70	c LP pivots root 185885
3600.08/3610.70	c LP calls 49
3600.08/3610.70	c LP optimalities 32
3600.08/3610.70	c LP no pivot count 2
3600.08/3610.70	c LP infeasibilities 12
3600.08/3610.70	c LP valid Farkas constraints 12
3600.08/3610.70	c LP learned Farkas constraints 12
3600.08/3610.70	c LP basis resets 0
3600.08/3610.70	c LP cycling count 0
3600.08/3610.70	c LP singular count 0
3600.08/3610.70	c LP no primal count 0
3600.08/3610.70	c LP no farkas count 0
3600.08/3610.70	c LP other issue count 0
3600.08/3610.70	c LP Gomory cuts 20
3600.08/3610.70	c LP learned cuts 1981
3600.08/3610.70	c LP deleted cuts 1878
3600.08/3610.70	c LP encountered Gomory constraints 28
3600.08/3610.70	c LP encountered Farkas constraints 50
3600.08/3610.70	c LP encountered learned Farkas constraints 11
3600.08/3610.70	c CG auxiliary variables introduced 0
3600.08/3610.70	c CG solutions found 0
3600.08/3610.70	c CG cores constructed 0
3600.08/3610.70	c CG core cardinality constraints returned 0
3600.08/3610.70	c CG unit cores 0
3600.08/3610.70	c CG single cores 0
3600.08/3610.70	c CG blocks removed during cardinality reduction 0
3600.08/3610.70	c CG first core best 0
3600.08/3610.70	c CG decision core best 0
3600.08/3610.70	c CG core reduction tie 0
3600.08/3610.70	c CG core degree average 0.00
3600.08/3610.70	c CG core slack average 0.00
3600.08/3610.70	c CG core upper bound improvements 0
3600.08/3610.70	c STR number of successful calls 0
3600.08/3610.70	c STR number of unsuccessful calls 0
3600.08/3610.70	c STR number of inconclusive calls 0
3600.08/3610.70	c STR number of successful attempts 0
3600.08/3610.70	c STR number of unsuccessful attempts 0
3600.08/3610.70	c STR number of inconclusive attempts 0
3600.08/3610.70	c STR average degree increase per successful call inf
3600.08/3610.70	c STR average degree increase per successful attempt inf
3600.08/3610.70	c STR total number of conflicts for successful attempts 0
3600.08/3610.70	c STR total number of conflicts for unsuccessful attempts 0
3600.08/3610.70	c STR total number of conflicts for inconclusive attempts 0
3600.08/3610.70	c STR average number of conflicts per successful attempt inf
3600.08/3610.70	c STR average number of conflicts per unsuccessful attempt inf
3600.08/3610.70	c STR average number of conflicts per inconclusive attempt inf
3600.08/3610.70	c AVG.sumWPerc 59.48 
3600.08/3610.70	c bigint constraints 0 
3600.08/3610.70	s UNKNOWN
3600.08/3610.70	c Program interrupted by user.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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=23872, runsolver pid=23869

[startup+0.100058 s]*
/proc/loadavg: 4.10 4.09 4.09 5/272 23874
/proc/meminfo: memFree=123392376/131249996 swapFree=33010684/33010684
[pid=23872] ppid=23869 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23872/stat : 23872 (run-dec-ls-log.) S 23869 23872 22971 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33293395 4292608 768 18446744073709551615 93944628895744 93944629790277 140721607013328 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93944630029328 93944630077072 93944642211840 140721607014683 140721607014881 140721607014881 140721607020483 0
/proc/23872/statm: 1048 768 704 219 0 110 0
[pid=23874] ppid=23872 vsize=73424 memory=28124 CPUtime=0.08 cores=0,2
/proc/23874/stat : 23874 (roundingsat) R 23872 23872 22971 0 -1 4194304 5126 0 0 0 8 0 0 0 20 0 1 0 33293396 75186176 7031 18446744073709551615 4227072 8923433 140722292408640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 43204608 140722292414800 140722292415016 140722292415016 140722292420586 0
/proc/23874/statm: 18356 7031 2240 1147 0 5783 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 77616 KiB
Current children cumulated memory: 31196 KiB

[startup+0.20535 s]*
/proc/loadavg: 4.10 4.09 4.09 5/272 23874
/proc/meminfo: memFree=123392376/131249996 swapFree=33010684/33010684
[pid=23872] ppid=23869 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23872/stat : 23872 (run-dec-ls-log.) S 23869 23872 22971 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33293395 4292608 768 18446744073709551615 93944628895744 93944629790277 140721607013328 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93944630029328 93944630077072 93944642211840 140721607014683 140721607014881 140721607014881 140721607020483 0
/proc/23872/statm: 1048 768 704 219 0 110 0
[pid=23874] ppid=23872 vsize=73748 memory=28892 CPUtime=0.19 cores=0,2
/proc/23874/stat : 23874 (roundingsat) R 23872 23872 22971 0 -1 4194304 5279 0 0 0 19 0 0 0 20 0 1 0 33293396 75517952 7223 18446744073709551615 4227072 8923433 140722292408640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 43204608 140722292414800 140722292415016 140722292415016 140722292420586 0
/proc/23874/statm: 18437 7223 2272 1147 0 5864 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 77940 KiB
Current children cumulated memory: 31964 KiB

[startup+0.305476 s]*
/proc/loadavg: 4.10 4.09 4.09 5/272 23874
/proc/meminfo: memFree=123392376/131249996 swapFree=33010684/33010684
[pid=23872] ppid=23869 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23872/stat : 23872 (run-dec-ls-log.) S 23869 23872 22971 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33293395 4292608 768 18446744073709551615 93944628895744 93944629790277 140721607013328 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93944630029328 93944630077072 93944642211840 140721607014683 140721607014881 140721607014881 140721607020483 0
/proc/23872/statm: 1048 768 704 219 0 110 0
[pid=23874] ppid=23872 vsize=73748 memory=28892 CPUtime=0.28 cores=0,2
/proc/23874/stat : 23874 (roundingsat) R 23872 23872 22971 0 -1 4194304 5279 0 0 0 28 0 0 0 20 0 1 0 33293396 75517952 7223 18446744073709551615 4227072 8923433 140722292408640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 43204608 140722292414800 140722292415016 140722292415016 140722292420586 0
/proc/23874/statm: 18437 7223 2272 1147 0 5864 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 77940 KiB
Current children cumulated memory: 31964 KiB

[startup+0.700145 s]
/proc/loadavg: 4.10 4.09 4.09 5/272 23874
/proc/meminfo: memFree=123392376/131249996 swapFree=33010684/33010684
[pid=23872] ppid=23869 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23872/stat : 23872 (run-dec-ls-log.) S 23869 23872 22971 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33293395 4292608 768 18446744073709551615 93944628895744 93944629790277 140721607013328 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93944630029328 93944630077072 93944642211840 140721607014683 140721607014881 140721607014881 140721607020483 0
/proc/23872/statm: 1048 768 704 219 0 110 0
[pid=23874] ppid=23872 vsize=75012 memory=29916 CPUtime=0.68 cores=0,2
/proc/23874/stat : 23874 (roundingsat) R 23872 23872 22971 0 -1 4194304 5541 0 0 0 67 1 0 0 20 0 1 0 33293396 76812288 7479 18446744073709551615 4227072 8923433 140722292408640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 43204608 140722292414800 140722292415016 140722292415016 140722292420586 0
/proc/23874/statm: 18753 7479 2272 1147 0 6180 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 79204 KiB
Current children cumulated memory: 32988 KiB

[startup+1.50014 s]
/proc/loadavg: 4.10 4.09 4.09 5/272 23874
/proc/meminfo: memFree=123380548/131249996 swapFree=33010684/33010684
[pid=23872] ppid=23869 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23872/stat : 23872 (run-dec-ls-log.) S 23869 23872 22971 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33293395 4292608 768 18446744073709551615 93944628895744 93944629790277 140721607013328 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93944630029328 93944630077072 93944642211840 140721607014683 140721607014881 140721607014881 140721607020483 0
/proc/23872/statm: 1048 768 704 219 0 110 0
[pid=23874] ppid=23872 vsize=76492 memory=32092 CPUtime=1.47 cores=0,2
/proc/23874/stat : 23874 (roundingsat) R 23872 23872 22971 0 -1 4194304 6037 0 0 0 144 3 0 0 20 0 1 0 33293396 78327808 8023 18446744073709551615 4227072 8923433 140722292408640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 43204608 140722292414800 140722292415016 140722292415016 140722292420586 0
/proc/23874/statm: 19123 8023 2336 1147 0 6550 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 80684 KiB
Current children cumulated memory: 35164 KiB

[startup+3.10552 s]
/proc/loadavg: 4.17 4.11 4.09 5/272 23874
/proc/meminfo: memFree=123364376/131249996 swapFree=33010684/33010684
[pid=23872] ppid=23869 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23872/stat : 23872 (run-dec-ls-log.) S 23869 23872 22971 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33293395 4292608 768 18446744073709551615 93944628895744 93944629790277 140721607013328 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93944630029328 93944630077072 93944642211840 140721607014683 140721607014881 140721607014881 140721607020483 0
/proc/23872/statm: 1048 768 704 219 0 110 0
[pid=23874] ppid=23872 vsize=79916 memory=37580 CPUtime=3.07 cores=0,2
/proc/23874/stat : 23874 (roundingsat) R 23872 23872 22971 0 -1 4194304 6885 0 0 0 299 8 0 0 20 0 1 0 33293396 81833984 9395 18446744073709551615 4227072 8923433 140722292408640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 43204608 140722292414800 140722292415016 140722292415016 140722292420586 0
/proc/23874/statm: 19979 9395 2336 1147 0 7406 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 84108 KiB
Current children cumulated memory: 40652 KiB

[startup+6.30013 s]
/proc/loadavg: 4.17 4.11 4.09 5/272 23874
/proc/meminfo: memFree=123299232/131249996 swapFree=33010684/33010684
[pid=23872] ppid=23869 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23872/stat : 23872 (run-dec-ls-log.) S 23869 23872 22971 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33293395 4292608 768 18446744073709551615 93944628895744 93944629790277 140721607013328 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93944630029328 93944630077072 93944642211840 140721607014683 140721607014881 140721607014881 140721607020483 0
/proc/23872/statm: 1048 768 704 219 0 110 0
[pid=23874] ppid=23872 vsize=88308 memory=45832 CPUtime=6.26 cores=0,2
/proc/23874/stat : 23874 (roundingsat) R 23872 23872 22971 0 -1 4194304 8434 0 0 0 611 15 0 0 20 0 1 0 33293396 90427392 11458 18446744073709551615 4227072 8923433 140722292408640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 43204608 140722292414800 140722292415016 140722292415016 140722292420586 0
/proc/23874/statm: 22077 11458 2336 1147 0 9504 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 92500 KiB
Current children cumulated memory: 48904 KiB

[startup+12.7002 s]
/proc/loadavg: 4.16 4.11 4.09 5/272 23874
/proc/meminfo: memFree=123239508/131249996 swapFree=33010684/33010684
[pid=23872] ppid=23869 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23872/stat : 23872 (run-dec-ls-log.) S 23869 23872 22971 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33293395 4292608 768 18446744073709551615 93944628895744 93944629790277 140721607013328 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93944630029328 93944630077072 93944642211840 140721607014683 140721607014881 140721607014881 140721607020483 0
/proc/23872/statm: 1048 768 704 219 0 110 0
[pid=23874] ppid=23872 vsize=96044 memory=49800 CPUtime=12.64 cores=0,2
/proc/23874/stat : 23874 (roundingsat) R 23872 23872 22971 0 -1 4194304 9438 0 0 0 1236 28 0 0 20 0 1 0 33293396 98349056 12450 18446744073709551615 4227072 8923433 140722292408640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 43204608 140722292414800 140722292415016 140722292415016 140722292420586 0
/proc/23874/statm: 24011 12450 2336 1147 0 11438 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 100236 KiB
Current children cumulated memory: 52872 KiB

[startup+25.5002 s]
/proc/loadavg: 4.12 4.10 4.09 5/272 23874
/proc/meminfo: memFree=123102324/131249996 swapFree=33010684/33010684
[pid=23872] ppid=23869 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23872/stat : 23872 (run-dec-ls-log.) S 23869 23872 22971 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33293395 4292608 768 18446744073709551615 93944628895744 93944629790277 140721607013328 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93944630029328 93944630077072 93944642211840 140721607014683 140721607014881 140721607014881 140721607020483 0
/proc/23872/statm: 1048 768 704 219 0 110 0
[pid=23874] ppid=23872 vsize=100696 memory=57064 CPUtime=25.41 cores=0,2
/proc/23874/stat : 23874 (roundingsat) R 23872 23872 22971 0 -1 4194304 10756 0 0 0 2486 55 0 0 20 0 1 0 33293396 103112704 14266 18446744073709551615 4227072 8923433 140722292408640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 43204608 140722292414800 140722292415016 140722292415016 140722292420586 0
/proc/23874/statm: 25174 14266 2336 1147 0 12601 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 104888 KiB
Current children cumulated memory: 60136 KiB

[startup+51.1056 s]
/proc/loadavg: 4.08 4.09 4.09 5/272 23876
/proc/meminfo: memFree=122731020/131249996 swapFree=33010684/33010684
[pid=23872] ppid=23869 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23872/stat : 23872 (run-dec-ls-log.) S 23869 23872 22971 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33293395 4292608 768 18446744073709551615 93944628895744 93944629790277 140721607013328 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93944630029328 93944630077072 93944642211840 140721607014683 140721607014881 140721607014881 140721607020483 0
/proc/23872/statm: 1048 768 704 219 0 110 0
[pid=23874] ppid=23872 vsize=135352 memory=88784 CPUtime=50.95 cores=0,2
/proc/23874/stat : 23874 (roundingsat) R 23872 23872 22971 0 -1 4194304 15597 0 0 0 4995 100 0 0 20 0 1 0 33293396 138600448 22196 18446744073709551615 4227072 8923433 140722292408640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 43204608 140722292414800 140722292415016 140722292415016 140722292420586 0
/proc/23874/statm: 33838 22196 2336 1147 0 21265 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 139544 KiB
Current children cumulated memory: 91856 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/272 23878
/proc/meminfo: memFree=122164804/131249996 swapFree=33010684/33010684
[pid=23872] ppid=23869 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23872/stat : 23872 (run-dec-ls-log.) S 23869 23872 22971 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33293395 4292608 768 18446744073709551615 93944628895744 93944629790277 140721607013328 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93944630029328 93944630077072 93944642211840 140721607014683 140721607014881 140721607014881 140721607020483 0
/proc/23872/statm: 1048 768 704 219 0 110 0
[pid=23874] ppid=23872 vsize=176296 memory=130560 CPUtime=102.01 cores=0,2
/proc/23874/stat : 23874 (roundingsat) R 23872 23872 22971 0 -1 4194304 21462 0 0 0 10037 164 0 0 20 0 1 0 33293396 180527104 32640 18446744073709551615 4227072 8923433 140722292408640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 43204608 140722292414800 140722292415016 140722292415016 140722292420586 0
/proc/23874/statm: 44074 32640 2336 1147 0 31501 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 180488 KiB
Current children cumulated memory: 133632 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/273 23881
/proc/meminfo: memFree=121580548/131249996 swapFree=33010684/33010684
[pid=23872] ppid=23869 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23872/stat : 23872 (run-dec-ls-log.) S 23869 23872 22971 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33293395 4292608 768 18446744073709551615 93944628895744 93944629790277 140721607013328 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93944630029328 93944630077072 93944642211840 140721607014683 140721607014881 140721607014881 140721607020483 0
/proc/23872/statm: 1048 768 704 219 0 110 0
[pid=23874] ppid=23872 vsize=267192 memory=210412 CPUtime=161.84 cores=0,2
/proc/23874/stat : 23874 (roundingsat) R 23872 23872 22971 0 -1 4194304 35823 0 0 0 15953 231 0 0 20 0 1 0 33293396 273604608 52603 18446744073709551615 4227072 8923433 140722292408640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 43204608 140722292414800 140722292415016 140722292415016 140722292420586 0
/proc/23874/statm: 66798 52603 2336 1147 0 54225 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 271384 KiB
Current children cumulated memory: 213484 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/273 23883
/proc/meminfo: memFree=120955560/131249996 swapFree=33010684/33010684
[pid=23872] ppid=23869 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23872/stat : 23872 (run-dec-ls-log.) S 23869 23872 22971 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33293395 4292608 768 18446744073709551615 93944628895744 93944629790277 140721607013328 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93944630029328 93944630077072 93944642211840 140721607014683 140721607014881 140721607014881 140721607020483 0
/proc/23872/statm: 1048 768 704 219 0 110 0
[pid=23874] ppid=23872 vsize=324896 memory=256556 CPUtime=221.68 cores=0,2
/proc/23874/stat : 23874 (roundingsat) R 23872 23872 22971 0 -1 4194304 38692 0 0 0 21887 281 0 0 20 0 1 0 33293396 332693504 64139 18446744073709551615 4227072 8923433 140722292408640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 43204608 140722292414800 140722292415016 140722292415016 140722292420586 0

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

[startup+3282.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/272 24099
/proc/meminfo: memFree=105081092/131249996 swapFree=33010684/33010684
[pid=23872] ppid=23869 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23872/stat : 23872 (run-dec-ls-log.) S 23869 23872 22971 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33293395 4292608 768 18446744073709551615 93944628895744 93944629790277 140721607013328 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93944630029328 93944630077072 93944642211840 140721607014683 140721607014881 140721607014881 140721607020483 0
/proc/23872/statm: 1048 768 704 219 0 110 0
[pid=23874] ppid=23872 vsize=969636 memory=784168 CPUtime=3272.57 cores=0,2
/proc/23874/stat : 23874 (roundingsat) R 23872 23872 22971 0 -1 4194304 87592 0 0 0 325074 2183 0 0 20 0 1 0 33293396 992907264 196042 18446744073709551615 4227072 8923433 140722292408640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 43204608 140722292414800 140722292415016 140722292415016 140722292420586 0
/proc/23874/statm: 242409 196042 2336 1147 0 229836 0
Current children cumulated CPU time: 3272.57 s
Current children cumulated vsize: 973828 KiB
Current children cumulated memory: 787240 KiB

[startup+3342.3 s]
/proc/loadavg: 4.05 4.10 4.09 5/272 24101
/proc/meminfo: memFree=104711536/131249996 swapFree=33010684/33010684
[pid=23872] ppid=23869 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23872/stat : 23872 (run-dec-ls-log.) S 23869 23872 22971 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33293395 4292608 768 18446744073709551615 93944628895744 93944629790277 140721607013328 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93944630029328 93944630077072 93944642211840 140721607014683 140721607014881 140721607014881 140721607020483 0
/proc/23872/statm: 1048 768 704 219 0 110 0
[pid=23874] ppid=23872 vsize=969636 memory=784168 CPUtime=3332.41 cores=0,2
/proc/23874/stat : 23874 (roundingsat) R 23872 23872 22971 0 -1 4194304 87599 0 0 0 331030 2211 0 0 20 0 1 0 33293396 992907264 196042 18446744073709551615 4227072 8923433 140722292408640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 43204608 140722292414800 140722292415016 140722292415016 140722292420586 0
/proc/23874/statm: 242409 196042 2336 1147 0 229836 0
Current children cumulated CPU time: 3332.41 s
Current children cumulated vsize: 973828 KiB
Current children cumulated memory: 787240 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/272 24105
/proc/meminfo: memFree=104453968/131249996 swapFree=33010684/33010684
[pid=23872] ppid=23869 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23872/stat : 23872 (run-dec-ls-log.) S 23869 23872 22971 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33293395 4292608 768 18446744073709551615 93944628895744 93944629790277 140721607013328 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93944630029328 93944630077072 93944642211840 140721607014683 140721607014881 140721607014881 140721607020483 0
/proc/23872/statm: 1048 768 704 219 0 110 0
[pid=23874] ppid=23872 vsize=969636 memory=784168 CPUtime=3392.25 cores=0,2
/proc/23874/stat : 23874 (roundingsat) R 23872 23872 22971 0 -1 4194304 87638 0 0 0 336994 2231 0 0 20 0 1 0 33293396 992907264 196042 18446744073709551615 4227072 8923433 140722292408640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 43204608 140722292414800 140722292415016 140722292415016 140722292420586 0
/proc/23874/statm: 242409 196042 2336 1147 0 229836 0
Current children cumulated CPU time: 3392.25 s
Current children cumulated vsize: 973828 KiB
Current children cumulated memory: 787240 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/273 24112
/proc/meminfo: memFree=104140648/131249996 swapFree=33010684/33010684
[pid=23872] ppid=23869 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23872/stat : 23872 (run-dec-ls-log.) S 23869 23872 22971 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33293395 4292608 768 18446744073709551615 93944628895744 93944629790277 140721607013328 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93944630029328 93944630077072 93944642211840 140721607014683 140721607014881 140721607014881 140721607020483 0
/proc/23872/statm: 1048 768 704 219 0 110 0
[pid=23874] ppid=23872 vsize=969636 memory=784168 CPUtime=3452.1 cores=0,2
/proc/23874/stat : 23874 (roundingsat) R 23872 23872 22971 0 -1 4194304 87666 0 0 0 342958 2252 0 0 20 0 1 0 33293396 992907264 196042 18446744073709551615 4227072 8923433 140722292408640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 43204608 140722292414800 140722292415016 140722292415016 140722292420586 0
/proc/23874/statm: 242409 196042 2336 1147 0 229836 0
Current children cumulated CPU time: 3452.1 s
Current children cumulated vsize: 973828 KiB
Current children cumulated memory: 787240 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/272 24114
/proc/meminfo: memFree=103827000/131249996 swapFree=33010684/33010684
[pid=23872] ppid=23869 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23872/stat : 23872 (run-dec-ls-log.) S 23869 23872 22971 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33293395 4292608 768 18446744073709551615 93944628895744 93944629790277 140721607013328 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93944630029328 93944630077072 93944642211840 140721607014683 140721607014881 140721607014881 140721607020483 0
/proc/23872/statm: 1048 768 704 219 0 110 0
[pid=23874] ppid=23872 vsize=974768 memory=787240 CPUtime=3511.93 cores=0,2
/proc/23874/stat : 23874 (roundingsat) R 23872 23872 22971 0 -1 4194304 88448 0 0 0 348924 2269 0 0 20 0 1 0 33293396 998162432 196810 18446744073709551615 4227072 8923433 140722292408640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 43204608 140722292414800 140722292415016 140722292415016 140722292420586 0
/proc/23874/statm: 243692 196810 2336 1147 0 231119 0
Current children cumulated CPU time: 3511.93 s
Current children cumulated vsize: 978960 KiB
Current children cumulated memory: 790312 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/271 24116
/proc/meminfo: memFree=103538436/131249996 swapFree=33010684/33010684
[pid=23872] ppid=23869 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23872/stat : 23872 (run-dec-ls-log.) S 23869 23872 22971 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33293395 4292608 768 18446744073709551615 93944628895744 93944629790277 140721607013328 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93944630029328 93944630077072 93944642211840 140721607014683 140721607014881 140721607014881 140721607020483 0
/proc/23872/statm: 1048 768 704 219 0 110 0
[pid=23874] ppid=23872 vsize=986480 memory=793896 CPUtime=3571.77 cores=0,2
/proc/23874/stat : 23874 (roundingsat) R 23872 23872 22971 0 -1 4194304 90151 0 0 0 354897 2280 0 0 20 0 1 0 33293396 1010155520 198474 18446744073709551615 4227072 8923433 140722292408640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 43204608 140722292414800 140722292415016 140722292415016 140722292420586 0
/proc/23874/statm: 246620 198474 2336 1147 0 234047 0
Current children cumulated CPU time: 3571.77 s
Current children cumulated vsize: 990672 KiB
Current children cumulated memory: 796968 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.7 s]
/proc/loadavg: 4.06 4.08 4.09 3/258 24176
/proc/meminfo: memFree=111573520/131249996 swapFree=33010684/33010684
[pid=23872] ppid=23869 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23872/stat : 23872 (run-dec-ls-log.) S 23869 23872 22971 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 33293395 4292608 768 18446744073709551615 93944628895744 93944629790277 140721607013328 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93944630029328 93944630077072 93944642211840 140721607014683 140721607014881 140721607014881 140721607020483 0
/proc/23872/statm: 1048 768 704 219 0 110 0
[pid=23874] ppid=23872 vsize=1004276 memory=804776 CPUtime=3600.08 cores=0,2
/proc/23874/stat : 23874 (roundingsat) R 23872 23872 22971 0 -1 4194304 92856 0 0 0 357721 2287 0 0 20 0 1 0 33293396 1028378624 201194 18446744073709551615 4227072 8923433 140722292408640 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 43204608 140722292414800 140722292415016 140722292415016 140722292420586 0
/proc/23874/statm: 251069 201194 2336 1147 0 238496 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 1008468 KiB
Current children cumulated memory: 807848 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.000918 s, system=0.000927 s

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

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

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

[startup+3611.2 s]
/proc/loadavg: 4.06 4.08 4.09 2/256 24181
/proc/meminfo: memFree=117556020/131249996 swapFree=33010684/33010684
[pid=23874] ppid=23869 vsize=1004276 memory=805160 CPUtime=3600.1 cores=0,2
/proc/23874/stat : 23874 (roundingsat) D 23869 23872 22971 0 -1 4194304 92862 0 0 0 357722 2288 0 0 20 0 1 0 33293396 1028378624 201290 18446744073709551615 4227072 8923433 140722292408640 0 0 0 0 0 8405026 1 0 0 17 0 0 0 0 0 0 9823104 9832592 43204608 140722292414800 140722292415016 140722292415016 140722292420586 0
/proc/23874/statm: 251069 201290 2432 1147 0 238496 0
Current cumulated CPU time of completed processes: 0.001845 s
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 1004276 KiB
Current children cumulated memory: 805160 KiB

[startup+3611.6 s]
/proc/loadavg: 4.06 4.08 4.09 2/256 24181
/proc/meminfo: memFree=117556020/131249996 swapFree=33010684/33010684
[pid=23874] ppid=23869 vsize=1004276 memory=805160 CPUtime=3600.1 cores=0,2
/proc/23874/stat : 23874 (roundingsat) D 23869 23872 22971 0 -1 4194304 92862 0 0 0 357722 2288 0 0 20 0 1 0 33293396 1028378624 201290 18446744073709551615 4227072 8923433 140722292408640 0 0 0 0 0 8405026 1 0 0 17 0 0 0 0 0 0 9823104 9832592 43204608 140722292414800 140722292415016 140722292415016 140722292420586 0
/proc/23874/statm: 251069 201290 2432 1147 0 238496 0
Current cumulated CPU time of completed processes: 0.001845 s
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 1004276 KiB
Current children cumulated memory: 805160 KiB

[startup+3611.8 s]
/proc/loadavg: 4.06 4.08 4.09 2/256 24181
/proc/meminfo: memFree=117556020/131249996 swapFree=33010684/33010684
[pid=23874] ppid=23869 vsize=1004276 memory=805160 CPUtime=3600.1 cores=0,2
/proc/23874/stat : 23874 (roundingsat) D 23869 23872 22971 0 -1 4194304 92862 0 0 0 357722 2288 0 0 20 0 1 0 33293396 1028378624 201290 18446744073709551615 4227072 8923433 140722292408640 0 0 0 0 0 8405026 1 0 0 17 0 0 0 0 0 0 9823104 9832592 43204608 140722292414800 140722292415016 140722292415016 140722292420586 0
/proc/23874/statm: 251069 201290 2432 1147 0 238496 0
Current cumulated CPU time of completed processes: 0.001845 s
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 1004276 KiB
Current children cumulated memory: 805160 KiB

[startup+3611.9 s]
/proc/loadavg: 4.06 4.08 4.09 2/256 24181
/proc/meminfo: memFree=117556020/131249996 swapFree=33010684/33010684
[pid=23874] ppid=23869 vsize=1004276 memory=805160 CPUtime=3600.1 cores=0,2
/proc/23874/stat : 23874 (roundingsat) D 23869 23872 22971 0 -1 4194304 92862 0 0 0 357722 2288 0 0 20 0 1 0 33293396 1028378624 201290 18446744073709551615 4227072 8923433 140722292408640 0 0 0 0 0 8405026 1 0 0 17 0 0 0 0 0 0 9823104 9832592 43204608 140722292414800 140722292415016 140722292415016 140722292420586 0
/proc/23874/statm: 251069 201290 2432 1147 0 238496 0
Current cumulated CPU time of completed processes: 0.001845 s
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 1004276 KiB
Current children cumulated memory: 805160 KiB

Child status: 2

Real time (s): 3611.98
CPU time (s): 3600.12
CPU user time (s): 3577.23
CPU system time (s): 22.8843
CPU usage (%): 99.6714
Max. virtual memory (cumulated for all children) (KiB): 1008468
Max. memory (cumulated for all children) (KiB): 807848

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3577.23
system time used= 22.8843
maximum resident set size= 805160
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 93084
page faults= 0
swaps= 0
block input operations= 0
block output operations= 11684752
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 493
involuntary context switches= 8528


# summary of solver processes directly reported to runsolver:
#   pid: 23872,23874
#   total CPU time (s): 3600.12
#   total CPU user time (s): 3577.23
#   total CPU system time (s): 22.8843

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.32083 second user time and 16.5418 second system time

The end

Launcher Data 

Begin job on nodeC024 at 2025-06-29 07:49:15
IDJOB=4507303
IDBENCH=158341
IDSOLVER=3354
FILE ID=nodeC024/4507303-1751176155
RUNJOBID= nodeC024-1751168926-22981
SLURM_JOB_ID= 9587515
Free space on /tmp= 433036 MiB

SOLVER NAME= roundingsat-ls-log 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K92.opb
COMMAND LINE= run-dec-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507303-1751176155/watcher-4507303-1751176155 -o /tmp/evaluation-result-4507303-1751176155/solver-4507303-1751176155 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1751168926-22981 --watchdog 3760 --file-size-limit 100000 run-dec-ls-log.sh HOME/instance-4507303-1751176155.opb PROOFDIR/proof-4507303-1751176155

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

MD5SUM BENCH= 0bf652578c2f1d207084d270794d0d34
RANDOM SEED=1613176178

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        123412824 kB
MemAvailable:   128670768 kB
Buffers:            3280 kB
Cached:          6061692 kB
SwapCached:            0 kB
Active:          1410404 kB
Inactive:        5841664 kB
Active(anon):    1205184 kB
Inactive(anon):        0 kB
Active(file):     205220 kB
Inactive(file):  5841664 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             40132 kB
Writeback:             0 kB
AnonPages:       1187972 kB
Mapped:           115956 kB
Shmem:             18064 kB
KReclaimable:     100196 kB
Slab:             186748 kB
SReclaimable:     100196 kB
SUnreclaim:        86552 kB
KernelStack:        4400 kB
PageTables:         5636 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    1686540 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150696 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:    628736 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:      195284 kB
DirectMap2M:     6916096 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 433044 MiB
End job on nodeC024 at 2025-06-29 08:49:27