Trace number 4460644

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
RoundingSat log (2)? (TO) 3600.06 3613.53

General information on the benchmark

NamePB24/normalized-PB11/DEC-LIN/
lopes/normalized-139.opb
MD5SUMb1a9bb408d678f4e4f75286e8bd2bbb9
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 benchmark23.2372
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables35834
Total number of constraints835510
Number of constraints which are clauses750303
Number of constraints which are cardinality constraints (but not clauses)2782
Number of constraints which are nor clauses,nor cardinality constraints82425
Minimum length of a constraint1
Maximum length of a constraint690
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 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 691
Number of bits of the biggest sum of numbers10
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.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
4.38/5.67	c #variables 35834 #constraints 723876
33.57/34.97	c #Conflicts:       1000 | #Constraints:     724875
33.57/34.97	c #Conflicts:       2000 | #Constraints:     725875
33.57/34.97	c INPROCESSING
33.57/34.97	c #Conflicts:       3000 | #Constraints:     632642
33.57/34.97	c #Conflicts:       4000 | #Constraints:     633642
33.57/34.97	c INPROCESSING
33.57/34.97	c #Conflicts:       5000 | #Constraints:     631937
33.57/34.97	c #Conflicts:       6000 | #Constraints:     632937
33.57/34.97	c #Conflicts:       7000 | #Constraints:     633937
33.57/34.97	c #Conflicts:       8000 | #Constraints:     634937
33.57/34.97	c #Conflicts:       9000 | #Constraints:     635937
33.57/34.97	c INPROCESSING
33.57/34.97	c rational objective 4755.62
214.57/216.62	c #Conflicts:      10000 | #Constraints:     628208
214.57/216.62	c #Conflicts:      11000 | #Constraints:     629208
214.57/216.62	c #Conflicts:      12000 | #Constraints:     630208
214.57/216.62	c #Conflicts:      13000 | #Constraints:     631208
214.57/216.62	c #Conflicts:      14000 | #Constraints:     632208
214.57/216.62	c #Conflicts:      15000 | #Constraints:     633208
214.57/216.62	c #Conflicts:      16000 | #Constraints:     634208
214.57/216.62	c INPROCESSING
214.57/216.62	c #Conflicts:      17000 | #Constraints:     626172
214.57/216.62	c #Conflicts:      18000 | #Constraints:     627172
214.57/216.62	c #Conflicts:      19000 | #Constraints:     628172
214.57/216.62	c #Conflicts:      20000 | #Constraints:     629172
214.57/216.62	c #Conflicts:      21000 | #Constraints:     630172
214.57/216.62	c #Conflicts:      22000 | #Constraints:     631172
214.57/216.62	c #Conflicts:      23000 | #Constraints:     632172
214.57/216.62	c #Conflicts:      24000 | #Constraints:     633172
214.57/216.62	c #Conflicts:      25000 | #Constraints:     634172
214.57/216.62	c INPROCESSING
214.57/216.62	c GARBAGE COLLECT
214.57/216.62	c #Conflicts:      26000 | #Constraints:     627030
214.57/216.62	c #Conflicts:      27000 | #Constraints:     628030
214.57/216.62	c #Conflicts:      28000 | #Constraints:     629030
214.57/216.62	c #Conflicts:      29000 | #Constraints:     630030
214.57/216.62	c #Conflicts:      30000 | #Constraints:     631030
214.57/216.62	c #Conflicts:      31000 | #Constraints:     632030
214.57/216.62	c #Conflicts:      32000 | #Constraints:     633030
214.57/216.62	c #Conflicts:      33000 | #Constraints:     634030
214.57/216.62	c #Conflicts:      34000 | #Constraints:     635030
214.57/216.62	c #Conflicts:      35000 | #Constraints:     636030
214.57/216.62	c #Conflicts:      36000 | #Constraints:     637030
214.57/216.62	c INPROCESSING
214.57/216.62	c rational objective 4861.23
313.99/316.44	c #Conflicts:      37000 | #Constraints:     628766
313.99/316.44	c #Conflicts:      38000 | #Constraints:     629766
313.99/316.44	c #Conflicts:      39000 | #Constraints:     630766
313.99/316.44	c #Conflicts:      40000 | #Constraints:     631766
313.99/316.44	c #Conflicts:      41000 | #Constraints:     632766
313.99/316.44	c #Conflicts:      42000 | #Constraints:     633766
313.99/316.44	c #Conflicts:      43000 | #Constraints:     634766
313.99/316.44	c #Conflicts:      44000 | #Constraints:     635766
313.99/316.44	c #Conflicts:      45000 | #Constraints:     636766
313.99/316.44	c #Conflicts:      46000 | #Constraints:     637766
313.99/316.44	c #Conflicts:      47000 | #Constraints:     638766
313.99/316.44	c #Conflicts:      48000 | #Constraints:     639766
313.99/316.44	c #Conflicts:      49000 | #Constraints:     640766
313.99/316.44	c INPROCESSING
313.99/316.44	c #Conflicts:      50000 | #Constraints:     630638
313.99/316.44	c #Conflicts:      51000 | #Constraints:     631638
313.99/316.44	c #Conflicts:      52000 | #Constraints:     632638
313.99/316.44	c #Conflicts:      53000 | #Constraints:     633638
313.99/316.44	c #Conflicts:      54000 | #Constraints:     634638
313.99/316.44	c #Conflicts:      55000 | #Constraints:     635638
313.99/316.44	c #Conflicts:      56000 | #Constraints:     636638
313.99/316.44	c #Conflicts:      57000 | #Constraints:     637638
313.99/316.44	c #Conflicts:      58000 | #Constraints:     638638
313.99/316.44	c #Conflicts:      59000 | #Constraints:     639638
313.99/316.44	c #Conflicts:      60000 | #Constraints:     640638
313.99/316.44	c #Conflicts:      61000 | #Constraints:     641638
313.99/316.44	c #Conflicts:      62000 | #Constraints:     642638
313.99/316.44	c #Conflicts:      63000 | #Constraints:     643638
313.99/316.44	c #Conflicts:      64000 | #Constraints:     644638
313.99/316.44	c INPROCESSING
313.99/316.44	c GARBAGE COLLECT
313.99/316.44	c rational objective 4879.44
341.80/344.32	c #Conflicts:      65000 | #Constraints:     632529
341.80/344.32	c #Conflicts:      66000 | #Constraints:     633529
341.80/344.32	c #Conflicts:      67000 | #Constraints:     634529
341.80/344.32	c #Conflicts:      68000 | #Constraints:     635529
341.80/344.32	c #Conflicts:      69000 | #Constraints:     636529
341.80/344.32	c #Conflicts:      70000 | #Constraints:     637529
341.80/344.32	c #Conflicts:      71000 | #Constraints:     638529
341.80/344.32	c #Conflicts:      72000 | #Constraints:     639529
341.80/344.32	c #Conflicts:      73000 | #Constraints:     640529
341.80/344.32	c #Conflicts:      74000 | #Constraints:     641529
341.80/344.32	c #Conflicts:      75000 | #Constraints:     642529
341.80/344.32	c #Conflicts:      76000 | #Constraints:     643529
341.80/344.32	c #Conflicts:      77000 | #Constraints:     644529
341.80/344.32	c #Conflicts:      78000 | #Constraints:     645529
341.80/344.32	c #Conflicts:      79000 | #Constraints:     646529
341.80/344.32	c #Conflicts:      80000 | #Constraints:     647529
341.80/344.32	c #Conflicts:      81000 | #Constraints:     648529
341.80/344.32	c INPROCESSING
341.80/344.32	c rational objective 4894.02
388.45/391.11	c #Conflicts:      82000 | #Constraints:     634627
388.45/391.11	c #Conflicts:      83000 | #Constraints:     635627
388.45/391.11	c #Conflicts:      84000 | #Constraints:     636627
388.45/391.11	c #Conflicts:      85000 | #Constraints:     637627
388.45/391.11	c #Conflicts:      86000 | #Constraints:     638627
388.45/391.11	c #Conflicts:      87000 | #Constraints:     639627
388.45/391.11	c #Conflicts:      88000 | #Constraints:     640627
388.45/391.11	c #Conflicts:      89000 | #Constraints:     641627
388.45/391.11	c #Conflicts:      90000 | #Constraints:     642627
388.45/391.11	c #Conflicts:      91000 | #Constraints:     643627
388.45/391.11	c #Conflicts:      92000 | #Constraints:     644627
388.45/391.11	c #Conflicts:      93000 | #Constraints:     645627
388.45/391.11	c #Conflicts:      94000 | #Constraints:     646627
388.45/391.11	c #Conflicts:      95000 | #Constraints:     647627
388.45/391.11	c #Conflicts:      96000 | #Constraints:     648627
388.45/391.11	c #Conflicts:      97000 | #Constraints:     649627
388.45/391.11	c #Conflicts:      98000 | #Constraints:     650627
388.45/391.11	c #Conflicts:      99000 | #Constraints:     651627
388.45/391.11	c #Conflicts:     100000 | #Constraints:     652627
388.45/391.11	c #Conflicts:     101000 | #Constraints:     653627
388.45/391.11	c INPROCESSING
388.45/391.11	c GARBAGE COLLECT
388.45/391.11	c rational objective 4909.33
454.23/457.17	c #Conflicts:     102000 | #Constraints:     637419
454.23/457.17	c #Conflicts:     103000 | #Constraints:     638419
454.23/457.17	c #Conflicts:     104000 | #Constraints:     639419
454.23/457.17	c #Conflicts:     105000 | #Constraints:     640419
454.23/457.17	c #Conflicts:     106000 | #Constraints:     641419
454.23/457.17	c #Conflicts:     107000 | #Constraints:     642419
454.23/457.17	c #Conflicts:     108000 | #Constraints:     643419
454.23/457.17	c #Conflicts:     109000 | #Constraints:     644419
454.23/457.17	c #Conflicts:     110000 | #Constraints:     645419
454.23/457.17	c #Conflicts:     111000 | #Constraints:     646419
454.23/457.17	c #Conflicts:     112000 | #Constraints:     647419
454.23/457.17	c #Conflicts:     113000 | #Constraints:     648419
454.23/457.17	c #Conflicts:     114000 | #Constraints:     649419
454.23/457.17	c #Conflicts:     115000 | #Constraints:     650419
454.23/457.17	c #Conflicts:     116000 | #Constraints:     651419
454.23/457.17	c #Conflicts:     117000 | #Constraints:     652419
454.23/457.17	c #Conflicts:     118000 | #Constraints:     653419
454.23/457.17	c #Conflicts:     119000 | #Constraints:     654419
454.23/457.17	c #Conflicts:     120000 | #Constraints:     655419
454.23/457.17	c #Conflicts:     121000 | #Constraints:     656419
454.23/457.18	c #Conflicts:     122000 | #Constraints:     657419
454.23/457.18	c INPROCESSING
454.23/457.18	c GARBAGE COLLECT
454.23/457.18	c rational objective 4919.84
532.35/535.54	c #Conflicts:     123000 | #Constraints:     639252
532.35/535.54	c #Conflicts:     124000 | #Constraints:     640252
532.35/535.54	c #Conflicts:     125000 | #Constraints:     641252
532.35/535.54	c #Conflicts:     126000 | #Constraints:     642252
532.35/535.54	c #Conflicts:     127000 | #Constraints:     643252
532.35/535.54	c #Conflicts:     128000 | #Constraints:     644252
532.35/535.54	c #Conflicts:     129000 | #Constraints:     645252
532.35/535.54	c #Conflicts:     130000 | #Constraints:     646252
532.35/535.54	c #Conflicts:     131000 | #Constraints:     647252
532.35/535.54	c #Conflicts:     132000 | #Constraints:     648252
532.35/535.54	c #Conflicts:     133000 | #Constraints:     649252
532.35/535.54	c #Conflicts:     134000 | #Constraints:     650252
532.35/535.54	c #Conflicts:     135000 | #Constraints:     651252
532.35/535.54	c #Conflicts:     136000 | #Constraints:     652252
532.35/535.54	c #Conflicts:     137000 | #Constraints:     653252
532.35/535.54	c #Conflicts:     138000 | #Constraints:     654252
532.35/535.54	c #Conflicts:     139000 | #Constraints:     655252
532.35/535.54	c #Conflicts:     140000 | #Constraints:     656252
532.35/535.54	c #Conflicts:     141000 | #Constraints:     657252
532.35/535.54	c #Conflicts:     142000 | #Constraints:     658252
532.35/535.54	c #Conflicts:     143000 | #Constraints:     659252
532.35/535.54	c #Conflicts:     144000 | #Constraints:     660252
532.35/535.54	c #Conflicts:     145000 | #Constraints:     661252
532.35/535.54	c INPROCESSING
532.35/535.54	c GARBAGE COLLECT
532.35/535.54	c rational objective 4948.59
591.55/594.96	c #Conflicts:     146000 | #Constraints:     640401
591.55/594.96	c #Conflicts:     147000 | #Constraints:     641401
591.55/594.96	c #Conflicts:     148000 | #Constraints:     642401
591.55/594.96	c #Conflicts:     149000 | #Constraints:     643401
591.55/594.96	c #Conflicts:     150000 | #Constraints:     644401
591.55/594.96	c #Conflicts:     151000 | #Constraints:     645401
591.55/594.96	c #Conflicts:     152000 | #Constraints:     646401
591.55/594.96	c #Conflicts:     153000 | #Constraints:     647401
591.55/594.96	c #Conflicts:     154000 | #Constraints:     648401
591.55/594.96	c #Conflicts:     155000 | #Constraints:     649401
591.55/594.96	c #Conflicts:     156000 | #Constraints:     650401
591.55/594.96	c #Conflicts:     157000 | #Constraints:     651401
591.55/594.96	c #Conflicts:     158000 | #Constraints:     652401
591.55/594.96	c #Conflicts:     159000 | #Constraints:     653401
591.55/594.96	c #Conflicts:     160000 | #Constraints:     654401
591.55/594.96	c #Conflicts:     161000 | #Constraints:     655401
591.55/594.96	c #Conflicts:     162000 | #Constraints:     656401
591.55/594.96	c #Conflicts:     163000 | #Constraints:     657401
591.55/594.96	c #Conflicts:     164000 | #Constraints:     658401
591.55/594.96	c #Conflicts:     165000 | #Constraints:     659401
591.55/594.96	c #Conflicts:     166000 | #Constraints:     660401
591.55/594.96	c #Conflicts:     167000 | #Constraints:     661401
591.55/594.96	c #Conflicts:     168000 | #Constraints:     662401
591.55/594.96	c #Conflicts:     169000 | #Constraints:     663401
591.55/594.96	c #Conflicts:     170000 | #Constraints:     664401
591.55/594.96	c INPROCESSING
591.55/594.96	c GARBAGE COLLECT
591.55/594.96	c rational objective 5020.31
653.45/657.04	c #Conflicts:     171000 | #Constraints:     638296
653.45/657.04	c #Conflicts:     172000 | #Constraints:     639296
653.45/657.04	c #Conflicts:     173000 | #Constraints:     640296
653.45/657.04	c #Conflicts:     174000 | #Constraints:     641296
653.45/657.04	c #Conflicts:     175000 | #Constraints:     642296
653.45/657.04	c #Conflicts:     176000 | #Constraints:     643296
653.45/657.04	c #Conflicts:     177000 | #Constraints:     644296
653.45/657.04	c #Conflicts:     178000 | #Constraints:     645296
653.45/657.04	c #Conflicts:     179000 | #Constraints:     646296
653.45/657.04	c #Conflicts:     180000 | #Constraints:     647296
653.45/657.04	c #Conflicts:     181000 | #Constraints:     648296
653.45/657.04	c #Conflicts:     182000 | #Constraints:     649296
653.45/657.04	c #Conflicts:     183000 | #Constraints:     650296
653.45/657.04	c #Conflicts:     184000 | #Constraints:     651296
653.45/657.04	c #Conflicts:     185000 | #Constraints:     652296
653.45/657.04	c #Conflicts:     186000 | #Constraints:     653296
653.45/657.04	c #Conflicts:     187000 | #Constraints:     654296
653.45/657.04	c #Conflicts:     188000 | #Constraints:     655296
653.45/657.04	c #Conflicts:     189000 | #Constraints:     656296
653.45/657.04	c #Conflicts:     190000 | #Constraints:     657296
653.45/657.04	c #Conflicts:     191000 | #Constraints:     658296
653.45/657.04	c #Conflicts:     192000 | #Constraints:     659296
653.45/657.04	c #Conflicts:     193000 | #Constraints:     660296
653.45/657.04	c #Conflicts:     194000 | #Constraints:     661296
653.45/657.04	c #Conflicts:     195000 | #Constraints:     662296
653.45/657.04	c #Conflicts:     196000 | #Constraints:     663296
653.45/657.04	c #Conflicts:     197000 | #Constraints:     664296
653.45/657.04	c INPROCESSING
653.45/657.04	c GARBAGE COLLECT
653.45/657.04	c rational objective 5042.44
804.13/808.20	c #Conflicts:     198000 | #Constraints:     639027
804.13/808.20	c #Conflicts:     199000 | #Constraints:     640027
804.13/808.20	c #Conflicts:     200000 | #Constraints:     641027
804.13/808.20	c #Conflicts:     201000 | #Constraints:     642027
804.13/808.20	c #Conflicts:     202000 | #Constraints:     643027
804.13/808.20	c #Conflicts:     203000 | #Constraints:     644027
804.13/808.20	c #Conflicts:     204000 | #Constraints:     645027
804.13/808.20	c #Conflicts:     205000 | #Constraints:     646027
804.13/808.20	c #Conflicts:     206000 | #Constraints:     647027
804.13/808.20	c #Conflicts:     207000 | #Constraints:     648027
804.13/808.20	c #Conflicts:     208000 | #Constraints:     649027
804.13/808.20	c #Conflicts:     209000 | #Constraints:     650027
804.13/808.20	c #Conflicts:     210000 | #Constraints:     651027
804.13/808.20	c #Conflicts:     211000 | #Constraints:     652027
804.13/808.20	c #Conflicts:     212000 | #Constraints:     653027
804.13/808.20	c #Conflicts:     213000 | #Constraints:     654027
804.13/808.20	c #Conflicts:     214000 | #Constraints:     655027
804.13/808.20	c #Conflicts:     215000 | #Constraints:     656027
804.13/808.20	c #Conflicts:     216000 | #Constraints:     657027
804.13/808.20	c #Conflicts:     217000 | #Constraints:     658027
804.13/808.20	c #Conflicts:     218000 | #Constraints:     659027
804.13/808.20	c #Conflicts:     219000 | #Constraints:     660027
804.13/808.20	c #Conflicts:     220000 | #Constraints:     661027
804.13/808.20	c #Conflicts:     221000 | #Constraints:     662027
804.13/808.20	c #Conflicts:     222000 | #Constraints:     663027
804.13/808.20	c #Conflicts:     223000 | #Constraints:     664027
804.13/808.20	c #Conflicts:     224000 | #Constraints:     665027
804.13/808.20	c #Conflicts:     225000 | #Constraints:     666027
804.13/808.20	c #Conflicts:     226000 | #Constraints:     667027
804.13/808.20	c INPROCESSING
804.13/808.20	c GARBAGE COLLECT
804.13/808.20	c rational objective 5071.18
888.66/893.04	c #Conflicts:     227000 | #Constraints:     639516
888.66/893.04	c #Conflicts:     228000 | #Constraints:     640516
888.66/893.04	c #Conflicts:     229000 | #Constraints:     641516
888.66/893.04	c #Conflicts:     230000 | #Constraints:     642516
888.66/893.04	c #Conflicts:     231000 | #Constraints:     643516
888.66/893.04	c #Conflicts:     232000 | #Constraints:     644516
888.66/893.04	c #Conflicts:     233000 | #Constraints:     645516
888.66/893.04	c #Conflicts:     234000 | #Constraints:     646516
888.66/893.04	c #Conflicts:     235000 | #Constraints:     647516
888.66/893.04	c #Conflicts:     236000 | #Constraints:     648516
888.66/893.04	c #Conflicts:     237000 | #Constraints:     649516
888.66/893.04	c #Conflicts:     238000 | #Constraints:     650516
888.66/893.04	c #Conflicts:     239000 | #Constraints:     651516
888.66/893.04	c #Conflicts:     240000 | #Constraints:     652516
888.66/893.04	c #Conflicts:     241000 | #Constraints:     653516
888.66/893.04	c #Conflicts:     242000 | #Constraints:     654516
888.66/893.04	c #Conflicts:     243000 | #Constraints:     655516
888.66/893.04	c #Conflicts:     244000 | #Constraints:     656516
888.66/893.04	c #Conflicts:     245000 | #Constraints:     657516
888.66/893.04	c #Conflicts:     246000 | #Constraints:     658516
888.66/893.04	c #Conflicts:     247000 | #Constraints:     659516
888.66/893.04	c #Conflicts:     248000 | #Constraints:     660516
888.66/893.04	c #Conflicts:     249000 | #Constraints:     661516
888.66/893.04	c #Conflicts:     250000 | #Constraints:     662516
888.66/893.04	c #Conflicts:     251000 | #Constraints:     663516
888.66/893.04	c #Conflicts:     252000 | #Constraints:     664516
888.66/893.04	c #Conflicts:     253000 | #Constraints:     665516
888.66/893.04	c #Conflicts:     254000 | #Constraints:     666516
888.66/893.04	c #Conflicts:     255000 | #Constraints:     667516
888.66/893.04	c #Conflicts:     256000 | #Constraints:     668516
888.66/893.04	c #Conflicts:     257000 | #Constraints:     669516
888.66/893.04	c INPROCESSING
888.66/893.04	c GARBAGE COLLECT
888.66/893.04	c rational objective 5167.43
959.61/964.24	c #Conflicts:     258000 | #Constraints:     635921
959.61/964.24	c #Conflicts:     259000 | #Constraints:     636921
959.61/964.24	c #Conflicts:     260000 | #Constraints:     637921
959.61/964.24	c #Conflicts:     261000 | #Constraints:     638921
959.61/964.24	c #Conflicts:     262000 | #Constraints:     639921
959.61/964.24	c #Conflicts:     263000 | #Constraints:     640921
959.61/964.24	c #Conflicts:     264000 | #Constraints:     641921
959.61/964.24	c #Conflicts:     265000 | #Constraints:     642921
959.61/964.24	c #Conflicts:     266000 | #Constraints:     643921
959.61/964.24	c #Conflicts:     267000 | #Constraints:     644921
959.61/964.24	c #Conflicts:     268000 | #Constraints:     645921
959.61/964.24	c #Conflicts:     269000 | #Constraints:     646921
959.61/964.24	c #Conflicts:     270000 | #Constraints:     647921
959.61/964.24	c #Conflicts:     271000 | #Constraints:     648921
959.61/964.24	c #Conflicts:     272000 | #Constraints:     649921
959.61/964.24	c #Conflicts:     273000 | #Constraints:     650921
959.61/964.24	c #Conflicts:     274000 | #Constraints:     651921
959.61/964.24	c #Conflicts:     275000 | #Constraints:     652921
959.61/964.24	c #Conflicts:     276000 | #Constraints:     653921
959.61/964.24	c #Conflicts:     277000 | #Constraints:     654921
959.61/964.24	c #Conflicts:     278000 | #Constraints:     655921
959.61/964.24	c #Conflicts:     279000 | #Constraints:     656921
959.61/964.24	c #Conflicts:     280000 | #Constraints:     657921
959.61/964.24	c #Conflicts:     281000 | #Constraints:     658921
959.61/964.24	c #Conflicts:     282000 | #Constraints:     659921
959.61/964.24	c #Conflicts:     283000 | #Constraints:     660921
959.61/964.24	c #Conflicts:     284000 | #Constraints:     661921
959.61/964.24	c #Conflicts:     285000 | #Constraints:     662921
959.61/964.24	c #Conflicts:     286000 | #Constraints:     663921
959.61/964.24	c #Conflicts:     287000 | #Constraints:     664921
959.61/964.24	c #Conflicts:     288000 | #Constraints:     665921
959.61/964.24	c #Conflicts:     289000 | #Constraints:     666921
959.61/964.24	c #Conflicts:     290000 | #Constraints:     667921
959.61/964.24	c INPROCESSING
959.61/964.24	c GARBAGE COLLECT
959.61/964.24	c rational objective 5210.62
1101.95/1107.05	c #Conflicts:     291000 | #Constraints:     636867
1101.95/1107.05	c #Conflicts:     292000 | #Constraints:     637867
1101.95/1107.05	c #Conflicts:     293000 | #Constraints:     638867
1101.95/1107.05	c #Conflicts:     294000 | #Constraints:     639867
1101.95/1107.05	c #Conflicts:     295000 | #Constraints:     640867
1101.95/1107.05	c #Conflicts:     296000 | #Constraints:     641867
1101.95/1107.05	c #Conflicts:     297000 | #Constraints:     642867
1101.95/1107.05	c #Conflicts:     298000 | #Constraints:     643867
1101.95/1107.05	c #Conflicts:     299000 | #Constraints:     644867
1101.95/1107.05	c #Conflicts:     300000 | #Constraints:     645867
1101.95/1107.05	c #Conflicts:     301000 | #Constraints:     646867
1101.95/1107.05	c #Conflicts:     302000 | #Constraints:     647867
1101.95/1107.05	c #Conflicts:     303000 | #Constraints:     648867
1101.95/1107.05	c #Conflicts:     304000 | #Constraints:     649867
1101.95/1107.05	c #Conflicts:     305000 | #Constraints:     650867
1101.95/1107.05	c #Conflicts:     306000 | #Constraints:     651867
1101.95/1107.05	c #Conflicts:     307000 | #Constraints:     652867
1101.95/1107.05	c #Conflicts:     308000 | #Constraints:     653867
1101.95/1107.05	c #Conflicts:     309000 | #Constraints:     654867
1101.95/1107.05	c #Conflicts:     310000 | #Constraints:     655867
1101.95/1107.05	c #Conflicts:     311000 | #Constraints:     656867
1101.95/1107.05	c #Conflicts:     312000 | #Constraints:     657867
1101.95/1107.05	c #Conflicts:     313000 | #Constraints:     658867
1101.95/1107.05	c #Conflicts:     314000 | #Constraints:     659867
1101.95/1107.05	c #Conflicts:     315000 | #Constraints:     660867
1101.95/1107.05	c #Conflicts:     316000 | #Constraints:     661867
1101.95/1107.05	c #Conflicts:     317000 | #Constraints:     662867
1101.95/1107.05	c #Conflicts:     318000 | #Constraints:     663867
1101.95/1107.05	c #Conflicts:     319000 | #Constraints:     664867
1101.95/1107.05	c #Conflicts:     320000 | #Constraints:     665867
1101.95/1107.05	c #Conflicts:     321000 | #Constraints:     666867
1101.95/1107.05	c #Conflicts:     322000 | #Constraints:     667867
1101.95/1107.05	c #Conflicts:     323000 | #Constraints:     668867
1101.95/1107.05	c #Conflicts:     324000 | #Constraints:     669867
1101.95/1107.05	c #Conflicts:     325000 | #Constraints:     670867
1101.95/1107.05	c INPROCESSING
1101.95/1107.05	c GARBAGE COLLECT
1101.95/1107.05	c rational objective 5237.97
1191.92/1197.39	c #Conflicts:     326000 | #Constraints:     638431
1191.92/1197.39	c #Conflicts:     327000 | #Constraints:     639431
1191.92/1197.39	c #Conflicts:     328000 | #Constraints:     640431
1191.92/1197.39	c #Conflicts:     329000 | #Constraints:     641431
1191.92/1197.39	c #Conflicts:     330000 | #Constraints:     642431
1191.92/1197.39	c #Conflicts:     331000 | #Constraints:     643431
1191.92/1197.39	c #Conflicts:     332000 | #Constraints:     644431
1191.92/1197.39	c #Conflicts:     333000 | #Constraints:     645431
1191.92/1197.39	c #Conflicts:     334000 | #Constraints:     646431
1191.92/1197.39	c #Conflicts:     335000 | #Constraints:     647431
1191.92/1197.39	c #Conflicts:     336000 | #Constraints:     648431
1191.92/1197.39	c #Conflicts:     337000 | #Constraints:     649431
1191.92/1197.39	c #Conflicts:     338000 | #Constraints:     650431
1191.92/1197.39	c #Conflicts:     339000 | #Constraints:     651431
1191.92/1197.39	c #Conflicts:     340000 | #Constraints:     652431
1191.92/1197.39	c #Conflicts:     341000 | #Constraints:     653431
1191.92/1197.39	c #Conflicts:     342000 | #Constraints:     654431
1191.92/1197.39	c #Conflicts:     343000 | #Constraints:     655431
1191.92/1197.39	c #Conflicts:     344000 | #Constraints:     656431
1191.92/1197.39	c #Conflicts:     345000 | #Constraints:     657431
1191.92/1197.39	c #Conflicts:     346000 | #Constraints:     658431
1191.92/1197.39	c #Conflicts:     347000 | #Constraints:     659431
1191.92/1197.39	c #Conflicts:     348000 | #Constraints:     660431
1191.92/1197.39	c #Conflicts:     349000 | #Constraints:     661431
1191.92/1197.39	c #Conflicts:     350000 | #Constraints:     662431
1191.92/1197.39	c #Conflicts:     351000 | #Constraints:     663431
1191.92/1197.39	c #Conflicts:     352000 | #Constraints:     664431
1191.92/1197.39	c #Conflicts:     353000 | #Constraints:     665431
1191.92/1197.39	c #Conflicts:     354000 | #Constraints:     666431
1191.92/1197.39	c #Conflicts:     355000 | #Constraints:     667431
1191.92/1197.39	c #Conflicts:     356000 | #Constraints:     668431
1191.92/1197.39	c #Conflicts:     357000 | #Constraints:     669431
1191.92/1197.39	c #Conflicts:     358000 | #Constraints:     670431
1191.92/1197.39	c #Conflicts:     359000 | #Constraints:     671431
1191.92/1197.39	c #Conflicts:     360000 | #Constraints:     672431
1191.92/1197.39	c #Conflicts:     361000 | #Constraints:     673431
1191.92/1197.39	c #Conflicts:     362000 | #Constraints:     674431
1191.92/1197.39	c INPROCESSING
1191.92/1197.39	c GARBAGE COLLECT
1191.92/1197.39	c rational objective 5248.78
1302.58/1308.33	c #Conflicts:     363000 | #Constraints:     640539
1302.58/1308.33	c #Conflicts:     364000 | #Constraints:     641539
1302.58/1308.33	c #Conflicts:     365000 | #Constraints:     642539
1302.58/1308.33	c #Conflicts:     366000 | #Constraints:     643539
1302.58/1308.33	c #Conflicts:     367000 | #Constraints:     644539
1302.58/1308.33	c #Conflicts:     368000 | #Constraints:     645539
1302.58/1308.33	c #Conflicts:     369000 | #Constraints:     646539
1302.58/1308.33	c #Conflicts:     370000 | #Constraints:     647539
1302.58/1308.33	c #Conflicts:     371000 | #Constraints:     648539
1302.58/1308.33	c #Conflicts:     372000 | #Constraints:     649539
1302.58/1308.33	c #Conflicts:     373000 | #Constraints:     650539
1302.58/1308.33	c #Conflicts:     374000 | #Constraints:     651539
1302.58/1308.33	c #Conflicts:     375000 | #Constraints:     652539
1302.58/1308.33	c #Conflicts:     376000 | #Constraints:     653539
1302.58/1308.33	c #Conflicts:     377000 | #Constraints:     654539
1302.58/1308.33	c #Conflicts:     378000 | #Constraints:     655539
1302.58/1308.33	c #Conflicts:     379000 | #Constraints:     656539
1302.58/1308.33	c #Conflicts:     380000 | #Constraints:     657539
1302.58/1308.33	c #Conflicts:     381000 | #Constraints:     658539
1302.58/1308.33	c #Conflicts:     382000 | #Constraints:     659539
1302.58/1308.33	c #Conflicts:     383000 | #Constraints:     660539
1302.58/1308.33	c #Conflicts:     384000 | #Constraints:     661539
1302.58/1308.33	c #Conflicts:     385000 | #Constraints:     662539
1302.58/1308.33	c #Conflicts:     386000 | #Constraints:     663539
1302.58/1308.33	c #Conflicts:     387000 | #Constraints:     664539
1302.58/1308.33	c #Conflicts:     388000 | #Constraints:     665539
1302.58/1308.33	c #Conflicts:     389000 | #Constraints:     666539
1302.58/1308.33	c #Conflicts:     390000 | #Constraints:     667539
1302.58/1308.33	c #Conflicts:     391000 | #Constraints:     668539
1302.58/1308.33	c #Conflicts:     392000 | #Constraints:     669539
1302.58/1308.33	c #Conflicts:     393000 | #Constraints:     670539
1302.58/1308.33	c #Conflicts:     394000 | #Constraints:     671539
1302.58/1308.33	c #Conflicts:     395000 | #Constraints:     672539
1302.58/1308.33	c #Conflicts:     396000 | #Constraints:     673539
1302.58/1308.33	c #Conflicts:     397000 | #Constraints:     674539
1302.58/1308.33	c #Conflicts:     398000 | #Constraints:     675539
1302.58/1308.33	c #Conflicts:     399000 | #Constraints:     676539
1302.58/1308.33	c #Conflicts:     400000 | #Constraints:     677539
1302.58/1308.33	c #Conflicts:     401000 | #Constraints:     678539
1302.58/1308.33	c #Conflicts:     402000 | #Constraints:     679539
1302.58/1308.33	c INPROCESSING
1302.58/1308.33	c GARBAGE COLLECT
1302.58/1308.33	c rational objective 5259.64
1473.95/1480.22	c #Conflicts:     403000 | #Constraints:     643449
1473.95/1480.22	c #Conflicts:     404000 | #Constraints:     644449
1473.95/1480.22	c #Conflicts:     405000 | #Constraints:     645449
1473.95/1480.22	c #Conflicts:     406000 | #Constraints:     646449
1473.95/1480.22	c #Conflicts:     407000 | #Constraints:     647449
1473.95/1480.22	c #Conflicts:     408000 | #Constraints:     648449
1473.95/1480.22	c #Conflicts:     409000 | #Constraints:     649449
1473.95/1480.22	c #Conflicts:     410000 | #Constraints:     650449
1473.95/1480.22	c #Conflicts:     411000 | #Constraints:     651449
1473.95/1480.22	c #Conflicts:     412000 | #Constraints:     652449
1473.95/1480.22	c #Conflicts:     413000 | #Constraints:     653449
1473.95/1480.22	c #Conflicts:     414000 | #Constraints:     654449
1473.95/1480.22	c #Conflicts:     415000 | #Constraints:     655449
1473.95/1480.22	c #Conflicts:     416000 | #Constraints:     656449
1473.95/1480.22	c #Conflicts:     417000 | #Constraints:     657449
1473.95/1480.22	c #Conflicts:     418000 | #Constraints:     658449
1473.95/1480.22	c #Conflicts:     419000 | #Constraints:     659449
1473.95/1480.22	c #Conflicts:     420000 | #Constraints:     660449
1473.95/1480.22	c #Conflicts:     421000 | #Constraints:     661449
1473.95/1480.22	c #Conflicts:     422000 | #Constraints:     662449
1473.95/1480.22	c #Conflicts:     423000 | #Constraints:     663449
1473.95/1480.22	c #Conflicts:     424000 | #Constraints:     664449
1473.95/1480.22	c #Conflicts:     425000 | #Constraints:     665449
1473.95/1480.22	c #Conflicts:     426000 | #Constraints:     666449
1473.95/1480.22	c #Conflicts:     427000 | #Constraints:     667449
1473.95/1480.22	c #Conflicts:     428000 | #Constraints:     668449
1473.95/1480.22	c #Conflicts:     429000 | #Constraints:     669449
1473.95/1480.22	c #Conflicts:     430000 | #Constraints:     670449
1473.95/1480.22	c #Conflicts:     431000 | #Constraints:     671449
1473.95/1480.22	c #Conflicts:     432000 | #Constraints:     672449
1473.95/1480.22	c #Conflicts:     433000 | #Constraints:     673449
1473.95/1480.22	c #Conflicts:     434000 | #Constraints:     674449
1473.95/1480.22	c #Conflicts:     435000 | #Constraints:     675449
1473.95/1480.22	c #Conflicts:     436000 | #Constraints:     676449
1473.95/1480.22	c #Conflicts:     437000 | #Constraints:     677449
1473.95/1480.22	c #Conflicts:     438000 | #Constraints:     678449
1473.95/1480.22	c #Conflicts:     439000 | #Constraints:     679449
1473.95/1480.22	c #Conflicts:     440000 | #Constraints:     680449
1473.95/1480.22	c #Conflicts:     441000 | #Constraints:     681449
1473.95/1480.22	c #Conflicts:     442000 | #Constraints:     682449
1473.95/1480.22	c #Conflicts:     443000 | #Constraints:     683449
1473.95/1480.22	c INPROCESSING
1473.95/1480.22	c GARBAGE COLLECT
1473.95/1480.22	c rational objective 5270.79
1555.81/1562.32	c #Conflicts:     444000 | #Constraints:     645549
1555.81/1562.32	c #Conflicts:     445000 | #Constraints:     646549
1555.81/1562.32	c #Conflicts:     446000 | #Constraints:     647549
1555.81/1562.32	c #Conflicts:     447000 | #Constraints:     648549
1555.81/1562.32	c #Conflicts:     448000 | #Constraints:     649549
1555.81/1562.32	c #Conflicts:     449000 | #Constraints:     650549
1555.81/1562.32	c #Conflicts:     450000 | #Constraints:     651549
1555.81/1562.32	c #Conflicts:     451000 | #Constraints:     652549
1555.81/1562.32	c #Conflicts:     452000 | #Constraints:     653549
1555.81/1562.32	c #Conflicts:     453000 | #Constraints:     654549
1555.81/1562.32	c #Conflicts:     454000 | #Constraints:     655549
1555.81/1562.32	c #Conflicts:     455000 | #Constraints:     656549
1555.81/1562.32	c #Conflicts:     456000 | #Constraints:     657549
1555.81/1562.32	c #Conflicts:     457000 | #Constraints:     658549
1555.81/1562.32	c #Conflicts:     458000 | #Constraints:     659549
1555.81/1562.32	c #Conflicts:     459000 | #Constraints:     660549
1555.81/1562.32	c #Conflicts:     460000 | #Constraints:     661549
1555.81/1562.32	c #Conflicts:     461000 | #Constraints:     662549
1555.81/1562.32	c #Conflicts:     462000 | #Constraints:     663549
1555.81/1562.32	c #Conflicts:     463000 | #Constraints:     664549
1555.81/1562.32	c #Conflicts:     464000 | #Constraints:     665549
1555.81/1562.32	c #Conflicts:     465000 | #Constraints:     666549
1555.81/1562.32	c #Conflicts:     466000 | #Constraints:     667549
1555.81/1562.32	c #Conflicts:     467000 | #Constraints:     668549
1555.81/1562.32	c #Conflicts:     468000 | #Constraints:     669549
1555.81/1562.32	c #Conflicts:     469000 | #Constraints:     670549
1555.81/1562.32	c #Conflicts:     470000 | #Constraints:     671549
1555.81/1562.32	c #Conflicts:     471000 | #Constraints:     672549
1555.81/1562.32	c #Conflicts:     472000 | #Constraints:     673549
1555.81/1562.32	c #Conflicts:     473000 | #Constraints:     674549
1555.81/1562.32	c #Conflicts:     474000 | #Constraints:     675549
1555.81/1562.32	c #Conflicts:     475000 | #Constraints:     676549
1555.81/1562.32	c #Conflicts:     476000 | #Constraints:     677549
1555.81/1562.32	c #Conflicts:     477000 | #Constraints:     678549
1555.81/1562.32	c #Conflicts:     478000 | #Constraints:     679549
1555.81/1562.32	c #Conflicts:     479000 | #Constraints:     680549
1555.81/1562.32	c #Conflicts:     480000 | #Constraints:     681549
1555.81/1562.32	c #Conflicts:     481000 | #Constraints:     682549
1555.81/1562.32	c #Conflicts:     482000 | #Constraints:     683549
1555.81/1562.32	c #Conflicts:     483000 | #Constraints:     684549
1555.81/1562.32	c #Conflicts:     484000 | #Constraints:     685549
1555.81/1562.32	c #Conflicts:     485000 | #Constraints:     686549
1555.81/1562.32	c #Conflicts:     486000 | #Constraints:     687549
1555.81/1562.32	c INPROCESSING
1555.81/1562.32	c GARBAGE COLLECT
1555.81/1562.32	c rational objective 5279.39
1710.44/1717.47	c #Conflicts:     487000 | #Constraints:     647527
1710.44/1717.47	c #Conflicts:     488000 | #Constraints:     648527
1710.44/1717.47	c #Conflicts:     489000 | #Constraints:     649527
1710.44/1717.47	c #Conflicts:     490000 | #Constraints:     650527
1710.44/1717.47	c #Conflicts:     491000 | #Constraints:     651527
1710.44/1717.47	c #Conflicts:     492000 | #Constraints:     652527
1710.44/1717.47	c #Conflicts:     493000 | #Constraints:     653527
1710.44/1717.47	c #Conflicts:     494000 | #Constraints:     654527
1710.44/1717.47	c #Conflicts:     495000 | #Constraints:     655527
1710.44/1717.47	c #Conflicts:     496000 | #Constraints:     656527
1710.44/1717.47	c #Conflicts:     497000 | #Constraints:     657527
1710.44/1717.47	c #Conflicts:     498000 | #Constraints:     658527
1710.44/1717.47	c #Conflicts:     499000 | #Constraints:     659527
1710.44/1717.47	c #Conflicts:     500000 | #Constraints:     660527
1710.44/1717.47	c #Conflicts:     501000 | #Constraints:     661527
1710.44/1717.47	c #Conflicts:     502000 | #Constraints:     662527
1710.44/1717.47	c #Conflicts:     503000 | #Constraints:     663527
1710.44/1717.47	c #Conflicts:     504000 | #Constraints:     664527
1710.44/1717.47	c #Conflicts:     505000 | #Constraints:     665527
1710.44/1717.47	c #Conflicts:     506000 | #Constraints:     666527
1710.44/1717.47	c #Conflicts:     507000 | #Constraints:     667527
1710.44/1717.47	c #Conflicts:     508000 | #Constraints:     668527
1710.44/1717.47	c #Conflicts:     509000 | #Constraints:     669527
1710.44/1717.47	c #Conflicts:     510000 | #Constraints:     670527
1710.44/1717.47	c #Conflicts:     511000 | #Constraints:     671527
1710.44/1717.47	c #Conflicts:     512000 | #Constraints:     672527
1710.44/1717.47	c #Conflicts:     513000 | #Constraints:     673527
1710.44/1717.47	c #Conflicts:     514000 | #Constraints:     674527
1710.44/1717.47	c #Conflicts:     515000 | #Constraints:     675527
1710.44/1717.47	c #Conflicts:     516000 | #Constraints:     676527
1710.44/1717.47	c #Conflicts:     517000 | #Constraints:     677527
1710.44/1717.47	c #Conflicts:     518000 | #Constraints:     678527
1710.44/1717.47	c #Conflicts:     519000 | #Constraints:     679527
1710.44/1717.47	c #Conflicts:     520000 | #Constraints:     680527
1710.44/1717.47	c #Conflicts:     521000 | #Constraints:     681527
1710.44/1717.47	c #Conflicts:     522000 | #Constraints:     682527
1710.44/1717.47	c #Conflicts:     523000 | #Constraints:     683527
1710.44/1717.47	c #Conflicts:     524000 | #Constraints:     684527
1710.44/1717.47	c #Conflicts:     525000 | #Constraints:     685527
1710.44/1717.47	c #Conflicts:     526000 | #Constraints:     686527
1710.44/1717.47	c #Conflicts:     527000 | #Constraints:     687527
1710.44/1717.47	c #Conflicts:     528000 | #Constraints:     688527
1710.44/1717.47	c #Conflicts:     529000 | #Constraints:     689527
1710.44/1717.47	c #Conflicts:     530000 | #Constraints:     690527
1710.44/1717.47	c #Conflicts:     531000 | #Constraints:     691527
1710.44/1717.47	c INPROCESSING
1710.44/1717.47	c GARBAGE COLLECT
1710.44/1717.47	c rational objective 5284.81
1785.51/1792.79	c #Conflicts:     532000 | #Constraints:     649271
1785.51/1792.79	c #Conflicts:     533000 | #Constraints:     650271
1785.51/1792.79	c #Conflicts:     534000 | #Constraints:     651271
1785.51/1792.79	c #Conflicts:     535000 | #Constraints:     652271
1785.51/1792.79	c #Conflicts:     536000 | #Constraints:     653271
1785.51/1792.79	c #Conflicts:     537000 | #Constraints:     654271
1785.51/1792.79	c #Conflicts:     538000 | #Constraints:     655271
1785.51/1792.79	c #Conflicts:     539000 | #Constraints:     656271
1785.51/1792.79	c #Conflicts:     540000 | #Constraints:     657271
1785.51/1792.79	c #Conflicts:     541000 | #Constraints:     658271
1785.51/1792.79	c #Conflicts:     542000 | #Constraints:     659271
1785.51/1792.79	c #Conflicts:     543000 | #Constraints:     660271
1785.51/1792.79	c #Conflicts:     544000 | #Constraints:     661271
1785.51/1792.79	c #Conflicts:     545000 | #Constraints:     662271
1785.51/1792.79	c #Conflicts:     546000 | #Constraints:     663271
1785.51/1792.79	c #Conflicts:     547000 | #Constraints:     664271
1785.51/1792.79	c #Conflicts:     548000 | #Constraints:     665271
1785.51/1792.79	c #Conflicts:     549000 | #Constraints:     666271
1785.51/1792.79	c #Conflicts:     550000 | #Constraints:     667271
1785.51/1792.79	c #Conflicts:     551000 | #Constraints:     668271
1785.51/1792.79	c #Conflicts:     552000 | #Constraints:     669271
1785.51/1792.79	c #Conflicts:     553000 | #Constraints:     670271
1785.51/1792.79	c #Conflicts:     554000 | #Constraints:     671271
1785.51/1792.79	c #Conflicts:     555000 | #Constraints:     672271
1785.51/1792.79	c #Conflicts:     556000 | #Constraints:     673271
1785.51/1792.79	c #Conflicts:     557000 | #Constraints:     674271
1785.51/1792.79	c #Conflicts:     558000 | #Constraints:     675271
1785.51/1792.79	c #Conflicts:     559000 | #Constraints:     676271
1785.51/1792.79	c #Conflicts:     560000 | #Constraints:     677271
1785.51/1792.79	c #Conflicts:     561000 | #Constraints:     678271
1785.51/1792.79	c #Conflicts:     562000 | #Constraints:     679271
1785.51/1792.79	c #Conflicts:     563000 | #Constraints:     680271
1785.51/1792.79	c #Conflicts:     564000 | #Constraints:     681271
1785.51/1792.79	c #Conflicts:     565000 | #Constraints:     682271
1785.51/1792.79	c #Conflicts:     566000 | #Constraints:     683271
1785.51/1792.79	c #Conflicts:     567000 | #Constraints:     684271
1785.51/1792.79	c #Conflicts:     568000 | #Constraints:     685271
1785.51/1792.79	c #Conflicts:     569000 | #Constraints:     686271
1785.51/1792.79	c #Conflicts:     570000 | #Constraints:     687271
1785.51/1792.79	c #Conflicts:     571000 | #Constraints:     688271
1785.51/1792.79	c #Conflicts:     572000 | #Constraints:     689271
1785.51/1792.79	c #Conflicts:     573000 | #Constraints:     690271
1785.51/1792.79	c #Conflicts:     574000 | #Constraints:     691271
1785.51/1792.79	c #Conflicts:     575000 | #Constraints:     692271
1785.51/1792.79	c #Conflicts:     576000 | #Constraints:     693271
1785.51/1792.79	c #Conflicts:     577000 | #Constraints:     694271
1785.51/1792.79	c #Conflicts:     578000 | #Constraints:     695271
1785.51/1792.79	c INPROCESSING
1785.51/1792.79	c GARBAGE COLLECT
1785.51/1792.79	c rational objective 5292.12
1894.79/1902.34	c #Conflicts:     579000 | #Constraints:     651398
1894.79/1902.34	c #Conflicts:     580000 | #Constraints:     652398
1894.79/1902.34	c #Conflicts:     581000 | #Constraints:     653398
1894.79/1902.34	c #Conflicts:     582000 | #Constraints:     654398
1894.79/1902.34	c #Conflicts:     583000 | #Constraints:     655398
1894.79/1902.34	c #Conflicts:     584000 | #Constraints:     656398
1894.79/1902.34	c #Conflicts:     585000 | #Constraints:     657398
1894.79/1902.34	c #Conflicts:     586000 | #Constraints:     658398
1894.79/1902.34	c #Conflicts:     587000 | #Constraints:     659398
1894.79/1902.34	c #Conflicts:     588000 | #Constraints:     660398
1894.79/1902.34	c #Conflicts:     589000 | #Constraints:     661398
1894.79/1902.34	c #Conflicts:     590000 | #Constraints:     662398
1894.79/1902.34	c #Conflicts:     591000 | #Constraints:     663398
1894.79/1902.34	c #Conflicts:     592000 | #Constraints:     664398
1894.79/1902.34	c #Conflicts:     593000 | #Constraints:     665398
1894.79/1902.34	c #Conflicts:     594000 | #Constraints:     666398
1894.79/1902.34	c #Conflicts:     595000 | #Constraints:     667398
1894.79/1902.34	c #Conflicts:     596000 | #Constraints:     668398
1894.79/1902.34	c #Conflicts:     597000 | #Constraints:     669398
1894.79/1902.34	c #Conflicts:     598000 | #Constraints:     670398
1894.79/1902.34	c #Conflicts:     599000 | #Constraints:     671398
1894.79/1902.34	c #Conflicts:     600000 | #Constraints:     672398
1894.79/1902.34	c #Conflicts:     601000 | #Constraints:     673398
1894.79/1902.34	c #Conflicts:     602000 | #Constraints:     674398
1894.79/1902.34	c #Conflicts:     603000 | #Constraints:     675398
1894.79/1902.34	c #Conflicts:     604000 | #Constraints:     676398
1894.79/1902.34	c #Conflicts:     605000 | #Constraints:     677398
1894.79/1902.34	c #Conflicts:     606000 | #Constraints:     678398
1894.79/1902.34	c #Conflicts:     607000 | #Constraints:     679398
1894.79/1902.34	c #Conflicts:     608000 | #Constraints:     680398
1894.79/1902.34	c #Conflicts:     609000 | #Constraints:     681398
1894.79/1902.34	c #Conflicts:     610000 | #Constraints:     682398
1894.79/1902.34	c #Conflicts:     611000 | #Constraints:     683398
1894.79/1902.34	c #Conflicts:     612000 | #Constraints:     684398
1894.79/1902.34	c #Conflicts:     613000 | #Constraints:     685398
1894.79/1902.34	c #Conflicts:     614000 | #Constraints:     686398
1894.79/1902.34	c #Conflicts:     615000 | #Constraints:     687398
1894.79/1902.34	c #Conflicts:     616000 | #Constraints:     688398
1894.79/1902.34	c #Conflicts:     617000 | #Constraints:     689398
1894.79/1902.34	c #Conflicts:     618000 | #Constraints:     690398
1894.79/1902.34	c #Conflicts:     619000 | #Constraints:     691398
1894.79/1902.34	c #Conflicts:     620000 | #Constraints:     692398
1894.79/1902.34	c #Conflicts:     621000 | #Constraints:     693398
1894.79/1902.34	c #Conflicts:     622000 | #Constraints:     694398
1894.79/1902.34	c #Conflicts:     623000 | #Constraints:     695398
1894.79/1902.34	c #Conflicts:     624000 | #Constraints:     696398
1894.79/1902.34	c #Conflicts:     625000 | #Constraints:     697398
1894.79/1902.34	c #Conflicts:     626000 | #Constraints:     698398
1894.79/1902.34	c #Conflicts:     627000 | #Constraints:     699398
1894.79/1902.34	c INPROCESSING
1894.79/1902.34	c GARBAGE COLLECT
1894.79/1902.34	c rational objective 5552.53
1995.28/2003.18	c #Conflicts:     628000 | #Constraints:     637887
1995.28/2003.18	c #Conflicts:     629000 | #Constraints:     638887
1995.28/2003.18	c #Conflicts:     630000 | #Constraints:     639887
1995.28/2003.18	c #Conflicts:     631000 | #Constraints:     640887
1995.28/2003.18	c #Conflicts:     632000 | #Constraints:     641887
1995.28/2003.18	c #Conflicts:     633000 | #Constraints:     642887
1995.28/2003.18	c #Conflicts:     634000 | #Constraints:     643887
1995.28/2003.18	c #Conflicts:     635000 | #Constraints:     644887
1995.28/2003.18	c #Conflicts:     636000 | #Constraints:     645887
1995.28/2003.18	c #Conflicts:     637000 | #Constraints:     646887
1995.28/2003.18	c #Conflicts:     638000 | #Constraints:     647887
1995.28/2003.18	c #Conflicts:     639000 | #Constraints:     648887
1995.28/2003.18	c #Conflicts:     640000 | #Constraints:     649887
1995.28/2003.18	c #Conflicts:     641000 | #Constraints:     650887
1995.28/2003.18	c #Conflicts:     642000 | #Constraints:     651887
1995.28/2003.18	c #Conflicts:     643000 | #Constraints:     652887
1995.28/2003.18	c #Conflicts:     644000 | #Constraints:     653887
1995.28/2003.18	c #Conflicts:     645000 | #Constraints:     654887
1995.28/2003.18	c #Conflicts:     646000 | #Constraints:     655887
1995.28/2003.18	c #Conflicts:     647000 | #Constraints:     656887
1995.28/2003.18	c #Conflicts:     648000 | #Constraints:     657887
1995.28/2003.18	c #Conflicts:     649000 | #Constraints:     658887
1995.28/2003.18	c #Conflicts:     650000 | #Constraints:     659887
1995.28/2003.18	c #Conflicts:     651000 | #Constraints:     660887
1995.28/2003.18	c #Conflicts:     652000 | #Constraints:     661887
1995.28/2003.18	c #Conflicts:     653000 | #Constraints:     662887
1995.28/2003.18	c #Conflicts:     654000 | #Constraints:     663887
1995.28/2003.18	c #Conflicts:     655000 | #Constraints:     664887
1995.28/2003.18	c #Conflicts:     656000 | #Constraints:     665887
1995.28/2003.18	c #Conflicts:     657000 | #Constraints:     666887
1995.28/2003.18	c #Conflicts:     658000 | #Constraints:     667887
1995.28/2003.18	c #Conflicts:     659000 | #Constraints:     668887
1995.28/2003.18	c #Conflicts:     660000 | #Constraints:     669887
1995.28/2003.18	c #Conflicts:     661000 | #Constraints:     670887
1995.28/2003.18	c #Conflicts:     662000 | #Constraints:     671887
1995.28/2003.18	c #Conflicts:     663000 | #Constraints:     672887
1995.28/2003.18	c #Conflicts:     664000 | #Constraints:     673887
1995.28/2003.18	c #Conflicts:     665000 | #Constraints:     674887
1995.28/2003.18	c #Conflicts:     666000 | #Constraints:     675887
1995.28/2003.18	c #Conflicts:     667000 | #Constraints:     676887
1995.28/2003.18	c #Conflicts:     668000 | #Constraints:     677887
1995.28/2003.18	c #Conflicts:     669000 | #Constraints:     678887
1995.28/2003.18	c #Conflicts:     670000 | #Constraints:     679887
1995.28/2003.18	c #Conflicts:     671000 | #Constraints:     680887
1995.28/2003.18	c #Conflicts:     672000 | #Constraints:     681887
1995.28/2003.18	c #Conflicts:     673000 | #Constraints:     682887
1995.28/2003.18	c #Conflicts:     674000 | #Constraints:     683887
1995.28/2003.18	c #Conflicts:     675000 | #Constraints:     684887
1995.28/2003.18	c #Conflicts:     676000 | #Constraints:     685887
1995.28/2003.18	c #Conflicts:     677000 | #Constraints:     686887
1995.28/2003.18	c #Conflicts:     678000 | #Constraints:     687887
1995.28/2003.18	c INPROCESSING
1995.28/2003.18	c GARBAGE COLLECT
1995.28/2003.18	c rational objective 5560.79
2103.63/2111.84	c #Conflicts:     679000 | #Constraints:     640465
2103.63/2111.84	c #Conflicts:     680000 | #Constraints:     641465
2103.63/2111.84	c #Conflicts:     681000 | #Constraints:     642465
2103.63/2111.84	c #Conflicts:     682000 | #Constraints:     643465
2103.63/2111.84	c #Conflicts:     683000 | #Constraints:     644465
2103.63/2111.84	c #Conflicts:     684000 | #Constraints:     645465
2103.63/2111.84	c #Conflicts:     685000 | #Constraints:     646465
2103.63/2111.84	c #Conflicts:     686000 | #Constraints:     647465
2103.63/2111.84	c #Conflicts:     687000 | #Constraints:     648465
2103.63/2111.84	c #Conflicts:     688000 | #Constraints:     649465
2103.63/2111.84	c #Conflicts:     689000 | #Constraints:     650465
2103.63/2111.84	c #Conflicts:     690000 | #Constraints:     651465
2103.63/2111.84	c #Conflicts:     691000 | #Constraints:     652465
2103.63/2111.84	c #Conflicts:     692000 | #Constraints:     653465
2103.63/2111.84	c #Conflicts:     693000 | #Constraints:     654465
2103.63/2111.84	c #Conflicts:     694000 | #Constraints:     655465
2103.63/2111.84	c #Conflicts:     695000 | #Constraints:     656465
2103.63/2111.84	c #Conflicts:     696000 | #Constraints:     657465
2103.63/2111.84	c #Conflicts:     697000 | #Constraints:     658465
2103.63/2111.84	c #Conflicts:     698000 | #Constraints:     659465
2103.63/2111.84	c #Conflicts:     699000 | #Constraints:     660465
2103.63/2111.84	c #Conflicts:     700000 | #Constraints:     661465
2103.63/2111.84	c #Conflicts:     701000 | #Constraints:     662465
2103.63/2111.84	c #Conflicts:     702000 | #Constraints:     663465
2103.63/2111.84	c #Conflicts:     703000 | #Constraints:     664465
2103.63/2111.84	c #Conflicts:     704000 | #Constraints:     665465
2103.63/2111.84	c #Conflicts:     705000 | #Constraints:     666465
2103.63/2111.84	c #Conflicts:     706000 | #Constraints:     667465
2103.63/2111.84	c #Conflicts:     707000 | #Constraints:     668465
2103.63/2111.84	c #Conflicts:     708000 | #Constraints:     669465
2103.63/2111.84	c #Conflicts:     709000 | #Constraints:     670465
2103.63/2111.84	c #Conflicts:     710000 | #Constraints:     671465
2103.63/2111.84	c #Conflicts:     711000 | #Constraints:     672465
2103.63/2111.84	c #Conflicts:     712000 | #Constraints:     673465
2103.63/2111.84	c #Conflicts:     713000 | #Constraints:     674465
2103.63/2111.84	c #Conflicts:     714000 | #Constraints:     675465
2103.63/2111.84	c #Conflicts:     715000 | #Constraints:     676465
2103.63/2111.84	c #Conflicts:     716000 | #Constraints:     677465
2103.63/2111.84	c #Conflicts:     717000 | #Constraints:     678465
2103.63/2111.84	c #Conflicts:     718000 | #Constraints:     679465
2103.63/2111.84	c #Conflicts:     719000 | #Constraints:     680465
2103.63/2111.84	c #Conflicts:     720000 | #Constraints:     681465
2103.63/2111.84	c #Conflicts:     721000 | #Constraints:     682465
2103.63/2111.84	c #Conflicts:     722000 | #Constraints:     683465
2103.63/2111.84	c #Conflicts:     723000 | #Constraints:     684465
2103.63/2111.84	c #Conflicts:     724000 | #Constraints:     685465
2103.63/2111.84	c #Conflicts:     725000 | #Constraints:     686465
2103.63/2111.84	c #Conflicts:     726000 | #Constraints:     687465
2103.63/2111.84	c #Conflicts:     727000 | #Constraints:     688465
2103.63/2111.84	c #Conflicts:     728000 | #Constraints:     689465
2103.63/2111.84	c #Conflicts:     729000 | #Constraints:     690465
2103.63/2111.84	c #Conflicts:     730000 | #Constraints:     691465
2103.63/2111.84	c #Conflicts:     731000 | #Constraints:     692465
2103.63/2111.84	c INPROCESSING
2103.63/2111.84	c GARBAGE COLLECT
2103.63/2111.84	c rational objective 5566.52
2215.38/2224.01	c #Conflicts:     732000 | #Constraints:     642506
2215.38/2224.01	c #Conflicts:     733000 | #Constraints:     643506
2215.38/2224.01	c #Conflicts:     734000 | #Constraints:     644506
2215.38/2224.01	c #Conflicts:     735000 | #Constraints:     645506
2215.38/2224.01	c #Conflicts:     736000 | #Constraints:     646506
2215.38/2224.01	c #Conflicts:     737000 | #Constraints:     647506
2215.38/2224.01	c #Conflicts:     738000 | #Constraints:     648506
2215.38/2224.01	c #Conflicts:     739000 | #Constraints:     649506
2215.38/2224.01	c #Conflicts:     740000 | #Constraints:     650506
2215.38/2224.01	c #Conflicts:     741000 | #Constraints:     651506
2215.38/2224.01	c #Conflicts:     742000 | #Constraints:     652506
2215.38/2224.01	c #Conflicts:     743000 | #Constraints:     653506
2215.38/2224.01	c #Conflicts:     744000 | #Constraints:     654506
2215.38/2224.01	c #Conflicts:     745000 | #Constraints:     655506
2215.38/2224.01	c #Conflicts:     746000 | #Constraints:     656506
2215.38/2224.01	c #Conflicts:     747000 | #Constraints:     657506
2215.38/2224.01	c #Conflicts:     748000 | #Constraints:     658506
2215.38/2224.01	c #Conflicts:     749000 | #Constraints:     659506
2215.38/2224.01	c #Conflicts:     750000 | #Constraints:     660506
2215.38/2224.01	c #Conflicts:     751000 | #Constraints:     661506
2215.38/2224.01	c #Conflicts:     752000 | #Constraints:     662506
2215.38/2224.01	c #Conflicts:     753000 | #Constraints:     663506
2215.38/2224.01	c #Conflicts:     754000 | #Constraints:     664506
2215.38/2224.01	c #Conflicts:     755000 | #Constraints:     665506
2215.38/2224.01	c #Conflicts:     756000 | #Constraints:     666506
2215.38/2224.01	c #Conflicts:     757000 | #Constraints:     667506
2215.38/2224.01	c #Conflicts:     758000 | #Constraints:     668506
2215.38/2224.01	c #Conflicts:     759000 | #Constraints:     669506
2215.38/2224.01	c #Conflicts:     760000 | #Constraints:     670506
2215.38/2224.01	c #Conflicts:     761000 | #Constraints:     671506
2215.38/2224.01	c #Conflicts:     762000 | #Constraints:     672506
2215.38/2224.01	c #Conflicts:     763000 | #Constraints:     673506
2215.38/2224.01	c #Conflicts:     764000 | #Constraints:     674506
2215.38/2224.01	c #Conflicts:     765000 | #Constraints:     675506
2215.38/2224.01	c #Conflicts:     766000 | #Constraints:     676506
2215.38/2224.01	c #Conflicts:     767000 | #Constraints:     677506
2215.38/2224.01	c #Conflicts:     768000 | #Constraints:     678506
2215.38/2224.01	c #Conflicts:     769000 | #Constraints:     679506
2215.38/2224.01	c #Conflicts:     770000 | #Constraints:     680506
2215.38/2224.01	c #Conflicts:     771000 | #Constraints:     681506
2215.38/2224.01	c #Conflicts:     772000 | #Constraints:     682506
2215.38/2224.01	c #Conflicts:     773000 | #Constraints:     683506
2215.38/2224.01	c #Conflicts:     774000 | #Constraints:     684506
2215.38/2224.01	c #Conflicts:     775000 | #Constraints:     685506
2215.38/2224.01	c #Conflicts:     776000 | #Constraints:     686506
2215.38/2224.01	c #Conflicts:     777000 | #Constraints:     687506
2215.38/2224.01	c #Conflicts:     778000 | #Constraints:     688506
2215.38/2224.01	c #Conflicts:     779000 | #Constraints:     689506
2215.38/2224.01	c #Conflicts:     780000 | #Constraints:     690506
2215.38/2224.01	c #Conflicts:     781000 | #Constraints:     691506
2215.38/2224.01	c #Conflicts:     782000 | #Constraints:     692506
2215.38/2224.01	c #Conflicts:     783000 | #Constraints:     693506
2215.38/2224.01	c #Conflicts:     784000 | #Constraints:     694506
2215.38/2224.01	c #Conflicts:     785000 | #Constraints:     695506
2215.38/2224.01	c #Conflicts:     786000 | #Constraints:     696506
2215.38/2224.01	c INPROCESSING
2215.38/2224.01	c GARBAGE COLLECT
2215.38/2224.01	c rational objective 5569.8
2397.92/2407.01	c #Conflicts:     787000 | #Constraints:     644462
2397.92/2407.01	c #Conflicts:     788000 | #Constraints:     645462
2397.92/2407.01	c #Conflicts:     789000 | #Constraints:     646462
2397.92/2407.01	c #Conflicts:     790000 | #Constraints:     647462
2397.92/2407.01	c #Conflicts:     791000 | #Constraints:     648462
2397.92/2407.01	c #Conflicts:     792000 | #Constraints:     649462
2397.92/2407.01	c #Conflicts:     793000 | #Constraints:     650462
2397.92/2407.01	c #Conflicts:     794000 | #Constraints:     651462
2397.92/2407.01	c #Conflicts:     795000 | #Constraints:     652462
2397.92/2407.01	c #Conflicts:     796000 | #Constraints:     653462
2397.92/2407.01	c #Conflicts:     797000 | #Constraints:     654462
2397.92/2407.01	c #Conflicts:     798000 | #Constraints:     655462
2397.92/2407.01	c #Conflicts:     799000 | #Constraints:     656462
2397.92/2407.01	c #Conflicts:     800000 | #Constraints:     657462
2397.92/2407.01	c #Conflicts:     801000 | #Constraints:     658462
2397.92/2407.01	c #Conflicts:     802000 | #Constraints:     659462
2397.92/2407.01	c #Conflicts:     803000 | #Constraints:     660462
2397.92/2407.01	c #Conflicts:     804000 | #Constraints:     661462
2397.92/2407.01	c #Conflicts:     805000 | #Constraints:     662462
2397.92/2407.01	c #Conflicts:     806000 | #Constraints:     663462
2397.92/2407.01	c #Conflicts:     807000 | #Constraints:     664462
2397.92/2407.01	c #Conflicts:     808000 | #Constraints:     665462
2397.92/2407.01	c #Conflicts:     809000 | #Constraints:     666462
2397.92/2407.01	c #Conflicts:     810000 | #Constraints:     667462
2397.92/2407.01	c #Conflicts:     811000 | #Constraints:     668462
2397.92/2407.01	c #Conflicts:     812000 | #Constraints:     669462
2397.92/2407.01	c #Conflicts:     813000 | #Constraints:     670462
2397.92/2407.01	c #Conflicts:     814000 | #Constraints:     671462
2397.92/2407.01	c #Conflicts:     815000 | #Constraints:     672462
2397.92/2407.01	c #Conflicts:     816000 | #Constraints:     673462
2397.92/2407.01	c #Conflicts:     817000 | #Constraints:     674462
2397.92/2407.01	c #Conflicts:     818000 | #Constraints:     675462
2397.92/2407.01	c #Conflicts:     819000 | #Constraints:     676462
2397.92/2407.01	c #Conflicts:     820000 | #Constraints:     677462
2397.92/2407.01	c #Conflicts:     821000 | #Constraints:     678462
2397.92/2407.01	c #Conflicts:     822000 | #Constraints:     679462
2397.92/2407.01	c #Conflicts:     823000 | #Constraints:     680462
2397.92/2407.01	c #Conflicts:     824000 | #Constraints:     681462
2397.92/2407.01	c #Conflicts:     825000 | #Constraints:     682462
2397.92/2407.01	c #Conflicts:     826000 | #Constraints:     683462
2397.92/2407.01	c #Conflicts:     827000 | #Constraints:     684462
2397.92/2407.01	c #Conflicts:     828000 | #Constraints:     685462
2397.92/2407.01	c #Conflicts:     829000 | #Constraints:     686462
2397.92/2407.01	c #Conflicts:     830000 | #Constraints:     687462
2397.92/2407.01	c #Conflicts:     831000 | #Constraints:     688462
2397.92/2407.01	c #Conflicts:     832000 | #Constraints:     689462
2397.92/2407.01	c #Conflicts:     833000 | #Constraints:     690462
2397.92/2407.01	c #Conflicts:     834000 | #Constraints:     691462
2397.92/2407.01	c #Conflicts:     835000 | #Constraints:     692462
2397.92/2407.01	c #Conflicts:     836000 | #Constraints:     693462
2397.92/2407.01	c #Conflicts:     837000 | #Constraints:     694462
2397.92/2407.01	c #Conflicts:     838000 | #Constraints:     695462
2397.92/2407.01	c #Conflicts:     839000 | #Constraints:     696462
2397.92/2407.01	c #Conflicts:     840000 | #Constraints:     697462
2397.92/2407.01	c #Conflicts:     841000 | #Constraints:     698462
2397.92/2407.01	c #Conflicts:     842000 | #Constraints:     699462
2397.92/2407.01	c #Conflicts:     843000 | #Constraints:     700462
2397.92/2407.01	c INPROCESSING
2397.92/2407.01	c GARBAGE COLLECT
2397.92/2407.01	c rational objective 5574.23
2549.20/2558.88	c #Conflicts:     844000 | #Constraints:     647849
2549.20/2558.88	c #Conflicts:     845000 | #Constraints:     648849
2549.20/2558.88	c #Conflicts:     846000 | #Constraints:     649849
2549.20/2558.88	c #Conflicts:     847000 | #Constraints:     650849
2549.20/2558.88	c #Conflicts:     848000 | #Constraints:     651849
2549.20/2558.88	c #Conflicts:     849000 | #Constraints:     652849
2549.20/2558.88	c #Conflicts:     850000 | #Constraints:     653849
2549.20/2558.88	c #Conflicts:     851000 | #Constraints:     654849
2549.20/2558.88	c #Conflicts:     852000 | #Constraints:     655849
2549.20/2558.88	c #Conflicts:     853000 | #Constraints:     656849
2549.20/2558.88	c #Conflicts:     854000 | #Constraints:     657849
2549.20/2558.88	c #Conflicts:     855000 | #Constraints:     658849
2549.20/2558.88	c #Conflicts:     856000 | #Constraints:     659849
2549.20/2558.88	c #Conflicts:     857000 | #Constraints:     660849
2549.20/2558.88	c #Conflicts:     858000 | #Constraints:     661849
2549.20/2558.88	c #Conflicts:     859000 | #Constraints:     662849
2549.20/2558.88	c #Conflicts:     860000 | #Constraints:     663849
2549.20/2558.88	c #Conflicts:     861000 | #Constraints:     664849
2549.20/2558.88	c #Conflicts:     862000 | #Constraints:     665849
2549.20/2558.88	c #Conflicts:     863000 | #Constraints:     666849
2549.20/2558.88	c #Conflicts:     864000 | #Constraints:     667849
2549.20/2558.88	c #Conflicts:     865000 | #Constraints:     668849
2549.20/2558.88	c #Conflicts:     866000 | #Constraints:     669849
2549.20/2558.88	c #Conflicts:     867000 | #Constraints:     670849
2549.20/2558.88	c #Conflicts:     868000 | #Constraints:     671849
2549.20/2558.88	c #Conflicts:     869000 | #Constraints:     672849
2549.20/2558.88	c #Conflicts:     870000 | #Constraints:     673849
2549.20/2558.88	c #Conflicts:     871000 | #Constraints:     674849
2549.20/2558.88	c #Conflicts:     872000 | #Constraints:     675849
2549.20/2558.88	c #Conflicts:     873000 | #Constraints:     676849
2549.20/2558.88	c #Conflicts:     874000 | #Constraints:     677849
2549.20/2558.88	c #Conflicts:     875000 | #Constraints:     678849
2549.20/2558.88	c #Conflicts:     876000 | #Constraints:     679849
2549.20/2558.88	c #Conflicts:     877000 | #Constraints:     680849
2549.20/2558.88	c #Conflicts:     878000 | #Constraints:     681849
2549.20/2558.88	c #Conflicts:     879000 | #Constraints:     682849
2549.20/2558.88	c #Conflicts:     880000 | #Constraints:     683849
2549.20/2558.88	c #Conflicts:     881000 | #Constraints:     684849
2549.20/2558.88	c #Conflicts:     882000 | #Constraints:     685849
2549.20/2558.88	c #Conflicts:     883000 | #Constraints:     686849
2549.20/2558.88	c #Conflicts:     884000 | #Constraints:     687849
2549.20/2558.88	c #Conflicts:     885000 | #Constraints:     688849
2549.20/2558.88	c #Conflicts:     886000 | #Constraints:     689849
2549.20/2558.88	c #Conflicts:     887000 | #Constraints:     690849
2549.20/2558.88	c #Conflicts:     888000 | #Constraints:     691849
2549.20/2558.88	c #Conflicts:     889000 | #Constraints:     692849
2549.20/2558.88	c #Conflicts:     890000 | #Constraints:     693849
2549.20/2558.88	c #Conflicts:     891000 | #Constraints:     694849
2549.20/2558.88	c #Conflicts:     892000 | #Constraints:     695849
2549.20/2558.88	c #Conflicts:     893000 | #Constraints:     696849
2549.20/2558.88	c #Conflicts:     894000 | #Constraints:     697849
2549.20/2558.88	c #Conflicts:     895000 | #Constraints:     698849
2549.20/2558.88	c #Conflicts:     896000 | #Constraints:     699849
2549.20/2558.88	c #Conflicts:     897000 | #Constraints:     700849
2549.20/2558.88	c #Conflicts:     898000 | #Constraints:     701849
2549.20/2558.88	c #Conflicts:     899000 | #Constraints:     702849
2549.20/2558.88	c #Conflicts:     900000 | #Constraints:     703849
2549.20/2558.88	c #Conflicts:     901000 | #Constraints:     704849
2549.20/2558.88	c #Conflicts:     902000 | #Constraints:     705849
2549.20/2558.88	c #Conflicts:     903000 | #Constraints:     706849
2549.20/2558.88	c INPROCESSING
2549.20/2558.88	c GARBAGE COLLECT
2549.20/2558.88	c rational objective 5580.09
2678.94/2689.06	c #Conflicts:     904000 | #Constraints:     651561
2678.94/2689.06	c #Conflicts:     905000 | #Constraints:     652561
2678.94/2689.06	c #Conflicts:     906000 | #Constraints:     653561
2678.94/2689.06	c #Conflicts:     907000 | #Constraints:     654561
2678.94/2689.06	c #Conflicts:     908000 | #Constraints:     655561
2678.94/2689.06	c #Conflicts:     909000 | #Constraints:     656561
2678.94/2689.06	c #Conflicts:     910000 | #Constraints:     657561
2678.94/2689.06	c #Conflicts:     911000 | #Constraints:     658561
2678.94/2689.06	c #Conflicts:     912000 | #Constraints:     659561
2678.94/2689.06	c #Conflicts:     913000 | #Constraints:     660561
2678.94/2689.06	c #Conflicts:     914000 | #Constraints:     661561
2678.94/2689.06	c #Conflicts:     915000 | #Constraints:     662561
2678.94/2689.06	c #Conflicts:     916000 | #Constraints:     663561
2678.94/2689.06	c #Conflicts:     917000 | #Constraints:     664561
2678.94/2689.06	c #Conflicts:     918000 | #Constraints:     665561
2678.94/2689.06	c #Conflicts:     919000 | #Constraints:     666561
2678.94/2689.06	c #Conflicts:     920000 | #Constraints:     667561
2678.94/2689.06	c #Conflicts:     921000 | #Constraints:     668561
2678.94/2689.06	c #Conflicts:     922000 | #Constraints:     669561
2678.94/2689.06	c #Conflicts:     923000 | #Constraints:     670561
2678.94/2689.06	c #Conflicts:     924000 | #Constraints:     671561
2678.94/2689.06	c #Conflicts:     925000 | #Constraints:     672561
2678.94/2689.06	c #Conflicts:     926000 | #Constraints:     673561
2678.94/2689.06	c #Conflicts:     927000 | #Constraints:     674561
2678.94/2689.06	c #Conflicts:     928000 | #Constraints:     675561
2678.94/2689.06	c #Conflicts:     929000 | #Constraints:     676561
2678.94/2689.06	c #Conflicts:     930000 | #Constraints:     677561
2678.94/2689.06	c #Conflicts:     931000 | #Constraints:     678561
2678.94/2689.06	c #Conflicts:     932000 | #Constraints:     679561
2678.94/2689.06	c #Conflicts:     933000 | #Constraints:     680561
2678.94/2689.06	c #Conflicts:     934000 | #Constraints:     681561
2678.94/2689.06	c #Conflicts:     935000 | #Constraints:     682561
2678.94/2689.06	c #Conflicts:     936000 | #Constraints:     683561
2678.94/2689.06	c #Conflicts:     937000 | #Constraints:     684561
2678.94/2689.06	c #Conflicts:     938000 | #Constraints:     685561
2678.94/2689.06	c #Conflicts:     939000 | #Constraints:     686561
2678.94/2689.06	c #Conflicts:     940000 | #Constraints:     687561
2678.94/2689.06	c #Conflicts:     941000 | #Constraints:     688561
2678.94/2689.06	c #Conflicts:     942000 | #Constraints:     689561
2678.94/2689.06	c #Conflicts:     943000 | #Constraints:     690561
2678.94/2689.06	c #Conflicts:     944000 | #Constraints:     691561
2678.94/2689.06	c #Conflicts:     945000 | #Constraints:     692561
2678.94/2689.06	c #Conflicts:     946000 | #Constraints:     693561
2678.94/2689.06	c #Conflicts:     947000 | #Constraints:     694561
2678.94/2689.06	c #Conflicts:     948000 | #Constraints:     695561
2678.94/2689.06	c #Conflicts:     949000 | #Constraints:     696561
2678.94/2689.06	c #Conflicts:     950000 | #Constraints:     697561
2678.94/2689.06	c #Conflicts:     951000 | #Constraints:     698561
2678.94/2689.06	c #Conflicts:     952000 | #Constraints:     699561
2678.94/2689.06	c #Conflicts:     953000 | #Constraints:     700561
2678.94/2689.06	c #Conflicts:     954000 | #Constraints:     701561
2678.94/2689.06	c #Conflicts:     955000 | #Constraints:     702561
2678.94/2689.06	c #Conflicts:     956000 | #Constraints:     703561
2678.94/2689.06	c #Conflicts:     957000 | #Constraints:     704561
2678.94/2689.06	c #Conflicts:     958000 | #Constraints:     705561
2678.94/2689.06	c #Conflicts:     959000 | #Constraints:     706561
2678.94/2689.06	c #Conflicts:     960000 | #Constraints:     707561
2678.94/2689.06	c #Conflicts:     961000 | #Constraints:     708561
2678.94/2689.06	c #Conflicts:     962000 | #Constraints:     709561
2678.94/2689.06	c #Conflicts:     963000 | #Constraints:     710561
2678.94/2689.06	c #Conflicts:     964000 | #Constraints:     711561
2678.94/2689.06	c INPROCESSING
2678.94/2689.06	c GARBAGE COLLECT
2678.94/2689.06	c rational objective 5585.89
2809.68/2820.22	c #Conflicts:     965000 | #Constraints:     655172
2809.68/2820.22	c #Conflicts:     966000 | #Constraints:     656172
2809.68/2820.22	c #Conflicts:     967000 | #Constraints:     657172
2809.68/2820.22	c #Conflicts:     968000 | #Constraints:     658172
2809.68/2820.22	c #Conflicts:     969000 | #Constraints:     659172
2809.68/2820.22	c #Conflicts:     970000 | #Constraints:     660172
2809.68/2820.22	c #Conflicts:     971000 | #Constraints:     661172
2809.68/2820.22	c #Conflicts:     972000 | #Constraints:     662172
2809.68/2820.22	c #Conflicts:     973000 | #Constraints:     663172
2809.68/2820.22	c #Conflicts:     974000 | #Constraints:     664172
2809.68/2820.22	c #Conflicts:     975000 | #Constraints:     665172
2809.68/2820.22	c #Conflicts:     976000 | #Constraints:     666172
2809.68/2820.22	c #Conflicts:     977000 | #Constraints:     667172
2809.68/2820.22	c #Conflicts:     978000 | #Constraints:     668172
2809.68/2820.22	c #Conflicts:     979000 | #Constraints:     669172
2809.68/2820.22	c #Conflicts:     980000 | #Constraints:     670172
2809.68/2820.22	c #Conflicts:     981000 | #Constraints:     671172
2809.68/2820.22	c #Conflicts:     982000 | #Constraints:     672172
2809.68/2820.22	c #Conflicts:     983000 | #Constraints:     673172
2809.68/2820.22	c #Conflicts:     984000 | #Constraints:     674172
2809.68/2820.22	c #Conflicts:     985000 | #Constraints:     675172
2809.68/2820.22	c #Conflicts:     986000 | #Constraints:     676172
2809.68/2820.22	c #Conflicts:     987000 | #Constraints:     677172
2809.68/2820.22	c #Conflicts:     988000 | #Constraints:     678172
2809.68/2820.22	c #Conflicts:     989000 | #Constraints:     679172
2809.68/2820.22	c #Conflicts:     990000 | #Constraints:     680172
2809.68/2820.22	c #Conflicts:     991000 | #Constraints:     681172
2809.68/2820.22	c #Conflicts:     992000 | #Constraints:     682172
2809.68/2820.22	c #Conflicts:     993000 | #Constraints:     683172
2809.68/2820.22	c #Conflicts:     994000 | #Constraints:     684172
2809.68/2820.22	c #Conflicts:     995000 | #Constraints:     685172
2809.68/2820.22	c #Conflicts:     996000 | #Constraints:     686172
2809.68/2820.22	c #Conflicts:     997000 | #Constraints:     687172
2809.68/2820.22	c #Conflicts:     998000 | #Constraints:     688172
2809.68/2820.22	c #Conflicts:     999000 | #Constraints:     689172
2809.68/2820.22	c #Conflicts:    1000000 | #Constraints:     690172
2809.68/2820.22	c #Conflicts:    1001000 | #Constraints:     691172
2809.68/2820.22	c #Conflicts:    1002000 | #Constraints:     692172
2809.68/2820.22	c #Conflicts:    1003000 | #Constraints:     693172
2809.68/2820.22	c #Conflicts:    1004000 | #Constraints:     694172
2809.68/2820.22	c #Conflicts:    1005000 | #Constraints:     695172
2809.68/2820.22	c #Conflicts:    1006000 | #Constraints:     696172
2809.68/2820.22	c #Conflicts:    1007000 | #Constraints:     697172
2809.68/2820.22	c #Conflicts:    1008000 | #Constraints:     698172
2809.68/2820.22	c #Conflicts:    1009000 | #Constraints:     699172
2809.68/2820.22	c #Conflicts:    1010000 | #Constraints:     700172
2809.68/2820.22	c #Conflicts:    1011000 | #Constraints:     701172
2809.68/2820.22	c #Conflicts:    1012000 | #Constraints:     702172
2809.68/2820.22	c #Conflicts:    1013000 | #Constraints:     703172
2809.68/2820.22	c #Conflicts:    1014000 | #Constraints:     704172
2809.68/2820.22	c #Conflicts:    1015000 | #Constraints:     705172
2809.68/2820.22	c #Conflicts:    1016000 | #Constraints:     706172
2809.68/2820.22	c #Conflicts:    1017000 | #Constraints:     707172
2809.68/2820.22	c #Conflicts:    1018000 | #Constraints:     708172
2809.68/2820.22	c #Conflicts:    1019000 | #Constraints:     709172
2809.68/2820.22	c #Conflicts:    1020000 | #Constraints:     710172
2809.68/2820.22	c #Conflicts:    1021000 | #Constraints:     711172
2809.68/2820.22	c #Conflicts:    1022000 | #Constraints:     712172
2809.68/2820.22	c #Conflicts:    1023000 | #Constraints:     713172
2809.68/2820.22	c #Conflicts:    1024000 | #Constraints:     714172
2809.68/2820.22	c #Conflicts:    1025000 | #Constraints:     715172
2809.68/2820.22	c #Conflicts:    1026000 | #Constraints:     716172
2809.68/2820.22	c #Conflicts:    1027000 | #Constraints:     717172
2809.68/2820.22	c INPROCESSING
2809.68/2820.22	c GARBAGE COLLECT
2809.68/2820.22	c rational objective 5628.32
3040.54/3051.97	c #Conflicts:    1028000 | #Constraints:     656696
3040.54/3051.97	c #Conflicts:    1029000 | #Constraints:     657696
3040.54/3051.97	c #Conflicts:    1030000 | #Constraints:     658696
3040.54/3051.97	c #Conflicts:    1031000 | #Constraints:     659696
3040.54/3051.97	c #Conflicts:    1032000 | #Constraints:     660696
3040.54/3051.97	c #Conflicts:    1033000 | #Constraints:     661696
3040.54/3051.97	c #Conflicts:    1034000 | #Constraints:     662696
3040.54/3051.97	c #Conflicts:    1035000 | #Constraints:     663696
3040.54/3051.97	c #Conflicts:    1036000 | #Constraints:     664696
3040.54/3051.97	c #Conflicts:    1037000 | #Constraints:     665696
3040.54/3051.97	c #Conflicts:    1038000 | #Constraints:     666696
3040.54/3051.97	c #Conflicts:    1039000 | #Constraints:     667696
3040.54/3051.97	c #Conflicts:    1040000 | #Constraints:     668696
3040.54/3051.97	c #Conflicts:    1041000 | #Constraints:     669696
3040.54/3051.97	c #Conflicts:    1042000 | #Constraints:     670696
3040.54/3051.97	c #Conflicts:    1043000 | #Constraints:     671696
3040.54/3051.97	c #Conflicts:    1044000 | #Constraints:     672696
3040.54/3051.97	c #Conflicts:    1045000 | #Constraints:     673696
3040.54/3051.97	c #Conflicts:    1046000 | #Constraints:     674696
3040.54/3051.97	c #Conflicts:    1047000 | #Constraints:     675696
3040.54/3051.97	c #Conflicts:    1048000 | #Constraints:     676696
3040.54/3051.97	c #Conflicts:    1049000 | #Constraints:     677696
3040.54/3051.97	c #Conflicts:    1050000 | #Constraints:     678696
3040.54/3051.97	c #Conflicts:    1051000 | #Constraints:     679696
3040.54/3051.97	c #Conflicts:    1052000 | #Constraints:     680696
3040.54/3051.97	c #Conflicts:    1053000 | #Constraints:     681696
3040.54/3051.97	c #Conflicts:    1054000 | #Constraints:     682696
3040.54/3051.97	c #Conflicts:    1055000 | #Constraints:     683696
3040.54/3051.97	c #Conflicts:    1056000 | #Constraints:     684696
3040.54/3051.97	c #Conflicts:    1057000 | #Constraints:     685696
3040.54/3051.97	c #Conflicts:    1058000 | #Constraints:     686696
3040.54/3051.97	c #Conflicts:    1059000 | #Constraints:     687696
3040.54/3051.97	c #Conflicts:    1060000 | #Constraints:     688696
3040.54/3051.97	c #Conflicts:    1061000 | #Constraints:     689696
3040.54/3051.97	c #Conflicts:    1062000 | #Constraints:     690696
3040.54/3051.97	c #Conflicts:    1063000 | #Constraints:     691696
3040.54/3051.97	c #Conflicts:    1064000 | #Constraints:     692696
3040.54/3051.97	c #Conflicts:    1065000 | #Constraints:     693696
3040.54/3051.97	c #Conflicts:    1066000 | #Constraints:     694696
3040.54/3051.97	c #Conflicts:    1067000 | #Constraints:     695696
3040.54/3051.97	c #Conflicts:    1068000 | #Constraints:     696696
3040.54/3051.97	c #Conflicts:    1069000 | #Constraints:     697696
3040.54/3051.97	c #Conflicts:    1070000 | #Constraints:     698696
3040.54/3051.97	c #Conflicts:    1071000 | #Constraints:     699696
3040.54/3051.97	c #Conflicts:    1072000 | #Constraints:     700696
3040.54/3051.97	c #Conflicts:    1073000 | #Constraints:     701696
3040.54/3051.97	c #Conflicts:    1074000 | #Constraints:     702696
3040.54/3051.97	c #Conflicts:    1075000 | #Constraints:     703696
3040.54/3051.97	c #Conflicts:    1076000 | #Constraints:     704696
3040.54/3051.97	c #Conflicts:    1077000 | #Constraints:     705696
3040.54/3051.97	c #Conflicts:    1078000 | #Constraints:     706696
3040.54/3051.97	c #Conflicts:    1079000 | #Constraints:     707696
3040.54/3051.97	c #Conflicts:    1080000 | #Constraints:     708696
3040.54/3051.97	c #Conflicts:    1081000 | #Constraints:     709696
3040.54/3051.97	c #Conflicts:    1082000 | #Constraints:     710696
3040.54/3051.97	c #Conflicts:    1083000 | #Constraints:     711696
3040.54/3051.97	c #Conflicts:    1084000 | #Constraints:     712696
3040.54/3051.97	c #Conflicts:    1085000 | #Constraints:     713696
3040.54/3051.97	c #Conflicts:    1086000 | #Constraints:     714696
3040.54/3051.97	c #Conflicts:    1087000 | #Constraints:     715696
3040.54/3051.97	c #Conflicts:    1088000 | #Constraints:     716696
3040.54/3051.97	c #Conflicts:    1089000 | #Constraints:     717696
3040.54/3051.97	c #Conflicts:    1090000 | #Constraints:     718696
3040.54/3051.97	c #Conflicts:    1091000 | #Constraints:     719696
3040.54/3051.97	c #Conflicts:    1092000 | #Constraints:     720696
3040.54/3051.97	c INPROCESSING
3040.54/3051.97	c GARBAGE COLLECT
3040.54/3051.97	c rational objective 5766.2
3173.15/3185.06	c #Conflicts:    1093000 | #Constraints:     650960
3173.15/3185.06	c #Conflicts:    1094000 | #Constraints:     651960
3173.15/3185.06	c #Conflicts:    1095000 | #Constraints:     652960
3173.15/3185.06	c #Conflicts:    1096000 | #Constraints:     653960
3173.15/3185.06	c #Conflicts:    1097000 | #Constraints:     654960
3173.15/3185.06	c #Conflicts:    1098000 | #Constraints:     655960
3173.15/3185.06	c #Conflicts:    1099000 | #Constraints:     656960
3173.15/3185.06	c #Conflicts:    1100000 | #Constraints:     657960
3173.15/3185.06	c #Conflicts:    1101000 | #Constraints:     658960
3173.15/3185.06	c #Conflicts:    1102000 | #Constraints:     659960
3173.15/3185.06	c #Conflicts:    1103000 | #Constraints:     660960
3173.15/3185.06	c #Conflicts:    1104000 | #Constraints:     661960
3173.15/3185.06	c #Conflicts:    1105000 | #Constraints:     662960
3173.15/3185.06	c #Conflicts:    1106000 | #Constraints:     663960
3173.15/3185.06	c #Conflicts:    1107000 | #Constraints:     664960
3173.15/3185.06	c #Conflicts:    1108000 | #Constraints:     665960
3173.15/3185.06	c #Conflicts:    1109000 | #Constraints:     666960
3173.15/3185.06	c #Conflicts:    1110000 | #Constraints:     667960
3173.15/3185.06	c #Conflicts:    1111000 | #Constraints:     668960
3173.15/3185.06	c #Conflicts:    1112000 | #Constraints:     669960
3173.15/3185.06	c #Conflicts:    1113000 | #Constraints:     670960
3173.15/3185.06	c #Conflicts:    1114000 | #Constraints:     671960
3173.15/3185.06	c #Conflicts:    1115000 | #Constraints:     672960
3173.15/3185.06	c #Conflicts:    1116000 | #Constraints:     673960
3173.15/3185.06	c #Conflicts:    1117000 | #Constraints:     674960
3173.15/3185.06	c #Conflicts:    1118000 | #Constraints:     675960
3173.15/3185.06	c #Conflicts:    1119000 | #Constraints:     676960
3173.15/3185.06	c #Conflicts:    1120000 | #Constraints:     677960
3173.15/3185.06	c #Conflicts:    1121000 | #Constraints:     678960
3173.15/3185.06	c #Conflicts:    1122000 | #Constraints:     679960
3173.15/3185.06	c #Conflicts:    1123000 | #Constraints:     680960
3173.15/3185.06	c #Conflicts:    1124000 | #Constraints:     681960
3173.15/3185.06	c #Conflicts:    1125000 | #Constraints:     682960
3173.15/3185.06	c #Conflicts:    1126000 | #Constraints:     683960
3173.15/3185.06	c #Conflicts:    1127000 | #Constraints:     684960
3173.15/3185.06	c #Conflicts:    1128000 | #Constraints:     685960
3173.15/3185.06	c #Conflicts:    1129000 | #Constraints:     686960
3173.15/3185.06	c #Conflicts:    1130000 | #Constraints:     687960
3173.15/3185.06	c #Conflicts:    1131000 | #Constraints:     688960
3173.15/3185.06	c #Conflicts:    1132000 | #Constraints:     689960
3173.15/3185.06	c #Conflicts:    1133000 | #Constraints:     690960
3173.15/3185.06	c #Conflicts:    1134000 | #Constraints:     691960
3173.15/3185.06	c #Conflicts:    1135000 | #Constraints:     692960
3173.15/3185.06	c #Conflicts:    1136000 | #Constraints:     693960
3173.15/3185.06	c #Conflicts:    1137000 | #Constraints:     694960
3173.15/3185.06	c #Conflicts:    1138000 | #Constraints:     695960
3173.15/3185.06	c #Conflicts:    1139000 | #Constraints:     696960
3173.15/3185.06	c #Conflicts:    1140000 | #Constraints:     697960
3173.15/3185.06	c #Conflicts:    1141000 | #Constraints:     698960
3173.15/3185.06	c #Conflicts:    1142000 | #Constraints:     699960
3173.15/3185.06	c #Conflicts:    1143000 | #Constraints:     700960
3173.15/3185.06	c #Conflicts:    1144000 | #Constraints:     701960
3173.15/3185.06	c #Conflicts:    1145000 | #Constraints:     702960
3173.15/3185.06	c #Conflicts:    1146000 | #Constraints:     703960
3173.15/3185.06	c #Conflicts:    1147000 | #Constraints:     704960
3173.15/3185.06	c #Conflicts:    1148000 | #Constraints:     705960
3173.15/3185.06	c #Conflicts:    1149000 | #Constraints:     706960
3173.15/3185.06	c #Conflicts:    1150000 | #Constraints:     707960
3173.15/3185.06	c #Conflicts:    1151000 | #Constraints:     708960
3173.15/3185.06	c #Conflicts:    1152000 | #Constraints:     709960
3173.15/3185.06	c #Conflicts:    1153000 | #Constraints:     710960
3173.15/3185.06	c #Conflicts:    1154000 | #Constraints:     711960
3173.15/3185.06	c #Conflicts:    1155000 | #Constraints:     712960
3173.15/3185.06	c #Conflicts:    1156000 | #Constraints:     713960
3173.15/3185.06	c #Conflicts:    1157000 | #Constraints:     714960
3173.15/3185.06	c #Conflicts:    1158000 | #Constraints:     715960
3173.15/3185.06	c #Conflicts:    1159000 | #Constraints:     716960
3173.15/3185.06	c INPROCESSING
3173.15/3185.06	c GARBAGE COLLECT
3173.15/3185.06	c rational objective 5774.62
3325.87/3338.31	c #Conflicts:    1160000 | #Constraints:     654036
3325.87/3338.31	c #Conflicts:    1161000 | #Constraints:     655036
3325.87/3338.31	c #Conflicts:    1162000 | #Constraints:     656036
3325.87/3338.31	c #Conflicts:    1163000 | #Constraints:     657036
3325.87/3338.31	c #Conflicts:    1164000 | #Constraints:     658036
3325.87/3338.31	c #Conflicts:    1165000 | #Constraints:     659036
3325.87/3338.31	c #Conflicts:    1166000 | #Constraints:     660036
3325.87/3338.31	c #Conflicts:    1167000 | #Constraints:     661036
3325.87/3338.31	c #Conflicts:    1168000 | #Constraints:     662036
3325.87/3338.31	c #Conflicts:    1169000 | #Constraints:     663036
3325.87/3338.31	c #Conflicts:    1170000 | #Constraints:     664036
3325.87/3338.31	c #Conflicts:    1171000 | #Constraints:     665036
3325.87/3338.31	c #Conflicts:    1172000 | #Constraints:     666036
3325.87/3338.31	c #Conflicts:    1173000 | #Constraints:     667036
3325.87/3338.31	c #Conflicts:    1174000 | #Constraints:     668036
3325.87/3338.31	c #Conflicts:    1175000 | #Constraints:     669036
3325.87/3338.31	c #Conflicts:    1176000 | #Constraints:     670036
3325.87/3338.31	c #Conflicts:    1177000 | #Constraints:     671036
3325.87/3338.31	c #Conflicts:    1178000 | #Constraints:     672036
3325.87/3338.31	c #Conflicts:    1179000 | #Constraints:     673036
3325.87/3338.31	c #Conflicts:    1180000 | #Constraints:     674036
3325.87/3338.31	c #Conflicts:    1181000 | #Constraints:     675036
3325.87/3338.31	c #Conflicts:    1182000 | #Constraints:     676036
3325.87/3338.31	c #Conflicts:    1183000 | #Constraints:     677036
3325.87/3338.31	c #Conflicts:    1184000 | #Constraints:     678036
3325.87/3338.31	c #Conflicts:    1185000 | #Constraints:     679036
3325.87/3338.31	c #Conflicts:    1186000 | #Constraints:     680036
3325.87/3338.31	c #Conflicts:    1187000 | #Constraints:     681036
3325.87/3338.31	c #Conflicts:    1188000 | #Constraints:     682036
3325.87/3338.31	c #Conflicts:    1189000 | #Constraints:     683036
3325.87/3338.31	c #Conflicts:    1190000 | #Constraints:     684036
3325.87/3338.31	c #Conflicts:    1191000 | #Constraints:     685036
3325.87/3338.31	c #Conflicts:    1192000 | #Constraints:     686036
3325.87/3338.31	c #Conflicts:    1193000 | #Constraints:     687036
3325.87/3338.31	c #Conflicts:    1194000 | #Constraints:     688036
3325.87/3338.31	c #Conflicts:    1195000 | #Constraints:     689036
3325.87/3338.31	c #Conflicts:    1196000 | #Constraints:     690036
3325.87/3338.31	c #Conflicts:    1197000 | #Constraints:     691036
3325.87/3338.31	c #Conflicts:    1198000 | #Constraints:     692036
3325.87/3338.31	c #Conflicts:    1199000 | #Constraints:     693036
3325.87/3338.31	c #Conflicts:    1200000 | #Constraints:     694036
3325.87/3338.31	c #Conflicts:    1201000 | #Constraints:     695036
3325.87/3338.31	c #Conflicts:    1202000 | #Constraints:     696036
3325.87/3338.31	c #Conflicts:    1203000 | #Constraints:     697036
3325.87/3338.31	c #Conflicts:    1204000 | #Constraints:     698036
3325.87/3338.31	c #Conflicts:    1205000 | #Constraints:     699036
3325.87/3338.31	c #Conflicts:    1206000 | #Constraints:     700036
3325.87/3338.31	c #Conflicts:    1207000 | #Constraints:     701036
3325.87/3338.31	c #Conflicts:    1208000 | #Constraints:     702036
3325.87/3338.31	c #Conflicts:    1209000 | #Constraints:     703036
3325.87/3338.31	c #Conflicts:    1210000 | #Constraints:     704036
3325.87/3338.31	c #Conflicts:    1211000 | #Constraints:     705036
3325.87/3338.31	c #Conflicts:    1212000 | #Constraints:     706036
3325.87/3338.31	c #Conflicts:    1213000 | #Constraints:     707036
3325.87/3338.31	c #Conflicts:    1214000 | #Constraints:     708036
3325.87/3338.31	c #Conflicts:    1215000 | #Constraints:     709036
3325.87/3338.31	c #Conflicts:    1216000 | #Constraints:     710036
3325.87/3338.31	c #Conflicts:    1217000 | #Constraints:     711036
3325.87/3338.31	c #Conflicts:    1218000 | #Constraints:     712036
3325.87/3338.31	c #Conflicts:    1219000 | #Constraints:     713036
3325.87/3338.31	c #Conflicts:    1220000 | #Constraints:     714036
3325.87/3338.31	c #Conflicts:    1221000 | #Constraints:     715036
3325.87/3338.31	c #Conflicts:    1222000 | #Constraints:     716036
3325.87/3338.31	c #Conflicts:    1223000 | #Constraints:     717036
3325.87/3338.31	c #Conflicts:    1224000 | #Constraints:     718036
3325.87/3338.31	c #Conflicts:    1225000 | #Constraints:     719036
3325.87/3338.31	c #Conflicts:    1226000 | #Constraints:     720036
3325.87/3338.31	c #Conflicts:    1227000 | #Constraints:     721036
3325.87/3338.31	c #Conflicts:    1228000 | #Constraints:     722036
3325.87/3338.31	c INPROCESSING
3325.87/3338.31	c GARBAGE COLLECT
3325.87/3338.31	c rational objective 5778.94
3511.27/3524.41	c #Conflicts:    1229000 | #Constraints:     657870
3511.27/3524.41	c #Conflicts:    1230000 | #Constraints:     658870
3511.27/3524.41	c #Conflicts:    1231000 | #Constraints:     659870
3511.27/3524.41	c #Conflicts:    1232000 | #Constraints:     660870
3511.27/3524.41	c #Conflicts:    1233000 | #Constraints:     661870
3511.27/3524.41	c #Conflicts:    1234000 | #Constraints:     662870
3511.27/3524.41	c #Conflicts:    1235000 | #Constraints:     663870
3511.27/3524.41	c #Conflicts:    1236000 | #Constraints:     664870
3511.27/3524.41	c #Conflicts:    1237000 | #Constraints:     665870
3511.27/3524.41	c #Conflicts:    1238000 | #Constraints:     666870
3511.27/3524.41	c #Conflicts:    1239000 | #Constraints:     667870
3511.27/3524.41	c #Conflicts:    1240000 | #Constraints:     668870
3511.27/3524.41	c #Conflicts:    1241000 | #Constraints:     669870
3511.27/3524.41	c #Conflicts:    1242000 | #Constraints:     670870
3511.27/3524.41	c #Conflicts:    1243000 | #Constraints:     671870
3511.27/3524.41	c #Conflicts:    1244000 | #Constraints:     672870
3511.27/3524.41	c #Conflicts:    1245000 | #Constraints:     673870
3511.27/3524.41	c #Conflicts:    1246000 | #Constraints:     674870
3511.27/3524.41	c #Conflicts:    1247000 | #Constraints:     675870
3511.27/3524.41	c #Conflicts:    1248000 | #Constraints:     676870
3511.27/3524.41	c #Conflicts:    1249000 | #Constraints:     677870
3511.27/3524.41	c #Conflicts:    1250000 | #Constraints:     678870
3511.27/3524.41	c #Conflicts:    1251000 | #Constraints:     679870
3511.27/3524.41	c #Conflicts:    1252000 | #Constraints:     680870
3511.27/3524.41	c #Conflicts:    1253000 | #Constraints:     681870
3511.27/3524.41	c #Conflicts:    1254000 | #Constraints:     682870
3511.27/3524.41	c #Conflicts:    1255000 | #Constraints:     683870
3511.27/3524.41	c #Conflicts:    1256000 | #Constraints:     684870
3511.27/3524.41	c #Conflicts:    1257000 | #Constraints:     685870
3511.27/3524.41	c #Conflicts:    1258000 | #Constraints:     686870
3511.27/3524.41	c #Conflicts:    1259000 | #Constraints:     687870
3511.27/3524.41	c #Conflicts:    1260000 | #Constraints:     688870
3511.27/3524.41	c #Conflicts:    1261000 | #Constraints:     689870
3511.27/3524.41	c #Conflicts:    1262000 | #Constraints:     690870
3511.27/3524.41	c #Conflicts:    1263000 | #Constraints:     691870
3511.27/3524.41	c #Conflicts:    1264000 | #Constraints:     692870
3511.27/3524.41	c #Conflicts:    1265000 | #Constraints:     693870
3511.27/3524.41	c #Conflicts:    1266000 | #Constraints:     694870
3511.27/3524.41	c #Conflicts:    1267000 | #Constraints:     695870
3511.27/3524.41	c #Conflicts:    1268000 | #Constraints:     696870
3511.27/3524.41	c #Conflicts:    1269000 | #Constraints:     697870
3511.27/3524.41	c #Conflicts:    1270000 | #Constraints:     698870
3511.27/3524.41	c #Conflicts:    1271000 | #Constraints:     699870
3511.27/3524.41	c #Conflicts:    1272000 | #Constraints:     700870
3511.27/3524.41	c #Conflicts:    1273000 | #Constraints:     701870
3511.27/3524.41	c #Conflicts:    1274000 | #Constraints:     702870
3511.27/3524.41	c #Conflicts:    1275000 | #Constraints:     703870
3511.27/3524.41	c #Conflicts:    1276000 | #Constraints:     704870
3511.27/3524.41	c #Conflicts:    1277000 | #Constraints:     705870
3511.27/3524.41	c #Conflicts:    1278000 | #Constraints:     706870
3511.27/3524.41	c #Conflicts:    1279000 | #Constraints:     707870
3511.27/3524.41	c #Conflicts:    1280000 | #Constraints:     708870
3511.27/3524.41	c #Conflicts:    1281000 | #Constraints:     709870
3511.27/3524.41	c #Conflicts:    1282000 | #Constraints:     710870
3511.27/3524.41	c #Conflicts:    1283000 | #Constraints:     711870
3511.27/3524.41	c #Conflicts:    1284000 | #Constraints:     712870
3511.27/3524.41	c #Conflicts:    1285000 | #Constraints:     713870
3511.27/3524.41	c #Conflicts:    1286000 | #Constraints:     714870
3511.27/3524.41	c #Conflicts:    1287000 | #Constraints:     715870
3511.27/3524.41	c #Conflicts:    1288000 | #Constraints:     716870
3511.27/3524.41	c #Conflicts:    1289000 | #Constraints:     717870
3511.27/3524.41	c #Conflicts:    1290000 | #Constraints:     718870
3511.27/3524.41	c #Conflicts:    1291000 | #Constraints:     719870
3511.27/3524.41	c #Conflicts:    1292000 | #Constraints:     720870
3511.27/3524.41	c #Conflicts:    1293000 | #Constraints:     721870
3511.27/3524.41	c #Conflicts:    1294000 | #Constraints:     722870
3511.27/3524.41	c #Conflicts:    1295000 | #Constraints:     723870
3511.27/3524.41	c #Conflicts:    1296000 | #Constraints:     724870
3511.27/3524.41	c #Conflicts:    1297000 | #Constraints:     725870
3511.27/3524.41	c #Conflicts:    1298000 | #Constraints:     726870
3511.27/3524.41	c #Conflicts:    1299000 | #Constraints:     727870
3511.27/3524.41	c INPROCESSING
3511.27/3524.41	c GARBAGE COLLECT
3511.27/3524.41	c rational objective 5954.25
3600.04/3613.50	c #Conflicts:    1300000 | #Constraints:     649624
3600.04/3613.50	c #Conflicts:    1301000 | #Constraints:     650624
3600.04/3613.50	c #Conflicts:    1302000 | #Constraints:     651624
3600.04/3613.50	c #Conflicts:    1303000 | #Constraints:     652624
3600.04/3613.50	c #Conflicts:    1304000 | #Constraints:     653624
3600.04/3613.50	c #Conflicts:    1305000 | #Constraints:     654624
3600.04/3613.50	c #Conflicts:    1306000 | #Constraints:     655624
3600.04/3613.50	c #Conflicts:    1307000 | #Constraints:     656624
3600.04/3613.50	c #Conflicts:    1308000 | #Constraints:     657624
3600.04/3613.50	c #Conflicts:    1309000 | #Constraints:     658624
3600.04/3613.50	c #Conflicts:    1310000 | #Constraints:     659624
3600.04/3613.50	c #Conflicts:    1311000 | #Constraints:     660624
3600.04/3613.50	c #Conflicts:    1312000 | #Constraints:     661624
3600.04/3613.50	c #Conflicts:    1313000 | #Constraints:     662624
3600.04/3613.50	c #Conflicts:    1314000 | #Constraints:     663624
3600.04/3613.50	c #Conflicts:    1315000 | #Constraints:     664624
3600.04/3613.50	c #Conflicts:    1316000 | #Constraints:     665624
3600.04/3613.50	c #Conflicts:    1317000 | #Constraints:     666624
3600.04/3613.50	c #Conflicts:    1318000 | #Constraints:     667624
3600.04/3613.50	c #Conflicts:    1319000 | #Constraints:     668624
3600.04/3613.50	c #Conflicts:    1320000 | #Constraints:     669624
3600.04/3613.50	c #Conflicts:    1321000 | #Constraints:     670624
3600.04/3613.50	c #Conflicts:    1322000 | #Constraints:     671624
3600.04/3613.50	c #Conflicts:    1323000 | #Constraints:     672624
3600.04/3613.50	c #Conflicts:    1324000 | #Constraints:     673624
3600.04/3613.50	c #Conflicts:    1325000 | #Constraints:     674624
3600.04/3613.50	c #Conflicts:    1326000 | #Constraints:     675624
3600.04/3613.50	c #Conflicts:    1327000 | #Constraints:     676624
3600.04/3613.50	c #Conflicts:    1328000 | #Constraints:     677624
3600.04/3613.50	c #Conflicts:    1329000 | #Constraints:     678624
3600.04/3613.50	c #Conflicts:    1330000 | #Constraints:     679624
3600.04/3613.50	c #Conflicts:    1331000 | #Constraints:     680624
3600.04/3613.50	c #Conflicts:    1332000 | #Constraints:     681624
3600.04/3613.50	c #Conflicts:    1333000 | #Constraints:     682624
3600.04/3613.50	c #Conflicts:    1334000 | #Constraints:     683624
3600.04/3613.50	c #Conflicts:    1335000 | #Constraints:     684624
3600.04/3613.50	c #Conflicts:    1336000 | #Constraints:     685624
3600.04/3613.50	c #Conflicts:    1337000 | #Constraints:     686624
3600.04/3613.50	c #Conflicts:    1338000 | #Constraints:     687624
3600.04/3613.50	c #Conflicts:    1339000 | #Constraints:     688624
3600.04/3613.50	c #Conflicts:    1340000 | #Constraints:     689624
3600.04/3613.50	c #Conflicts:    1341000 | #Constraints:     690624
3600.04/3613.50	c #Conflicts:    1342000 | #Constraints:     691624
3600.04/3613.50	c #Conflicts:    1343000 | #Constraints:     692624
3600.04/3613.50	c #Conflicts:    1344000 | #Constraints:     693624
3600.04/3613.50	c #Conflicts:    1345000 | #Constraints:     694624
3600.04/3613.50	c #Conflicts:    1346000 | #Constraints:     695624
3600.04/3613.50	c #Conflicts:    1347000 | #Constraints:     696624
3600.04/3613.50	c Program interrupted by user.
3600.04/3613.52	c cpu time 3559.4 s
3600.04/3613.52	c deterministic time 15399727914 1.54e+10
3600.04/3613.52	c optimization time 87.2329 s
3600.04/3613.52	c total solve time 3468.62 s
3600.04/3613.52	c core-guided solve time 0 s
3600.04/3613.52	c propagation time 1878.59 s
3600.04/3613.52	c conflict analysis time 69.2201 s
3600.04/3613.52	c propagations 337617370
3600.04/3613.52	c resolve steps 14424754
3600.04/3613.52	c decisions 25454852
3600.04/3613.52	c conflicts 1347768
3600.04/3613.52	c restarts 2557
3600.04/3613.52	c inprocessing phases 36
3600.04/3613.52	c input clauses 638824
3600.04/3613.52	c input cardinalities 2627
3600.04/3613.52	c input general constraints 82425
3600.04/3613.52	c input average constraint length 3.97
3600.04/3613.52	c input average constraint degree 1.13
3600.04/3613.52	c learned clauses 1345436
3600.04/3613.52	c learned cardinalities 1852
3600.04/3613.52	c learned general constraints 479
3600.04/3613.52	c learned average constraint length 150.58
3600.04/3613.52	c learned average constraint degree 1.02
3600.04/3613.52	c watched constraints 413
3600.04/3613.52	c counting constraints 82491
3600.04/3613.52	c gcd simplifications 2025
3600.04/3613.52	c detected cardinalities 27
3600.04/3613.52	c weakened non-implied lits 1146078
3600.04/3613.52	c weakened non-implying lits 2825
3600.04/3613.52	c original variables 35834
3600.04/3613.52	c clausal propagations 312321687
3600.04/3613.52	c cardinality propagations 4137899
3600.04/3613.52	c watched propagations 3371
3600.04/3613.52	c counting propagations 19784025
3600.04/3613.52	c watch lookups 3063980085
3600.04/3613.52	c watch backjump lookups 2342576906
3600.04/3613.52	c watch checks 7987765595
3600.04/3613.52	c propagation checks 836026822
3600.04/3613.52	c constraint additions 440101441
3600.04/3613.52	c trail pops 364406476
3600.04/3613.52	c formula constraints 723876
3600.04/3613.52	c learned constraints 1347767
3600.04/3613.52	c bound constraints 0
3600.04/3613.52	c core-guided constraints 0
3600.04/3613.52	c encountered formula constraints 5651370
3600.04/3613.52	c encountered learned constraints 10121152
3600.04/3613.52	c encountered bound constraints 0
3600.04/3613.52	c encountered core-guided constraints 0
3600.04/3613.52	c LP total time 3343.85 s
3600.04/3613.52	c LP solve time 3341.38 s
3600.04/3613.52	c LP constraints added 726660
3600.04/3613.52	c LP constraints removed 1984
3600.04/3613.52	c LP pivots internal 1358472
3600.04/3613.52	c LP pivots root 439894
3600.04/3613.52	c LP calls 185
3600.04/3613.52	c LP optimalities 180
3600.04/3613.52	c LP no pivot count 0
3600.04/3613.52	c LP infeasibilities 0
3600.04/3613.52	c LP valid Farkas constraints 0
3600.04/3613.52	c LP learned Farkas constraints 0
3600.04/3613.52	c LP basis resets 0
3600.04/3613.52	c LP cycling count 0
3600.04/3613.52	c LP singular count 0
3600.04/3613.52	c LP no primal count 0
3600.04/3613.52	c LP no farkas count 0
3600.04/3613.52	c LP other issue count 0
3600.04/3613.52	c LP Gomory cuts 0
3600.04/3613.52	c LP learned cuts 2784
3600.04/3613.52	c LP deleted cuts 1984
3600.04/3613.52	c LP encountered Gomory constraints 0
3600.04/3613.52	c LP encountered Farkas constraints 0
3600.04/3613.52	c LP encountered learned Farkas constraints 0
3600.04/3613.52	c CG auxiliary variables introduced 0
3600.04/3613.52	c CG solutions found 0
3600.04/3613.52	c CG cores constructed 0
3600.04/3613.52	c CG core cardinality constraints returned 0
3600.04/3613.52	c CG unit cores 0
3600.04/3613.52	c CG single cores 0
3600.04/3613.52	c CG blocks removed during cardinality reduction 0
3600.04/3613.52	c CG first core best 0
3600.04/3613.52	c CG decision core best 0
3600.04/3613.52	c CG core reduction tie 0
3600.04/3613.52	c CG core degree average 0.00
3600.04/3613.52	c CG core slack average 0.00
3600.04/3613.52	s UNKNOWN

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: 64096 MiB (61734 MiB free)
  memory of node 1: 64473 MiB (61048 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460644-1722068491/watcher-4460644-1722068491 -o /tmp/evaluation-result-4460644-1722068491/solver-4460644-1722068491 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1722064837-301306 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460644-1722068491 --lp-cut-gomory=0 HOME/instance-4460644-1722068491.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=303492, runsolver pid=303489

[startup+0.100094 s]*
/proc/loadavg: 4.07 4.10 4.04 4/248 303493
/proc/meminfo: memFree=125728576/131655788 swapFree=131058856/131071996
[pid=303492] ppid=303489 vsize=37376 memory=2580 CPUtime=0 cores=0,2
/proc/303492/stat : 303492 (roundingsat) D 303489 303492 301296 0 -1 1078198272 219 0 0 0 0 0 0 0 20 0 1 0 42839028 38273024 645 134679101440 4194304 8254357 140726810820224 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 9037040 9046032 9740288 140726810821467 140726810821729 140726810821729 140726810828745 0
/proc/303492/statm: 9344 645 589 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2580 KiB

[startup+0.213079 s]*
/proc/loadavg: 4.07 4.10 4.04 4/248 303493
/proc/meminfo: memFree=125728408/131655788 swapFree=131058856/131071996
[pid=303492] ppid=303489 vsize=37376 memory=2580 CPUtime=0 cores=0,2
/proc/303492/stat : 303492 (roundingsat) D 303489 303492 301296 0 -1 1078198272 219 0 0 0 0 0 0 0 20 0 1 0 42839028 38273024 645 134679101440 4194304 8254357 140726810820224 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 9037040 9046032 9740288 140726810821467 140726810821729 140726810821729 140726810828745 0
/proc/303492/statm: 9344 645 589 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2580 KiB

[startup+0.313237 s]*
/proc/loadavg: 4.07 4.10 4.04 4/248 303493
/proc/meminfo: memFree=125728268/131655788 swapFree=131058856/131071996
[pid=303492] ppid=303489 vsize=37376 memory=2580 CPUtime=0 cores=0,2
/proc/303492/stat : 303492 (roundingsat) D 303489 303492 301296 0 -1 1078198272 219 0 0 0 0 0 0 0 20 0 1 0 42839028 38273024 645 134679101440 4194304 8254357 140726810820224 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 9037040 9046032 9740288 140726810821467 140726810821729 140726810821729 140726810828745 0
/proc/303492/statm: 9344 645 589 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2580 KiB

[startup+0.700266 s]
/proc/loadavg: 4.06 4.10 4.04 4/248 303493
/proc/meminfo: memFree=125727660/131655788 swapFree=131058856/131071996
[pid=303492] ppid=303489 vsize=37376 memory=2580 CPUtime=0 cores=0,2
/proc/303492/stat : 303492 (roundingsat) D 303489 303492 301296 0 -1 1078198272 219 0 0 0 0 0 0 0 20 0 1 0 42839028 38273024 645 134679101440 4194304 8254357 140726810820224 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 9037040 9046032 9740288 140726810821467 140726810821729 140726810821729 140726810828745 0
/proc/303492/statm: 9344 645 589 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2580 KiB

[startup+1.50097 s]
/proc/loadavg: 4.06 4.10 4.04 4/248 303493
/proc/meminfo: memFree=125725128/131655788 swapFree=131058856/131071996
[pid=303492] ppid=303489 vsize=39024 memory=9324 CPUtime=0.3 cores=0,2
/proc/303492/stat : 303492 (roundingsat) R 303489 303492 301296 0 -1 4194304 646 0 0 0 24 6 0 0 20 0 1 0 42839028 39960576 2331 134679101440 4194304 8254357 140726810820224 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 9037040 9046032 9740288 140726810821467 140726810821729 140726810821729 140726810828745 0
/proc/303492/statm: 9756 2331 1354 992 0 1614 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 39024 KiB
Current children cumulated memory: 9324 KiB

[startup+3.11329 s]
/proc/loadavg: 4.06 4.10 4.04 5/248 303493
/proc/meminfo: memFree=125696796/131655788 swapFree=131058856/131071996
[pid=303492] ppid=303489 vsize=57700 memory=29456 CPUtime=1.9 cores=0,2
/proc/303492/stat : 303492 (roundingsat) R 303489 303492 301296 0 -1 4194304 5058 0 0 0 151 39 0 0 20 0 1 0 42839028 59084800 7364 134679101440 4194304 8254357 140726810820224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9740288 140726810821467 140726810821729 140726810821729 140726810828745 0
/proc/303492/statm: 14425 7364 1354 992 0 6283 0
Current children cumulated CPU time: 1.9 s
Current children cumulated vsize: 57700 KiB
Current children cumulated memory: 29456 KiB
heavy processes:

[startup+6.30032 s]
/proc/loadavg: 4.06 4.10 4.04 5/248 303493
/proc/meminfo: memFree=125122296/131655788 swapFree=131058856/131071996
[pid=303492] ppid=303489 vsize=513548 memory=471600 CPUtime=5.08 cores=0,2
/proc/303492/stat : 303492 (roundingsat) R 303489 303492 301296 0 -1 4194304 76671 0 0 0 406 102 0 0 20 0 1 0 42839028 525873152 117900 134679101440 4194304 8254357 140726810820224 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9740288 140726810821467 140726810821729 140726810821729 140726810828745 0
/proc/303492/statm: 128387 117900 1656 992 0 120245 0
Current children cumulated CPU time: 5.08 s
Current children cumulated vsize: 513548 KiB
Current children cumulated memory: 471600 KiB

[startup+12.7003 s]
/proc/loadavg: 4.14 4.11 4.04 5/248 303494
/proc/meminfo: memFree=125241724/131655788 swapFree=131058856/131071996
[pid=303492] ppid=303489 vsize=513548 memory=471984 CPUtime=11.46 cores=0,2
/proc/303492/stat : 303492 (roundingsat) R 303489 303492 301296 0 -1 4194304 76741 0 0 0 1014 132 0 0 20 0 1 0 42839028 525873152 117996 134679101440 4194304 8254357 140726810820224 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9740288 140726810821467 140726810821729 140726810821729 140726810828745 0
/proc/303492/statm: 128387 117996 1752 992 0 120245 0
Current children cumulated CPU time: 11.46 s
Current children cumulated vsize: 513548 KiB
Current children cumulated memory: 471984 KiB

[startup+25.5004 s]
/proc/loadavg: 4.11 4.11 4.04 5/248 303497
/proc/meminfo: memFree=125227672/131655788 swapFree=131058856/131071996
[pid=303492] ppid=303489 vsize=513548 memory=474284 CPUtime=24.2 cores=0,2
/proc/303492/stat : 303492 (roundingsat) R 303489 303492 301296 0 -1 4194304 76882 0 0 0 2221 199 0 0 20 0 1 0 42839028 525873152 118571 134679101440 4194304 8254357 140726810820224 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9740288 140726810821467 140726810821729 140726810821729 140726810828745 0
/proc/303492/statm: 128387 118571 1815 992 0 120245 0
Current children cumulated CPU time: 24.2 s
Current children cumulated vsize: 513548 KiB
Current children cumulated memory: 474284 KiB

[startup+51.114 s]
/proc/loadavg: 4.07 4.10 4.04 5/248 303548
/proc/meminfo: memFree=125134772/131655788 swapFree=131058856/131071996
[pid=303492] ppid=303489 vsize=636204 memory=521440 CPUtime=49.72 cores=0,2
/proc/303492/stat : 303492 (roundingsat) R 303489 303492 301296 0 -1 4194304 79990 0 0 0 4713 259 0 0 20 0 1 0 42839028 651472896 130360 134679101440 4194304 8254357 140726810820224 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9740288 140726810821467 140726810821729 140726810821729 140726810828745 0
/proc/303492/statm: 159051 130360 1815 992 0 150909 0
Current children cumulated CPU time: 49.72 s
Current children cumulated vsize: 636204 KiB
Current children cumulated memory: 521440 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 4.11 4.05 5/248 303556
/proc/meminfo: memFree=124280808/131655788 swapFree=131058856/131071996
[pid=303492] ppid=303489 vsize=636204 memory=521632 CPUtime=100.7 cores=0,2
/proc/303492/stat : 303492 (roundingsat) R 303489 303492 301296 0 -1 4194304 80112 0 0 0 9800 270 0 0 20 0 1 0 42839028 651472896 130408 134679101440 4194304 8254357 140726810820224 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9740288 140726810821467 140726810821729 140726810821729 140726810828745 0
/proc/303492/statm: 159051 130408 1815 992 0 150909 0
Current children cumulated CPU time: 100.7 s
Current children cumulated vsize: 636204 KiB
Current children cumulated memory: 521632 KiB

[startup+162.3 s]
/proc/loadavg: 4.05 4.09 4.04 5/256 303574
/proc/meminfo: memFree=123024112/131655788 swapFree=131058856/131071996
[pid=303492] ppid=303489 vsize=647512 memory=537040 CPUtime=160.48 cores=0,2
/proc/303492/stat : 303492 (roundingsat) R 303489 303492 301296 0 -1 4194304 80544 0 0 0 15660 388 0 0 20 0 1 0 42839028 663052288 134260 134679101440 4194304 8254357 140726810820224 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9740288 140726810821467 140726810821729 140726810821729 140726810828745 0
/proc/303492/statm: 161878 134260 1815 992 0 153736 0
Current children cumulated CPU time: 160.48 s
Current children cumulated vsize: 647512 KiB
Current children cumulated memory: 537040 KiB

[startup+222.3 s]
/proc/loadavg: 4.17 4.12 4.05 5/256 303632
/proc/meminfo: memFree=120763932/131655788 swapFree=131058856/131071996
[pid=303492] ppid=303489 vsize=679248 memory=577936 CPUtime=220.26 cores=0,2
/proc/303492/stat : 303492 (roundingsat) R 303489 303492 301296 0 -1 4194304 81792 0 0 0 21606 420 0 0 20 0 1 0 42839028 695549952 144484 134679101440 4194304 8254357 140726810820224 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9740288 140726810821467 140726810821729 140726810821729 140726810828745 0
/proc/303492/statm: 169812 144484 1815 992 0 161670 0
Current children cumulated CPU time: 220.26 s
Current children cumulated vsize: 679248 KiB
Current children cumulated memory: 577936 KiB

[startup+282.3 s]
/proc/loadavg: 4.31 4.16 4.07 5/255 304025
/proc/meminfo: memFree=118844632/131655788 swapFree=131058856/131071996
[pid=303492] ppid=303489 vsize=690560 memory=587752 CPUtime=280.02 cores=0,2
/proc/303492/stat : 303492 (roundingsat) R 303489 303492 301296 0 -1 4194304 81907 0 0 0 27479 523 0 0 20 0 1 0 42839028 707133440 146938 134679101440 4194304 8254357 140726810820224 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9740288 140726810821467 140726810821729 140726810821729 140726810828745 0
/proc/303492/statm: 172640 146938 1815 992 0 164498 0
Current children cumulated CPU time: 280.02 s
Current children cumulated vsize: 690560 KiB
Current children cumulated memory: 587752 KiB

[startup+342.3 s]
/proc/loadavg: 4.29 4.18 4.09 5/255 304035
/proc/meminfo: memFree=118231092/131655788 swapFree=131058856/131071996
[pid=303492] ppid=303489 vsize=701892 memory=610312 CPUtime=339.81 cores=0,2
/proc/303492/stat : 303492 (roundingsat) R 303489 303492 301296 0 -1 4194304 83108 0 0 0 33383 598 0 0 20 0 1 0 42839028 718737408 152578 134679101440 4194304 8254357 140726810820224 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9740288 140726810821467 140726810821729 140726810821729 140726810828745 0
/proc/303492/statm: 175473 152578 1815 992 0 167331 0
Current children cumulated CPU time: 339.81 s
Current children cumulated vsize: 701892 KiB
Current children cumulated memory: 610312 KiB

[startup+402.3 s]
/proc/loadavg: 4.21 4.18 4.09 5/255 304046
/proc/meminfo: memFree=117331924/131655788 swapFree=131058856/131071996
[pid=303492] ppid=303489 vsize=766652 memory=640516 CPUtime=399.6 cores=0,2
/proc/303492/stat : 303492 (roundingsat) R 303489 303492 301296 0 -1 4194304 84741 0 0 0 39250 710 0 0 20 0 1 0 42839028 785051648 160129 134679101440 4194304 8254357 140726810820224 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9740288 140726810821467 140726810821729 140726810821729 140726810828745 0
/proc/303492/statm: 191663 160129 1815 992 0 183521 0
Current children cumulated CPU time: 399.6 s
Current children cumulated vsize: 766652 KiB
Current children cumulated memory: 640516 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 4.16 4.09 5/255 304227
/proc/meminfo: memFree=115862072/131655788 swapFree=131058856/131071996
[pid=303492] ppid=303489 vsize=766652 memory=649044 CPUtime=459.4 cores=0,2
/proc/303492/stat : 303492 (roundingsat) R 303489 303492 301296 0 -1 4194304 84968 0 0 0 45177 763 0 0 20 0 1 0 42839028 785051648 162261 134679101440 4194304 8254357 140726810820224 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9740288 140726810821467 140726810821729 140726810821729 140726810828745 0

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

Current children cumulated memory: 739120 KiB

[startup+2922.3 s]
/proc/loadavg: 4.11 4.15 4.17 5/251 305381
/proc/meminfo: memFree=87849568/131655788 swapFree=131058856/131071996
[pid=303492] ppid=303489 vsize=884752 memory=739124 CPUtime=2911.41 cores=0,2
/proc/303492/stat : 303492 (roundingsat) R 303489 303492 301296 0 -1 4194304 97748 0 0 0 287837 3304 0 0 20 0 1 0 42839028 905986048 184781 134679101440 4194304 8254357 140726810820224 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9740288 140726810821467 140726810821729 140726810821729 140726810828745 0
/proc/303492/statm: 221188 184781 1815 992 0 213046 0
Current children cumulated CPU time: 2911.41 s
Current children cumulated vsize: 884752 KiB
Current children cumulated memory: 739124 KiB

[startup+2982.3 s]
/proc/loadavg: 4.23 4.17 4.18 5/251 305487
/proc/meminfo: memFree=89618404/131655788 swapFree=131058856/131071996
[pid=303492] ppid=303489 vsize=884752 memory=745640 CPUtime=2971.19 cores=0,2
/proc/303492/stat : 303492 (roundingsat) R 303489 303492 301296 0 -1 4194304 98034 0 0 0 293741 3378 0 0 20 0 1 0 42839028 905986048 186410 134679101440 4194304 8254357 140726810820224 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9740288 140726810821467 140726810821729 140726810821729 140726810828745 0
/proc/303492/statm: 221188 186410 1815 992 0 213046 0
Current children cumulated CPU time: 2971.19 s
Current children cumulated vsize: 884752 KiB
Current children cumulated memory: 745640 KiB

[startup+3042.3 s]
/proc/loadavg: 4.14 4.15 4.17 5/247 305499
/proc/meminfo: memFree=88859228/131655788 swapFree=131058856/131071996
[pid=303492] ppid=303489 vsize=884752 memory=745640 CPUtime=3030.97 cores=0,2
/proc/303492/stat : 303492 (roundingsat) R 303489 303492 301296 0 -1 4194304 98112 0 0 0 299711 3386 0 0 20 0 1 0 42839028 905986048 186410 134679101440 4194304 8254357 140726810820224 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9740288 140726810821467 140726810821729 140726810821729 140726810828745 0
/proc/303492/statm: 221188 186410 1815 992 0 213046 0
Current children cumulated CPU time: 3030.97 s
Current children cumulated vsize: 884752 KiB
Current children cumulated memory: 745640 KiB

[startup+3102.3 s]
/proc/loadavg: 4.10 4.14 4.17 5/247 305509
/proc/meminfo: memFree=87569368/131655788 swapFree=131058856/131071996
[pid=303492] ppid=303489 vsize=884752 memory=756884 CPUtime=3090.76 cores=0,2
/proc/303492/stat : 303492 (roundingsat) R 303489 303492 301296 0 -1 4194304 99159 0 0 0 305596 3480 0 0 20 0 1 0 42839028 905986048 189221 134679101440 4194304 8254357 140726810820224 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9740288 140726810821467 140726810821729 140726810821729 140726810828745 0
/proc/303492/statm: 221188 189221 1815 992 0 213046 0
Current children cumulated CPU time: 3090.76 s
Current children cumulated vsize: 884752 KiB
Current children cumulated memory: 756884 KiB

[startup+3162.3 s]
/proc/loadavg: 4.65 4.27 4.21 5/253 305527
/proc/meminfo: memFree=86321464/131655788 swapFree=131058856/131071996
[pid=303492] ppid=303489 vsize=884752 memory=760980 CPUtime=3150.52 cores=0,2
/proc/303492/stat : 303492 (roundingsat) R 303489 303492 301296 0 -1 4194304 99330 0 0 0 311538 3514 0 0 20 0 1 0 42839028 905986048 190245 134679101440 4194304 8254357 140726810820224 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9740288 140726810821467 140726810821729 140726810821729 140726810828745 0
/proc/303492/statm: 221188 190245 1815 992 0 213046 0
Current children cumulated CPU time: 3150.52 s
Current children cumulated vsize: 884752 KiB
Current children cumulated memory: 760980 KiB

[startup+3222.3 s]
/proc/loadavg: 4.53 4.32 4.23 5/253 305539
/proc/meminfo: memFree=85294172/131655788 swapFree=131058856/131071996
[pid=303492] ppid=303489 vsize=896076 memory=761064 CPUtime=3210.3 cores=0,2
/proc/303492/stat : 303492 (roundingsat) R 303489 303492 301296 0 -1 4194304 99559 0 0 0 317454 3576 0 0 20 0 1 0 42839028 917581824 190266 134679101440 4194304 8254357 140726810820224 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9740288 140726810821467 140726810821729 140726810821729 140726810828745 0
/proc/303492/statm: 224019 190266 1815 992 0 215877 0
Current children cumulated CPU time: 3210.3 s
Current children cumulated vsize: 896076 KiB
Current children cumulated memory: 761064 KiB

[startup+3282.3 s]
/proc/loadavg: 4.39 4.31 4.23 5/252 305549
/proc/meminfo: memFree=84083660/131655788 swapFree=131058856/131071996
[pid=303492] ppid=303489 vsize=896076 memory=761064 CPUtime=3270.08 cores=0,2
/proc/303492/stat : 303492 (roundingsat) R 303489 303492 301296 0 -1 4194304 99757 0 0 0 323390 3618 0 0 20 0 1 0 42839028 917581824 190266 134679101440 4194304 8254357 140726810820224 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9740288 140726810821467 140726810821729 140726810821729 140726810828745 0
/proc/303492/statm: 224019 190266 1815 992 0 215877 0
Current children cumulated CPU time: 3270.08 s
Current children cumulated vsize: 896076 KiB
Current children cumulated memory: 761064 KiB

[startup+3342.3 s]
/proc/loadavg: 4.20 4.27 4.22 5/252 305559
/proc/meminfo: memFree=83240508/131655788 swapFree=131058856/131071996
[pid=303492] ppid=303489 vsize=896076 memory=772304 CPUtime=3329.85 cores=0,2
/proc/303492/stat : 303492 (roundingsat) R 303489 303492 301296 0 -1 4194304 100223 0 0 0 329332 3653 0 0 20 0 1 0 42839028 917581824 193076 134679101440 4194304 8254357 140726810820224 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9740288 140726810821467 140726810821729 140726810821729 140726810828745 0
/proc/303492/statm: 224019 193076 1815 992 0 215877 0
Current children cumulated CPU time: 3329.85 s
Current children cumulated vsize: 896076 KiB
Current children cumulated memory: 772304 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.23 4.21 5/252 305569
/proc/meminfo: memFree=82611004/131655788 swapFree=131058856/131071996
[pid=303492] ppid=303489 vsize=907404 memory=772316 CPUtime=3389.62 cores=0,2
/proc/303492/stat : 303492 (roundingsat) R 303489 303492 301296 0 -1 4194304 100401 0 0 0 335181 3781 0 0 20 0 1 0 42839028 929181696 193079 134679101440 4194304 8254357 140726810820224 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9740288 140726810821467 140726810821729 140726810821729 140726810828745 0
/proc/303492/statm: 226851 193079 1815 992 0 218709 0
Current children cumulated CPU time: 3389.62 s
Current children cumulated vsize: 907404 KiB
Current children cumulated memory: 772316 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.20 4.20 5/246 305580
/proc/meminfo: memFree=82079032/131655788 swapFree=131058856/131071996
[pid=303492] ppid=303489 vsize=907404 memory=772388 CPUtime=3449.4 cores=0,2
/proc/303492/stat : 303492 (roundingsat) R 303489 303492 301296 0 -1 4194304 100628 0 0 0 341064 3876 0 0 20 0 1 0 42839028 929181696 193097 134679101440 4194304 8254357 140726810820224 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9740288 140726810821467 140726810821729 140726810821729 140726810828745 0
/proc/303492/statm: 226851 193097 1815 992 0 218709 0
Current children cumulated CPU time: 3449.4 s
Current children cumulated vsize: 907404 KiB
Current children cumulated memory: 772388 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.20 4.19 5/245 305590
/proc/meminfo: memFree=81740540/131655788 swapFree=131058856/131071996
[pid=303492] ppid=303489 vsize=907404 memory=772392 CPUtime=3509.18 cores=0,2
/proc/303492/stat : 303492 (roundingsat) R 303489 303492 301296 0 -1 4194304 100824 0 0 0 347001 3917 0 0 20 0 1 0 42839028 929181696 193098 134679101440 4194304 8254357 140726810820224 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9740288 140726810821467 140726810821729 140726810821729 140726810828745 0
/proc/303492/statm: 226851 193098 1815 992 0 218709 0
Current children cumulated CPU time: 3509.18 s
Current children cumulated vsize: 907404 KiB
Current children cumulated memory: 772392 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.17 4.18 5/247 305604
/proc/meminfo: memFree=81291944/131655788 swapFree=131058856/131071996
[pid=303492] ppid=303489 vsize=918732 memory=794956 CPUtime=3568.95 cores=0,2
/proc/303492/stat : 303492 (roundingsat) R 303489 303492 301296 0 -1 4194304 102051 0 0 0 352845 4050 0 0 20 0 1 0 42839028 940781568 198739 134679101440 4194304 8254357 140726810820224 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9740288 140726810821467 140726810821729 140726810821729 140726810828745 0
/proc/303492/statm: 229683 198739 1815 992 0 221541 0
Current children cumulated CPU time: 3568.95 s
Current children cumulated vsize: 918732 KiB
Current children cumulated memory: 794956 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3613.5 s]
/proc/loadavg: 4.11 4.17 4.18 5/247 305610
/proc/meminfo: memFree=80996792/131655788 swapFree=131058856/131071996
[pid=303492] ppid=303489 vsize=918732 memory=794956 CPUtime=3600.04 cores=0,2
/proc/303492/stat : 303492 (roundingsat) R 303489 303492 301296 0 -1 4194304 102191 0 0 0 355940 4064 0 0 20 0 1 0 42839028 940781568 198739 134679101440 4194304 8254357 140726810820224 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9740288 140726810821467 140726810821729 140726810821729 140726810828745 0
/proc/303492/statm: 229683 198739 1815 992 0 221541 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 918732 KiB
Current children cumulated memory: 794956 KiB

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

