Trace number 4457164

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 (1)? (TO) 3600.09 3608.92

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K151.opb
MD5SUMabcade21393c5164863b40206a5f4f64
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables17969
Total number of constraints18273
Number of constraints which are clauses18122
Number of constraints which are cardinality constraints (but not clauses)151
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint151
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 152
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.09/0.10	c #variables 17969 #constraints 18273
121.18/121.60	c #Conflicts:       1000 | #Constraints:      19272
121.18/121.60	c #Conflicts:       2000 | #Constraints:      20272
121.18/121.60	c INPROCESSING
121.18/121.60	c GARBAGE COLLECT
121.18/121.60	c #Conflicts:       3000 | #Constraints:      19737
121.18/121.60	c #Conflicts:       4000 | #Constraints:      20737
121.18/121.60	c INPROCESSING
121.18/121.60	c GARBAGE COLLECT
121.18/121.60	c #Conflicts:       5000 | #Constraints:      20122
121.18/121.60	c #Conflicts:       6000 | #Constraints:      21122
121.18/121.60	c INPROCESSING
121.18/121.60	c GARBAGE COLLECT
121.18/121.60	c #Conflicts:       7000 | #Constraints:      20207
121.18/121.60	c #Conflicts:       8000 | #Constraints:      21207
121.18/121.60	c #Conflicts:       9000 | #Constraints:      22207
121.18/121.60	c INPROCESSING
121.18/121.60	c GARBAGE COLLECT
121.18/121.60	c #Conflicts:      10000 | #Constraints:      20935
121.18/121.60	c #Conflicts:      11000 | #Constraints:      21935
121.18/121.60	c #Conflicts:      12000 | #Constraints:      22935
121.18/121.60	c #Conflicts:      13000 | #Constraints:      23935
121.18/121.60	c #Conflicts:      14000 | #Constraints:      24935
121.18/121.60	c #Conflicts:      15000 | #Constraints:      25935
121.18/121.60	c #Conflicts:      16000 | #Constraints:      26935
121.18/121.60	c INPROCESSING
121.18/121.60	c GARBAGE COLLECT
121.18/121.60	c #Conflicts:      17000 | #Constraints:      23247
121.18/121.60	c #Conflicts:      18000 | #Constraints:      24247
121.18/121.60	c #Conflicts:      19000 | #Constraints:      25248
121.18/121.60	c #Conflicts:      20000 | #Constraints:      26248
121.18/121.60	c INPROCESSING
121.18/121.60	c GARBAGE COLLECT
121.18/121.60	c #Conflicts:      21000 | #Constraints:      23026
121.18/121.60	c #Conflicts:      22000 | #Constraints:      24026
121.18/121.60	c #Conflicts:      23000 | #Constraints:      25026
121.18/121.60	c #Conflicts:      24000 | #Constraints:      26026
121.18/121.60	c INPROCESSING
121.18/121.60	c GARBAGE COLLECT
121.18/121.60	c #Conflicts:      25000 | #Constraints:      22967
121.18/121.60	c #Conflicts:      26000 | #Constraints:      23967
121.18/121.60	c #Conflicts:      27000 | #Constraints:      24967
121.18/121.60	c #Conflicts:      28000 | #Constraints:      25967
121.18/121.60	c #Conflicts:      29000 | #Constraints:      26967
121.18/121.60	c #Conflicts:      30000 | #Constraints:      27967
121.18/121.60	c #Conflicts:      31000 | #Constraints:      28967
121.18/121.60	c #Conflicts:      32000 | #Constraints:      29967
121.18/121.60	c #Conflicts:      33000 | #Constraints:      30968
121.18/121.60	c #Conflicts:      34000 | #Constraints:      31968
121.18/121.60	c #Conflicts:      35000 | #Constraints:      32968
121.18/121.60	c #Conflicts:      36000 | #Constraints:      33968
121.18/121.60	c INPROCESSING
121.18/121.60	c GARBAGE COLLECT
121.18/121.60	c rational objective 151
157.49/157.90	c #Conflicts:      37000 | #Constraints:      27180
157.49/157.90	c #Conflicts:      38000 | #Constraints:      28180
157.49/157.90	c #Conflicts:      39000 | #Constraints:      29180
157.49/157.90	c #Conflicts:      40000 | #Constraints:      30180
157.49/157.90	c #Conflicts:      41000 | #Constraints:      31180
157.49/157.90	c INPROCESSING
157.49/157.90	c GARBAGE COLLECT
157.49/157.90	c #Conflicts:      42000 | #Constraints:      25603
157.49/157.90	c #Conflicts:      43000 | #Constraints:      26603
157.49/157.90	c #Conflicts:      44000 | #Constraints:      27603
157.49/157.90	c #Conflicts:      45000 | #Constraints:      28603
157.49/157.90	c #Conflicts:      46000 | #Constraints:      29603
157.49/157.90	c #Conflicts:      47000 | #Constraints:      30603
157.49/157.90	c INPROCESSING
157.49/157.90	c GARBAGE COLLECT
157.49/157.90	c rational objective 151
495.41/496.75	c #Conflicts:      48000 | #Constraints:      25855
495.41/496.75	c #Conflicts:      49000 | #Constraints:      26855
495.41/496.75	c #Conflicts:      50000 | #Constraints:      27855
495.41/496.75	c #Conflicts:      51000 | #Constraints:      28855
495.41/496.75	c #Conflicts:      52000 | #Constraints:      29855
495.41/496.75	c #Conflicts:      53000 | #Constraints:      30855
495.41/496.75	c #Conflicts:      54000 | #Constraints:      31855
495.41/496.75	c #Conflicts:      55000 | #Constraints:      32855
495.41/496.75	c #Conflicts:      56000 | #Constraints:      33855
495.41/496.75	c #Conflicts:      57000 | #Constraints:      34855
495.41/496.75	c #Conflicts:      58000 | #Constraints:      35855
495.41/496.75	c #Conflicts:      59000 | #Constraints:      36855
495.41/496.75	c #Conflicts:      60000 | #Constraints:      37855
495.41/496.75	c #Conflicts:      61000 | #Constraints:      38856
495.41/496.75	c #Conflicts:      62000 | #Constraints:      39856
495.41/496.75	c INPROCESSING
495.41/496.75	c GARBAGE COLLECT
495.41/496.75	c #Conflicts:      63000 | #Constraints:      29427
495.41/496.75	c #Conflicts:      64000 | #Constraints:      30427
495.41/496.75	c #Conflicts:      65000 | #Constraints:      31427
495.41/496.75	c #Conflicts:      66000 | #Constraints:      32427
495.41/496.75	c #Conflicts:      67000 | #Constraints:      33427
495.41/496.75	c #Conflicts:      68000 | #Constraints:      34427
495.41/496.75	c #Conflicts:      69000 | #Constraints:      35427
495.41/496.75	c INPROCESSING
495.41/496.75	c GARBAGE COLLECT
495.41/496.75	c #Conflicts:      70000 | #Constraints:      27509
495.41/496.75	c #Conflicts:      71000 | #Constraints:      28509
495.41/496.75	c #Conflicts:      72000 | #Constraints:      29509
495.41/496.75	c #Conflicts:      73000 | #Constraints:      30509
495.41/496.75	c #Conflicts:      74000 | #Constraints:      31509
495.41/496.75	c #Conflicts:      75000 | #Constraints:      32509
495.41/496.75	c #Conflicts:      76000 | #Constraints:      33510
495.41/496.75	c #Conflicts:      77000 | #Constraints:      34510
495.41/496.75	c #Conflicts:      78000 | #Constraints:      35510
495.41/496.75	c #Conflicts:      79000 | #Constraints:      36510
495.41/496.75	c #Conflicts:      80000 | #Constraints:      37510
495.41/496.75	c #Conflicts:      81000 | #Constraints:      38510
495.41/496.75	c #Conflicts:      82000 | #Constraints:      39510
495.41/496.75	c #Conflicts:      83000 | #Constraints:      40510
495.41/496.75	c #Conflicts:      84000 | #Constraints:      41510
495.41/496.75	c #Conflicts:      85000 | #Constraints:      42510
495.41/496.75	c #Conflicts:      86000 | #Constraints:      43510
495.41/496.75	c #Conflicts:      87000 | #Constraints:      44510
495.41/496.75	c #Conflicts:      88000 | #Constraints:      45510
495.41/496.75	c INPROCESSING
495.41/496.75	c GARBAGE COLLECT
495.41/496.75	c #Conflicts:      89000 | #Constraints:      32574
495.41/496.75	c #Conflicts:      90000 | #Constraints:      33574
495.41/496.75	c #Conflicts:      91000 | #Constraints:      34574
495.41/496.75	c #Conflicts:      92000 | #Constraints:      35574
495.41/496.75	c #Conflicts:      93000 | #Constraints:      36574
495.41/496.75	c #Conflicts:      94000 | #Constraints:      37574
495.41/496.75	c #Conflicts:      95000 | #Constraints:      38574
495.41/496.75	c #Conflicts:      96000 | #Constraints:      39574
495.41/496.75	c INPROCESSING
495.41/496.75	c GARBAGE COLLECT
495.41/496.75	c #Conflicts:      97000 | #Constraints:      29674
495.41/496.75	c #Conflicts:      98000 | #Constraints:      30674
495.41/496.75	c #Conflicts:      99000 | #Constraints:      31674
495.41/496.75	c #Conflicts:     100000 | #Constraints:      32674
495.41/496.75	c #Conflicts:     101000 | #Constraints:      33675
495.41/496.75	c #Conflicts:     102000 | #Constraints:      34675
495.41/496.75	c #Conflicts:     103000 | #Constraints:      35675
495.41/496.75	c #Conflicts:     104000 | #Constraints:      36675
495.41/496.75	c #Conflicts:     105000 | #Constraints:      37675
495.41/496.75	c #Conflicts:     106000 | #Constraints:      38675
495.41/496.75	c #Conflicts:     107000 | #Constraints:      39675
495.41/496.75	c #Conflicts:     108000 | #Constraints:      40675
495.41/496.75	c #Conflicts:     109000 | #Constraints:      41675
495.41/496.75	c #Conflicts:     110000 | #Constraints:      42675
495.41/496.75	c #Conflicts:     111000 | #Constraints:      43675
495.41/496.75	c #Conflicts:     112000 | #Constraints:      44675
495.41/496.75	c #Conflicts:     113000 | #Constraints:      45675
495.41/496.75	c #Conflicts:     114000 | #Constraints:      46675
495.41/496.75	c #Conflicts:     115000 | #Constraints:      47675
495.41/496.75	c #Conflicts:     116000 | #Constraints:      48675
495.41/496.75	c #Conflicts:     117000 | #Constraints:      49676
495.41/496.75	c #Conflicts:     118000 | #Constraints:      50676
495.41/496.75	c INPROCESSING
495.41/496.75	c GARBAGE COLLECT
495.41/496.75	c #Conflicts:     119000 | #Constraints:      35306
495.41/496.75	c #Conflicts:     120000 | #Constraints:      36306
495.41/496.75	c #Conflicts:     121000 | #Constraints:      37306
495.41/496.75	c #Conflicts:     122000 | #Constraints:      38306
495.41/496.75	c #Conflicts:     123000 | #Constraints:      39306
566.24/567.78	c #Conflicts:     124000 | #Constraints:      40306
566.24/567.78	c #Conflicts:     125000 | #Constraints:      41306
566.24/567.78	c #Conflicts:     126000 | #Constraints:      42306
566.24/567.78	c #Conflicts:     127000 | #Constraints:      43306
566.24/567.78	c #Conflicts:     128000 | #Constraints:      44306
566.24/567.78	c INPROCESSING
566.24/567.78	c GARBAGE COLLECT
566.24/567.78	c #Conflicts:     129000 | #Constraints:      32424
566.24/567.78	c #Conflicts:     130000 | #Constraints:      33424
566.24/567.78	c #Conflicts:     131000 | #Constraints:      34424
566.24/567.78	c #Conflicts:     132000 | #Constraints:      35424
566.24/567.78	c #Conflicts:     133000 | #Constraints:      36425
566.24/567.78	c #Conflicts:     134000 | #Constraints:      37425
566.24/567.78	c #Conflicts:     135000 | #Constraints:      38425
566.24/567.78	c #Conflicts:     136000 | #Constraints:      39425
566.24/567.78	c #Conflicts:     137000 | #Constraints:      40425
566.24/567.78	c #Conflicts:     138000 | #Constraints:      41425
566.24/567.78	c #Conflicts:     139000 | #Constraints:      42425
566.24/567.78	c #Conflicts:     140000 | #Constraints:      43425
566.24/567.78	c #Conflicts:     141000 | #Constraints:      44425
566.24/567.78	c #Conflicts:     142000 | #Constraints:      45425
566.24/567.78	c #Conflicts:     143000 | #Constraints:      46425
566.24/567.78	c #Conflicts:     144000 | #Constraints:      47425
566.24/567.78	c #Conflicts:     145000 | #Constraints:      48425
566.24/567.78	c #Conflicts:     146000 | #Constraints:      49425
566.24/567.78	c #Conflicts:     147000 | #Constraints:      50425
566.24/567.78	c #Conflicts:     148000 | #Constraints:      51425
566.24/567.78	c #Conflicts:     149000 | #Constraints:      52425
566.24/567.78	c #Conflicts:     150000 | #Constraints:      53425
566.24/567.78	c #Conflicts:     151000 | #Constraints:      54425
566.24/567.78	c #Conflicts:     152000 | #Constraints:      55425
566.24/567.78	c #Conflicts:     153000 | #Constraints:      56425
566.24/567.78	c INPROCESSING
566.24/567.78	c GARBAGE COLLECT
566.24/567.78	c rational objective 151
609.13/610.72	c #Conflicts:     154000 | #Constraints:      38530
609.13/610.72	c #Conflicts:     155000 | #Constraints:      39530
609.13/610.72	c #Conflicts:     156000 | #Constraints:      40530
609.13/610.72	c #Conflicts:     157000 | #Constraints:      41530
609.13/610.72	c #Conflicts:     158000 | #Constraints:      42530
609.13/610.72	c #Conflicts:     159000 | #Constraints:      43530
609.13/610.72	c #Conflicts:     160000 | #Constraints:      44530
609.13/610.72	c #Conflicts:     161000 | #Constraints:      45531
609.13/610.72	c #Conflicts:     162000 | #Constraints:      46532
609.13/610.72	c #Conflicts:     163000 | #Constraints:      47532
609.13/610.72	c INPROCESSING
609.13/610.72	c GARBAGE COLLECT
609.13/610.72	c rational objective 151
772.74/774.78	c #Conflicts:     164000 | #Constraints:      33818
772.74/774.78	c #Conflicts:     165000 | #Constraints:      34818
772.74/774.78	c #Conflicts:     166000 | #Constraints:      35818
772.74/774.78	c #Conflicts:     167000 | #Constraints:      36818
772.74/774.78	c #Conflicts:     168000 | #Constraints:      37818
772.74/774.78	c #Conflicts:     169000 | #Constraints:      38818
772.74/774.78	c #Conflicts:     170000 | #Constraints:      39818
772.74/774.78	c #Conflicts:     171000 | #Constraints:      40818
772.74/774.78	c #Conflicts:     172000 | #Constraints:      41818
772.74/774.78	c #Conflicts:     173000 | #Constraints:      42818
772.74/774.78	c #Conflicts:     174000 | #Constraints:      43819
772.74/774.78	c #Conflicts:     175000 | #Constraints:      44820
772.74/774.78	c #Conflicts:     176000 | #Constraints:      45820
772.74/774.78	c #Conflicts:     177000 | #Constraints:      46821
772.74/774.78	c #Conflicts:     178000 | #Constraints:      47821
772.74/774.78	c #Conflicts:     179000 | #Constraints:      48822
772.74/774.78	c #Conflicts:     180000 | #Constraints:      49823
772.74/774.78	c #Conflicts:     181000 | #Constraints:      50823
772.74/774.78	c #Conflicts:     182000 | #Constraints:      51823
772.74/774.78	c #Conflicts:     183000 | #Constraints:      52823
772.74/774.78	c #Conflicts:     184000 | #Constraints:      53823
772.74/774.78	c #Conflicts:     185000 | #Constraints:      54823
772.74/774.78	c #Conflicts:     186000 | #Constraints:      55824
772.74/774.78	c #Conflicts:     187000 | #Constraints:      56824
772.74/774.78	c #Conflicts:     188000 | #Constraints:      57824
772.74/774.78	c #Conflicts:     189000 | #Constraints:      58824
772.74/774.78	c #Conflicts:     190000 | #Constraints:      59824
772.74/774.78	c #Conflicts:     191000 | #Constraints:      60824
772.74/774.78	c INPROCESSING
772.74/774.78	c GARBAGE COLLECT
772.74/774.78	c rational objective 151
991.21/993.72	c #Conflicts:     192000 | #Constraints:      40353
991.21/993.72	c #Conflicts:     193000 | #Constraints:      41353
991.21/993.72	c #Conflicts:     194000 | #Constraints:      42353
991.21/993.72	c #Conflicts:     195000 | #Constraints:      43353
991.21/993.72	c #Conflicts:     196000 | #Constraints:      44353
991.21/993.72	c #Conflicts:     197000 | #Constraints:      45353
991.21/993.72	c #Conflicts:     198000 | #Constraints:      46353
991.21/993.72	c #Conflicts:     199000 | #Constraints:      47353
991.21/993.72	c #Conflicts:     200000 | #Constraints:      48353
991.21/993.72	c #Conflicts:     201000 | #Constraints:      49353
991.21/993.72	c #Conflicts:     202000 | #Constraints:      50353
991.21/993.72	c #Conflicts:     203000 | #Constraints:      51353
991.21/993.72	c #Conflicts:     204000 | #Constraints:      52354
991.21/993.72	c INPROCESSING
991.21/993.72	c GARBAGE COLLECT
991.21/993.72	c #Conflicts:     205000 | #Constraints:      36565
991.21/993.72	c #Conflicts:     206000 | #Constraints:      37565
991.21/993.72	c #Conflicts:     207000 | #Constraints:      38565
991.21/993.72	c #Conflicts:     208000 | #Constraints:      39565
991.21/993.72	c #Conflicts:     209000 | #Constraints:      40565
991.21/993.72	c #Conflicts:     210000 | #Constraints:      41565
991.21/993.72	c #Conflicts:     211000 | #Constraints:      42565
991.21/993.72	c #Conflicts:     212000 | #Constraints:      43565
991.21/993.72	c #Conflicts:     213000 | #Constraints:      44565
991.21/993.72	c #Conflicts:     214000 | #Constraints:      45565
991.21/993.72	c #Conflicts:     215000 | #Constraints:      46565
991.21/993.72	c #Conflicts:     216000 | #Constraints:      47565
991.21/993.72	c #Conflicts:     217000 | #Constraints:      48565
991.21/993.72	c #Conflicts:     218000 | #Constraints:      49565
991.21/993.72	c #Conflicts:     219000 | #Constraints:      50565
991.21/993.72	c #Conflicts:     220000 | #Constraints:      51565
991.21/993.72	c #Conflicts:     221000 | #Constraints:      52565
991.21/993.72	c #Conflicts:     222000 | #Constraints:      53565
991.21/993.72	c #Conflicts:     223000 | #Constraints:      54565
991.21/993.72	c #Conflicts:     224000 | #Constraints:      55566
991.21/993.72	c #Conflicts:     225000 | #Constraints:      56566
991.21/993.72	c #Conflicts:     226000 | #Constraints:      57566
991.21/993.72	c #Conflicts:     227000 | #Constraints:      58566
991.21/993.72	c #Conflicts:     228000 | #Constraints:      59566
991.21/993.72	c #Conflicts:     229000 | #Constraints:      60566
991.21/993.72	c #Conflicts:     230000 | #Constraints:      61566
991.21/993.72	c #Conflicts:     231000 | #Constraints:      62566
991.21/993.72	c #Conflicts:     232000 | #Constraints:      63566
991.21/993.72	c #Conflicts:     233000 | #Constraints:      64566
991.21/993.72	c #Conflicts:     234000 | #Constraints:      65566
991.21/993.72	c #Conflicts:     235000 | #Constraints:      66566
991.21/993.72	c INPROCESSING
991.21/993.72	c GARBAGE COLLECT
991.21/993.72	c #Conflicts:     236000 | #Constraints:      43495
991.21/993.72	c #Conflicts:     237000 | #Constraints:      44495
991.21/993.72	c #Conflicts:     238000 | #Constraints:      45495
991.21/993.72	c #Conflicts:     239000 | #Constraints:      46495
991.21/993.72	c #Conflicts:     240000 | #Constraints:      47496
991.21/993.72	c #Conflicts:     241000 | #Constraints:      48496
991.21/993.72	c #Conflicts:     242000 | #Constraints:      49496
991.21/993.72	c #Conflicts:     243000 | #Constraints:      50496
991.21/993.72	c #Conflicts:     244000 | #Constraints:      51496
991.21/993.72	c #Conflicts:     245000 | #Constraints:      52496
991.21/993.72	c #Conflicts:     246000 | #Constraints:      53496
991.21/993.72	c #Conflicts:     247000 | #Constraints:      54496
991.21/993.72	c #Conflicts:     248000 | #Constraints:      55496
991.21/993.72	c INPROCESSING
991.21/993.72	c GARBAGE COLLECT
991.21/993.72	c #Conflicts:     249000 | #Constraints:      37962
991.21/993.72	c #Conflicts:     250000 | #Constraints:      38962
991.21/993.72	c #Conflicts:     251000 | #Constraints:      39962
991.21/993.72	c #Conflicts:     252000 | #Constraints:      40962
991.21/993.72	c #Conflicts:     253000 | #Constraints:      41963
991.21/993.72	c #Conflicts:     254000 | #Constraints:      42963
991.21/993.72	c #Conflicts:     255000 | #Constraints:      43963
991.21/993.72	c #Conflicts:     256000 | #Constraints:      44963
991.21/993.72	c #Conflicts:     257000 | #Constraints:      45963
991.21/993.72	c #Conflicts:     258000 | #Constraints:      46963
991.21/993.72	c #Conflicts:     259000 | #Constraints:      47963
991.21/993.72	c #Conflicts:     260000 | #Constraints:      48963
991.21/993.72	c #Conflicts:     261000 | #Constraints:      49963
991.21/993.72	c #Conflicts:     262000 | #Constraints:      50963
991.21/993.72	c #Conflicts:     263000 | #Constraints:      51963
991.21/993.72	c #Conflicts:     264000 | #Constraints:      52963
991.21/993.72	c #Conflicts:     265000 | #Constraints:      53963
991.21/993.72	c #Conflicts:     266000 | #Constraints:      54963
991.21/993.72	c #Conflicts:     267000 | #Constraints:      55963
991.21/993.72	c #Conflicts:     268000 | #Constraints:      56964
1085.98/1088.73	c #Conflicts:     269000 | #Constraints:      57964
1085.98/1088.73	c #Conflicts:     270000 | #Constraints:      58964
1085.98/1088.73	c #Conflicts:     271000 | #Constraints:      59965
1085.98/1088.73	c #Conflicts:     272000 | #Constraints:      60965
1085.98/1088.73	c #Conflicts:     273000 | #Constraints:      61965
1085.98/1088.73	c #Conflicts:     274000 | #Constraints:      62965
1085.98/1088.73	c #Conflicts:     275000 | #Constraints:      63965
1085.98/1088.73	c #Conflicts:     276000 | #Constraints:      64965
1085.98/1088.73	c #Conflicts:     277000 | #Constraints:      65965
1085.98/1088.73	c #Conflicts:     278000 | #Constraints:      66965
1085.98/1088.73	c #Conflicts:     279000 | #Constraints:      67965
1085.98/1088.73	c #Conflicts:     280000 | #Constraints:      68965
1085.98/1088.73	c #Conflicts:     281000 | #Constraints:      69965
1085.98/1088.73	c #Conflicts:     282000 | #Constraints:      70965
1085.98/1088.73	c INPROCESSING
1085.98/1088.73	c GARBAGE COLLECT
1085.98/1088.73	c rational objective 151
1175.76/1178.72	c #Conflicts:     283000 | #Constraints:      45574
1175.76/1178.72	c #Conflicts:     284000 | #Constraints:      46574
1175.76/1178.72	c #Conflicts:     285000 | #Constraints:      47574
1175.76/1178.72	c #Conflicts:     286000 | #Constraints:      48574
1175.76/1178.72	c #Conflicts:     287000 | #Constraints:      49574
1175.76/1178.72	c #Conflicts:     288000 | #Constraints:      50575
1175.76/1178.72	c #Conflicts:     289000 | #Constraints:      51575
1175.76/1178.72	c #Conflicts:     290000 | #Constraints:      52575
1175.76/1178.72	c #Conflicts:     291000 | #Constraints:      53575
1175.76/1178.72	c #Conflicts:     292000 | #Constraints:      54575
1175.76/1178.72	c #Conflicts:     293000 | #Constraints:      55575
1175.76/1178.72	c #Conflicts:     294000 | #Constraints:      56575
1175.76/1178.72	c #Conflicts:     295000 | #Constraints:      57575
1175.76/1178.72	c #Conflicts:     296000 | #Constraints:      58575
1175.76/1178.72	c #Conflicts:     297000 | #Constraints:      59575
1175.76/1178.72	c INPROCESSING
1175.76/1178.72	c GARBAGE COLLECT
1175.76/1178.72	c rational objective 151
1305.45/1308.75	c #Conflicts:     298000 | #Constraints:      40061
1305.45/1308.75	c #Conflicts:     299000 | #Constraints:      41061
1305.45/1308.75	c #Conflicts:     300000 | #Constraints:      42061
1305.45/1308.75	c #Conflicts:     301000 | #Constraints:      43061
1305.45/1308.75	c #Conflicts:     302000 | #Constraints:      44062
1305.45/1308.75	c #Conflicts:     303000 | #Constraints:      45062
1305.45/1308.75	c #Conflicts:     304000 | #Constraints:      46062
1305.45/1308.75	c #Conflicts:     305000 | #Constraints:      47063
1305.45/1308.75	c #Conflicts:     306000 | #Constraints:      48063
1305.45/1308.75	c #Conflicts:     307000 | #Constraints:      49063
1305.45/1308.75	c #Conflicts:     308000 | #Constraints:      50063
1305.45/1308.75	c #Conflicts:     309000 | #Constraints:      51063
1305.45/1308.75	c #Conflicts:     310000 | #Constraints:      52063
1305.45/1308.75	c #Conflicts:     311000 | #Constraints:      53063
1305.45/1308.75	c #Conflicts:     312000 | #Constraints:      54063
1305.45/1308.75	c #Conflicts:     313000 | #Constraints:      55063
1305.45/1308.75	c #Conflicts:     314000 | #Constraints:      56063
1305.45/1308.75	c #Conflicts:     315000 | #Constraints:      57063
1305.45/1308.75	c #Conflicts:     316000 | #Constraints:      58063
1305.45/1308.75	c #Conflicts:     317000 | #Constraints:      59064
1305.45/1308.75	c #Conflicts:     318000 | #Constraints:      60064
1305.45/1308.75	c #Conflicts:     319000 | #Constraints:      61064
1305.45/1308.75	c #Conflicts:     320000 | #Constraints:      62064
1305.45/1308.75	c #Conflicts:     321000 | #Constraints:      63064
1305.45/1308.75	c #Conflicts:     322000 | #Constraints:      64064
1305.45/1308.75	c #Conflicts:     323000 | #Constraints:      65064
1305.45/1308.75	c #Conflicts:     324000 | #Constraints:      66064
1305.45/1308.75	c #Conflicts:     325000 | #Constraints:      67064
1305.45/1308.75	c #Conflicts:     326000 | #Constraints:      68064
1305.45/1308.75	c #Conflicts:     327000 | #Constraints:      69064
1305.45/1308.75	c #Conflicts:     328000 | #Constraints:      70064
1305.45/1308.75	c #Conflicts:     329000 | #Constraints:      71064
1305.45/1308.75	c #Conflicts:     330000 | #Constraints:      72064
1305.45/1308.75	c #Conflicts:     331000 | #Constraints:      73065
1305.45/1308.75	c #Conflicts:     332000 | #Constraints:      74065
1305.45/1308.75	c #Conflicts:     333000 | #Constraints:      75065
1305.45/1308.75	c #Conflicts:     334000 | #Constraints:      76065
1305.45/1308.75	c #Conflicts:     335000 | #Constraints:      77065
1305.45/1308.75	c INPROCESSING
1305.45/1308.75	c GARBAGE COLLECT
1305.45/1308.75	c rational objective 151
1362.02/1365.43	c #Conflicts:     336000 | #Constraints:      49088
1362.02/1365.43	c #Conflicts:     337000 | #Constraints:      50088
1362.02/1365.43	c #Conflicts:     338000 | #Constraints:      51088
1362.02/1365.43	c #Conflicts:     339000 | #Constraints:      52088
1362.02/1365.43	c #Conflicts:     340000 | #Constraints:      53088
1362.02/1365.43	c #Conflicts:     341000 | #Constraints:      54088
1362.02/1365.43	c #Conflicts:     342000 | #Constraints:      55088
1362.02/1365.43	c #Conflicts:     343000 | #Constraints:      56088
1362.02/1365.43	c #Conflicts:     344000 | #Constraints:      57088
1362.02/1365.43	c #Conflicts:     345000 | #Constraints:      58088
1362.02/1365.43	c #Conflicts:     346000 | #Constraints:      59088
1362.02/1365.43	c #Conflicts:     347000 | #Constraints:      60089
1362.02/1365.43	c #Conflicts:     348000 | #Constraints:      61089
1362.02/1365.43	c #Conflicts:     349000 | #Constraints:      62090
1362.02/1365.43	c #Conflicts:     350000 | #Constraints:      63090
1362.02/1365.43	c #Conflicts:     351000 | #Constraints:      64090
1362.02/1365.43	c INPROCESSING
1362.02/1365.43	c GARBAGE COLLECT
1362.02/1365.43	c rational objective 151
1492.60/1496.32	c #Conflicts:     352000 | #Constraints:      42985
1492.60/1496.32	c #Conflicts:     353000 | #Constraints:      43985
1492.60/1496.32	c #Conflicts:     354000 | #Constraints:      44985
1492.60/1496.32	c #Conflicts:     355000 | #Constraints:      45986
1492.60/1496.32	c #Conflicts:     356000 | #Constraints:      46986
1492.60/1496.32	c #Conflicts:     357000 | #Constraints:      47986
1492.60/1496.32	c #Conflicts:     358000 | #Constraints:      48986
1492.60/1496.32	c #Conflicts:     359000 | #Constraints:      49986
1492.60/1496.32	c #Conflicts:     360000 | #Constraints:      50986
1492.60/1496.32	c #Conflicts:     361000 | #Constraints:      51986
1492.60/1496.32	c #Conflicts:     362000 | #Constraints:      52986
1492.60/1496.32	c #Conflicts:     363000 | #Constraints:      53987
1492.60/1496.32	c #Conflicts:     364000 | #Constraints:      54987
1492.60/1496.32	c #Conflicts:     365000 | #Constraints:      55987
1492.60/1496.32	c #Conflicts:     366000 | #Constraints:      56987
1492.60/1496.32	c #Conflicts:     367000 | #Constraints:      57987
1492.60/1496.32	c #Conflicts:     368000 | #Constraints:      58987
1492.60/1496.32	c #Conflicts:     369000 | #Constraints:      59987
1492.60/1496.32	c #Conflicts:     370000 | #Constraints:      60987
1492.60/1496.32	c #Conflicts:     371000 | #Constraints:      61987
1492.60/1496.32	c #Conflicts:     372000 | #Constraints:      62987
1492.60/1496.32	c #Conflicts:     373000 | #Constraints:      63987
1492.60/1496.32	c #Conflicts:     374000 | #Constraints:      64987
1492.60/1496.32	c #Conflicts:     375000 | #Constraints:      65987
1492.60/1496.32	c #Conflicts:     376000 | #Constraints:      66987
1492.60/1496.32	c #Conflicts:     377000 | #Constraints:      67987
1492.60/1496.32	c #Conflicts:     378000 | #Constraints:      68988
1492.60/1496.32	c #Conflicts:     379000 | #Constraints:      69988
1492.60/1496.32	c #Conflicts:     380000 | #Constraints:      70988
1492.60/1496.32	c #Conflicts:     381000 | #Constraints:      71988
1492.60/1496.32	c #Conflicts:     382000 | #Constraints:      72988
1492.60/1496.32	c #Conflicts:     383000 | #Constraints:      73988
1492.60/1496.32	c #Conflicts:     384000 | #Constraints:      74988
1492.60/1496.32	c #Conflicts:     385000 | #Constraints:      75988
1492.60/1496.32	c #Conflicts:     386000 | #Constraints:      76988
1492.60/1496.32	c #Conflicts:     387000 | #Constraints:      77988
1492.60/1496.32	c #Conflicts:     388000 | #Constraints:      78988
1492.60/1496.32	c #Conflicts:     389000 | #Constraints:      79988
1492.60/1496.32	c #Conflicts:     390000 | #Constraints:      80988
1492.60/1496.32	c #Conflicts:     391000 | #Constraints:      81988
1492.60/1496.32	c INPROCESSING
1492.60/1496.32	c GARBAGE COLLECT
1492.60/1496.32	c rational objective 151
1539.59/1543.40	c #Conflicts:     392000 | #Constraints:      51340
1539.59/1543.40	c #Conflicts:     393000 | #Constraints:      52340
1539.59/1543.40	c #Conflicts:     394000 | #Constraints:      53340
1539.59/1543.40	c #Conflicts:     395000 | #Constraints:      54340
1539.59/1543.40	c #Conflicts:     396000 | #Constraints:      55340
1539.59/1543.40	c #Conflicts:     397000 | #Constraints:      56340
1539.59/1543.40	c #Conflicts:     398000 | #Constraints:      57340
1539.59/1543.40	c #Conflicts:     399000 | #Constraints:      58340
1539.59/1543.40	c #Conflicts:     400000 | #Constraints:      59340
1539.59/1543.40	c #Conflicts:     401000 | #Constraints:      60340
1539.59/1543.40	c #Conflicts:     402000 | #Constraints:      61340
1539.59/1543.40	c #Conflicts:     403000 | #Constraints:      62340
1539.59/1543.40	c #Conflicts:     404000 | #Constraints:      63340
1539.59/1543.40	c #Conflicts:     405000 | #Constraints:      64340
1539.59/1543.40	c #Conflicts:     406000 | #Constraints:      65340
1539.59/1543.40	c #Conflicts:     407000 | #Constraints:      66340
1539.59/1543.40	c #Conflicts:     408000 | #Constraints:      67340
1539.59/1543.40	c INPROCESSING
1539.59/1543.40	c GARBAGE COLLECT
1539.59/1543.40	c rational objective 151
1700.01/1704.24	c #Conflicts:     409000 | #Constraints:      44668
1700.01/1704.24	c #Conflicts:     410000 | #Constraints:      45668
1700.01/1704.24	c #Conflicts:     411000 | #Constraints:      46668
1700.01/1704.24	c #Conflicts:     412000 | #Constraints:      47668
1700.01/1704.24	c #Conflicts:     413000 | #Constraints:      48669
1700.01/1704.24	c #Conflicts:     414000 | #Constraints:      49669
1700.01/1704.24	c #Conflicts:     415000 | #Constraints:      50670
1700.01/1704.24	c #Conflicts:     416000 | #Constraints:      51670
1700.01/1704.24	c #Conflicts:     417000 | #Constraints:      52670
1700.01/1704.24	c #Conflicts:     418000 | #Constraints:      53670
1700.01/1704.24	c #Conflicts:     419000 | #Constraints:      54670
1700.01/1704.24	c #Conflicts:     420000 | #Constraints:      55670
1700.01/1704.24	c #Conflicts:     421000 | #Constraints:      56670
1700.01/1704.24	c #Conflicts:     422000 | #Constraints:      57670
1700.01/1704.24	c #Conflicts:     423000 | #Constraints:      58670
1700.01/1704.24	c #Conflicts:     424000 | #Constraints:      59670
1700.01/1704.24	c #Conflicts:     425000 | #Constraints:      60670
1700.01/1704.24	c #Conflicts:     426000 | #Constraints:      61670
1700.01/1704.24	c #Conflicts:     427000 | #Constraints:      62670
1700.01/1704.24	c #Conflicts:     428000 | #Constraints:      63671
1700.01/1704.24	c #Conflicts:     429000 | #Constraints:      64671
1700.01/1704.24	c #Conflicts:     430000 | #Constraints:      65671
1700.01/1704.24	c #Conflicts:     431000 | #Constraints:      66671
1700.01/1704.24	c #Conflicts:     432000 | #Constraints:      67671
1700.01/1704.24	c #Conflicts:     433000 | #Constraints:      68671
1700.01/1704.24	c #Conflicts:     434000 | #Constraints:      69671
1700.01/1704.24	c #Conflicts:     435000 | #Constraints:      70671
1700.01/1704.24	c #Conflicts:     436000 | #Constraints:      71672
1700.01/1704.24	c #Conflicts:     437000 | #Constraints:      72672
1700.01/1704.24	c #Conflicts:     438000 | #Constraints:      73672
1700.01/1704.24	c #Conflicts:     439000 | #Constraints:      74672
1700.01/1704.24	c #Conflicts:     440000 | #Constraints:      75672
1700.01/1704.24	c #Conflicts:     441000 | #Constraints:      76673
1700.01/1704.24	c #Conflicts:     442000 | #Constraints:      77673
1700.01/1704.24	c #Conflicts:     443000 | #Constraints:      78673
1700.01/1704.24	c #Conflicts:     444000 | #Constraints:      79673
1700.01/1704.24	c #Conflicts:     445000 | #Constraints:      80673
1700.01/1704.24	c #Conflicts:     446000 | #Constraints:      81673
1700.01/1704.24	c #Conflicts:     447000 | #Constraints:      82673
1700.01/1704.24	c #Conflicts:     448000 | #Constraints:      83674
1700.01/1704.24	c #Conflicts:     449000 | #Constraints:      84674
1700.01/1704.24	c #Conflicts:     450000 | #Constraints:      85674
1700.01/1704.24	c #Conflicts:     451000 | #Constraints:      86674
1700.01/1704.24	c #Conflicts:     452000 | #Constraints:      87674
1700.01/1704.24	c INPROCESSING
1700.01/1704.24	c GARBAGE COLLECT
1700.01/1704.24	c rational objective 151
1748.99/1753.36	c #Conflicts:     453000 | #Constraints:      54185
1748.99/1753.36	c #Conflicts:     454000 | #Constraints:      55185
1748.99/1753.36	c #Conflicts:     455000 | #Constraints:      56185
1748.99/1753.36	c #Conflicts:     456000 | #Constraints:      57185
1748.99/1753.36	c #Conflicts:     457000 | #Constraints:      58185
1748.99/1753.36	c #Conflicts:     458000 | #Constraints:      59185
1748.99/1753.36	c #Conflicts:     459000 | #Constraints:      60185
1748.99/1753.36	c #Conflicts:     460000 | #Constraints:      61185
1748.99/1753.36	c #Conflicts:     461000 | #Constraints:      62185
1748.99/1753.36	c #Conflicts:     462000 | #Constraints:      63185
1748.99/1753.36	c #Conflicts:     463000 | #Constraints:      64185
1748.99/1753.36	c #Conflicts:     464000 | #Constraints:      65185
1748.99/1753.36	c #Conflicts:     465000 | #Constraints:      66185
1748.99/1753.36	c #Conflicts:     466000 | #Constraints:      67185
1748.99/1753.36	c #Conflicts:     467000 | #Constraints:      68185
1748.99/1753.36	c #Conflicts:     468000 | #Constraints:      69185
1748.99/1753.36	c #Conflicts:     469000 | #Constraints:      70185
1748.99/1753.36	c #Conflicts:     470000 | #Constraints:      71185
1748.99/1753.36	c #Conflicts:     471000 | #Constraints:      72185
1748.99/1753.36	c INPROCESSING
1748.99/1753.36	c GARBAGE COLLECT
1748.99/1753.36	c rational objective 151
2218.74/2224.42	c #Conflicts:     472000 | #Constraints:      47130
2218.74/2224.42	c #Conflicts:     473000 | #Constraints:      48130
2218.74/2224.42	c #Conflicts:     474000 | #Constraints:      49130
2218.74/2224.42	c #Conflicts:     475000 | #Constraints:      50130
2218.74/2224.42	c #Conflicts:     476000 | #Constraints:      51130
2218.74/2224.42	c #Conflicts:     477000 | #Constraints:      52130
2218.74/2224.42	c #Conflicts:     478000 | #Constraints:      53131
2218.74/2224.42	c #Conflicts:     479000 | #Constraints:      54131
2218.74/2224.42	c #Conflicts:     480000 | #Constraints:      55131
2218.74/2224.42	c #Conflicts:     481000 | #Constraints:      56131
2218.74/2224.42	c #Conflicts:     482000 | #Constraints:      57131
2218.74/2224.42	c #Conflicts:     483000 | #Constraints:      58131
2218.74/2224.42	c #Conflicts:     484000 | #Constraints:      59131
2218.74/2224.42	c #Conflicts:     485000 | #Constraints:      60131
2218.74/2224.42	c #Conflicts:     486000 | #Constraints:      61131
2218.74/2224.42	c #Conflicts:     487000 | #Constraints:      62131
2218.74/2224.42	c #Conflicts:     488000 | #Constraints:      63131
2218.74/2224.42	c #Conflicts:     489000 | #Constraints:      64132
2218.74/2224.42	c #Conflicts:     490000 | #Constraints:      65132
2218.74/2224.42	c #Conflicts:     491000 | #Constraints:      66132
2218.74/2224.42	c #Conflicts:     492000 | #Constraints:      67132
2218.74/2224.42	c #Conflicts:     493000 | #Constraints:      68132
2218.74/2224.42	c #Conflicts:     494000 | #Constraints:      69132
2218.74/2224.42	c #Conflicts:     495000 | #Constraints:      70132
2218.74/2224.42	c #Conflicts:     496000 | #Constraints:      71132
2218.74/2224.42	c #Conflicts:     497000 | #Constraints:      72132
2218.74/2224.42	c #Conflicts:     498000 | #Constraints:      73132
2218.74/2224.42	c #Conflicts:     499000 | #Constraints:      74132
2218.74/2224.42	c #Conflicts:     500000 | #Constraints:      75132
2218.74/2224.42	c #Conflicts:     501000 | #Constraints:      76132
2218.74/2224.42	c #Conflicts:     502000 | #Constraints:      77132
2218.74/2224.42	c #Conflicts:     503000 | #Constraints:      78132
2218.74/2224.42	c #Conflicts:     504000 | #Constraints:      79132
2218.74/2224.42	c #Conflicts:     505000 | #Constraints:      80132
2218.74/2224.42	c #Conflicts:     506000 | #Constraints:      81132
2218.74/2224.42	c #Conflicts:     507000 | #Constraints:      82132
2218.74/2224.42	c #Conflicts:     508000 | #Constraints:      83132
2218.74/2224.42	c #Conflicts:     509000 | #Constraints:      84133
2218.74/2224.42	c #Conflicts:     510000 | #Constraints:      85133
2218.74/2224.42	c #Conflicts:     511000 | #Constraints:      86133
2218.74/2224.42	c #Conflicts:     512000 | #Constraints:      87133
2218.74/2224.42	c #Conflicts:     513000 | #Constraints:      88133
2218.74/2224.42	c #Conflicts:     514000 | #Constraints:      89133
2218.74/2224.42	c #Conflicts:     515000 | #Constraints:      90133
2218.74/2224.42	c #Conflicts:     516000 | #Constraints:      91133
2218.74/2224.42	c #Conflicts:     517000 | #Constraints:      92133
2218.74/2224.42	c INPROCESSING
2218.74/2224.42	c GARBAGE COLLECT
2218.74/2224.42	c rational objective 151
2309.99/2315.97	c #Conflicts:     518000 | #Constraints:      56391
2309.99/2315.97	c #Conflicts:     519000 | #Constraints:      57391
2309.99/2315.97	c #Conflicts:     520000 | #Constraints:      58391
2309.99/2315.97	c #Conflicts:     521000 | #Constraints:      59391
2309.99/2315.97	c #Conflicts:     522000 | #Constraints:      60391
2309.99/2315.97	c #Conflicts:     523000 | #Constraints:      61391
2309.99/2315.97	c #Conflicts:     524000 | #Constraints:      62391
2309.99/2315.97	c #Conflicts:     525000 | #Constraints:      63393
2309.99/2315.97	c #Conflicts:     526000 | #Constraints:      64393
2309.99/2315.97	c #Conflicts:     527000 | #Constraints:      65393
2309.99/2315.97	c #Conflicts:     528000 | #Constraints:      66393
2309.99/2315.97	c #Conflicts:     529000 | #Constraints:      67393
2309.99/2315.97	c #Conflicts:     530000 | #Constraints:      68394
2309.99/2315.97	c #Conflicts:     531000 | #Constraints:      69394
2309.99/2315.97	c #Conflicts:     532000 | #Constraints:      70394
2309.99/2315.97	c #Conflicts:     533000 | #Constraints:      71394
2309.99/2315.97	c #Conflicts:     534000 | #Constraints:      72394
2309.99/2315.97	c #Conflicts:     535000 | #Constraints:      73394
2309.99/2315.97	c #Conflicts:     536000 | #Constraints:      74394
2309.99/2315.97	c #Conflicts:     537000 | #Constraints:      75394
2309.99/2315.97	c INPROCESSING
2309.99/2315.97	c GARBAGE COLLECT
2309.99/2315.97	c rational objective 151
2479.90/2486.31	c #Conflicts:     538000 | #Constraints:      48451
2479.90/2486.31	c #Conflicts:     539000 | #Constraints:      49451
2479.90/2486.31	c #Conflicts:     540000 | #Constraints:      50451
2479.90/2486.31	c #Conflicts:     541000 | #Constraints:      51451
2479.90/2486.31	c #Conflicts:     542000 | #Constraints:      52451
2479.90/2486.31	c #Conflicts:     543000 | #Constraints:      53451
2479.90/2486.31	c #Conflicts:     544000 | #Constraints:      54451
2479.90/2486.31	c #Conflicts:     545000 | #Constraints:      55451
2479.90/2486.31	c #Conflicts:     546000 | #Constraints:      56452
2479.90/2486.31	c #Conflicts:     547000 | #Constraints:      57452
2479.90/2486.31	c #Conflicts:     548000 | #Constraints:      58452
2479.90/2486.31	c #Conflicts:     549000 | #Constraints:      59452
2479.90/2486.31	c #Conflicts:     550000 | #Constraints:      60453
2479.90/2486.31	c #Conflicts:     551000 | #Constraints:      61453
2479.90/2486.31	c #Conflicts:     552000 | #Constraints:      62453
2479.90/2486.31	c #Conflicts:     553000 | #Constraints:      63453
2479.90/2486.31	c #Conflicts:     554000 | #Constraints:      64453
2479.90/2486.31	c #Conflicts:     555000 | #Constraints:      65453
2479.90/2486.31	c #Conflicts:     556000 | #Constraints:      66453
2479.90/2486.31	c #Conflicts:     557000 | #Constraints:      67453
2479.90/2486.31	c #Conflicts:     558000 | #Constraints:      68453
2479.90/2486.31	c #Conflicts:     559000 | #Constraints:      69453
2479.90/2486.31	c #Conflicts:     560000 | #Constraints:      70453
2479.90/2486.31	c #Conflicts:     561000 | #Constraints:      71453
2479.90/2486.31	c #Conflicts:     562000 | #Constraints:      72453
2479.90/2486.31	c #Conflicts:     563000 | #Constraints:      73453
2479.90/2486.31	c #Conflicts:     564000 | #Constraints:      74454
2479.90/2486.31	c #Conflicts:     565000 | #Constraints:      75454
2479.90/2486.31	c #Conflicts:     566000 | #Constraints:      76454
2479.90/2486.31	c #Conflicts:     567000 | #Constraints:      77454
2479.90/2486.31	c #Conflicts:     568000 | #Constraints:      78454
2479.90/2486.31	c #Conflicts:     569000 | #Constraints:      79454
2479.90/2486.31	c #Conflicts:     570000 | #Constraints:      80454
2479.90/2486.31	c #Conflicts:     571000 | #Constraints:      81454
2479.90/2486.31	c #Conflicts:     572000 | #Constraints:      82454
2479.90/2486.31	c #Conflicts:     573000 | #Constraints:      83454
2479.90/2486.31	c #Conflicts:     574000 | #Constraints:      84454
2479.90/2486.31	c #Conflicts:     575000 | #Constraints:      85454
2479.90/2486.31	c #Conflicts:     576000 | #Constraints:      86454
2479.90/2486.31	c #Conflicts:     577000 | #Constraints:      87454
2479.90/2486.31	c #Conflicts:     578000 | #Constraints:      88454
2479.90/2486.31	c #Conflicts:     579000 | #Constraints:      89455
2479.90/2486.31	c #Conflicts:     580000 | #Constraints:      90455
2479.90/2486.31	c #Conflicts:     581000 | #Constraints:      91455
2479.90/2486.31	c #Conflicts:     582000 | #Constraints:      92455
2479.90/2486.31	c #Conflicts:     583000 | #Constraints:      93455
2479.90/2486.31	c #Conflicts:     584000 | #Constraints:      94456
2479.90/2486.31	c #Conflicts:     585000 | #Constraints:      95456
2479.90/2486.31	c #Conflicts:     586000 | #Constraints:      96456
2479.90/2486.31	c #Conflicts:     587000 | #Constraints:      97456
2479.90/2486.31	c INPROCESSING
2479.90/2486.31	c GARBAGE COLLECT
2479.90/2486.31	c rational objective 151
2603.28/2610.02	c #Conflicts:     588000 | #Constraints:      59488
2603.28/2610.02	c #Conflicts:     589000 | #Constraints:      60488
2603.28/2610.02	c #Conflicts:     590000 | #Constraints:      61488
2603.28/2610.02	c #Conflicts:     591000 | #Constraints:      62488
2603.28/2610.02	c #Conflicts:     592000 | #Constraints:      63488
2603.28/2610.02	c #Conflicts:     593000 | #Constraints:      64488
2603.28/2610.02	c #Conflicts:     594000 | #Constraints:      65488
2603.28/2610.02	c #Conflicts:     595000 | #Constraints:      66488
2603.28/2610.02	c #Conflicts:     596000 | #Constraints:      67488
2603.28/2610.02	c #Conflicts:     597000 | #Constraints:      68488
2603.28/2610.02	c #Conflicts:     598000 | #Constraints:      69488
2603.28/2610.02	c #Conflicts:     599000 | #Constraints:      70488
2603.28/2610.02	c #Conflicts:     600000 | #Constraints:      71489
2603.28/2610.02	c #Conflicts:     601000 | #Constraints:      72489
2603.28/2610.02	c #Conflicts:     602000 | #Constraints:      73489
2603.28/2610.02	c #Conflicts:     603000 | #Constraints:      74489
2603.28/2610.02	c #Conflicts:     604000 | #Constraints:      75489
2603.28/2610.02	c #Conflicts:     605000 | #Constraints:      76489
2603.28/2610.02	c #Conflicts:     606000 | #Constraints:      77489
2603.28/2610.02	c #Conflicts:     607000 | #Constraints:      78489
2603.28/2610.02	c #Conflicts:     608000 | #Constraints:      79489
2603.28/2610.02	c INPROCESSING
2603.28/2610.02	c GARBAGE COLLECT
2603.28/2610.02	c rational objective 151
2779.36/2786.57	c #Conflicts:     609000 | #Constraints:      51181
2779.36/2786.57	c #Conflicts:     610000 | #Constraints:      52181
2779.36/2786.57	c #Conflicts:     611000 | #Constraints:      53181
2779.36/2786.57	c #Conflicts:     612000 | #Constraints:      54181
2779.36/2786.57	c #Conflicts:     613000 | #Constraints:      55181
2779.36/2786.57	c #Conflicts:     614000 | #Constraints:      56181
2779.36/2786.57	c #Conflicts:     615000 | #Constraints:      57181
2779.36/2786.57	c #Conflicts:     616000 | #Constraints:      58181
2779.36/2786.57	c #Conflicts:     617000 | #Constraints:      59181
2779.36/2786.57	c #Conflicts:     618000 | #Constraints:      60181
2779.36/2786.57	c #Conflicts:     619000 | #Constraints:      61181
2779.36/2786.57	c #Conflicts:     620000 | #Constraints:      62182
2779.36/2786.57	c #Conflicts:     621000 | #Constraints:      63182
2779.36/2786.57	c #Conflicts:     622000 | #Constraints:      64183
2779.36/2786.57	c #Conflicts:     623000 | #Constraints:      65183
2779.36/2786.57	c #Conflicts:     624000 | #Constraints:      66183
2779.36/2786.57	c #Conflicts:     625000 | #Constraints:      67183
2779.36/2786.57	c #Conflicts:     626000 | #Constraints:      68183
2779.36/2786.57	c #Conflicts:     627000 | #Constraints:      69183
2779.36/2786.57	c #Conflicts:     628000 | #Constraints:      70183
2779.36/2786.57	c #Conflicts:     629000 | #Constraints:      71183
2779.36/2786.57	c #Conflicts:     630000 | #Constraints:      72183
2779.36/2786.57	c #Conflicts:     631000 | #Constraints:      73183
2779.36/2786.57	c #Conflicts:     632000 | #Constraints:      74183
2779.36/2786.57	c #Conflicts:     633000 | #Constraints:      75183
2779.36/2786.57	c #Conflicts:     634000 | #Constraints:      76184
2779.36/2786.57	c #Conflicts:     635000 | #Constraints:      77184
2779.36/2786.57	c #Conflicts:     636000 | #Constraints:      78184
2779.36/2786.57	c #Conflicts:     637000 | #Constraints:      79184
2779.36/2786.57	c #Conflicts:     638000 | #Constraints:      80184
2779.36/2786.57	c #Conflicts:     639000 | #Constraints:      81184
2779.36/2786.57	c #Conflicts:     640000 | #Constraints:      82184
2779.36/2786.57	c #Conflicts:     641000 | #Constraints:      83184
2779.36/2786.57	c #Conflicts:     642000 | #Constraints:      84184
2779.36/2786.57	c #Conflicts:     643000 | #Constraints:      85184
2779.36/2786.57	c #Conflicts:     644000 | #Constraints:      86184
2779.36/2786.57	c #Conflicts:     645000 | #Constraints:      87184
2779.36/2786.57	c #Conflicts:     646000 | #Constraints:      88184
2779.36/2786.57	c #Conflicts:     647000 | #Constraints:      89184
2779.36/2786.57	c #Conflicts:     648000 | #Constraints:      90184
2779.36/2786.57	c #Conflicts:     649000 | #Constraints:      91184
2779.36/2786.57	c #Conflicts:     650000 | #Constraints:      92184
2779.36/2786.57	c #Conflicts:     651000 | #Constraints:      93184
2779.36/2786.57	c #Conflicts:     652000 | #Constraints:      94184
2779.36/2786.57	c #Conflicts:     653000 | #Constraints:      95184
2779.36/2786.57	c #Conflicts:     654000 | #Constraints:      96184
2779.36/2786.57	c #Conflicts:     655000 | #Constraints:      97184
2779.36/2786.57	c #Conflicts:     656000 | #Constraints:      98184
2779.36/2786.57	c #Conflicts:     657000 | #Constraints:      99185
2779.36/2786.57	c #Conflicts:     658000 | #Constraints:     100185
2779.36/2786.57	c #Conflicts:     659000 | #Constraints:     101185
2779.36/2786.57	c #Conflicts:     660000 | #Constraints:     102185
2779.36/2786.57	c #Conflicts:     661000 | #Constraints:     103185
2779.36/2786.57	c INPROCESSING
2779.36/2786.57	c GARBAGE COLLECT
2779.36/2786.57	c rational objective 151
2946.80/2954.36	c #Conflicts:     662000 | #Constraints:      62143
2946.80/2954.36	c #Conflicts:     663000 | #Constraints:      63143
2946.80/2954.36	c #Conflicts:     664000 | #Constraints:      64143
2946.80/2954.36	c #Conflicts:     665000 | #Constraints:      65143
2946.80/2954.36	c #Conflicts:     666000 | #Constraints:      66143
2946.80/2954.36	c #Conflicts:     667000 | #Constraints:      67143
2946.80/2954.36	c #Conflicts:     668000 | #Constraints:      68143
2946.80/2954.36	c #Conflicts:     669000 | #Constraints:      69143
2946.80/2954.36	c #Conflicts:     670000 | #Constraints:      70144
2946.80/2954.36	c #Conflicts:     671000 | #Constraints:      71144
2946.80/2954.36	c #Conflicts:     672000 | #Constraints:      72144
2946.80/2954.36	c #Conflicts:     673000 | #Constraints:      73144
2946.80/2954.36	c #Conflicts:     674000 | #Constraints:      74144
2946.80/2954.36	c #Conflicts:     675000 | #Constraints:      75144
2946.80/2954.36	c #Conflicts:     676000 | #Constraints:      76144
2946.80/2954.36	c #Conflicts:     677000 | #Constraints:      77144
2946.80/2954.36	c #Conflicts:     678000 | #Constraints:      78144
2946.80/2954.36	c #Conflicts:     679000 | #Constraints:      79144
2946.80/2954.36	c #Conflicts:     680000 | #Constraints:      80144
2946.80/2954.36	c #Conflicts:     681000 | #Constraints:      81144
2946.80/2954.36	c #Conflicts:     682000 | #Constraints:      82144
2946.80/2954.36	c #Conflicts:     683000 | #Constraints:      83144
2946.80/2954.36	c #Conflicts:     684000 | #Constraints:      84144
2946.80/2954.36	c INPROCESSING
2946.80/2954.36	c GARBAGE COLLECT
2946.80/2954.36	c rational objective 151
3154.09/3162.06	c #Conflicts:     685000 | #Constraints:      54282
3154.09/3162.06	c #Conflicts:     686000 | #Constraints:      55283
3154.09/3162.06	c #Conflicts:     687000 | #Constraints:      56283
3154.09/3162.06	c #Conflicts:     688000 | #Constraints:      57284
3154.09/3162.06	c #Conflicts:     689000 | #Constraints:      58284
3154.09/3162.06	c #Conflicts:     690000 | #Constraints:      59284
3154.09/3162.06	c #Conflicts:     691000 | #Constraints:      60284
3154.09/3162.06	c #Conflicts:     692000 | #Constraints:      61284
3154.09/3162.06	c #Conflicts:     693000 | #Constraints:      62284
3154.09/3162.06	c #Conflicts:     694000 | #Constraints:      63284
3154.09/3162.06	c #Conflicts:     695000 | #Constraints:      64284
3154.09/3162.06	c #Conflicts:     696000 | #Constraints:      65284
3154.09/3162.06	c #Conflicts:     697000 | #Constraints:      66284
3154.09/3162.06	c #Conflicts:     698000 | #Constraints:      67284
3154.09/3162.06	c #Conflicts:     699000 | #Constraints:      68284
3154.09/3162.06	c #Conflicts:     700000 | #Constraints:      69284
3154.09/3162.06	c #Conflicts:     701000 | #Constraints:      70284
3154.09/3162.06	c #Conflicts:     702000 | #Constraints:      71284
3154.09/3162.06	c #Conflicts:     703000 | #Constraints:      72284
3154.09/3162.06	c #Conflicts:     704000 | #Constraints:      73284
3154.09/3162.06	c #Conflicts:     705000 | #Constraints:      74284
3154.09/3162.06	c #Conflicts:     706000 | #Constraints:      75285
3154.09/3162.06	c #Conflicts:     707000 | #Constraints:      76285
3154.09/3162.06	c #Conflicts:     708000 | #Constraints:      77285
3154.09/3162.06	c #Conflicts:     709000 | #Constraints:      78285
3154.09/3162.06	c #Conflicts:     710000 | #Constraints:      79285
3154.09/3162.06	c #Conflicts:     711000 | #Constraints:      80285
3154.09/3162.06	c #Conflicts:     712000 | #Constraints:      81285
3154.09/3162.06	c #Conflicts:     713000 | #Constraints:      82285
3154.09/3162.06	c #Conflicts:     714000 | #Constraints:      83286
3154.09/3162.06	c #Conflicts:     715000 | #Constraints:      84286
3154.09/3162.06	c #Conflicts:     716000 | #Constraints:      85286
3154.09/3162.06	c #Conflicts:     717000 | #Constraints:      86286
3154.09/3162.06	c #Conflicts:     718000 | #Constraints:      87286
3154.09/3162.06	c #Conflicts:     719000 | #Constraints:      88286
3154.09/3162.06	c #Conflicts:     720000 | #Constraints:      89286
3154.09/3162.06	c #Conflicts:     721000 | #Constraints:      90286
3154.09/3162.06	c #Conflicts:     722000 | #Constraints:      91286
3154.09/3162.06	c #Conflicts:     723000 | #Constraints:      92286
3154.09/3162.06	c #Conflicts:     724000 | #Constraints:      93286
3154.09/3162.06	c #Conflicts:     725000 | #Constraints:      94286
3154.09/3162.06	c #Conflicts:     726000 | #Constraints:      95286
3154.09/3162.06	c #Conflicts:     727000 | #Constraints:      96286
3154.09/3162.06	c #Conflicts:     728000 | #Constraints:      97286
3154.09/3162.06	c #Conflicts:     729000 | #Constraints:      98286
3154.09/3162.06	c #Conflicts:     730000 | #Constraints:      99286
3154.09/3162.06	c #Conflicts:     731000 | #Constraints:     100286
3154.09/3162.06	c #Conflicts:     732000 | #Constraints:     101287
3154.09/3162.06	c #Conflicts:     733000 | #Constraints:     102287
3154.09/3162.06	c #Conflicts:     734000 | #Constraints:     103287
3154.09/3162.06	c #Conflicts:     735000 | #Constraints:     104287
3154.09/3162.06	c #Conflicts:     736000 | #Constraints:     105287
3154.09/3162.06	c #Conflicts:     737000 | #Constraints:     106287
3154.09/3162.06	c #Conflicts:     738000 | #Constraints:     107287
3154.09/3162.06	c #Conflicts:     739000 | #Constraints:     108287
3154.09/3162.06	c #Conflicts:     740000 | #Constraints:     109287
3154.09/3162.06	c INPROCESSING
3154.09/3162.06	c GARBAGE COLLECT
3154.09/3162.06	c #Conflicts:     741000 | #Constraints:      65440
3154.09/3162.06	c #Conflicts:     742000 | #Constraints:      66440
3154.09/3162.06	c #Conflicts:     743000 | #Constraints:      67440
3154.09/3162.06	c #Conflicts:     744000 | #Constraints:      68440
3154.09/3162.06	c #Conflicts:     745000 | #Constraints:      69440
3154.09/3162.06	c #Conflicts:     746000 | #Constraints:      70440
3154.09/3162.06	c #Conflicts:     747000 | #Constraints:      71440
3154.09/3162.06	c #Conflicts:     748000 | #Constraints:      72441
3154.09/3162.06	c #Conflicts:     749000 | #Constraints:      73441
3154.09/3162.06	c #Conflicts:     750000 | #Constraints:      74442
3154.09/3162.06	c #Conflicts:     751000 | #Constraints:      75442
3154.09/3162.06	c #Conflicts:     752000 | #Constraints:      76442
3154.09/3162.06	c #Conflicts:     753000 | #Constraints:      77443
3154.09/3162.06	c #Conflicts:     754000 | #Constraints:      78443
3154.09/3162.06	c #Conflicts:     755000 | #Constraints:      79443
3154.09/3162.06	c #Conflicts:     756000 | #Constraints:      80443
3154.09/3162.06	c #Conflicts:     757000 | #Constraints:      81443
3154.09/3162.06	c #Conflicts:     758000 | #Constraints:      82444
3154.09/3162.06	c #Conflicts:     759000 | #Constraints:      83444
3154.09/3162.06	c #Conflicts:     760000 | #Constraints:      84444
3154.09/3162.06	c #Conflicts:     761000 | #Constraints:      85444
3154.09/3162.06	c #Conflicts:     762000 | #Constraints:      86444
3154.09/3162.06	c #Conflicts:     763000 | #Constraints:      87444
3270.44/3278.67	c INPROCESSING
3270.44/3278.67	c GARBAGE COLLECT
3270.44/3278.67	c rational objective 151
3458.47/3467.05	c #Conflicts:     764000 | #Constraints:      55558
3458.47/3467.05	c #Conflicts:     765000 | #Constraints:      56558
3458.47/3467.05	c #Conflicts:     766000 | #Constraints:      57558
3458.47/3467.05	c #Conflicts:     767000 | #Constraints:      58558
3458.47/3467.05	c #Conflicts:     768000 | #Constraints:      59558
3458.47/3467.05	c #Conflicts:     769000 | #Constraints:      60558
3458.47/3467.05	c #Conflicts:     770000 | #Constraints:      61558
3458.47/3467.05	c #Conflicts:     771000 | #Constraints:      62558
3458.47/3467.05	c #Conflicts:     772000 | #Constraints:      63558
3458.47/3467.05	c #Conflicts:     773000 | #Constraints:      64559
3458.47/3467.05	c #Conflicts:     774000 | #Constraints:      65559
3458.47/3467.05	c #Conflicts:     775000 | #Constraints:      66559
3458.47/3467.05	c #Conflicts:     776000 | #Constraints:      67559
3458.47/3467.05	c #Conflicts:     777000 | #Constraints:      68559
3458.47/3467.05	c #Conflicts:     778000 | #Constraints:      69559
3458.47/3467.05	c #Conflicts:     779000 | #Constraints:      70560
3458.47/3467.05	c #Conflicts:     780000 | #Constraints:      71560
3458.47/3467.05	c #Conflicts:     781000 | #Constraints:      72560
3458.47/3467.05	c #Conflicts:     782000 | #Constraints:      73560
3458.47/3467.05	c #Conflicts:     783000 | #Constraints:      74560
3458.47/3467.05	c #Conflicts:     784000 | #Constraints:      75560
3458.47/3467.05	c #Conflicts:     785000 | #Constraints:      76560
3458.47/3467.05	c #Conflicts:     786000 | #Constraints:      77560
3458.47/3467.05	c #Conflicts:     787000 | #Constraints:      78560
3458.47/3467.05	c #Conflicts:     788000 | #Constraints:      79560
3458.47/3467.05	c #Conflicts:     789000 | #Constraints:      80560
3458.47/3467.05	c #Conflicts:     790000 | #Constraints:      81560
3458.47/3467.05	c #Conflicts:     791000 | #Constraints:      82560
3458.47/3467.05	c #Conflicts:     792000 | #Constraints:      83560
3458.47/3467.05	c #Conflicts:     793000 | #Constraints:      84561
3458.47/3467.05	c #Conflicts:     794000 | #Constraints:      85561
3458.47/3467.05	c #Conflicts:     795000 | #Constraints:      86561
3458.47/3467.05	c #Conflicts:     796000 | #Constraints:      87561
3458.47/3467.05	c #Conflicts:     797000 | #Constraints:      88561
3458.47/3467.05	c #Conflicts:     798000 | #Constraints:      89561
3458.47/3467.05	c #Conflicts:     799000 | #Constraints:      90561
3458.47/3467.05	c #Conflicts:     800000 | #Constraints:      91561
3458.47/3467.05	c #Conflicts:     801000 | #Constraints:      92561
3458.47/3467.05	c #Conflicts:     802000 | #Constraints:      93561
3458.47/3467.05	c #Conflicts:     803000 | #Constraints:      94561
3458.47/3467.05	c #Conflicts:     804000 | #Constraints:      95561
3458.47/3467.05	c #Conflicts:     805000 | #Constraints:      96561
3458.47/3467.05	c #Conflicts:     806000 | #Constraints:      97561
3458.47/3467.05	c #Conflicts:     807000 | #Constraints:      98562
3458.47/3467.05	c #Conflicts:     808000 | #Constraints:      99562
3458.47/3467.05	c #Conflicts:     809000 | #Constraints:     100562
3458.47/3467.05	c #Conflicts:     810000 | #Constraints:     101562
3458.47/3467.05	c #Conflicts:     811000 | #Constraints:     102562
3458.47/3467.05	c #Conflicts:     812000 | #Constraints:     103562
3458.47/3467.05	c #Conflicts:     813000 | #Constraints:     104562
3458.47/3467.05	c #Conflicts:     814000 | #Constraints:     105562
3458.47/3467.05	c #Conflicts:     815000 | #Constraints:     106562
3458.47/3467.05	c #Conflicts:     816000 | #Constraints:     107562
3458.47/3467.05	c #Conflicts:     817000 | #Constraints:     108562
3458.47/3467.05	c #Conflicts:     818000 | #Constraints:     109562
3458.47/3467.05	c #Conflicts:     819000 | #Constraints:     110562
3458.47/3467.05	c #Conflicts:     820000 | #Constraints:     111562
3458.47/3467.05	c #Conflicts:     821000 | #Constraints:     112562
3458.47/3467.05	c #Conflicts:     822000 | #Constraints:     113562
3458.47/3467.05	c INPROCESSING
3458.47/3467.05	c GARBAGE COLLECT
3458.47/3467.05	c #Conflicts:     823000 | #Constraints:      67400
3458.47/3467.05	c #Conflicts:     824000 | #Constraints:      68400
3458.47/3467.05	c #Conflicts:     825000 | #Constraints:      69400
3458.47/3467.05	c #Conflicts:     826000 | #Constraints:      70400
3458.47/3467.05	c #Conflicts:     827000 | #Constraints:      71400
3458.47/3467.05	c #Conflicts:     828000 | #Constraints:      72400
3458.47/3467.05	c #Conflicts:     829000 | #Constraints:      73400
3458.47/3467.05	c #Conflicts:     830000 | #Constraints:      74400
3458.47/3467.05	c #Conflicts:     831000 | #Constraints:      75400
3458.47/3467.05	c #Conflicts:     832000 | #Constraints:      76400
3458.47/3467.05	c #Conflicts:     833000 | #Constraints:      77400
3458.47/3467.05	c #Conflicts:     834000 | #Constraints:      78400
3458.47/3467.05	c #Conflicts:     835000 | #Constraints:      79401
3458.47/3467.05	c #Conflicts:     836000 | #Constraints:      80401
3458.47/3467.05	c #Conflicts:     837000 | #Constraints:      81401
3458.47/3467.05	c #Conflicts:     838000 | #Constraints:      82401
3458.47/3467.05	c #Conflicts:     839000 | #Constraints:      83401
3458.47/3467.05	c #Conflicts:     840000 | #Constraints:      84401
3458.47/3467.05	c #Conflicts:     841000 | #Constraints:      85401
3458.47/3467.05	c #Conflicts:     842000 | #Constraints:      86401
3514.95/3523.69	c #Conflicts:     843000 | #Constraints:      87401
3514.95/3523.69	c #Conflicts:     844000 | #Constraints:      88401
3514.95/3523.69	c #Conflicts:     845000 | #Constraints:      89401
3514.95/3523.69	c #Conflicts:     846000 | #Constraints:      90401
3514.95/3523.69	c #Conflicts:     847000 | #Constraints:      91401
3514.95/3523.69	c #Conflicts:     848000 | #Constraints:      92401
3514.95/3523.69	c INPROCESSING
3514.95/3523.69	c GARBAGE COLLECT
3514.95/3523.69	c rational objective 151
3600.07/3608.90	c #Conflicts:     849000 | #Constraints:      59038
3600.07/3608.90	c #Conflicts:     850000 | #Constraints:      60038
3600.07/3608.90	c #Conflicts:     851000 | #Constraints:      61038
3600.07/3608.90	c #Conflicts:     852000 | #Constraints:      62038
3600.07/3608.90	c #Conflicts:     853000 | #Constraints:      63039
3600.07/3608.90	c #Conflicts:     854000 | #Constraints:      64039
3600.07/3608.90	c #Conflicts:     855000 | #Constraints:      65039
3600.07/3608.90	c #Conflicts:     856000 | #Constraints:      66039
3600.07/3608.90	c #Conflicts:     857000 | #Constraints:      67040
3600.07/3608.90	c #Conflicts:     858000 | #Constraints:      68040
3600.07/3608.90	c #Conflicts:     859000 | #Constraints:      69040
3600.07/3608.90	c #Conflicts:     860000 | #Constraints:      70041
3600.07/3608.90	c #Conflicts:     861000 | #Constraints:      71041
3600.07/3608.90	c #Conflicts:     862000 | #Constraints:      72041
3600.07/3608.90	c #Conflicts:     863000 | #Constraints:      73041
3600.07/3608.90	c #Conflicts:     864000 | #Constraints:      74041
3600.07/3608.90	c #Conflicts:     865000 | #Constraints:      75041
3600.07/3608.90	c Program interrupted by user.
3600.07/3608.91	c cpu time 3563.75 s
3600.07/3608.91	c deterministic time 237760024180 2.38e+11
3600.07/3608.91	c optimization time 84.1399 s
3600.07/3608.91	c total solve time 3479.52 s
3600.07/3608.91	c core-guided solve time 0 s
3600.07/3608.91	c propagation time 1685.53 s
3600.07/3608.91	c conflict analysis time 615.027 s
3600.07/3608.91	c propagations 658868265
3600.07/3608.91	c resolve steps 40575039
3600.07/3608.91	c decisions 14735543
3600.07/3608.91	c conflicts 865726
3600.07/3608.91	c restarts 1854
3600.07/3608.91	c inprocessing phases 40
3600.07/3608.91	c input clauses 18122
3600.07/3608.91	c input cardinalities 151
3600.07/3608.91	c input general constraints 0
3600.07/3608.91	c input average constraint length 6.43
3600.07/3608.91	c input average constraint degree 1.97
3600.07/3608.91	c learned clauses 552410
3600.07/3608.91	c learned cardinalities 35592
3600.07/3608.91	c learned general constraints 277799
3600.07/3608.91	c learned average constraint length 1137.41
3600.07/3608.91	c learned average constraint degree 737136213.09
3600.07/3608.91	c watched constraints 209073
3600.07/3608.91	c counting constraints 68726
3600.07/3608.91	c gcd simplifications 4183
3600.07/3608.91	c detected cardinalities 4623
3600.07/3608.91	c weakened non-implied lits 214373161
3600.07/3608.91	c weakened non-implying lits 286516
3600.07/3608.91	c original variables 17969
3600.07/3608.91	c clausal propagations 288672613
3600.07/3608.91	c cardinality propagations 226161294
3600.07/3608.91	c watched propagations 45511589
3600.07/3608.91	c counting propagations 90603640
3600.07/3608.91	c watch lookups 11800823105
3600.07/3608.91	c watch backjump lookups 9679513218
3600.07/3608.91	c watch checks 169860231951
3600.07/3608.91	c propagation checks 41558580813
3600.07/3608.91	c constraint additions 3511015123
3600.07/3608.91	c trail pops 674453460
3600.07/3608.91	c formula constraints 18273
3600.07/3608.91	c learned constraints 865649
3600.07/3608.91	c bound constraints 0
3600.07/3608.91	c core-guided constraints 0
3600.07/3608.91	c encountered formula constraints 28094015
3600.07/3608.91	c encountered learned constraints 13344813
3600.07/3608.91	c encountered bound constraints 0
3600.07/3608.91	c encountered core-guided constraints 0
3600.07/3608.91	c LP total time 1991.23 s
3600.07/3608.91	c LP solve time 1987.88 s
3600.07/3608.91	c LP constraints added 21730
3600.07/3608.91	c LP constraints removed 3208
3600.07/3608.91	c LP pivots internal 925877
3600.07/3608.91	c LP pivots root 876824
3600.07/3608.91	c LP calls 109
3600.07/3608.91	c LP optimalities 26
3600.07/3608.91	c LP no pivot count 2
3600.07/3608.91	c LP infeasibilities 76
3600.07/3608.91	c LP valid Farkas constraints 76
3600.07/3608.91	c LP learned Farkas constraints 76
3600.07/3608.91	c LP basis resets 0
3600.07/3608.91	c LP cycling count 0
3600.07/3608.91	c LP singular count 0
3600.07/3608.91	c LP no primal count 0
3600.07/3608.91	c LP no farkas count 0
3600.07/3608.91	c LP other issue count 0
3600.07/3608.91	c LP Gomory cuts 0
3600.07/3608.91	c LP learned cuts 3457
3600.07/3608.91	c LP deleted cuts 3208
3600.07/3608.91	c LP encountered Gomory constraints 0
3600.07/3608.91	c LP encountered Farkas constraints 1688
3600.07/3608.91	c LP encountered learned Farkas constraints 173
3600.07/3608.91	c CG auxiliary variables introduced 0
3600.07/3608.91	c CG solutions found 0
3600.07/3608.91	c CG cores constructed 0
3600.07/3608.91	c CG core cardinality constraints returned 0
3600.07/3608.91	c CG unit cores 0
3600.07/3608.91	c CG single cores 0
3600.07/3608.91	c CG blocks removed during cardinality reduction 0
3600.07/3608.91	c CG first core best 0
3600.07/3608.91	c CG decision core best 0
3600.07/3608.91	c CG core reduction tie 0
3600.07/3608.91	c CG core degree average 0.00
3600.07/3608.91	c CG core slack average 0.00
3600.07/3608.91	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: 63968 MiB (31777 MiB free)
  memory of node 1: 64473 MiB (50046 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=245692, runsolver pid=245689

[startup+0.100218 s]*
/proc/loadavg: 4.35 4.26 4.21 5/268 245693
/proc/meminfo: memFree=83773960/131524600 swapFree=131059112/131071996
[pid=245692] ppid=245689 vsize=55188 memory=24012 CPUtime=0.09 cores=1,3
/proc/245692/stat : 245692 (roundingsat) R 245689 245692 239614 0 -1 4194304 5903 0 0 0 8 1 0 0 20 0 1 0 19195864 56512512 6003 134679101440 4194304 8254037 140736148689952 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22994944 140736148693852 140736148694114 140736148694114 140736148701129 0
/proc/245692/statm: 13797 6003 1663 992 0 5655 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 55188 KiB
Current children cumulated memory: 24012 KiB

[startup+0.206092 s]*
/proc/loadavg: 4.35 4.26 4.21 5/268 245693
/proc/meminfo: memFree=83750792/131524600 swapFree=131059112/131071996
[pid=245692] ppid=245689 vsize=69448 memory=35188 CPUtime=0.2 cores=1,3
/proc/245692/stat : 245692 (roundingsat) R 245689 245692 239614 0 -1 4194304 9214 0 0 0 18 2 0 0 20 0 1 0 19195864 71114752 8797 134679101440 4194304 8254037 140736148689952 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22994944 140736148693852 140736148694114 140736148694114 140736148701129 0
/proc/245692/statm: 17362 8797 1711 992 0 9220 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 69448 KiB
Current children cumulated memory: 35188 KiB

[startup+0.305948 s]*
/proc/loadavg: 4.35 4.26 4.21 5/268 245693
/proc/meminfo: memFree=83748972/131524600 swapFree=131059112/131071996
[pid=245692] ppid=245689 vsize=70604 memory=36764 CPUtime=0.3 cores=1,3
/proc/245692/stat : 245692 (roundingsat) R 245689 245692 239614 0 -1 4194304 9619 0 0 0 27 3 0 0 20 0 1 0 19195864 72298496 9191 134679101440 4194304 8254037 140736148689952 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22994944 140736148693852 140736148694114 140736148694114 140736148701129 0
/proc/245692/statm: 17651 9191 1711 992 0 9509 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 70604 KiB
Current children cumulated memory: 36764 KiB

[startup+0.700244 s]
/proc/loadavg: 4.35 4.26 4.21 5/268 245693
/proc/meminfo: memFree=83747824/131524600 swapFree=131059112/131071996
[pid=245692] ppid=245689 vsize=72188 memory=38612 CPUtime=0.69 cores=1,3
/proc/245692/stat : 245692 (roundingsat) R 245689 245692 239614 0 -1 4194304 10096 0 0 0 66 3 0 0 20 0 1 0 19195864 73920512 9653 134679101440 4194304 8254037 140736148689952 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22994944 140736148693852 140736148694114 140736148694114 140736148701129 0
/proc/245692/statm: 18047 9653 1711 992 0 9905 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 72188 KiB
Current children cumulated memory: 38612 KiB

[startup+1.50024 s]
/proc/loadavg: 4.35 4.26 4.21 5/268 245693
/proc/meminfo: memFree=83735976/131524600 swapFree=131059112/131071996
[pid=245692] ppid=245689 vsize=72552 memory=41572 CPUtime=1.48 cores=1,3
/proc/245692/stat : 245692 (roundingsat) R 245689 245692 239614 0 -1 4194304 10259 0 0 0 141 7 0 0 20 0 1 0 19195864 74293248 10393 134679101440 4194304 8254037 140736148689952 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22994944 140736148693852 140736148694114 140736148694114 140736148701129 0
/proc/245692/statm: 18138 10393 1743 992 0 9996 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 72552 KiB
Current children cumulated memory: 41572 KiB

[startup+3.10594 s]
/proc/loadavg: 4.35 4.26 4.21 5/267 245694
/proc/meminfo: memFree=83711732/131524600 swapFree=131059112/131071996
[pid=245692] ppid=245689 vsize=74268 memory=44224 CPUtime=3.08 cores=1,3
/proc/245692/stat : 245692 (roundingsat) R 245689 245692 239614 0 -1 4194304 10890 0 0 0 293 15 0 0 20 0 1 0 19195864 76050432 11056 134679101440 4194304 8254037 140736148689952 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22994944 140736148693852 140736148694114 140736148694114 140736148701129 0
/proc/245692/statm: 18567 11056 1819 992 0 10425 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 74268 KiB
Current children cumulated memory: 44224 KiB

[startup+6.30022 s]
/proc/loadavg: 4.32 4.25 4.20 5/267 245694
/proc/meminfo: memFree=83684568/131524600 swapFree=131059112/131071996
[pid=245692] ppid=245689 vsize=76780 memory=46596 CPUtime=6.27 cores=1,3
/proc/245692/stat : 245692 (roundingsat) R 245689 245692 239614 0 -1 4194304 11502 0 0 0 610 17 0 0 20 0 1 0 19195864 78622720 11649 134679101440 4194304 8254037 140736148689952 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22994944 140736148693852 140736148694114 140736148694114 140736148701129 0
/proc/245692/statm: 19195 11649 1819 992 0 11053 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 76780 KiB
Current children cumulated memory: 46596 KiB

[startup+12.7002 s]
/proc/loadavg: 4.29 4.25 4.20 5/267 245696
/proc/meminfo: memFree=83627796/131524600 swapFree=131059112/131071996
[pid=245692] ppid=245689 vsize=80660 memory=49408 CPUtime=12.66 cores=1,3
/proc/245692/stat : 245692 (roundingsat) R 245689 245692 239614 0 -1 4194304 12202 0 0 0 1231 35 0 0 20 0 1 0 19195864 82595840 12352 134679101440 4194304 8254037 140736148689952 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22994944 140736148693852 140736148694114 140736148694114 140736148701129 0
/proc/245692/statm: 20165 12352 1819 992 0 12023 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 80660 KiB
Current children cumulated memory: 49408 KiB

[startup+25.5002 s]
/proc/loadavg: 4.23 4.24 4.20 5/267 245697
/proc/meminfo: memFree=83476656/131524600 swapFree=131059112/131071996
[pid=245692] ppid=245689 vsize=112112 memory=73840 CPUtime=25.43 cores=1,3
/proc/245692/stat : 245692 (roundingsat) R 245689 245692 239614 0 -1 4194304 15713 0 0 0 2496 47 0 0 20 0 1 0 19195864 114802688 18460 134679101440 4194304 8254037 140736148689952 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22994944 140736148693852 140736148694114 140736148694114 140736148701129 0
/proc/245692/statm: 28028 18460 1851 992 0 19886 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 112112 KiB
Current children cumulated memory: 73840 KiB

[startup+51.1058 s]
/proc/loadavg: 4.22 4.23 4.20 5/267 245702
/proc/meminfo: memFree=83204296/131524600 swapFree=131059112/131071996
[pid=245692] ppid=245689 vsize=120488 memory=80148 CPUtime=50.96 cores=1,3
/proc/245692/stat : 245692 (roundingsat) R 245689 245692 239614 0 -1 4194304 17265 0 0 0 4998 98 0 0 20 0 1 0 19195864 123379712 20037 134679101440 4194304 8254037 140736148689952 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22994944 140736148693852 140736148694114 140736148694114 140736148701129 0
/proc/245692/statm: 30122 20037 1851 992 0 21980 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 120488 KiB
Current children cumulated memory: 80148 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.20 4.18 5/267 245712
/proc/meminfo: memFree=82385060/131524600 swapFree=131059112/131071996
[pid=245692] ppid=245689 vsize=155428 memory=118356 CPUtime=102.03 cores=1,3
/proc/245692/stat : 245692 (roundingsat) R 245689 245692 239614 0 -1 4194304 21712 0 0 0 10010 193 0 0 20 0 1 0 19195864 159158272 29589 134679101440 4194304 8254037 140736148689952 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22994944 140736148693852 140736148694114 140736148694114 140736148701129 0
/proc/245692/statm: 38857 29589 1851 992 0 30715 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 155428 KiB
Current children cumulated memory: 118356 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.19 4.18 5/270 245775
/proc/meminfo: memFree=81685132/131524600 swapFree=131059112/131071996
[pid=245692] ppid=245689 vsize=173940 memory=138304 CPUtime=161.87 cores=1,3
/proc/245692/stat : 245692 (roundingsat) R 245689 245692 239614 0 -1 4194304 26229 0 0 0 15923 264 0 0 20 0 1 0 19195864 178114560 34576 134679101440 4194304 8254037 140736148689952 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22994944 140736148693852 140736148694114 140736148694114 140736148701129 0
/proc/245692/statm: 43485 34576 1851 992 0 35343 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 173940 KiB
Current children cumulated memory: 138304 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 4.18 4.18 5/263 245785
/proc/meminfo: memFree=81075332/131524600 swapFree=131059112/131071996
[pid=245692] ppid=245689 vsize=205480 memory=151368 CPUtime=221.72 cores=1,3
/proc/245692/stat : 245692 (roundingsat) R 245689 245692 239614 0 -1 4194304 27076 0 0 0 21848 324 0 0 20 0 1 0 19195864 210411520 37842 134679101440 4194304 8254037 140736148689952 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22994944 140736148693852 140736148694114 140736148694114 140736148701129 0
/proc/245692/statm: 51370 37842 1851 992 0 43228 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 205480 KiB
Current children cumulated memory: 151368 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 4.16 4.17 5/263 245796
/proc/meminfo: memFree=80305496/131524600 swapFree=131059112/131071996
[pid=245692] ppid=245689 vsize=257332 memory=188256 CPUtime=281.56 cores=1,3
/proc/245692/stat : 245692 (roundingsat) R 245689 245692 239614 0 -1 4194304 28113 0 0 0 27738 418 0 0 20 0 1 0 19195864 263507968 47064 134679101440 4194304 8254037 140736148689952 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22994944 140736148693852 140736148694114 140736148694114 140736148701129 0
/proc/245692/statm: 64333 47064 1851 992 0 56191 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 257332 KiB
Current children cumulated memory: 188256 KiB

[startup+342.3 s]
/proc/loadavg: 4.19 4.16 4.17 5/264 245808
/proc/meminfo: memFree=79770036/131524600 swapFree=131059112/131071996
[pid=245692] ppid=245689 vsize=261472 memory=200112 CPUtime=341.41 cores=1,3
/proc/245692/stat : 245692 (roundingsat) R 245689 245692 239614 0 -1 4194304 29013 0 0 0 33697 444 0 0 20 0 1 0 19195864 267747328 50028 134679101440 4194304 8254037 140736148689952 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22994944 140736148693852 140736148694114 140736148694114 140736148701129 0
/proc/245692/statm: 65368 50028 1851 992 0 57226 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 261472 KiB
Current children cumulated memory: 200112 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 4.15 4.17 5/263 245818
/proc/meminfo: memFree=79166676/131524600 swapFree=131059112/131071996
[pid=245692] ppid=245689 vsize=262912 memory=201696 CPUtime=401.25 cores=1,3
/proc/245692/stat : 245692 (roundingsat) R 245689 245692 239614 0 -1 4194304 29419 0 0 0 39665 460 0 0 20 0 1 0 19195864 269221888 50424 134679101440 4194304 8254037 140736148689952 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22994944 140736148693852 140736148694114 140736148694114 140736148701129 0
/proc/245692/statm: 65728 50424 1851 992 0 57586 0
Current children cumulated CPU time: 401.25 s
Current children cumulated vsize: 262912 KiB
Current children cumulated memory: 201696 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 4.13 4.16 5/258 245829
/proc/meminfo: memFree=78122300/131524600 swapFree=131059112/131071996
[pid=245692] ppid=245689 vsize=270484 memory=209780 CPUtime=461.1 cores=1,3
/proc/245692/stat : 245692 (roundingsat) R 245689 245692 239614 0 -1 4194304 31465 0 0 0 45568 542 0 0 20 0 1 0 19195864 276975616 52445 134679101440 4194304 8254037 140736148689952 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22994944 140736148693852 140736148694114 140736148694114 140736148701129 0
/proc/245692/statm: 67621 52445 1851 992 0 59479 0

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

Current children cumulated memory: 1423112 KiB

[startup+2922.3 s]
/proc/loadavg: 2.09 2.19 2.82 3/249 247540
/proc/meminfo: memFree=104222644/131524600 swapFree=131059112/131071996
[pid=245692] ppid=245689 vsize=1984332 memory=1423340 CPUtime=2914.87 cores=1,3
/proc/245692/stat : 245692 (roundingsat) R 245689 245692 239614 0 -1 4194304 127798 0 0 0 288498 2989 0 0 20 0 1 0 19195864 2031955968 355835 134679101440 4194304 8254037 140736148689952 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22994944 140736148693852 140736148694114 140736148694114 140736148701129 0
/proc/245692/statm: 496083 355835 1851 992 0 487941 0
Current children cumulated CPU time: 2914.87 s
Current children cumulated vsize: 1984332 KiB
Current children cumulated memory: 1423340 KiB

[startup+2982.3 s]
/proc/loadavg: 2.09 2.17 2.77 3/249 247562
/proc/meminfo: memFree=104092120/131524600 swapFree=131059112/131071996
[pid=245692] ppid=245689 vsize=1984464 memory=1423704 CPUtime=2974.74 cores=1,3
/proc/245692/stat : 245692 (roundingsat) R 245689 245692 239614 0 -1 4194304 128352 0 0 0 294425 3049 0 0 20 0 1 0 19195864 2032091136 355926 134679101440 4194304 8254037 140736148689952 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22994944 140736148693852 140736148694114 140736148694114 140736148701129 0
/proc/245692/statm: 496116 355926 1851 992 0 487974 0
Current children cumulated CPU time: 2974.74 s
Current children cumulated vsize: 1984464 KiB
Current children cumulated memory: 1423704 KiB

[startup+3042.3 s]
/proc/loadavg: 2.08 2.15 2.72 3/248 247574
/proc/meminfo: memFree=103791544/131524600 swapFree=131059112/131071996
[pid=245692] ppid=245689 vsize=1984464 memory=1423704 CPUtime=3034.62 cores=1,3
/proc/245692/stat : 245692 (roundingsat) R 245689 245692 239614 0 -1 4194304 128737 0 0 0 300359 3103 0 0 20 0 1 0 19195864 2032091136 355926 134679101440 4194304 8254037 140736148689952 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22994944 140736148693852 140736148694114 140736148694114 140736148701129 0
/proc/245692/statm: 496116 355926 1851 992 0 487974 0
Current children cumulated CPU time: 3034.62 s
Current children cumulated vsize: 1984464 KiB
Current children cumulated memory: 1423704 KiB

[startup+3102.3 s]
/proc/loadavg: 2.15 2.15 2.69 3/248 247586
/proc/meminfo: memFree=103647032/131524600 swapFree=131059112/131071996
[pid=245692] ppid=245689 vsize=1984464 memory=1423704 CPUtime=3094.5 cores=1,3
/proc/245692/stat : 245692 (roundingsat) R 245689 245692 239614 0 -1 4194304 129317 0 0 0 306303 3147 0 0 20 0 1 0 19195864 2032091136 355926 134679101440 4194304 8254037 140736148689952 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22994944 140736148693852 140736148694114 140736148694114 140736148701129 0
/proc/245692/statm: 496116 355926 1851 992 0 487974 0
Current children cumulated CPU time: 3094.5 s
Current children cumulated vsize: 1984464 KiB
Current children cumulated memory: 1423704 KiB

[startup+3162.3 s]
/proc/loadavg: 2.05 2.12 2.64 3/246 247596
/proc/meminfo: memFree=103386860/131524600 swapFree=131059112/131071996
[pid=245692] ppid=245689 vsize=1984464 memory=1423704 CPUtime=3154.38 cores=1,3
/proc/245692/stat : 245692 (roundingsat) R 245689 245692 239614 0 -1 4194304 129731 0 0 0 312214 3224 0 0 20 0 1 0 19195864 2032091136 355926 134679101440 4194304 8254037 140736148689952 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22994944 140736148693852 140736148694114 140736148694114 140736148701129 0
/proc/245692/statm: 496116 355926 1851 992 0 487974 0
Current children cumulated CPU time: 3154.38 s
Current children cumulated vsize: 1984464 KiB
Current children cumulated memory: 1423704 KiB

[startup+3222.3 s]
/proc/loadavg: 2.06 2.11 2.61 3/243 247606
/proc/meminfo: memFree=103293796/131524600 swapFree=131059112/131071996
[pid=245692] ppid=245689 vsize=1984684 memory=1423920 CPUtime=3214.26 cores=1,3
/proc/245692/stat : 245692 (roundingsat) R 245689 245692 239614 0 -1 4194304 129859 0 0 0 318175 3251 0 0 20 0 1 0 19195864 2032316416 355980 134679101440 4194304 8254037 140736148689952 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22994944 140736148693852 140736148694114 140736148694114 140736148701129 0
/proc/245692/statm: 496171 355980 1851 992 0 488029 0
Current children cumulated CPU time: 3214.26 s
Current children cumulated vsize: 1984684 KiB
Current children cumulated memory: 1423920 KiB

[startup+3282.3 s]
/proc/loadavg: 2.15 2.13 2.58 3/244 247617
/proc/meminfo: memFree=103176224/131524600 swapFree=131059112/131071996
[pid=245692] ppid=245689 vsize=1984816 memory=1424116 CPUtime=3274.14 cores=1,3
/proc/245692/stat : 245692 (roundingsat) R 245689 245692 239614 0 -1 4194304 130131 0 0 0 324125 3289 0 0 20 0 1 0 19195864 2032451584 356029 134679101440 4194304 8254037 140736148689952 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22994944 140736148693852 140736148694114 140736148694114 140736148701129 0
/proc/245692/statm: 496204 356029 1851 992 0 488062 0
Current children cumulated CPU time: 3274.14 s
Current children cumulated vsize: 1984816 KiB
Current children cumulated memory: 1424116 KiB

[startup+3342.3 s]
/proc/loadavg: 2.11 2.12 2.55 3/244 247628
/proc/meminfo: memFree=103007168/131524600 swapFree=131059112/131071996
[pid=245692] ppid=245689 vsize=1984816 memory=1424116 CPUtime=3334.02 cores=1,3
/proc/245692/stat : 245692 (roundingsat) R 245689 245692 239614 0 -1 4194304 130695 0 0 0 330029 3373 0 0 20 0 1 0 19195864 2032451584 356029 134679101440 4194304 8254037 140736148689952 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22994944 140736148693852 140736148694114 140736148694114 140736148701129 0
/proc/245692/statm: 496204 356029 1851 992 0 488062 0
Current children cumulated CPU time: 3334.02 s
Current children cumulated vsize: 1984816 KiB
Current children cumulated memory: 1424116 KiB

[startup+3402.3 s]
/proc/loadavg: 1.67 2.00 2.48 2/238 247670
/proc/meminfo: memFree=109790284/131524600 swapFree=131059112/131071996
[pid=245692] ppid=245689 vsize=1984816 memory=1424116 CPUtime=3393.89 cores=1,3
/proc/245692/stat : 245692 (roundingsat) R 245689 245692 239614 0 -1 4194304 131149 0 0 0 335944 3445 0 0 20 0 1 0 19195864 2032451584 356029 134679101440 4194304 8254037 140736148689952 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22994944 140736148693852 140736148694114 140736148694114 140736148701129 0
/proc/245692/statm: 496204 356029 1851 992 0 488062 0
Current children cumulated CPU time: 3393.89 s
Current children cumulated vsize: 1984816 KiB
Current children cumulated memory: 1424116 KiB

[startup+3462.3 s]
/proc/loadavg: 1.30 1.83 2.39 2/238 247680
/proc/meminfo: memFree=109689244/131524600 swapFree=131059112/131071996
[pid=245692] ppid=245689 vsize=1985048 memory=1424144 CPUtime=3453.77 cores=1,3
/proc/245692/stat : 245692 (roundingsat) R 245689 245692 239614 0 -1 4194304 131440 0 0 0 341863 3514 0 0 20 0 1 0 19195864 2032689152 356036 134679101440 4194304 8254037 140736148689952 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22994944 140736148693852 140736148694114 140736148694114 140736148701129 0
/proc/245692/statm: 496262 356036 1851 992 0 488120 0
Current children cumulated CPU time: 3453.77 s
Current children cumulated vsize: 1985048 KiB
Current children cumulated memory: 1424144 KiB

[startup+3522.3 s]
/proc/loadavg: 1.15 1.69 2.30 2/240 247694
/proc/meminfo: memFree=109649760/131524600 swapFree=131059112/131071996
[pid=245692] ppid=245689 vsize=1987124 memory=1425892 CPUtime=3513.65 cores=1,3
/proc/245692/stat : 245692 (roundingsat) R 245689 245692 239614 0 -1 4194304 132109 0 0 0 347808 3557 0 0 20 0 1 0 19195864 2034814976 356473 134679101440 4194304 8254037 140736148689952 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22994944 140736148693852 140736148694114 140736148694114 140736148701129 0
/proc/245692/statm: 496781 356473 1851 992 0 488639 0
Current children cumulated CPU time: 3513.65 s
Current children cumulated vsize: 1987124 KiB
Current children cumulated memory: 1425892 KiB

[startup+3582.3 s]
/proc/loadavg: 1.09 1.58 2.22 2/240 247704
/proc/meminfo: memFree=109604924/131524600 swapFree=131059112/131071996
[pid=245692] ppid=245689 vsize=1986032 memory=1425016 CPUtime=3573.53 cores=1,3
/proc/245692/stat : 245692 (roundingsat) R 245689 245692 239614 0 -1 4194304 133342 0 0 0 353739 3614 0 0 20 0 1 0 19195864 2033696768 356254 134679101440 4194304 8254037 140736148689952 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22994944 140736148693852 140736148694114 140736148694114 140736148701129 0
/proc/245692/statm: 496508 356254 1851 992 0 488366 0
Current children cumulated CPU time: 3573.53 s
Current children cumulated vsize: 1986032 KiB
Current children cumulated memory: 1425016 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.9 s]
/proc/loadavg: 1.06 1.53 2.19 2/240 247709
/proc/meminfo: memFree=109582704/131524600 swapFree=131059112/131071996
[pid=245692] ppid=245689 vsize=1986032 memory=1425032 CPUtime=3600.07 cores=1,3
/proc/245692/stat : 245692 (roundingsat) R 245689 245692 239614 0 -1 4194304 133732 0 0 0 356374 3633 0 0 20 0 1 0 19195864 2033696768 356258 134679101440 4194304 8254037 140736148689952 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22994944 140736148693852 140736148694114 140736148694114 140736148701129 0
/proc/245692/statm: 496508 356258 1851 992 0 488366 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 1986032 KiB
Current children cumulated memory: 1425032 KiB

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

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

