Trace number 4463067

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 (3)? (TO) 3600.07 3611.83

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K157.opb
MD5SUM1aa29222329f307e3e004dcb472df849
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 benchmark2164.15
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables18683
Total number of constraints18999
Number of constraints which are clauses18842
Number of constraints which are cardinality constraints (but not clauses)157
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint157
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 158
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.00/0.09	c #variables 18683 #constraints 18999
245.37/246.21	c #Conflicts:       1000 | #Constraints:      19998
245.37/246.21	c #Conflicts:       2000 | #Constraints:      20998
245.37/246.21	c INPROCESSING
245.37/246.21	c GARBAGE COLLECT
245.37/246.21	c #Conflicts:       3000 | #Constraints:      20239
245.37/246.21	c #Conflicts:       4000 | #Constraints:      21239
245.37/246.21	c INPROCESSING
245.37/246.21	c GARBAGE COLLECT
245.37/246.21	c #Conflicts:       5000 | #Constraints:      20745
245.37/246.21	c #Conflicts:       6000 | #Constraints:      21745
245.37/246.21	c INPROCESSING
245.37/246.21	c GARBAGE COLLECT
245.37/246.21	c #Conflicts:       7000 | #Constraints:      20816
245.37/246.21	c #Conflicts:       8000 | #Constraints:      21816
245.37/246.21	c #Conflicts:       9000 | #Constraints:      22816
245.37/246.21	c INPROCESSING
245.37/246.21	c GARBAGE COLLECT
245.37/246.21	c #Conflicts:      10000 | #Constraints:      21582
245.37/246.21	c #Conflicts:      11000 | #Constraints:      22582
245.37/246.21	c #Conflicts:      12000 | #Constraints:      23582
245.37/246.21	c #Conflicts:      13000 | #Constraints:      24582
245.37/246.21	c #Conflicts:      14000 | #Constraints:      25582
245.37/246.21	c #Conflicts:      15000 | #Constraints:      26582
245.37/246.21	c #Conflicts:      16000 | #Constraints:      27582
245.37/246.21	c INPROCESSING
245.37/246.21	c GARBAGE COLLECT
245.37/246.21	c #Conflicts:      17000 | #Constraints:      23900
245.37/246.21	c #Conflicts:      18000 | #Constraints:      24900
245.37/246.21	c #Conflicts:      19000 | #Constraints:      25900
245.37/246.21	c #Conflicts:      20000 | #Constraints:      26900
245.37/246.21	c INPROCESSING
245.37/246.21	c GARBAGE COLLECT
245.37/246.21	c #Conflicts:      21000 | #Constraints:      23659
245.37/246.21	c #Conflicts:      22000 | #Constraints:      24660
245.37/246.21	c #Conflicts:      23000 | #Constraints:      25660
245.37/246.21	c #Conflicts:      24000 | #Constraints:      26660
245.37/246.21	c #Conflicts:      25000 | #Constraints:      27660
245.37/246.21	c #Conflicts:      26000 | #Constraints:      28660
245.37/246.21	c #Conflicts:      27000 | #Constraints:      29660
245.37/246.21	c #Conflicts:      28000 | #Constraints:      30660
245.37/246.21	c #Conflicts:      29000 | #Constraints:      31660
245.37/246.21	c #Conflicts:      30000 | #Constraints:      32660
245.37/246.21	c INPROCESSING
245.37/246.21	c GARBAGE COLLECT
245.37/246.21	c #Conflicts:      31000 | #Constraints:      26275
245.37/246.21	c #Conflicts:      32000 | #Constraints:      27275
245.37/246.21	c #Conflicts:      33000 | #Constraints:      28275
245.37/246.21	c #Conflicts:      34000 | #Constraints:      29275
245.37/246.21	c #Conflicts:      35000 | #Constraints:      30275
245.37/246.21	c #Conflicts:      36000 | #Constraints:      31275
245.37/246.21	c INPROCESSING
245.37/246.21	c GARBAGE COLLECT
245.37/246.21	c #Conflicts:      37000 | #Constraints:      26166
245.37/246.21	c #Conflicts:      38000 | #Constraints:      27166
245.37/246.21	c #Conflicts:      39000 | #Constraints:      28166
245.37/246.21	c #Conflicts:      40000 | #Constraints:      29167
245.37/246.21	c #Conflicts:      41000 | #Constraints:      30167
245.37/246.21	c #Conflicts:      42000 | #Constraints:      31167
245.37/246.21	c #Conflicts:      43000 | #Constraints:      32167
245.37/246.21	c #Conflicts:      44000 | #Constraints:      33167
245.37/246.21	c #Conflicts:      45000 | #Constraints:      34167
245.37/246.21	c #Conflicts:      46000 | #Constraints:      35167
245.37/246.21	c #Conflicts:      47000 | #Constraints:      36167
245.37/246.21	c #Conflicts:      48000 | #Constraints:      37167
245.37/246.21	c #Conflicts:      49000 | #Constraints:      38167
245.37/246.21	c INPROCESSING
245.37/246.21	c GARBAGE COLLECT
245.37/246.21	c #Conflicts:      50000 | #Constraints:      29475
245.37/246.21	c #Conflicts:      51000 | #Constraints:      30475
245.37/246.21	c #Conflicts:      52000 | #Constraints:      31475
245.37/246.21	c #Conflicts:      53000 | #Constraints:      32475
245.37/246.21	c #Conflicts:      54000 | #Constraints:      33475
245.37/246.21	c #Conflicts:      55000 | #Constraints:      34475
245.37/246.21	c #Conflicts:      56000 | #Constraints:      35475
245.37/246.21	c INPROCESSING
245.37/246.21	c GARBAGE COLLECT
245.37/246.21	c #Conflicts:      57000 | #Constraints:      28288
245.37/246.21	c #Conflicts:      58000 | #Constraints:      29288
245.37/246.21	c #Conflicts:      59000 | #Constraints:      30288
245.37/246.21	c #Conflicts:      60000 | #Constraints:      31288
245.37/246.21	c #Conflicts:      61000 | #Constraints:      32288
245.37/246.21	c #Conflicts:      62000 | #Constraints:      33288
245.37/246.21	c INPROCESSING
245.37/246.21	c GARBAGE COLLECT
245.37/246.21	c rational objective 157
352.51/353.73	c #Conflicts:      63000 | #Constraints:      27661
352.51/353.73	c #Conflicts:      64000 | #Constraints:      28662
352.51/353.73	c #Conflicts:      65000 | #Constraints:      29662
352.51/353.73	c #Conflicts:      66000 | #Constraints:      30662
352.51/353.73	c #Conflicts:      67000 | #Constraints:      31662
352.51/353.73	c #Conflicts:      68000 | #Constraints:      32662
352.51/353.73	c #Conflicts:      69000 | #Constraints:      33662
352.51/353.73	c #Conflicts:      70000 | #Constraints:      34662
352.51/353.73	c #Conflicts:      71000 | #Constraints:      35662
352.51/353.73	c #Conflicts:      72000 | #Constraints:      36662
352.51/353.73	c #Conflicts:      73000 | #Constraints:      37662
352.51/353.73	c #Conflicts:      74000 | #Constraints:      38662
352.51/353.73	c #Conflicts:      75000 | #Constraints:      39662
352.51/353.73	c #Conflicts:      76000 | #Constraints:      40662
352.51/353.73	c #Conflicts:      77000 | #Constraints:      41662
352.51/353.73	c #Conflicts:      78000 | #Constraints:      42663
352.51/353.73	c #Conflicts:      79000 | #Constraints:      43663
352.51/353.73	c #Conflicts:      80000 | #Constraints:      44663
352.51/353.73	c INPROCESSING
352.51/353.73	c GARBAGE COLLECT
352.51/353.73	c rational objective 157
641.62/643.84	c #Conflicts:      81000 | #Constraints:      32840
641.62/643.84	c #Conflicts:      82000 | #Constraints:      33840
641.62/643.84	c #Conflicts:      83000 | #Constraints:      34840
641.62/643.84	c #Conflicts:      84000 | #Constraints:      35840
641.62/643.84	c #Conflicts:      85000 | #Constraints:      36840
641.62/643.84	c #Conflicts:      86000 | #Constraints:      37840
641.62/643.84	c #Conflicts:      87000 | #Constraints:      38840
641.62/643.84	c #Conflicts:      88000 | #Constraints:      39840
641.62/643.84	c INPROCESSING
641.62/643.84	c GARBAGE COLLECT
641.62/643.84	c #Conflicts:      89000 | #Constraints:      30456
641.62/643.84	c #Conflicts:      90000 | #Constraints:      31456
641.62/643.84	c #Conflicts:      91000 | #Constraints:      32456
641.62/643.84	c #Conflicts:      92000 | #Constraints:      33456
641.62/643.84	c #Conflicts:      93000 | #Constraints:      34456
641.62/643.84	c #Conflicts:      94000 | #Constraints:      35457
641.62/643.84	c #Conflicts:      95000 | #Constraints:      36457
641.62/643.84	c #Conflicts:      96000 | #Constraints:      37457
641.62/643.84	c #Conflicts:      97000 | #Constraints:      38457
641.62/643.84	c #Conflicts:      98000 | #Constraints:      39457
641.62/643.84	c #Conflicts:      99000 | #Constraints:      40457
641.62/643.84	c #Conflicts:     100000 | #Constraints:      41457
641.62/643.84	c #Conflicts:     101000 | #Constraints:      42457
641.62/643.84	c #Conflicts:     102000 | #Constraints:      43457
641.62/643.84	c #Conflicts:     103000 | #Constraints:      44457
641.62/643.84	c #Conflicts:     104000 | #Constraints:      45457
641.62/643.84	c #Conflicts:     105000 | #Constraints:      46457
641.62/643.84	c #Conflicts:     106000 | #Constraints:      47457
641.62/643.84	c #Conflicts:     107000 | #Constraints:      48457
641.62/643.84	c #Conflicts:     108000 | #Constraints:      49457
641.62/643.84	c #Conflicts:     109000 | #Constraints:      50457
641.62/643.84	c INPROCESSING
641.62/643.84	c GARBAGE COLLECT
641.62/643.84	c #Conflicts:     110000 | #Constraints:      35918
641.62/643.84	c #Conflicts:     111000 | #Constraints:      36918
641.62/643.84	c #Conflicts:     112000 | #Constraints:      37918
641.62/643.84	c #Conflicts:     113000 | #Constraints:      38919
641.62/643.84	c #Conflicts:     114000 | #Constraints:      39919
641.62/643.84	c #Conflicts:     115000 | #Constraints:      40919
641.62/643.84	c #Conflicts:     116000 | #Constraints:      41919
641.62/643.84	c #Conflicts:     117000 | #Constraints:      42919
641.62/643.84	c #Conflicts:     118000 | #Constraints:      43919
641.62/643.84	c INPROCESSING
641.62/643.84	c GARBAGE COLLECT
641.62/643.84	c #Conflicts:     119000 | #Constraints:      32424
641.62/643.84	c #Conflicts:     120000 | #Constraints:      33424
641.62/643.84	c #Conflicts:     121000 | #Constraints:      34424
641.62/643.84	c #Conflicts:     122000 | #Constraints:      35424
641.62/643.84	c #Conflicts:     123000 | #Constraints:      36424
641.62/643.84	c #Conflicts:     124000 | #Constraints:      37424
641.62/643.84	c #Conflicts:     125000 | #Constraints:      38424
641.62/643.84	c #Conflicts:     126000 | #Constraints:      39424
641.62/643.84	c #Conflicts:     127000 | #Constraints:      40424
641.62/643.84	c #Conflicts:     128000 | #Constraints:      41424
641.62/643.84	c #Conflicts:     129000 | #Constraints:      42425
641.62/643.84	c #Conflicts:     130000 | #Constraints:      43425
641.62/643.84	c #Conflicts:     131000 | #Constraints:      44425
641.62/643.84	c #Conflicts:     132000 | #Constraints:      45425
641.62/643.84	c #Conflicts:     133000 | #Constraints:      46425
641.62/643.84	c #Conflicts:     134000 | #Constraints:      47425
641.62/643.84	c #Conflicts:     135000 | #Constraints:      48425
641.62/643.84	c #Conflicts:     136000 | #Constraints:      49425
641.62/643.84	c #Conflicts:     137000 | #Constraints:      50425
641.62/643.84	c #Conflicts:     138000 | #Constraints:      51425
641.62/643.84	c #Conflicts:     139000 | #Constraints:      52425
641.62/643.84	c #Conflicts:     140000 | #Constraints:      53425
641.62/643.84	c #Conflicts:     141000 | #Constraints:      54425
641.62/643.84	c #Conflicts:     142000 | #Constraints:      55426
641.62/643.84	c INPROCESSING
641.62/643.84	c GARBAGE COLLECT
641.62/643.84	c #Conflicts:     143000 | #Constraints:      37953
641.62/643.84	c #Conflicts:     144000 | #Constraints:      38953
641.62/643.84	c #Conflicts:     145000 | #Constraints:      39953
641.62/643.84	c #Conflicts:     146000 | #Constraints:      40953
641.62/643.84	c #Conflicts:     147000 | #Constraints:      41953
641.62/643.84	c #Conflicts:     148000 | #Constraints:      42953
641.62/643.84	c #Conflicts:     149000 | #Constraints:      43953
641.62/643.84	c #Conflicts:     150000 | #Constraints:      44953
641.62/643.84	c #Conflicts:     151000 | #Constraints:      45953
641.62/643.84	c #Conflicts:     152000 | #Constraints:      46953
641.62/643.84	c #Conflicts:     153000 | #Constraints:      47953
641.62/643.84	c INPROCESSING
641.62/643.84	c GARBAGE COLLECT
641.62/643.84	c #Conflicts:     154000 | #Constraints:      35048
641.62/643.84	c #Conflicts:     155000 | #Constraints:      36049
641.62/643.84	c #Conflicts:     156000 | #Constraints:      37049
694.75/697.19	c #Conflicts:     157000 | #Constraints:      38049
694.75/697.19	c #Conflicts:     158000 | #Constraints:      39049
694.75/697.19	c #Conflicts:     159000 | #Constraints:      40049
694.75/697.19	c #Conflicts:     160000 | #Constraints:      41049
694.75/697.19	c #Conflicts:     161000 | #Constraints:      42049
694.75/697.19	c #Conflicts:     162000 | #Constraints:      43049
694.75/697.19	c #Conflicts:     163000 | #Constraints:      44049
694.75/697.19	c #Conflicts:     164000 | #Constraints:      45049
694.75/697.19	c #Conflicts:     165000 | #Constraints:      46049
694.75/697.19	c #Conflicts:     166000 | #Constraints:      47049
694.75/697.19	c #Conflicts:     167000 | #Constraints:      48049
694.75/697.19	c #Conflicts:     168000 | #Constraints:      49049
694.75/697.19	c #Conflicts:     169000 | #Constraints:      50049
694.75/697.19	c #Conflicts:     170000 | #Constraints:      51049
694.75/697.19	c #Conflicts:     171000 | #Constraints:      52049
694.75/697.19	c #Conflicts:     172000 | #Constraints:      53049
694.75/697.19	c #Conflicts:     173000 | #Constraints:      54049
694.75/697.19	c #Conflicts:     174000 | #Constraints:      55049
694.75/697.19	c #Conflicts:     175000 | #Constraints:      56049
694.75/697.19	c #Conflicts:     176000 | #Constraints:      57049
694.75/697.19	c #Conflicts:     177000 | #Constraints:      58049
694.75/697.19	c #Conflicts:     178000 | #Constraints:      59049
694.75/697.19	c #Conflicts:     179000 | #Constraints:      60049
694.75/697.19	c #Conflicts:     180000 | #Constraints:      61049
694.75/697.19	c INPROCESSING
694.75/697.19	c GARBAGE COLLECT
694.75/697.19	c rational objective 157
785.92/788.68	c #Conflicts:     181000 | #Constraints:      41327
785.92/788.68	c #Conflicts:     182000 | #Constraints:      42327
785.92/788.68	c #Conflicts:     183000 | #Constraints:      43327
785.92/788.68	c #Conflicts:     184000 | #Constraints:      44327
785.92/788.68	c #Conflicts:     185000 | #Constraints:      45327
785.92/788.68	c #Conflicts:     186000 | #Constraints:      46327
785.92/788.68	c #Conflicts:     187000 | #Constraints:      47327
785.92/788.68	c #Conflicts:     188000 | #Constraints:      48327
785.92/788.68	c #Conflicts:     189000 | #Constraints:      49327
785.92/788.68	c #Conflicts:     190000 | #Constraints:      50327
785.92/788.68	c #Conflicts:     191000 | #Constraints:      51327
785.92/788.68	c INPROCESSING
785.92/788.68	c GARBAGE COLLECT
785.92/788.68	c rational objective 157
855.98/858.96	c #Conflicts:     192000 | #Constraints:      36539
855.98/858.96	c #Conflicts:     193000 | #Constraints:      37539
855.98/858.96	c #Conflicts:     194000 | #Constraints:      38539
855.98/858.96	c #Conflicts:     195000 | #Constraints:      39539
855.98/858.96	c #Conflicts:     196000 | #Constraints:      40539
855.98/858.96	c #Conflicts:     197000 | #Constraints:      41539
855.98/858.96	c #Conflicts:     198000 | #Constraints:      42539
855.98/858.96	c #Conflicts:     199000 | #Constraints:      43539
855.98/858.96	c #Conflicts:     200000 | #Constraints:      44539
855.98/858.96	c #Conflicts:     201000 | #Constraints:      45539
855.98/858.96	c #Conflicts:     202000 | #Constraints:      46539
855.98/858.96	c #Conflicts:     203000 | #Constraints:      47539
855.98/858.96	c #Conflicts:     204000 | #Constraints:      48539
855.98/858.96	c #Conflicts:     205000 | #Constraints:      49540
855.98/858.96	c #Conflicts:     206000 | #Constraints:      50540
855.98/858.96	c #Conflicts:     207000 | #Constraints:      51540
855.98/858.96	c #Conflicts:     208000 | #Constraints:      52540
855.98/858.96	c #Conflicts:     209000 | #Constraints:      53540
855.98/858.96	c #Conflicts:     210000 | #Constraints:      54540
855.98/858.96	c #Conflicts:     211000 | #Constraints:      55540
855.98/858.96	c #Conflicts:     212000 | #Constraints:      56540
855.98/858.96	c #Conflicts:     213000 | #Constraints:      57540
855.98/858.96	c #Conflicts:     214000 | #Constraints:      58540
855.98/858.96	c #Conflicts:     215000 | #Constraints:      59540
855.98/858.96	c #Conflicts:     216000 | #Constraints:      60540
855.98/858.96	c #Conflicts:     217000 | #Constraints:      61540
855.98/858.96	c #Conflicts:     218000 | #Constraints:      62540
855.98/858.96	c #Conflicts:     219000 | #Constraints:      63540
855.98/858.96	c #Conflicts:     220000 | #Constraints:      64540
855.98/858.96	c #Conflicts:     221000 | #Constraints:      65540
855.98/858.96	c #Conflicts:     222000 | #Constraints:      66540
855.98/858.96	c INPROCESSING
855.98/858.96	c GARBAGE COLLECT
855.98/858.96	c rational objective 157
887.98/891.09	c #Conflicts:     223000 | #Constraints:      44243
887.98/891.09	c #Conflicts:     224000 | #Constraints:      45243
887.98/891.09	c #Conflicts:     225000 | #Constraints:      46243
887.98/891.09	c #Conflicts:     226000 | #Constraints:      47243
887.98/891.09	c #Conflicts:     227000 | #Constraints:      48243
887.98/891.09	c #Conflicts:     228000 | #Constraints:      49243
887.98/891.09	c #Conflicts:     229000 | #Constraints:      50243
887.98/891.09	c #Conflicts:     230000 | #Constraints:      51243
887.98/891.09	c #Conflicts:     231000 | #Constraints:      52243
887.98/891.09	c #Conflicts:     232000 | #Constraints:      53243
887.98/891.09	c #Conflicts:     233000 | #Constraints:      54243
887.98/891.09	c #Conflicts:     234000 | #Constraints:      55243
887.98/891.09	c #Conflicts:     235000 | #Constraints:      56243
887.98/891.09	c INPROCESSING
887.98/891.09	c GARBAGE COLLECT
887.98/891.09	c rational objective 157
1032.88/1036.49	c #Conflicts:     236000 | #Constraints:      39030
1032.88/1036.49	c #Conflicts:     237000 | #Constraints:      40030
1032.88/1036.49	c #Conflicts:     238000 | #Constraints:      41030
1032.88/1036.49	c #Conflicts:     239000 | #Constraints:      42030
1032.88/1036.49	c #Conflicts:     240000 | #Constraints:      43030
1032.88/1036.49	c #Conflicts:     241000 | #Constraints:      44030
1032.88/1036.49	c #Conflicts:     242000 | #Constraints:      45030
1032.88/1036.49	c #Conflicts:     243000 | #Constraints:      46030
1032.88/1036.49	c #Conflicts:     244000 | #Constraints:      47030
1032.88/1036.49	c #Conflicts:     245000 | #Constraints:      48030
1032.88/1036.49	c #Conflicts:     246000 | #Constraints:      49030
1032.88/1036.49	c #Conflicts:     247000 | #Constraints:      50030
1032.88/1036.49	c #Conflicts:     248000 | #Constraints:      51030
1032.88/1036.49	c #Conflicts:     249000 | #Constraints:      52030
1032.88/1036.49	c #Conflicts:     250000 | #Constraints:      53030
1032.88/1036.49	c #Conflicts:     251000 | #Constraints:      54030
1032.88/1036.49	c #Conflicts:     252000 | #Constraints:      55030
1032.88/1036.49	c #Conflicts:     253000 | #Constraints:      56030
1032.88/1036.49	c #Conflicts:     254000 | #Constraints:      57030
1032.88/1036.49	c #Conflicts:     255000 | #Constraints:      58031
1032.88/1036.49	c #Conflicts:     256000 | #Constraints:      59031
1032.88/1036.49	c #Conflicts:     257000 | #Constraints:      60031
1032.88/1036.49	c #Conflicts:     258000 | #Constraints:      61031
1032.88/1036.49	c #Conflicts:     259000 | #Constraints:      62031
1032.88/1036.49	c #Conflicts:     260000 | #Constraints:      63031
1032.88/1036.49	c #Conflicts:     261000 | #Constraints:      64031
1032.88/1036.49	c #Conflicts:     262000 | #Constraints:      65031
1032.88/1036.49	c #Conflicts:     263000 | #Constraints:      66031
1032.88/1036.49	c #Conflicts:     264000 | #Constraints:      67031
1032.88/1036.49	c #Conflicts:     265000 | #Constraints:      68031
1032.88/1036.49	c #Conflicts:     266000 | #Constraints:      69031
1032.88/1036.49	c #Conflicts:     267000 | #Constraints:      70031
1032.88/1036.49	c #Conflicts:     268000 | #Constraints:      71031
1032.88/1036.49	c INPROCESSING
1032.88/1036.49	c GARBAGE COLLECT
1032.88/1036.49	c rational objective 157
1163.64/1167.64	c #Conflicts:     269000 | #Constraints:      46257
1163.64/1167.64	c #Conflicts:     270000 | #Constraints:      47258
1163.64/1167.64	c #Conflicts:     271000 | #Constraints:      48258
1163.64/1167.64	c #Conflicts:     272000 | #Constraints:      49258
1163.64/1167.64	c #Conflicts:     273000 | #Constraints:      50258
1163.64/1167.64	c #Conflicts:     274000 | #Constraints:      51258
1163.64/1167.64	c #Conflicts:     275000 | #Constraints:      52258
1163.64/1167.64	c #Conflicts:     276000 | #Constraints:      53258
1163.64/1167.64	c #Conflicts:     277000 | #Constraints:      54258
1163.64/1167.64	c #Conflicts:     278000 | #Constraints:      55258
1163.64/1167.64	c #Conflicts:     279000 | #Constraints:      56258
1163.64/1167.64	c #Conflicts:     280000 | #Constraints:      57258
1163.64/1167.64	c #Conflicts:     281000 | #Constraints:      58258
1163.64/1167.64	c #Conflicts:     282000 | #Constraints:      59258
1163.64/1167.64	c INPROCESSING
1163.64/1167.64	c GARBAGE COLLECT
1163.64/1167.64	c rational objective 157
1318.56/1323.08	c #Conflicts:     283000 | #Constraints:      40673
1318.56/1323.08	c #Conflicts:     284000 | #Constraints:      41673
1318.56/1323.08	c #Conflicts:     285000 | #Constraints:      42673
1318.56/1323.08	c #Conflicts:     286000 | #Constraints:      43673
1318.56/1323.08	c #Conflicts:     287000 | #Constraints:      44673
1318.56/1323.08	c #Conflicts:     288000 | #Constraints:      45673
1318.56/1323.08	c #Conflicts:     289000 | #Constraints:      46673
1318.56/1323.08	c #Conflicts:     290000 | #Constraints:      47673
1318.56/1323.08	c #Conflicts:     291000 | #Constraints:      48673
1318.56/1323.08	c #Conflicts:     292000 | #Constraints:      49673
1318.56/1323.08	c #Conflicts:     293000 | #Constraints:      50673
1318.56/1323.08	c #Conflicts:     294000 | #Constraints:      51673
1318.56/1323.08	c #Conflicts:     295000 | #Constraints:      52673
1318.56/1323.08	c #Conflicts:     296000 | #Constraints:      53673
1318.56/1323.08	c #Conflicts:     297000 | #Constraints:      54674
1318.56/1323.08	c #Conflicts:     298000 | #Constraints:      55674
1318.56/1323.08	c #Conflicts:     299000 | #Constraints:      56674
1318.56/1323.08	c #Conflicts:     300000 | #Constraints:      57674
1318.56/1323.08	c #Conflicts:     301000 | #Constraints:      58674
1318.56/1323.08	c #Conflicts:     302000 | #Constraints:      59674
1318.56/1323.08	c #Conflicts:     303000 | #Constraints:      60674
1318.56/1323.08	c #Conflicts:     304000 | #Constraints:      61674
1318.56/1323.08	c #Conflicts:     305000 | #Constraints:      62674
1318.56/1323.08	c #Conflicts:     306000 | #Constraints:      63674
1318.56/1323.08	c #Conflicts:     307000 | #Constraints:      64674
1318.56/1323.08	c #Conflicts:     308000 | #Constraints:      65674
1318.56/1323.08	c #Conflicts:     309000 | #Constraints:      66674
1318.56/1323.08	c #Conflicts:     310000 | #Constraints:      67675
1318.56/1323.08	c #Conflicts:     311000 | #Constraints:      68675
1318.56/1323.08	c #Conflicts:     312000 | #Constraints:      69675
1318.56/1323.08	c #Conflicts:     313000 | #Constraints:      70675
1318.56/1323.08	c #Conflicts:     314000 | #Constraints:      71675
1318.56/1323.08	c #Conflicts:     315000 | #Constraints:      72675
1318.56/1323.08	c #Conflicts:     316000 | #Constraints:      73675
1318.56/1323.08	c #Conflicts:     317000 | #Constraints:      74675
1318.56/1323.08	c #Conflicts:     318000 | #Constraints:      75675
1318.56/1323.08	c #Conflicts:     319000 | #Constraints:      76675
1318.56/1323.08	c INPROCESSING
1318.56/1323.08	c GARBAGE COLLECT
1318.56/1323.08	c #Conflicts:     320000 | #Constraints:      49334
1318.56/1323.08	c #Conflicts:     321000 | #Constraints:      50334
1318.56/1323.08	c #Conflicts:     322000 | #Constraints:      51334
1318.56/1323.08	c #Conflicts:     323000 | #Constraints:      52334
1318.56/1323.08	c #Conflicts:     324000 | #Constraints:      53334
1318.56/1323.08	c #Conflicts:     325000 | #Constraints:      54335
1318.56/1323.08	c #Conflicts:     326000 | #Constraints:      55335
1318.56/1323.08	c #Conflicts:     327000 | #Constraints:      56335
1318.56/1323.08	c #Conflicts:     328000 | #Constraints:      57335
1318.56/1323.08	c #Conflicts:     329000 | #Constraints:      58335
1318.56/1323.08	c #Conflicts:     330000 | #Constraints:      59335
1318.56/1323.08	c #Conflicts:     331000 | #Constraints:      60335
1318.56/1323.08	c #Conflicts:     332000 | #Constraints:      61335
1318.56/1323.08	c #Conflicts:     333000 | #Constraints:      62335
1318.56/1323.08	c #Conflicts:     334000 | #Constraints:      63335
1318.56/1323.08	c #Conflicts:     335000 | #Constraints:      64335
1318.56/1323.08	c INPROCESSING
1318.56/1323.08	c GARBAGE COLLECT
1318.56/1323.08	c rational objective 157
1462.39/1467.39	c #Conflicts:     336000 | #Constraints:      43899
1462.39/1467.39	c #Conflicts:     337000 | #Constraints:      44899
1462.39/1467.39	c #Conflicts:     338000 | #Constraints:      45899
1462.39/1467.39	c #Conflicts:     339000 | #Constraints:      46900
1462.39/1467.39	c #Conflicts:     340000 | #Constraints:      47900
1462.39/1467.39	c #Conflicts:     341000 | #Constraints:      48900
1462.39/1467.39	c #Conflicts:     342000 | #Constraints:      49900
1462.39/1467.39	c #Conflicts:     343000 | #Constraints:      50900
1462.39/1467.39	c #Conflicts:     344000 | #Constraints:      51900
1462.39/1467.39	c #Conflicts:     345000 | #Constraints:      52900
1462.39/1467.39	c #Conflicts:     346000 | #Constraints:      53900
1462.39/1467.39	c #Conflicts:     347000 | #Constraints:      54900
1462.39/1467.39	c #Conflicts:     348000 | #Constraints:      55900
1462.39/1467.39	c #Conflicts:     349000 | #Constraints:      56900
1462.39/1467.39	c #Conflicts:     350000 | #Constraints:      57900
1462.39/1467.39	c #Conflicts:     351000 | #Constraints:      58900
1462.39/1467.39	c #Conflicts:     352000 | #Constraints:      59900
1462.39/1467.39	c #Conflicts:     353000 | #Constraints:      60900
1462.39/1467.39	c #Conflicts:     354000 | #Constraints:      61900
1462.39/1467.39	c #Conflicts:     355000 | #Constraints:      62900
1462.39/1467.39	c #Conflicts:     356000 | #Constraints:      63900
1462.39/1467.39	c #Conflicts:     357000 | #Constraints:      64900
1462.39/1467.39	c #Conflicts:     358000 | #Constraints:      65900
1462.39/1467.39	c #Conflicts:     359000 | #Constraints:      66900
1462.39/1467.39	c #Conflicts:     360000 | #Constraints:      67900
1462.39/1467.39	c #Conflicts:     361000 | #Constraints:      68900
1462.39/1467.39	c #Conflicts:     362000 | #Constraints:      69900
1462.39/1467.39	c #Conflicts:     363000 | #Constraints:      70900
1462.39/1467.39	c #Conflicts:     364000 | #Constraints:      71900
1462.39/1467.39	c #Conflicts:     365000 | #Constraints:      72900
1462.39/1467.39	c #Conflicts:     366000 | #Constraints:      73900
1462.39/1467.39	c #Conflicts:     367000 | #Constraints:      74900
1462.39/1467.39	c #Conflicts:     368000 | #Constraints:      75900
1462.39/1467.39	c #Conflicts:     369000 | #Constraints:      76900
1462.39/1467.39	c #Conflicts:     370000 | #Constraints:      77900
1462.39/1467.39	c #Conflicts:     371000 | #Constraints:      78900
1462.39/1467.39	c #Conflicts:     372000 | #Constraints:      79900
1462.39/1467.39	c #Conflicts:     373000 | #Constraints:      80901
1462.39/1467.39	c #Conflicts:     374000 | #Constraints:      81901
1462.39/1467.39	c INPROCESSING
1462.39/1467.39	c GARBAGE COLLECT
1462.39/1467.39	c rational objective 157
1582.90/1588.23	c #Conflicts:     375000 | #Constraints:      51875
1582.90/1588.23	c #Conflicts:     376000 | #Constraints:      52875
1582.90/1588.23	c #Conflicts:     377000 | #Constraints:      53875
1582.90/1588.23	c #Conflicts:     378000 | #Constraints:      54875
1582.90/1588.23	c #Conflicts:     379000 | #Constraints:      55875
1582.90/1588.23	c #Conflicts:     380000 | #Constraints:      56876
1582.90/1588.23	c #Conflicts:     381000 | #Constraints:      57876
1582.90/1588.23	c #Conflicts:     382000 | #Constraints:      58876
1582.90/1588.23	c #Conflicts:     383000 | #Constraints:      59876
1582.90/1588.23	c #Conflicts:     384000 | #Constraints:      60876
1582.90/1588.23	c #Conflicts:     385000 | #Constraints:      61876
1582.90/1588.23	c #Conflicts:     386000 | #Constraints:      62876
1582.90/1588.23	c #Conflicts:     387000 | #Constraints:      63876
1582.90/1588.23	c #Conflicts:     388000 | #Constraints:      64876
1582.90/1588.23	c #Conflicts:     389000 | #Constraints:      65876
1582.90/1588.23	c #Conflicts:     390000 | #Constraints:      66876
1582.90/1588.23	c #Conflicts:     391000 | #Constraints:      67876
1582.90/1588.23	c INPROCESSING
1582.90/1588.23	c GARBAGE COLLECT
1582.90/1588.23	c rational objective 157
1720.38/1726.14	c #Conflicts:     392000 | #Constraints:      46371
1720.38/1726.14	c #Conflicts:     393000 | #Constraints:      47371
1720.38/1726.14	c #Conflicts:     394000 | #Constraints:      48371
1720.38/1726.14	c #Conflicts:     395000 | #Constraints:      49371
1720.38/1726.14	c #Conflicts:     396000 | #Constraints:      50371
1720.38/1726.14	c #Conflicts:     397000 | #Constraints:      51371
1720.38/1726.14	c #Conflicts:     398000 | #Constraints:      52371
1720.38/1726.14	c #Conflicts:     399000 | #Constraints:      53371
1720.38/1726.14	c #Conflicts:     400000 | #Constraints:      54371
1720.38/1726.14	c #Conflicts:     401000 | #Constraints:      55372
1720.38/1726.14	c #Conflicts:     402000 | #Constraints:      56372
1720.38/1726.14	c #Conflicts:     403000 | #Constraints:      57372
1720.38/1726.14	c #Conflicts:     404000 | #Constraints:      58372
1720.38/1726.14	c #Conflicts:     405000 | #Constraints:      59372
1720.38/1726.14	c #Conflicts:     406000 | #Constraints:      60372
1720.38/1726.14	c #Conflicts:     407000 | #Constraints:      61373
1720.38/1726.14	c #Conflicts:     408000 | #Constraints:      62373
1720.38/1726.14	c #Conflicts:     409000 | #Constraints:      63373
1720.38/1726.14	c #Conflicts:     410000 | #Constraints:      64373
1720.38/1726.14	c #Conflicts:     411000 | #Constraints:      65373
1720.38/1726.14	c #Conflicts:     412000 | #Constraints:      66373
1720.38/1726.14	c #Conflicts:     413000 | #Constraints:      67373
1720.38/1726.14	c #Conflicts:     414000 | #Constraints:      68373
1720.38/1726.14	c #Conflicts:     415000 | #Constraints:      69373
1720.38/1726.14	c #Conflicts:     416000 | #Constraints:      70373
1720.38/1726.14	c #Conflicts:     417000 | #Constraints:      71373
1720.38/1726.14	c #Conflicts:     418000 | #Constraints:      72373
1720.38/1726.14	c #Conflicts:     419000 | #Constraints:      73373
1720.38/1726.14	c #Conflicts:     420000 | #Constraints:      74373
1720.38/1726.14	c #Conflicts:     421000 | #Constraints:      75373
1720.38/1726.14	c #Conflicts:     422000 | #Constraints:      76373
1720.38/1726.14	c #Conflicts:     423000 | #Constraints:      77373
1720.38/1726.14	c #Conflicts:     424000 | #Constraints:      78373
1720.38/1726.14	c #Conflicts:     425000 | #Constraints:      79373
1720.38/1726.14	c #Conflicts:     426000 | #Constraints:      80373
1720.38/1726.14	c #Conflicts:     427000 | #Constraints:      81373
1720.38/1726.14	c #Conflicts:     428000 | #Constraints:      82373
1720.38/1726.14	c #Conflicts:     429000 | #Constraints:      83373
1720.38/1726.14	c #Conflicts:     430000 | #Constraints:      84373
1720.38/1726.14	c #Conflicts:     431000 | #Constraints:      85373
1720.38/1726.14	c #Conflicts:     432000 | #Constraints:      86373
1720.38/1726.14	c #Conflicts:     433000 | #Constraints:      87373
1720.38/1726.14	c #Conflicts:     434000 | #Constraints:      88373
1720.38/1726.14	c INPROCESSING
1720.38/1726.14	c GARBAGE COLLECT
1720.38/1726.14	c rational objective 157
1770.13/1776.06	c #Conflicts:     435000 | #Constraints:      55237
1770.13/1776.06	c #Conflicts:     436000 | #Constraints:      56237
1770.13/1776.06	c #Conflicts:     437000 | #Constraints:      57237
1770.13/1776.06	c #Conflicts:     438000 | #Constraints:      58237
1770.13/1776.06	c #Conflicts:     439000 | #Constraints:      59237
1770.13/1776.06	c #Conflicts:     440000 | #Constraints:      60237
1770.13/1776.06	c #Conflicts:     441000 | #Constraints:      61237
1770.13/1776.06	c #Conflicts:     442000 | #Constraints:      62237
1770.13/1776.06	c #Conflicts:     443000 | #Constraints:      63237
1770.13/1776.06	c #Conflicts:     444000 | #Constraints:      64237
1770.13/1776.06	c #Conflicts:     445000 | #Constraints:      65237
1770.13/1776.06	c #Conflicts:     446000 | #Constraints:      66237
1770.13/1776.06	c #Conflicts:     447000 | #Constraints:      67237
1770.13/1776.06	c #Conflicts:     448000 | #Constraints:      68237
1770.13/1776.06	c #Conflicts:     449000 | #Constraints:      69237
1770.13/1776.06	c #Conflicts:     450000 | #Constraints:      70237
1770.13/1776.06	c #Conflicts:     451000 | #Constraints:      71237
1770.13/1776.06	c #Conflicts:     452000 | #Constraints:      72237
1770.13/1776.06	c INPROCESSING
1770.13/1776.06	c GARBAGE COLLECT
1770.13/1776.06	c rational objective 157
2008.37/2015.10	c #Conflicts:     453000 | #Constraints:      48338
2008.37/2015.10	c #Conflicts:     454000 | #Constraints:      49338
2008.37/2015.10	c #Conflicts:     455000 | #Constraints:      50338
2008.37/2015.10	c #Conflicts:     456000 | #Constraints:      51338
2008.37/2015.10	c #Conflicts:     457000 | #Constraints:      52338
2008.37/2015.10	c #Conflicts:     458000 | #Constraints:      53338
2008.37/2015.10	c #Conflicts:     459000 | #Constraints:      54338
2008.37/2015.10	c #Conflicts:     460000 | #Constraints:      55338
2008.37/2015.10	c #Conflicts:     461000 | #Constraints:      56338
2008.37/2015.10	c #Conflicts:     462000 | #Constraints:      57338
2008.37/2015.10	c #Conflicts:     463000 | #Constraints:      58338
2008.37/2015.10	c #Conflicts:     464000 | #Constraints:      59338
2008.37/2015.10	c #Conflicts:     465000 | #Constraints:      60338
2008.37/2015.10	c #Conflicts:     466000 | #Constraints:      61338
2008.37/2015.10	c #Conflicts:     467000 | #Constraints:      62338
2008.37/2015.10	c #Conflicts:     468000 | #Constraints:      63338
2008.37/2015.10	c #Conflicts:     469000 | #Constraints:      64338
2008.37/2015.10	c #Conflicts:     470000 | #Constraints:      65338
2008.37/2015.10	c #Conflicts:     471000 | #Constraints:      66339
2008.37/2015.10	c #Conflicts:     472000 | #Constraints:      67339
2008.37/2015.10	c #Conflicts:     473000 | #Constraints:      68339
2008.37/2015.10	c #Conflicts:     474000 | #Constraints:      69339
2008.37/2015.10	c #Conflicts:     475000 | #Constraints:      70339
2008.37/2015.10	c #Conflicts:     476000 | #Constraints:      71339
2008.37/2015.10	c #Conflicts:     477000 | #Constraints:      72339
2008.37/2015.10	c #Conflicts:     478000 | #Constraints:      73339
2008.37/2015.10	c #Conflicts:     479000 | #Constraints:      74339
2008.37/2015.10	c #Conflicts:     480000 | #Constraints:      75339
2008.37/2015.10	c #Conflicts:     481000 | #Constraints:      76339
2008.37/2015.10	c #Conflicts:     482000 | #Constraints:      77339
2008.37/2015.10	c #Conflicts:     483000 | #Constraints:      78339
2008.37/2015.10	c #Conflicts:     484000 | #Constraints:      79339
2008.37/2015.10	c #Conflicts:     485000 | #Constraints:      80339
2008.37/2015.10	c #Conflicts:     486000 | #Constraints:      81339
2008.37/2015.10	c #Conflicts:     487000 | #Constraints:      82340
2008.37/2015.10	c #Conflicts:     488000 | #Constraints:      83340
2008.37/2015.10	c #Conflicts:     489000 | #Constraints:      84340
2008.37/2015.10	c #Conflicts:     490000 | #Constraints:      85340
2008.37/2015.10	c #Conflicts:     491000 | #Constraints:      86340
2008.37/2015.10	c #Conflicts:     492000 | #Constraints:      87340
2008.37/2015.10	c #Conflicts:     493000 | #Constraints:      88340
2008.37/2015.10	c #Conflicts:     494000 | #Constraints:      89340
2008.37/2015.10	c #Conflicts:     495000 | #Constraints:      90340
2008.37/2015.10	c #Conflicts:     496000 | #Constraints:      91340
2008.37/2015.10	c #Conflicts:     497000 | #Constraints:      92340
2008.37/2015.10	c #Conflicts:     498000 | #Constraints:      93340
2008.37/2015.10	c INPROCESSING
2008.37/2015.10	c GARBAGE COLLECT
2008.37/2015.10	c rational objective 157
2127.89/2134.94	c #Conflicts:     499000 | #Constraints:      57577
2127.89/2134.94	c #Conflicts:     500000 | #Constraints:      58577
2127.89/2134.94	c #Conflicts:     501000 | #Constraints:      59577
2127.89/2134.94	c #Conflicts:     502000 | #Constraints:      60577
2127.89/2134.94	c #Conflicts:     503000 | #Constraints:      61577
2127.89/2134.94	c #Conflicts:     504000 | #Constraints:      62577
2127.89/2134.94	c #Conflicts:     505000 | #Constraints:      63577
2127.89/2134.94	c #Conflicts:     506000 | #Constraints:      64577
2127.89/2134.94	c #Conflicts:     507000 | #Constraints:      65578
2127.89/2134.94	c #Conflicts:     508000 | #Constraints:      66578
2127.89/2134.94	c #Conflicts:     509000 | #Constraints:      67578
2127.89/2134.94	c #Conflicts:     510000 | #Constraints:      68578
2127.89/2134.94	c #Conflicts:     511000 | #Constraints:      69579
2127.89/2134.94	c #Conflicts:     512000 | #Constraints:      70581
2127.89/2134.94	c #Conflicts:     513000 | #Constraints:      71583
2127.89/2134.94	c #Conflicts:     514000 | #Constraints:      72583
2127.89/2134.94	c #Conflicts:     515000 | #Constraints:      73583
2127.89/2134.94	c #Conflicts:     516000 | #Constraints:      74583
2127.89/2134.94	c #Conflicts:     517000 | #Constraints:      75583
2127.89/2134.94	c INPROCESSING
2127.89/2134.94	c GARBAGE COLLECT
2127.89/2134.94	c rational objective 157
2343.67/2351.42	c #Conflicts:     518000 | #Constraints:      49524
2343.67/2351.42	c #Conflicts:     519000 | #Constraints:      50524
2343.67/2351.42	c #Conflicts:     520000 | #Constraints:      51524
2343.67/2351.42	c #Conflicts:     521000 | #Constraints:      52524
2343.67/2351.42	c #Conflicts:     522000 | #Constraints:      53524
2343.67/2351.42	c #Conflicts:     523000 | #Constraints:      54525
2343.67/2351.42	c #Conflicts:     524000 | #Constraints:      55525
2343.67/2351.42	c #Conflicts:     525000 | #Constraints:      56525
2343.67/2351.42	c #Conflicts:     526000 | #Constraints:      57525
2343.67/2351.42	c #Conflicts:     527000 | #Constraints:      58525
2343.67/2351.42	c #Conflicts:     528000 | #Constraints:      59525
2343.67/2351.42	c #Conflicts:     529000 | #Constraints:      60525
2343.67/2351.42	c #Conflicts:     530000 | #Constraints:      61525
2343.67/2351.42	c #Conflicts:     531000 | #Constraints:      62525
2343.67/2351.42	c #Conflicts:     532000 | #Constraints:      63525
2343.67/2351.42	c #Conflicts:     533000 | #Constraints:      64525
2343.67/2351.42	c #Conflicts:     534000 | #Constraints:      65525
2343.67/2351.42	c #Conflicts:     535000 | #Constraints:      66525
2343.67/2351.42	c #Conflicts:     536000 | #Constraints:      67525
2343.67/2351.42	c #Conflicts:     537000 | #Constraints:      68525
2343.67/2351.42	c #Conflicts:     538000 | #Constraints:      69525
2343.67/2351.42	c #Conflicts:     539000 | #Constraints:      70525
2343.67/2351.42	c #Conflicts:     540000 | #Constraints:      71525
2343.67/2351.42	c #Conflicts:     541000 | #Constraints:      72525
2343.67/2351.42	c #Conflicts:     542000 | #Constraints:      73526
2343.67/2351.42	c #Conflicts:     543000 | #Constraints:      74526
2343.67/2351.42	c #Conflicts:     544000 | #Constraints:      75526
2343.67/2351.42	c #Conflicts:     545000 | #Constraints:      76526
2343.67/2351.42	c #Conflicts:     546000 | #Constraints:      77526
2343.67/2351.42	c #Conflicts:     547000 | #Constraints:      78526
2343.67/2351.42	c #Conflicts:     548000 | #Constraints:      79526
2343.67/2351.42	c #Conflicts:     549000 | #Constraints:      80526
2343.67/2351.42	c #Conflicts:     550000 | #Constraints:      81526
2343.67/2351.42	c #Conflicts:     551000 | #Constraints:      82526
2343.67/2351.42	c #Conflicts:     552000 | #Constraints:      83526
2343.67/2351.42	c #Conflicts:     553000 | #Constraints:      84526
2343.67/2351.42	c #Conflicts:     554000 | #Constraints:      85526
2343.67/2351.42	c #Conflicts:     555000 | #Constraints:      86526
2343.67/2351.42	c #Conflicts:     556000 | #Constraints:      87526
2343.67/2351.42	c #Conflicts:     557000 | #Constraints:      88527
2343.67/2351.42	c #Conflicts:     558000 | #Constraints:      89527
2343.67/2351.42	c #Conflicts:     559000 | #Constraints:      90527
2343.67/2351.42	c #Conflicts:     560000 | #Constraints:      91527
2343.67/2351.42	c #Conflicts:     561000 | #Constraints:      92527
2343.67/2351.42	c #Conflicts:     562000 | #Constraints:      93527
2343.67/2351.42	c #Conflicts:     563000 | #Constraints:      94527
2343.67/2351.42	c #Conflicts:     564000 | #Constraints:      95527
2343.67/2351.42	c #Conflicts:     565000 | #Constraints:      96527
2343.67/2351.42	c #Conflicts:     566000 | #Constraints:      97527
2343.67/2351.42	c INPROCESSING
2343.67/2351.42	c GARBAGE COLLECT
2343.67/2351.42	c rational objective 157
2528.97/2537.33	c #Conflicts:     567000 | #Constraints:      59851
2528.97/2537.33	c #Conflicts:     568000 | #Constraints:      60851
2528.97/2537.33	c #Conflicts:     569000 | #Constraints:      61851
2528.97/2537.33	c #Conflicts:     570000 | #Constraints:      62851
2528.97/2537.33	c #Conflicts:     571000 | #Constraints:      63851
2528.97/2537.33	c #Conflicts:     572000 | #Constraints:      64851
2528.97/2537.33	c #Conflicts:     573000 | #Constraints:      65851
2528.97/2537.33	c #Conflicts:     574000 | #Constraints:      66851
2528.97/2537.33	c #Conflicts:     575000 | #Constraints:      67852
2528.97/2537.33	c #Conflicts:     576000 | #Constraints:      68852
2528.97/2537.33	c #Conflicts:     577000 | #Constraints:      69852
2528.97/2537.33	c #Conflicts:     578000 | #Constraints:      70852
2528.97/2537.33	c #Conflicts:     579000 | #Constraints:      71852
2528.97/2537.33	c #Conflicts:     580000 | #Constraints:      72852
2528.97/2537.33	c #Conflicts:     581000 | #Constraints:      73852
2528.97/2537.33	c #Conflicts:     582000 | #Constraints:      74852
2528.97/2537.33	c #Conflicts:     583000 | #Constraints:      75852
2528.97/2537.33	c #Conflicts:     584000 | #Constraints:      76852
2528.97/2537.33	c #Conflicts:     585000 | #Constraints:      77852
2528.97/2537.33	c #Conflicts:     586000 | #Constraints:      78852
2528.97/2537.33	c #Conflicts:     587000 | #Constraints:      79852
2528.97/2537.33	c INPROCESSING
2528.97/2537.33	c GARBAGE COLLECT
2528.97/2537.33	c rational objective 157
2793.60/2802.83	c #Conflicts:     588000 | #Constraints:      53087
2793.60/2802.83	c #Conflicts:     589000 | #Constraints:      54087
2793.60/2802.83	c #Conflicts:     590000 | #Constraints:      55087
2793.60/2802.83	c #Conflicts:     591000 | #Constraints:      56087
2793.60/2802.83	c #Conflicts:     592000 | #Constraints:      57087
2793.60/2802.83	c #Conflicts:     593000 | #Constraints:      58087
2793.60/2802.83	c #Conflicts:     594000 | #Constraints:      59087
2793.60/2802.83	c #Conflicts:     595000 | #Constraints:      60087
2793.60/2802.83	c #Conflicts:     596000 | #Constraints:      61087
2793.60/2802.83	c #Conflicts:     597000 | #Constraints:      62087
2793.60/2802.83	c #Conflicts:     598000 | #Constraints:      63088
2793.60/2802.83	c #Conflicts:     599000 | #Constraints:      64089
2793.60/2802.83	c #Conflicts:     600000 | #Constraints:      65091
2793.60/2802.83	c #Conflicts:     601000 | #Constraints:      66092
2793.60/2802.83	c #Conflicts:     602000 | #Constraints:      67093
2793.60/2802.83	c #Conflicts:     603000 | #Constraints:      68094
2793.60/2802.83	c #Conflicts:     604000 | #Constraints:      69094
2793.60/2802.83	c #Conflicts:     605000 | #Constraints:      70094
2793.60/2802.83	c #Conflicts:     606000 | #Constraints:      71094
2793.60/2802.83	c #Conflicts:     607000 | #Constraints:      72094
2793.60/2802.83	c #Conflicts:     608000 | #Constraints:      73094
2793.60/2802.83	c #Conflicts:     609000 | #Constraints:      74094
2793.60/2802.83	c #Conflicts:     610000 | #Constraints:      75095
2793.60/2802.83	c #Conflicts:     611000 | #Constraints:      76095
2793.60/2802.83	c #Conflicts:     612000 | #Constraints:      77095
2793.60/2802.83	c #Conflicts:     613000 | #Constraints:      78096
2793.60/2802.83	c #Conflicts:     614000 | #Constraints:      79096
2793.60/2802.83	c #Conflicts:     615000 | #Constraints:      80096
2793.60/2802.83	c #Conflicts:     616000 | #Constraints:      81096
2793.60/2802.83	c #Conflicts:     617000 | #Constraints:      82097
2793.60/2802.83	c #Conflicts:     618000 | #Constraints:      83097
2793.60/2802.83	c #Conflicts:     619000 | #Constraints:      84097
2793.60/2802.83	c #Conflicts:     620000 | #Constraints:      85097
2793.60/2802.83	c #Conflicts:     621000 | #Constraints:      86097
2793.60/2802.83	c #Conflicts:     622000 | #Constraints:      87097
2793.60/2802.83	c #Conflicts:     623000 | #Constraints:      88097
2793.60/2802.83	c #Conflicts:     624000 | #Constraints:      89097
2793.60/2802.83	c #Conflicts:     625000 | #Constraints:      90097
2793.60/2802.83	c #Conflicts:     626000 | #Constraints:      91097
2793.60/2802.83	c #Conflicts:     627000 | #Constraints:      92097
2793.60/2802.83	c #Conflicts:     628000 | #Constraints:      93097
2793.60/2802.83	c #Conflicts:     629000 | #Constraints:      94097
2793.60/2802.83	c #Conflicts:     630000 | #Constraints:      95097
2793.60/2802.83	c #Conflicts:     631000 | #Constraints:      96097
2793.60/2802.83	c #Conflicts:     632000 | #Constraints:      97097
2793.60/2802.83	c #Conflicts:     633000 | #Constraints:      98097
2793.60/2802.83	c #Conflicts:     634000 | #Constraints:      99097
2793.60/2802.83	c #Conflicts:     635000 | #Constraints:     100097
2793.60/2802.83	c #Conflicts:     636000 | #Constraints:     101097
2793.60/2802.83	c #Conflicts:     637000 | #Constraints:     102097
2793.60/2802.83	c #Conflicts:     638000 | #Constraints:     103097
2793.60/2802.83	c #Conflicts:     639000 | #Constraints:     104097
2793.60/2802.83	c INPROCESSING
2793.60/2802.83	c GARBAGE COLLECT
2793.60/2802.83	c #Conflicts:     640000 | #Constraints:      63104
2793.60/2802.83	c #Conflicts:     641000 | #Constraints:      64104
2793.60/2802.83	c #Conflicts:     642000 | #Constraints:      65104
2793.60/2802.83	c #Conflicts:     643000 | #Constraints:      66104
2793.60/2802.83	c #Conflicts:     644000 | #Constraints:      67104
2793.60/2802.83	c #Conflicts:     645000 | #Constraints:      68104
2793.60/2802.83	c #Conflicts:     646000 | #Constraints:      69104
2793.60/2802.83	c #Conflicts:     647000 | #Constraints:      70104
2793.60/2802.83	c #Conflicts:     648000 | #Constraints:      71104
2793.60/2802.83	c #Conflicts:     649000 | #Constraints:      72104
2793.60/2802.83	c #Conflicts:     650000 | #Constraints:      73104
2793.60/2802.83	c #Conflicts:     651000 | #Constraints:      74104
2793.60/2802.83	c #Conflicts:     652000 | #Constraints:      75104
2793.60/2802.83	c #Conflicts:     653000 | #Constraints:      76104
2793.60/2802.83	c #Conflicts:     654000 | #Constraints:      77105
2793.60/2802.83	c #Conflicts:     655000 | #Constraints:      78105
2793.60/2802.83	c #Conflicts:     656000 | #Constraints:      79105
2793.60/2802.83	c #Conflicts:     657000 | #Constraints:      80105
2793.60/2802.83	c #Conflicts:     658000 | #Constraints:      81105
2793.60/2802.83	c #Conflicts:     659000 | #Constraints:      82105
2793.60/2802.83	c #Conflicts:     660000 | #Constraints:      83105
2793.60/2802.83	c #Conflicts:     661000 | #Constraints:      84105
2793.60/2802.83	c INPROCESSING
2793.60/2802.83	c GARBAGE COLLECT
2793.60/2802.83	c rational objective 157
3015.39/3025.37	c #Conflicts:     662000 | #Constraints:      55119
3015.39/3025.37	c #Conflicts:     663000 | #Constraints:      56119
3015.39/3025.37	c #Conflicts:     664000 | #Constraints:      57119
3015.39/3025.37	c #Conflicts:     665000 | #Constraints:      58119
3015.39/3025.37	c #Conflicts:     666000 | #Constraints:      59119
3015.39/3025.37	c #Conflicts:     667000 | #Constraints:      60119
3015.39/3025.37	c #Conflicts:     668000 | #Constraints:      61119
3015.39/3025.37	c #Conflicts:     669000 | #Constraints:      62119
3015.39/3025.37	c #Conflicts:     670000 | #Constraints:      63119
3015.39/3025.37	c #Conflicts:     671000 | #Constraints:      64119
3015.39/3025.37	c #Conflicts:     672000 | #Constraints:      65120
3015.39/3025.37	c #Conflicts:     673000 | #Constraints:      66120
3015.39/3025.37	c #Conflicts:     674000 | #Constraints:      67120
3015.39/3025.37	c #Conflicts:     675000 | #Constraints:      68120
3015.39/3025.37	c #Conflicts:     676000 | #Constraints:      69120
3015.39/3025.37	c #Conflicts:     677000 | #Constraints:      70120
3015.39/3025.37	c #Conflicts:     678000 | #Constraints:      71120
3015.39/3025.37	c #Conflicts:     679000 | #Constraints:      72120
3015.39/3025.37	c #Conflicts:     680000 | #Constraints:      73120
3015.39/3025.37	c #Conflicts:     681000 | #Constraints:      74120
3015.39/3025.37	c #Conflicts:     682000 | #Constraints:      75120
3015.39/3025.37	c #Conflicts:     683000 | #Constraints:      76120
3015.39/3025.37	c #Conflicts:     684000 | #Constraints:      77120
3015.39/3025.37	c #Conflicts:     685000 | #Constraints:      78120
3015.39/3025.37	c #Conflicts:     686000 | #Constraints:      79120
3015.39/3025.37	c #Conflicts:     687000 | #Constraints:      80120
3015.39/3025.37	c #Conflicts:     688000 | #Constraints:      81120
3015.39/3025.37	c #Conflicts:     689000 | #Constraints:      82120
3015.39/3025.37	c #Conflicts:     690000 | #Constraints:      83120
3015.39/3025.37	c #Conflicts:     691000 | #Constraints:      84120
3015.39/3025.37	c #Conflicts:     692000 | #Constraints:      85120
3015.39/3025.37	c #Conflicts:     693000 | #Constraints:      86120
3015.39/3025.37	c #Conflicts:     694000 | #Constraints:      87120
3015.39/3025.37	c #Conflicts:     695000 | #Constraints:      88120
3015.39/3025.37	c #Conflicts:     696000 | #Constraints:      89120
3015.39/3025.37	c #Conflicts:     697000 | #Constraints:      90121
3015.39/3025.37	c #Conflicts:     698000 | #Constraints:      91121
3015.39/3025.37	c #Conflicts:     699000 | #Constraints:      92121
3015.39/3025.37	c #Conflicts:     700000 | #Constraints:      93121
3015.39/3025.37	c #Conflicts:     701000 | #Constraints:      94121
3015.39/3025.37	c #Conflicts:     702000 | #Constraints:      95121
3015.39/3025.37	c #Conflicts:     703000 | #Constraints:      96121
3015.39/3025.37	c #Conflicts:     704000 | #Constraints:      97121
3015.39/3025.37	c #Conflicts:     705000 | #Constraints:      98121
3015.39/3025.37	c #Conflicts:     706000 | #Constraints:      99121
3015.39/3025.37	c #Conflicts:     707000 | #Constraints:     100121
3015.39/3025.37	c #Conflicts:     708000 | #Constraints:     101121
3015.39/3025.37	c #Conflicts:     709000 | #Constraints:     102121
3015.39/3025.37	c #Conflicts:     710000 | #Constraints:     103121
3015.39/3025.37	c #Conflicts:     711000 | #Constraints:     104121
3015.39/3025.37	c #Conflicts:     712000 | #Constraints:     105121
3015.39/3025.37	c #Conflicts:     713000 | #Constraints:     106121
3015.39/3025.37	c #Conflicts:     714000 | #Constraints:     107121
3015.39/3025.37	c #Conflicts:     715000 | #Constraints:     108122
3015.39/3025.37	c #Conflicts:     716000 | #Constraints:     109122
3015.39/3025.37	c INPROCESSING
3015.39/3025.37	c GARBAGE COLLECT
3015.39/3025.37	c rational objective 157
3246.05/3256.78	c #Conflicts:     717000 | #Constraints:      65912
3246.05/3256.78	c #Conflicts:     718000 | #Constraints:      66912
3246.05/3256.78	c #Conflicts:     719000 | #Constraints:      67912
3246.05/3256.78	c #Conflicts:     720000 | #Constraints:      68912
3246.05/3256.78	c #Conflicts:     721000 | #Constraints:      69912
3246.05/3256.78	c #Conflicts:     722000 | #Constraints:      70912
3246.05/3256.78	c #Conflicts:     723000 | #Constraints:      71912
3246.05/3256.78	c #Conflicts:     724000 | #Constraints:      72912
3246.05/3256.78	c #Conflicts:     725000 | #Constraints:      73912
3246.05/3256.78	c #Conflicts:     726000 | #Constraints:      74912
3246.05/3256.78	c #Conflicts:     727000 | #Constraints:      75912
3246.05/3256.78	c #Conflicts:     728000 | #Constraints:      76912
3246.05/3256.78	c #Conflicts:     729000 | #Constraints:      77912
3246.05/3256.78	c #Conflicts:     730000 | #Constraints:      78913
3246.05/3256.78	c #Conflicts:     731000 | #Constraints:      79913
3246.05/3256.78	c #Conflicts:     732000 | #Constraints:      80913
3246.05/3256.78	c #Conflicts:     733000 | #Constraints:      81913
3246.05/3256.78	c #Conflicts:     734000 | #Constraints:      82913
3246.05/3256.78	c #Conflicts:     735000 | #Constraints:      83913
3246.05/3256.78	c #Conflicts:     736000 | #Constraints:      84913
3246.05/3256.78	c #Conflicts:     737000 | #Constraints:      85913
3246.05/3256.78	c #Conflicts:     738000 | #Constraints:      86913
3246.05/3256.78	c #Conflicts:     739000 | #Constraints:      87913
3246.05/3256.78	c #Conflicts:     740000 | #Constraints:      88913
3246.05/3256.78	c INPROCESSING
3246.05/3256.78	c GARBAGE COLLECT
3246.05/3256.78	c rational objective 157
3392.49/3403.61	c #Conflicts:     741000 | #Constraints:      58217
3392.49/3403.61	c #Conflicts:     742000 | #Constraints:      59217
3392.49/3403.61	c #Conflicts:     743000 | #Constraints:      60217
3392.49/3403.61	c #Conflicts:     744000 | #Constraints:      61217
3392.49/3403.61	c #Conflicts:     745000 | #Constraints:      62217
3392.49/3403.61	c #Conflicts:     746000 | #Constraints:      63217
3392.49/3403.61	c #Conflicts:     747000 | #Constraints:      64217
3392.49/3403.61	c #Conflicts:     748000 | #Constraints:      65217
3392.49/3403.61	c #Conflicts:     749000 | #Constraints:      66217
3392.49/3403.61	c #Conflicts:     750000 | #Constraints:      67217
3392.49/3403.61	c #Conflicts:     751000 | #Constraints:      68217
3392.49/3403.61	c #Conflicts:     752000 | #Constraints:      69218
3392.49/3403.61	c #Conflicts:     753000 | #Constraints:      70218
3392.49/3403.61	c #Conflicts:     754000 | #Constraints:      71218
3392.49/3403.61	c #Conflicts:     755000 | #Constraints:      72218
3392.49/3403.61	c #Conflicts:     756000 | #Constraints:      73219
3392.49/3403.61	c #Conflicts:     757000 | #Constraints:      74219
3392.49/3403.61	c #Conflicts:     758000 | #Constraints:      75219
3392.49/3403.61	c #Conflicts:     759000 | #Constraints:      76219
3392.49/3403.61	c #Conflicts:     760000 | #Constraints:      77219
3392.49/3403.61	c #Conflicts:     761000 | #Constraints:      78219
3392.49/3403.61	c #Conflicts:     762000 | #Constraints:      79219
3392.49/3403.61	c #Conflicts:     763000 | #Constraints:      80219
3392.49/3403.61	c #Conflicts:     764000 | #Constraints:      81219
3392.49/3403.61	c #Conflicts:     765000 | #Constraints:      82219
3392.49/3403.61	c #Conflicts:     766000 | #Constraints:      83219
3392.49/3403.61	c #Conflicts:     767000 | #Constraints:      84219
3392.49/3403.61	c #Conflicts:     768000 | #Constraints:      85220
3392.49/3403.61	c #Conflicts:     769000 | #Constraints:      86220
3392.49/3403.61	c #Conflicts:     770000 | #Constraints:      87220
3392.49/3403.61	c #Conflicts:     771000 | #Constraints:      88220
3392.49/3403.61	c #Conflicts:     772000 | #Constraints:      89220
3392.49/3403.61	c #Conflicts:     773000 | #Constraints:      90220
3392.49/3403.61	c #Conflicts:     774000 | #Constraints:      91220
3392.49/3403.61	c #Conflicts:     775000 | #Constraints:      92220
3392.49/3403.61	c #Conflicts:     776000 | #Constraints:      93220
3392.49/3403.61	c #Conflicts:     777000 | #Constraints:      94220
3392.49/3403.61	c #Conflicts:     778000 | #Constraints:      95220
3392.49/3403.61	c #Conflicts:     779000 | #Constraints:      96220
3392.49/3403.61	c #Conflicts:     780000 | #Constraints:      97220
3392.49/3403.61	c #Conflicts:     781000 | #Constraints:      98220
3392.49/3403.61	c #Conflicts:     782000 | #Constraints:      99220
3392.49/3403.61	c #Conflicts:     783000 | #Constraints:     100220
3392.49/3403.61	c #Conflicts:     784000 | #Constraints:     101220
3392.49/3403.61	c #Conflicts:     785000 | #Constraints:     102220
3392.49/3403.61	c #Conflicts:     786000 | #Constraints:     103220
3392.49/3403.61	c #Conflicts:     787000 | #Constraints:     104220
3392.49/3403.61	c #Conflicts:     788000 | #Constraints:     105220
3392.49/3403.61	c #Conflicts:     789000 | #Constraints:     106220
3392.49/3403.61	c #Conflicts:     790000 | #Constraints:     107220
3392.49/3403.61	c #Conflicts:     791000 | #Constraints:     108220
3392.49/3403.61	c #Conflicts:     792000 | #Constraints:     109220
3392.49/3403.61	c #Conflicts:     793000 | #Constraints:     110220
3392.49/3403.61	c #Conflicts:     794000 | #Constraints:     111220
3392.49/3403.61	c #Conflicts:     795000 | #Constraints:     112220
3392.49/3403.61	c #Conflicts:     796000 | #Constraints:     113220
3392.49/3403.61	c #Conflicts:     797000 | #Constraints:     114220
3392.49/3403.61	c #Conflicts:     798000 | #Constraints:     115220
3392.49/3403.61	c INPROCESSING
3392.49/3403.61	c GARBAGE COLLECT
3392.49/3403.61	c rational objective 157
3499.26/3510.71	c #Conflicts:     799000 | #Constraints:      69206
3499.26/3510.71	c #Conflicts:     800000 | #Constraints:      70206
3499.26/3510.71	c #Conflicts:     801000 | #Constraints:      71206
3499.26/3510.71	c #Conflicts:     802000 | #Constraints:      72208
3499.26/3510.71	c #Conflicts:     803000 | #Constraints:      73208
3499.26/3510.71	c #Conflicts:     804000 | #Constraints:      74208
3499.26/3510.71	c #Conflicts:     805000 | #Constraints:      75208
3499.26/3510.71	c #Conflicts:     806000 | #Constraints:      76209
3499.26/3510.71	c #Conflicts:     807000 | #Constraints:      77209
3499.26/3510.71	c #Conflicts:     808000 | #Constraints:      78209
3499.26/3510.71	c #Conflicts:     809000 | #Constraints:      79209
3499.26/3510.71	c #Conflicts:     810000 | #Constraints:      80210
3499.26/3510.71	c #Conflicts:     811000 | #Constraints:      81210
3499.26/3510.71	c #Conflicts:     812000 | #Constraints:      82210
3499.26/3510.71	c #Conflicts:     813000 | #Constraints:      83210
3499.26/3510.71	c #Conflicts:     814000 | #Constraints:      84210
3499.26/3510.71	c #Conflicts:     815000 | #Constraints:      85210
3499.26/3510.71	c #Conflicts:     816000 | #Constraints:      86210
3499.26/3510.71	c #Conflicts:     817000 | #Constraints:      87210
3499.26/3510.71	c #Conflicts:     818000 | #Constraints:      88210
3499.26/3510.71	c #Conflicts:     819000 | #Constraints:      89210
3499.26/3510.71	c #Conflicts:     820000 | #Constraints:      90211
3499.26/3510.71	c #Conflicts:     821000 | #Constraints:      91211
3499.26/3510.71	c #Conflicts:     822000 | #Constraints:      92211
3499.26/3510.71	c INPROCESSING
3499.26/3510.71	c GARBAGE COLLECT
3499.26/3510.71	c rational objective 157
3600.05/3611.80	c #Conflicts:     823000 | #Constraints:      60261
3600.05/3611.80	c #Conflicts:     824000 | #Constraints:      61261
3600.05/3611.80	c #Conflicts:     825000 | #Constraints:      62261
3600.05/3611.80	c #Conflicts:     826000 | #Constraints:      63261
3600.05/3611.80	c #Conflicts:     827000 | #Constraints:      64261
3600.05/3611.80	c #Conflicts:     828000 | #Constraints:      65261
3600.05/3611.80	c #Conflicts:     829000 | #Constraints:      66261
3600.05/3611.80	c #Conflicts:     830000 | #Constraints:      67261
3600.05/3611.80	c #Conflicts:     831000 | #Constraints:      68261
3600.05/3611.80	c #Conflicts:     832000 | #Constraints:      69262
3600.05/3611.80	c #Conflicts:     833000 | #Constraints:      70262
3600.05/3611.80	c #Conflicts:     834000 | #Constraints:      71262
3600.05/3611.80	c #Conflicts:     835000 | #Constraints:      72262
3600.05/3611.80	c #Conflicts:     836000 | #Constraints:      73262
3600.05/3611.80	c #Conflicts:     837000 | #Constraints:      74262
3600.05/3611.80	c #Conflicts:     838000 | #Constraints:      75262
3600.05/3611.80	c #Conflicts:     839000 | #Constraints:      76262
3600.05/3611.80	c #Conflicts:     840000 | #Constraints:      77262
3600.05/3611.80	c #Conflicts:     841000 | #Constraints:      78262
3600.05/3611.80	c #Conflicts:     842000 | #Constraints:      79262
3600.05/3611.80	c #Conflicts:     843000 | #Constraints:      80262
3600.05/3611.80	c #Conflicts:     844000 | #Constraints:      81262
3600.05/3611.80	c #Conflicts:     845000 | #Constraints:      82262
3600.05/3611.80	c #Conflicts:     846000 | #Constraints:      83262
3600.05/3611.80	c #Conflicts:     847000 | #Constraints:      84262
3600.05/3611.80	c #Conflicts:     848000 | #Constraints:      85262
3600.05/3611.80	c #Conflicts:     849000 | #Constraints:      86262
3600.05/3611.80	c #Conflicts:     850000 | #Constraints:      87262
3600.05/3611.80	c #Conflicts:     851000 | #Constraints:      88262
3600.05/3611.80	c #Conflicts:     852000 | #Constraints:      89262
3600.05/3611.80	c #Conflicts:     853000 | #Constraints:      90262
3600.05/3611.80	c #Conflicts:     854000 | #Constraints:      91262
3600.05/3611.80	c #Conflicts:     855000 | #Constraints:      92263
3600.05/3611.80	c #Conflicts:     856000 | #Constraints:      93263
3600.05/3611.80	c #Conflicts:     857000 | #Constraints:      94263
3600.05/3611.80	c #Conflicts:     858000 | #Constraints:      95263
3600.05/3611.80	c #Conflicts:     859000 | #Constraints:      96263
3600.05/3611.80	c Program interrupted by user.
3600.05/3611.82	c cpu time 3565.36 s
3600.05/3611.82	c deterministic time 187309043929 1.87e+11
3600.05/3611.82	c optimization time 99.5515 s
3600.05/3611.82	c total solve time 3465.74 s
3600.05/3611.82	c core-guided solve time 0 s
3600.05/3611.82	c propagation time 1663.14 s
3600.05/3611.82	c conflict analysis time 516.77 s
3600.05/3611.82	c propagations 645282264
3600.05/3611.82	c resolve steps 38644246
3600.05/3611.82	c decisions 15695929
3600.05/3611.82	c conflicts 859374
3600.05/3611.82	c restarts 1848
3600.05/3611.82	c inprocessing phases 39
3600.05/3611.82	c input clauses 18842
3600.05/3611.82	c input cardinalities 157
3600.05/3611.82	c input general constraints 0
3600.05/3611.82	c input average constraint length 6.43
3600.05/3611.82	c input average constraint degree 1.97
3600.05/3611.82	c learned clauses 552517
3600.05/3611.82	c learned cardinalities 37030
3600.05/3611.82	c learned general constraints 269887
3600.05/3611.82	c learned average constraint length 1097.45
3600.05/3611.82	c learned average constraint degree 318917082.28
3600.05/3611.82	c watched constraints 199791
3600.05/3611.82	c counting constraints 70096
3600.05/3611.82	c gcd simplifications 3188
3600.05/3611.82	c detected cardinalities 4976
3600.05/3611.82	c weakened non-implied lits 187317040
3600.05/3611.82	c weakened non-implying lits 257135
3600.05/3611.82	c original variables 18683
3600.05/3611.82	c clausal propagations 290945971
3600.05/3611.82	c cardinality propagations 230322562
3600.05/3611.82	c watched propagations 34261757
3600.05/3611.82	c counting propagations 81562622
3600.05/3611.82	c watch lookups 10415006062
3600.05/3611.82	c watch backjump lookups 8389051450
3600.05/3611.82	c watch checks 122095272777
3600.05/3611.82	c propagation checks 41903567386
3600.05/3611.82	c constraint additions 3181660466
3600.05/3611.82	c trail pops 661820616
3600.05/3611.82	c formula constraints 18999
3600.05/3611.82	c learned constraints 859314
3600.05/3611.82	c bound constraints 0
3600.05/3611.82	c core-guided constraints 0
3600.05/3611.82	c encountered formula constraints 26633835
3600.05/3611.82	c encountered learned constraints 12868687
3600.05/3611.82	c encountered bound constraints 0
3600.05/3611.82	c encountered core-guided constraints 0
3600.05/3611.82	c LP total time 2231.57 s
3600.05/3611.82	c LP solve time 2228.1 s
3600.05/3611.82	c LP constraints added 23069
3600.05/3611.82	c LP constraints removed 3774
3600.05/3611.82	c LP pivots internal 867288
3600.05/3611.82	c LP pivots root 819690
3600.05/3611.82	c LP calls 98
3600.05/3611.82	c LP optimalities 31
3600.05/3611.82	c LP no pivot count 0
3600.05/3611.82	c LP infeasibilities 60
3600.05/3611.82	c LP valid Farkas constraints 60
3600.05/3611.82	c LP learned Farkas constraints 60
3600.05/3611.82	c LP basis resets 0
3600.05/3611.82	c LP cycling count 0
3600.05/3611.82	c LP singular count 0
3600.05/3611.82	c LP no primal count 0
3600.05/3611.82	c LP no farkas count 0
3600.05/3611.82	c LP other issue count 0
3600.05/3611.82	c LP Gomory cuts 0
3600.05/3611.82	c LP learned cuts 4070
3600.05/3611.82	c LP deleted cuts 3774
3600.05/3611.82	c LP encountered Gomory constraints 0
3600.05/3611.82	c LP encountered Farkas constraints 831
3600.05/3611.82	c LP encountered learned Farkas constraints 207
3600.05/3611.82	c CG auxiliary variables introduced 0
3600.05/3611.82	c CG solutions found 0
3600.05/3611.82	c CG cores constructed 0
3600.05/3611.82	c CG core cardinality constraints returned 0
3600.05/3611.82	c CG unit cores 0
3600.05/3611.82	c CG single cores 0
3600.05/3611.82	c CG blocks removed during cardinality reduction 0
3600.05/3611.82	c CG first core best 0
3600.05/3611.82	c CG decision core best 0
3600.05/3611.82	c CG core reduction tie 0
3600.05/3611.82	c CG core degree average 0.00
3600.05/3611.82	c CG core slack average 0.00
3600.05/3611.82	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: 63931 MiB (58509 MiB free)
  memory of node 1: 64510 MiB (62902 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4463067-1722345089/watcher-4463067-1722345089 -o /tmp/evaluation-result-4463067-1722345089/solver-4463067-1722345089 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1722340763-7004 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463067-1722345089 --lp-cut-gomory=0 HOME/instance-4463067-1722345089.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
solver pid=9655, runsolver pid=9652
Current StackSize limit: 8192 KiB


[startup+0.100082 s]*
/proc/loadavg: 4.17 4.13 4.06 5/259 9656
/proc/meminfo: memFree=124304856/131524600 swapFree=131071996/131071996
[pid=9655] ppid=9652 vsize=59744 memory=30596 CPUtime=0.09 cores=0,2
/proc/9655/stat : 9655 (roundingsat) R 9652 9655 6994 0 -1 4194304 7079 0 0 0 7 2 0 0 20 0 1 0 1108178 61177856 7649 134679101440 4194304 8255733 140730091074512 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30498816 140730091082590 140730091082852 140730091082852 140730091089865 0
/proc/9655/statm: 14936 7649 1670 992 0 6794 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 59744 KiB
Current children cumulated memory: 30596 KiB

[startup+0.205791 s]*
/proc/loadavg: 4.17 4.13 4.06 5/259 9656
/proc/meminfo: memFree=124292844/131524600 swapFree=131071996/131071996
[pid=9655] ppid=9652 vsize=70236 memory=38060 CPUtime=0.2 cores=0,2
/proc/9655/stat : 9655 (roundingsat) R 9652 9655 6994 0 -1 4194304 9505 0 0 0 17 3 0 0 20 0 1 0 1108178 71921664 9515 134679101440 4194304 8255733 140730091074512 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30498816 140730091082590 140730091082852 140730091082852 140730091089865 0
/proc/9655/statm: 17559 9515 1718 992 0 9417 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 70236 KiB
Current children cumulated memory: 38060 KiB

[startup+0.305674 s]*
/proc/loadavg: 4.17 4.13 4.06 5/259 9656
/proc/meminfo: memFree=124290352/131524600 swapFree=131071996/131071996
[pid=9655] ppid=9652 vsize=71872 memory=39644 CPUtime=0.3 cores=0,2
/proc/9655/stat : 9655 (roundingsat) R 9652 9655 6994 0 -1 4194304 9864 0 0 0 27 3 0 0 20 0 1 0 1108178 73596928 9911 134679101440 4194304 8255733 140730091074512 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30498816 140730091082590 140730091082852 140730091082852 140730091089865 0
/proc/9655/statm: 17968 9911 1718 992 0 9826 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 71872 KiB
Current children cumulated memory: 39644 KiB

[startup+0.700156 s]
/proc/loadavg: 4.16 4.13 4.06 5/259 9656
/proc/meminfo: memFree=124289540/131524600 swapFree=131071996/131071996
[pid=9655] ppid=9652 vsize=72124 memory=40172 CPUtime=0.68 cores=0,2
/proc/9655/stat : 9655 (roundingsat) R 9652 9655 6994 0 -1 4194304 10039 0 0 0 65 3 0 0 20 0 1 0 1108178 73854976 10043 134679101440 4194304 8255733 140730091074512 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30498816 140730091082590 140730091082852 140730091082852 140730091089865 0
/proc/9655/statm: 18031 10043 1718 992 0 9889 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 72124 KiB
Current children cumulated memory: 40172 KiB

[startup+1.50016 s]
/proc/loadavg: 4.16 4.13 4.06 5/259 9656
/proc/meminfo: memFree=124287720/131524600 swapFree=131071996/131071996
[pid=9655] ppid=9652 vsize=72872 memory=41228 CPUtime=1.48 cores=0,2
/proc/9655/stat : 9655 (roundingsat) R 9652 9655 6994 0 -1 4194304 10283 0 0 0 138 10 0 0 20 0 1 0 1108178 74620928 10307 134679101440 4194304 8255733 140730091074512 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30498816 140730091082590 140730091082852 140730091082852 140730091089865 0
/proc/9655/statm: 18218 10307 1718 992 0 10076 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 72872 KiB
Current children cumulated memory: 41228 KiB

[startup+3.10541 s]
/proc/loadavg: 4.16 4.13 4.06 5/259 9656
/proc/meminfo: memFree=124277468/131524600 swapFree=131071996/131071996
[pid=9655] ppid=9652 vsize=75248 memory=44040 CPUtime=3.09 cores=0,2
/proc/9655/stat : 9655 (roundingsat) R 9652 9655 6994 0 -1 4194304 10964 0 0 0 290 19 0 0 20 0 1 0 1108178 77053952 11010 134679101440 4194304 8255733 140730091074512 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30498816 140730091082590 140730091082852 140730091082852 140730091089865 0
/proc/9655/statm: 18812 11010 1765 992 0 10670 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 75248 KiB
Current children cumulated memory: 44040 KiB

[startup+6.30021 s]
/proc/loadavg: 4.14 4.13 4.06 5/259 9656
/proc/meminfo: memFree=124255488/131524600 swapFree=131071996/131071996
[pid=9655] ppid=9652 vsize=77888 memory=47468 CPUtime=6.26 cores=0,2
/proc/9655/stat : 9655 (roundingsat) R 9652 9655 6994 0 -1 4194304 11784 0 0 0 605 21 0 0 20 0 1 0 1108178 79757312 11867 134679101440 4194304 8255733 140730091074512 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30498816 140730091082590 140730091082852 140730091082852 140730091089865 0
/proc/9655/statm: 19472 11867 1765 992 0 11330 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 77888 KiB
Current children cumulated memory: 47468 KiB

[startup+12.7002 s]
/proc/loadavg: 4.13 4.12 4.06 5/259 9658
/proc/meminfo: memFree=124226996/131524600 swapFree=131071996/131071996
[pid=9655] ppid=9652 vsize=82168 memory=50332 CPUtime=12.64 cores=0,2
/proc/9655/stat : 9655 (roundingsat) R 9652 9655 6994 0 -1 4194304 12479 0 0 0 1228 36 0 0 20 0 1 0 1108178 84140032 12583 134679101440 4194304 8255733 140730091074512 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30498816 140730091082590 140730091082852 140730091082852 140730091089865 0
/proc/9655/statm: 20542 12583 1839 992 0 12400 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 82168 KiB
Current children cumulated memory: 50332 KiB

[startup+25.5002 s]
/proc/loadavg: 4.11 4.12 4.06 5/259 9659
/proc/meminfo: memFree=124181044/131524600 swapFree=131071996/131071996
[pid=9655] ppid=9652 vsize=83996 memory=52440 CPUtime=25.4 cores=0,2
/proc/9655/stat : 9655 (roundingsat) R 9652 9655 6994 0 -1 4194304 13011 0 0 0 2493 47 0 0 20 0 1 0 1108178 86011904 13110 134679101440 4194304 8255733 140730091074512 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30498816 140730091082590 140730091082852 140730091082852 140730091089865 0
/proc/9655/statm: 20999 13110 1839 992 0 12857 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 83996 KiB
Current children cumulated memory: 52440 KiB

[startup+51.1056 s]
/proc/loadavg: 4.20 4.14 4.07 5/259 9664
/proc/meminfo: memFree=124063716/131524600 swapFree=131071996/131071996
[pid=9655] ppid=9652 vsize=94412 memory=62400 CPUtime=50.92 cores=0,2
/proc/9655/stat : 9655 (roundingsat) R 9652 9655 6994 0 -1 4194304 16170 0 0 0 5007 85 0 0 20 0 1 0 1108178 96677888 15600 134679101440 4194304 8255733 140730091074512 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30498816 140730091082590 140730091082852 140730091082852 140730091089865 0
/proc/9655/statm: 23603 15600 1871 992 0 15461 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 94412 KiB
Current children cumulated memory: 62400 KiB

[startup+102.3 s]
/proc/loadavg: 4.31 4.19 4.09 5/259 9673
/proc/meminfo: memFree=123872992/131524600 swapFree=131071996/131071996
[pid=9655] ppid=9652 vsize=147336 memory=101568 CPUtime=101.96 cores=0,2
/proc/9655/stat : 9655 (roundingsat) R 9652 9655 6994 0 -1 4194304 20875 0 0 0 10018 178 0 0 20 0 1 0 1108178 150872064 25392 134679101440 4194304 8255733 140730091074512 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30498816 140730091082590 140730091082852 140730091082852 140730091089865 0
/proc/9655/statm: 36834 25392 1871 992 0 28692 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 147336 KiB
Current children cumulated memory: 101568 KiB

[startup+162.3 s]
/proc/loadavg: 4.22 4.19 4.09 5/259 9684
/proc/meminfo: memFree=123710008/131524600 swapFree=131071996/131071996
[pid=9655] ppid=9652 vsize=153280 memory=107828 CPUtime=161.76 cores=0,2
/proc/9655/stat : 9655 (roundingsat) R 9652 9655 6994 0 -1 4194304 21931 0 0 0 15959 217 0 0 20 0 1 0 1108178 156958720 26957 134679101440 4194304 8255733 140730091074512 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30498816 140730091082590 140730091082852 140730091082852 140730091089865 0
/proc/9655/statm: 38320 26957 1871 992 0 30178 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 153280 KiB
Current children cumulated memory: 107828 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.17 4.09 5/259 9694
/proc/meminfo: memFree=123291848/131524600 swapFree=131071996/131071996
[pid=9655] ppid=9652 vsize=278288 memory=218184 CPUtime=221.55 cores=0,2
/proc/9655/stat : 9655 (roundingsat) R 9652 9655 6994 0 -1 4194304 33200 0 0 0 21843 312 0 0 20 0 1 0 1108178 284966912 54546 134679101440 4194304 8255733 140730091074512 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30498816 140730091082590 140730091082852 140730091082852 140730091089865 0
/proc/9655/statm: 69572 54546 1871 992 0 61430 0
Current children cumulated CPU time: 221.55 s
Current children cumulated vsize: 278288 KiB
Current children cumulated memory: 218184 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 4.15 4.09 5/256 9704
/proc/meminfo: memFree=123222096/131524600 swapFree=131071996/131071996
[pid=9655] ppid=9652 vsize=285092 memory=226004 CPUtime=281.35 cores=0,2
/proc/9655/stat : 9655 (roundingsat) R 9652 9655 6994 0 -1 4194304 35148 0 0 0 27756 379 0 0 20 0 1 0 1108178 291934208 56501 134679101440 4194304 8255733 140730091074512 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30498816 140730091082590 140730091082852 140730091082852 140730091089865 0
/proc/9655/statm: 71273 56501 1871 992 0 63131 0
Current children cumulated CPU time: 281.35 s
Current children cumulated vsize: 285092 KiB
Current children cumulated memory: 226004 KiB

[startup+342.3 s]
/proc/loadavg: 4.07 4.13 4.09 5/256 9714
/proc/meminfo: memFree=123118556/131524600 swapFree=131071996/131071996
[pid=9655] ppid=9652 vsize=289440 memory=230488 CPUtime=341.14 cores=0,2
/proc/9655/stat : 9655 (roundingsat) R 9652 9655 6994 0 -1 4194304 36265 0 0 0 33691 423 0 0 20 0 1 0 1108178 296386560 57622 134679101440 4194304 8255733 140730091074512 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30498816 140730091082590 140730091082852 140730091082852 140730091089865 0
/proc/9655/statm: 72360 57622 1871 992 0 64218 0
Current children cumulated CPU time: 341.14 s
Current children cumulated vsize: 289440 KiB
Current children cumulated memory: 230488 KiB

[startup+402.3 s]
/proc/loadavg: 4.12 4.14 4.09 5/256 9726
/proc/meminfo: memFree=122813128/131524600 swapFree=131071996/131071996
[pid=9655] ppid=9652 vsize=292316 memory=233388 CPUtime=400.95 cores=0,2
/proc/9655/stat : 9655 (roundingsat) R 9652 9655 6994 0 -1 4194304 37008 0 0 0 39618 477 0 0 20 0 1 0 1108178 299331584 58347 134679101440 4194304 8255733 140730091074512 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30498816 140730091082590 140730091082852 140730091082852 140730091089865 0
/proc/9655/statm: 73079 58347 1871 992 0 64937 0
Current children cumulated CPU time: 400.95 s
Current children cumulated vsize: 292316 KiB
Current children cumulated memory: 233388 KiB

[startup+462.3 s]
/proc/loadavg: 4.16 4.14 4.09 5/256 9736
/proc/meminfo: memFree=122363044/131524600 swapFree=131071996/131071996
[pid=9655] ppid=9652 vsize=522012 memory=361828 CPUtime=460.74 cores=0,2
/proc/9655/stat : 9655 (roundingsat) R 9652 9655 6994 0 -1 4194304 41562 0 0 0 45534 540 0 0 20 0 1 0 1108178 534540288 90457 134679101440 4194304 8255733 140730091074512 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30498816 140730091082590 140730091082852 140730091082852 140730091089865 0
/proc/9655/statm: 130503 90457 1871 992 0 122361 0

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

Current children cumulated memory: 782324 KiB

[startup+2862.3 s]
/proc/loadavg: 4.61 4.26 4.15 5/262 11390
/proc/meminfo: memFree=121938092/131524600 swapFree=131071996/131071996
[pid=9655] ppid=9652 vsize=867404 memory=779992 CPUtime=2852.91 cores=0,2
/proc/9655/stat : 9655 (roundingsat) R 9652 9655 6994 0 -1 4194304 84289 0 0 0 282459 2832 0 0 20 0 1 0 1108178 888221696 194998 134679101440 4194304 8255733 140730091074512 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30498816 140730091082590 140730091082852 140730091082852 140730091089865 0
/proc/9655/statm: 216851 194998 1871 992 0 208709 0
Current children cumulated CPU time: 2852.91 s
Current children cumulated vsize: 867404 KiB
Current children cumulated memory: 779992 KiB

[startup+2922.3 s]
/proc/loadavg: 4.33 4.24 4.15 4/256 11474
/proc/meminfo: memFree=122489592/131524600 swapFree=131071996/131071996
[pid=9655] ppid=9652 vsize=868136 memory=780752 CPUtime=2912.72 cores=0,2
/proc/9655/stat : 9655 (roundingsat) R 9652 9655 6994 0 -1 4194304 84722 0 0 0 288375 2897 0 0 20 0 1 0 1108178 888971264 195188 134679101440 4194304 8255733 140730091074512 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30498816 140730091082590 140730091082852 140730091082852 140730091089865 0
/proc/9655/statm: 217034 195188 1871 992 0 208892 0
Current children cumulated CPU time: 2912.72 s
Current children cumulated vsize: 868136 KiB
Current children cumulated memory: 780752 KiB

[startup+2982.3 s]
/proc/loadavg: 4.17 4.21 4.14 5/261 11562
/proc/meminfo: memFree=124251804/131524600 swapFree=131071996/131071996
[pid=9655] ppid=9652 vsize=870668 memory=783056 CPUtime=2972.54 cores=0,2
/proc/9655/stat : 9655 (roundingsat) R 9652 9655 6994 0 -1 4194304 85599 0 0 0 294323 2931 0 0 20 0 1 0 1108178 891564032 195764 134679101440 4194304 8255733 140730091074512 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30498816 140730091082590 140730091082852 140730091082852 140730091089865 0
/proc/9655/statm: 217667 195764 1871 992 0 209525 0
Current children cumulated CPU time: 2972.54 s
Current children cumulated vsize: 870668 KiB
Current children cumulated memory: 783056 KiB

[startup+3042.3 s]
/proc/loadavg: 4.18 4.20 4.14 5/260 11572
/proc/meminfo: memFree=123923932/131524600 swapFree=131071996/131071996
[pid=9655] ppid=9652 vsize=872008 memory=784728 CPUtime=3032.33 cores=0,2
/proc/9655/stat : 9655 (roundingsat) R 9652 9655 6994 0 -1 4194304 86152 0 0 0 300268 2965 0 0 20 0 1 0 1108178 892936192 196182 134679101440 4194304 8255733 140730091074512 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30498816 140730091082590 140730091082852 140730091082852 140730091089865 0
/proc/9655/statm: 218002 196182 1871 992 0 209860 0
Current children cumulated CPU time: 3032.33 s
Current children cumulated vsize: 872008 KiB
Current children cumulated memory: 784728 KiB

[startup+3102.3 s]
/proc/loadavg: 4.13 4.18 4.14 5/260 11582
/proc/meminfo: memFree=123584836/131524600 swapFree=131071996/131071996
[pid=9655] ppid=9652 vsize=872008 memory=784736 CPUtime=3092.14 cores=0,2
/proc/9655/stat : 9655 (roundingsat) R 9652 9655 6994 0 -1 4194304 86348 0 0 0 306217 2997 0 0 20 0 1 0 1108178 892936192 196184 134679101440 4194304 8255733 140730091074512 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30498816 140730091082590 140730091082852 140730091082852 140730091089865 0
/proc/9655/statm: 218002 196184 1871 992 0 209860 0
Current children cumulated CPU time: 3092.14 s
Current children cumulated vsize: 872008 KiB
Current children cumulated memory: 784736 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.16 4.13 5/256 11593
/proc/meminfo: memFree=123323372/131524600 swapFree=131071996/131071996
[pid=9655] ppid=9652 vsize=873420 memory=786180 CPUtime=3151.95 cores=0,2
/proc/9655/stat : 9655 (roundingsat) R 9652 9655 6994 0 -1 4194304 86905 0 0 0 312172 3023 0 0 20 0 1 0 1108178 894382080 196545 134679101440 4194304 8255733 140730091074512 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30498816 140730091082590 140730091082852 140730091082852 140730091089865 0
/proc/9655/statm: 218355 196545 1871 992 0 210213 0
Current children cumulated CPU time: 3151.95 s
Current children cumulated vsize: 873420 KiB
Current children cumulated memory: 786180 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.16 4.13 5/256 11603
/proc/meminfo: memFree=123095740/131524600 swapFree=131071996/131071996
[pid=9655] ppid=9652 vsize=874116 memory=787236 CPUtime=3211.76 cores=0,2
/proc/9655/stat : 9655 (roundingsat) R 9652 9655 6994 0 -1 4194304 87196 0 0 0 318136 3040 0 0 20 0 1 0 1108178 895094784 196809 134679101440 4194304 8255733 140730091074512 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30498816 140730091082590 140730091082852 140730091082852 140730091089865 0
/proc/9655/statm: 218529 196809 1871 992 0 210387 0
Current children cumulated CPU time: 3211.76 s
Current children cumulated vsize: 874116 KiB
Current children cumulated memory: 787236 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.14 4.13 5/256 11613
/proc/meminfo: memFree=122796640/131524600 swapFree=131071996/131071996
[pid=9655] ppid=9652 vsize=874116 memory=788308 CPUtime=3271.56 cores=0,2
/proc/9655/stat : 9655 (roundingsat) R 9652 9655 6994 0 -1 4194304 87483 0 0 0 324050 3106 0 0 20 0 1 0 1108178 895094784 197077 134679101440 4194304 8255733 140730091074512 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30498816 140730091082590 140730091082852 140730091082852 140730091089865 0
/proc/9655/statm: 218529 197077 1871 992 0 210387 0
Current children cumulated CPU time: 3271.56 s
Current children cumulated vsize: 874116 KiB
Current children cumulated memory: 788308 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.13 4.12 5/256 11623
/proc/meminfo: memFree=122476432/131524600 swapFree=131071996/131071996
[pid=9655] ppid=9652 vsize=874116 memory=788600 CPUtime=3331.38 cores=0,2
/proc/9655/stat : 9655 (roundingsat) R 9652 9655 6994 0 -1 4194304 87785 0 0 0 329945 3193 0 0 20 0 1 0 1108178 895094784 197150 134679101440 4194304 8255733 140730091074512 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30498816 140730091082590 140730091082852 140730091082852 140730091089865 0
/proc/9655/statm: 218529 197150 1871 992 0 210387 0
Current children cumulated CPU time: 3331.38 s
Current children cumulated vsize: 874116 KiB
Current children cumulated memory: 788600 KiB

[startup+3402.3 s]
/proc/loadavg: 4.19 4.16 4.13 5/256 11635
/proc/meminfo: memFree=122210276/131524600 swapFree=131071996/131071996
[pid=9655] ppid=9652 vsize=875748 memory=789868 CPUtime=3391.19 cores=0,2
/proc/9655/stat : 9655 (roundingsat) R 9652 9655 6994 0 -1 4194304 88441 0 0 0 335869 3250 0 0 20 0 1 0 1108178 896765952 197467 134679101440 4194304 8255733 140730091074512 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30498816 140730091082590 140730091082852 140730091082852 140730091089865 0
/proc/9655/statm: 218937 197467 1871 992 0 210795 0
Current children cumulated CPU time: 3391.19 s
Current children cumulated vsize: 875748 KiB
Current children cumulated memory: 789868 KiB

[startup+3462.3 s]
/proc/loadavg: 4.34 4.20 4.14 5/256 11645
/proc/meminfo: memFree=121875032/131524600 swapFree=131071996/131071996
[pid=9655] ppid=9652 vsize=876556 memory=790452 CPUtime=3451.01 cores=0,2
/proc/9655/stat : 9655 (roundingsat) R 9652 9655 6994 0 -1 4194304 88778 0 0 0 341761 3340 0 0 20 0 1 0 1108178 897593344 197613 134679101440 4194304 8255733 140730091074512 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30498816 140730091082590 140730091082852 140730091082852 140730091089865 0
/proc/9655/statm: 219139 197613 1871 992 0 210997 0
Current children cumulated CPU time: 3451.01 s
Current children cumulated vsize: 876556 KiB
Current children cumulated memory: 790452 KiB

[startup+3522.3 s]
/proc/loadavg: 4.39 4.25 4.17 5/260 11662
/proc/meminfo: memFree=121650944/131524600 swapFree=131071996/131071996
[pid=9655] ppid=9652 vsize=879196 memory=793068 CPUtime=3510.83 cores=0,2
/proc/9655/stat : 9655 (roundingsat) R 9652 9655 6994 0 -1 4194304 91971 0 0 0 347703 3380 0 0 20 0 1 0 1108178 900296704 198267 134679101440 4194304 8255733 140730091074512 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30498816 140730091082590 140730091082852 140730091082852 140730091089865 0
/proc/9655/statm: 219799 198267 1871 992 0 211657 0
Current children cumulated CPU time: 3510.83 s
Current children cumulated vsize: 879196 KiB
Current children cumulated memory: 793068 KiB

[startup+3582.3 s]
/proc/loadavg: 4.54 4.30 4.19 5/261 11675
/proc/meminfo: memFree=121296628/131524600 swapFree=131071996/131071996
[pid=9655] ppid=9652 vsize=879196 memory=793072 CPUtime=3570.63 cores=0,2
/proc/9655/stat : 9655 (roundingsat) R 9652 9655 6994 0 -1 4194304 92286 0 0 0 353628 3435 0 0 20 0 1 0 1108178 900296704 198268 134679101440 4194304 8255733 140730091074512 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30498816 140730091082590 140730091082852 140730091082852 140730091089865 0
/proc/9655/statm: 219799 198268 1871 992 0 211657 0
Current children cumulated CPU time: 3570.63 s
Current children cumulated vsize: 879196 KiB
Current children cumulated memory: 793072 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.8 s]
/proc/loadavg: 4.50 4.31 4.19 5/261 11681
/proc/meminfo: memFree=121171604/131524600 swapFree=131071996/131071996
[pid=9655] ppid=9652 vsize=879196 memory=793072 CPUtime=3600.05 cores=0,2
/proc/9655/stat : 9655 (roundingsat) R 9652 9655 6994 0 -1 4194304 92436 0 0 0 356536 3469 0 0 20 0 1 0 1108178 900296704 198268 134679101440 4194304 8255733 140730091074512 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 30498816 140730091082590 140730091082852 140730091082852 140730091089865 0
/proc/9655/statm: 219799 198268 1871 992 0 211657 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 879196 KiB
Current children cumulated memory: 793072 KiB

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

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