[startup+3613.53 s]
# the end of solver process 303492 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=3559.41 s, system=40.6457 s

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

[startup+3613.5 s]
/proc/loadavg: 4.11 4.17 4.18 5/247 305610
/proc/meminfo: memFree=80996792/131655788 swapFree=131058856/131071996
[pid=303492] ppid=303489 vsize=918732 memory=794956 CPUtime=3600.04 cores=0,2
/proc/303492/stat : 303492 (roundingsat) R 303489 303492 301296 0 -1 4194304 102191 0 0 0 355940 4064 0 0 20 0 1 0 42839028 940781568 198739 134679101440 4194304 8254357 140726810820224 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9740288 140726810821467 140726810821729 140726810821729 140726810828745 0
/proc/303492/statm: 229683 198739 1815 992 0 221541 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 918732 KiB
Current children cumulated memory: 794956 KiB

Child status: 0

Real time (s): 3613.53
CPU time (s): 3600.06
CPU user time (s): 3559.41
CPU system time (s): 40.6457
CPU usage (%): 99.6273
Max. virtual memory (cumulated for all children) (KiB): 918732
Max. memory (cumulated for all children) (KiB): 794956

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3559.41
system time used= 40.6457
maximum resident set size= 794956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 102215
page faults= 0
swaps= 0
block input operations= 0
block output operations= 456856
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 51
involuntary context switches= 25220