# cumulated CPU time of all completed processes:  user=3563.75 s, system=36.3462 s

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

[startup+3608.9 s]
/proc/loadavg: 1.06 1.53 2.19 2/240 247709
/proc/meminfo: memFree=109582704/131524600 swapFree=131059112/131071996
[pid=245692] ppid=245689 vsize=1986032 memory=1425032 CPUtime=3600.07 cores=1,3
/proc/245692/stat : 245692 (roundingsat) R 245689 245692 239614 0 -1 4194304 133732 0 0 0 356374 3633 0 0 20 0 1 0 19195864 2033696768 356258 134679101440 4194304 8254037 140736148689952 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22994944 140736148693852 140736148694114 140736148694114 140736148701129 0
/proc/245692/statm: 496508 356258 1851 992 0 488366 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 1986032 KiB
Current children cumulated memory: 1425032 KiB

Child status: 0

Real time (s): 3608.92
CPU time (s): 3600.09
CPU user time (s): 3563.75
CPU system time (s): 36.3462
CPU usage (%): 99.7554
Max. virtual memory (cumulated for all children) (KiB): 1987124
Max. memory (cumulated for all children) (KiB): 1426036

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3563.75
system time used= 36.3462
maximum resident set size= 1426036
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 133748
page faults= 0
swaps= 0
block input operations= 0
block output operations= 15421392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 109
involuntary context switches= 3972