# cumulated CPU time of all completed processes:  user=3565.37 s, system=34.6958 s

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

Child status: 0

Real time (s): 3611.83
CPU time (s): 3600.07
CPU user time (s): 3565.37
CPU system time (s): 34.6958
CPU usage (%): 99.6743
Max. virtual memory (cumulated for all children) (KiB): 879196
Max. memory (cumulated for all children) (KiB): 793072

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3565.37
system time used= 34.6958
maximum resident set size= 793072
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 92451
page faults= 0
swaps= 0
block input operations= 0
block output operations= 9013240
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 120
involuntary context switches= 27951


# summary of solver processes directly reported to runsolver:
#   pid: 9655
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3565.37
#   total CPU system time (s): 34.6958

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.31628 second user time and 15.8219 second system time

The end

Launcher Data 

Begin job on nodeC023 at 2024-07-30 15:11:29
IDJOB=4463067
IDBENCH=158283
IDSOLVER=3089
FILE ID=nodeC023/4463067-1722345089
RUNJOBID= nodeC023-1722340763-7004
SLURM_JOB_ID= 8248996
Free space on /tmp= 890040 MiB

SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K157.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-4463067-1722345089/watcher-4463067-1722345089 -o /tmp/evaluation-result-4463067-1722345089/solver-4463067-1722345089 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1722340763-7004 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463067-1722345089 --lp-cut-gomory=0 HOME/instance-4463067-1722345089.opb

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

MD5SUM BENCH= 1aa29222329f307e3e004dcb472df849
RANDOM SEED=2076811527

nodeC023.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	: 0xb00002a
cpu MHz		: 3610.359
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        124325724 kB
MemAvailable:   126186096 kB
Buffers:           52020 kB
Cached:          2643920 kB
SwapCached:            0 kB
Active:           186304 kB
Inactive:        6538364 kB
Active(anon):       1552 kB
Inactive(anon):  4048596 kB
Active(file):     184752 kB
Inactive(file):  2489768 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             26924 kB
Writeback:             0 kB
AnonPages:       4026928 kB
Mapped:            97772 kB
Shmem:             21336 kB
KReclaimable:      50996 kB
Slab:             129512 kB
SReclaimable:      50996 kB
SUnreclaim:        78516 kB
KernelStack:        4160 kB
PageTables:        17712 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    5080760 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             8992 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1380352 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:      164564 kB
DirectMap2M:    10094592 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 890056 MiB
End job on nodeC023 at 2024-07-30 16:11:41