# summary of solver processes directly reported to runsolver:
#   pid: 303492
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3559.41
#   total CPU system time (s): 40.6457

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.5805 second user time and 36.9226 second system time

The end

Launcher Data 

Begin job on nodeC009 at 2024-07-27 10:21:32
IDJOB=4460644
IDBENCH=155570
IDSOLVER=3086
FILE ID=nodeC009/4460644-1722068491
RUNJOBID= nodeC009-1722064837-301306
SLURM_JOB_ID= 8248111
Free space on /tmp= 723724 MiB

SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-139.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460644-1722068491/watcher-4460644-1722068491 -o /tmp/evaluation-result-4460644-1722068491/solver-4460644-1722068491 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1722064837-301306 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460644-1722068491 --lp-cut-gomory=0 HOME/instance-4460644-1722068491.opb

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

MD5SUM BENCH= b1a9bb408d678f4e4f75286e8bd2bbb9
RANDOM SEED=1882266722

nodeC009.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1375.091
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3673.650
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.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	: 0xb00001f
cpu MHz		: 1197.300
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.287
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.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	: 0xb00001f
cpu MHz		: 3676.578
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3673.650
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.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	: 0xb00001f
cpu MHz		: 1197.417
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.449
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        125729460 kB
MemAvailable:   129722520 kB
Buffers:          383916 kB
Cached:          4355452 kB
SwapCached:         4924 kB
Active:          1924904 kB
Inactive:        3274648 kB
Active(anon):       1608 kB
Inactive(anon):   512072 kB
Active(file):    1923296 kB
Inactive(file):  2762576 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131058856 kB
Dirty:             81540 kB
Writeback:             0 kB
AnonPages:        454532 kB
Mapped:           102492 kB
Shmem:             53492 kB
KReclaimable:     294776 kB
Slab:             407888 kB
SReclaimable:     294776 kB
SUnreclaim:       113112 kB
KernelStack:        4000 kB
PageTables:        10472 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     761708 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            18848 kB
HardwareCorrupted:     0 kB
AnonHugePages:    219136 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      367432 kB
DirectMap2M:    44625920 kB
DirectMap1G:    91226112 kB

Free space on /tmp at the end= 723616 MiB
End job on nodeC009 at 2024-07-27 11:21:45