# summary of solver processes directly reported to runsolver:
#   pid: 245692
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3563.75
#   total CPU system time (s): 36.3462

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.07553 second user time and 14.8402 second system time

The end

Launcher Data 

Begin job on nodeC030 at 2024-07-24 15:11:59
IDJOB=4457164
IDBENCH=158279
IDSOLVER=3085
FILE ID=nodeC030/4457164-1721826719
RUNJOBID= nodeC030-1721817187-239626
SLURM_JOB_ID= 7816892
Free space on /tmp= 890004 MiB

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

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

MD5SUM BENCH= abcade21393c5164863b40206a5f4f64
RANDOM SEED=531739116

nodeC030.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		: 3683.127
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.45
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		: 3665.899
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	: 7005.46
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.002
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.45
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		: 3652.349
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	: 7005.46
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		: 3683.148
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.45
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		: 3683.182
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	: 7005.46
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		: 3600.075
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.45
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		: 3619.792
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	: 7005.46
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        83787472 kB
MemAvailable:   112623996 kB
Buffers:          249056 kB
Cached:         29314504 kB
SwapCached:         4164 kB
Active:          2618240 kB
Inactive:       44274688 kB
Active(anon):       2284 kB
Inactive(anon): 17380564 kB
Active(file):    2615956 kB
Inactive(file): 26894124 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131059112 kB
Dirty:             60636 kB
Writeback:             0 kB
AnonPages:      17322972 kB
Mapped:           126548 kB
Shmem:             53416 kB
KReclaimable:     332536 kB
Slab:             457808 kB
SReclaimable:     332536 kB
SUnreclaim:       125272 kB
KernelStack:        4284 kB
PageTables:        44528 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   20066024 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            18176 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2265088 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:      344788 kB
DirectMap2M:    39274496 kB
DirectMap1G:    96468992 kB

Free space on /tmp at the end= 890076 MiB
End job on nodeC030 at 2024-07-24 16:12:08