Trace number 4455638

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 nolog (2)? (TO) 3600.12 3608.92

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K185.opb
MD5SUM8e923d8a993edfc65d984f909d6bfa9e
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark43.2702
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables22015
Total number of constraints22387
Number of constraints which are clauses22202
Number of constraints which are cardinality constraints (but not clauses)185
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint185
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 186
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.00/0.10	c #variables 22015 #constraints 22387
45.78/45.96	c #Conflicts:       1000 | #Constraints:      23386
45.78/45.96	c #Conflicts:       2000 | #Constraints:      24386
45.78/45.96	c INPROCESSING
45.78/45.96	c GARBAGE COLLECT
45.78/45.96	c #Conflicts:       3000 | #Constraints:      23732
45.78/45.96	c #Conflicts:       4000 | #Constraints:      24732
45.78/45.96	c INPROCESSING
45.78/45.96	c GARBAGE COLLECT
45.78/45.96	c #Conflicts:       5000 | #Constraints:      24235
45.78/45.96	c #Conflicts:       6000 | #Constraints:      25235
45.78/45.96	c #Conflicts:       7000 | #Constraints:      26235
45.78/45.96	c #Conflicts:       8000 | #Constraints:      27235
45.78/45.96	c #Conflicts:       9000 | #Constraints:      28235
45.78/45.96	c INPROCESSING
45.78/45.96	c GARBAGE COLLECT
45.78/45.96	c rational objective 185
70.31/70.53	c #Conflicts:      10000 | #Constraints:      26049
70.31/70.53	c #Conflicts:      11000 | #Constraints:      27049
70.31/70.53	c #Conflicts:      12000 | #Constraints:      28049
70.31/70.53	c INPROCESSING
70.31/70.53	c GARBAGE COLLECT
70.31/70.53	c rational objective 185
103.52/103.88	c #Conflicts:      13000 | #Constraints:      25793
103.52/103.88	c #Conflicts:      14000 | #Constraints:      26793
103.52/103.88	c #Conflicts:      15000 | #Constraints:      27793
103.52/103.88	c #Conflicts:      16000 | #Constraints:      28793
103.52/103.88	c #Conflicts:      17000 | #Constraints:      29793
103.52/103.88	c #Conflicts:      18000 | #Constraints:      30793
103.52/103.88	c #Conflicts:      19000 | #Constraints:      31793
103.52/103.88	c #Conflicts:      20000 | #Constraints:      32793
103.52/103.88	c #Conflicts:      21000 | #Constraints:      33793
103.52/103.88	c INPROCESSING
103.52/103.88	c GARBAGE COLLECT
103.52/103.88	c rational objective 185
448.92/450.17	c #Conflicts:      22000 | #Constraints:      29094
448.92/450.17	c #Conflicts:      23000 | #Constraints:      30094
448.92/450.17	c #Conflicts:      24000 | #Constraints:      31094
448.92/450.17	c #Conflicts:      25000 | #Constraints:      32094
448.92/450.17	c INPROCESSING
448.92/450.17	c GARBAGE COLLECT
448.92/450.17	c #Conflicts:      26000 | #Constraints:      28060
448.92/450.17	c #Conflicts:      27000 | #Constraints:      29060
448.92/450.17	c #Conflicts:      28000 | #Constraints:      30060
448.92/450.17	c #Conflicts:      29000 | #Constraints:      31060
448.92/450.17	c #Conflicts:      30000 | #Constraints:      32060
448.92/450.17	c #Conflicts:      31000 | #Constraints:      33060
448.92/450.17	c #Conflicts:      32000 | #Constraints:      34060
448.92/450.17	c #Conflicts:      33000 | #Constraints:      35060
448.92/450.17	c #Conflicts:      34000 | #Constraints:      36060
448.92/450.17	c #Conflicts:      35000 | #Constraints:      37060
448.92/450.17	c #Conflicts:      36000 | #Constraints:      38060
448.92/450.17	c #Conflicts:      37000 | #Constraints:      39060
448.92/450.17	c INPROCESSING
448.92/450.17	c GARBAGE COLLECT
448.92/450.17	c #Conflicts:      38000 | #Constraints:      31840
448.92/450.17	c #Conflicts:      39000 | #Constraints:      32840
448.92/450.17	c #Conflicts:      40000 | #Constraints:      33840
448.92/450.17	c #Conflicts:      41000 | #Constraints:      34840
448.92/450.17	c #Conflicts:      42000 | #Constraints:      35840
448.92/450.17	c #Conflicts:      43000 | #Constraints:      36840
448.92/450.17	c INPROCESSING
448.92/450.17	c GARBAGE COLLECT
448.92/450.17	c #Conflicts:      44000 | #Constraints:      31121
448.92/450.17	c #Conflicts:      45000 | #Constraints:      32121
448.92/450.17	c #Conflicts:      46000 | #Constraints:      33121
448.92/450.17	c #Conflicts:      47000 | #Constraints:      34121
448.92/450.17	c #Conflicts:      48000 | #Constraints:      35121
448.92/450.17	c #Conflicts:      49000 | #Constraints:      36121
448.92/450.17	c #Conflicts:      50000 | #Constraints:      37122
448.92/450.17	c #Conflicts:      51000 | #Constraints:      38122
448.92/450.17	c #Conflicts:      52000 | #Constraints:      39122
448.92/450.17	c #Conflicts:      53000 | #Constraints:      40122
448.92/450.17	c #Conflicts:      54000 | #Constraints:      41122
448.92/450.17	c #Conflicts:      55000 | #Constraints:      42122
448.92/450.17	c #Conflicts:      56000 | #Constraints:      43122
448.92/450.17	c #Conflicts:      57000 | #Constraints:      44122
448.92/450.17	c INPROCESSING
448.92/450.17	c GARBAGE COLLECT
448.92/450.17	c #Conflicts:      58000 | #Constraints:      34254
448.92/450.17	c #Conflicts:      59000 | #Constraints:      35254
448.92/450.17	c #Conflicts:      60000 | #Constraints:      36254
448.92/450.17	c #Conflicts:      61000 | #Constraints:      37254
448.92/450.17	c #Conflicts:      62000 | #Constraints:      38254
448.92/450.17	c #Conflicts:      63000 | #Constraints:      39255
448.92/450.17	c #Conflicts:      64000 | #Constraints:      40255
448.92/450.17	c #Conflicts:      65000 | #Constraints:      41255
448.92/450.17	c INPROCESSING
448.92/450.17	c GARBAGE COLLECT
448.92/450.17	c #Conflicts:      66000 | #Constraints:      34250
448.92/450.17	c #Conflicts:      67000 | #Constraints:      35250
448.92/450.17	c #Conflicts:      68000 | #Constraints:      36250
448.92/450.17	c #Conflicts:      69000 | #Constraints:      37250
448.92/450.17	c #Conflicts:      70000 | #Constraints:      38250
448.92/450.17	c #Conflicts:      71000 | #Constraints:      39250
448.92/450.17	c #Conflicts:      72000 | #Constraints:      40250
448.92/450.17	c #Conflicts:      73000 | #Constraints:      41250
448.92/450.17	c #Conflicts:      74000 | #Constraints:      42250
448.92/450.17	c #Conflicts:      75000 | #Constraints:      43250
448.92/450.17	c #Conflicts:      76000 | #Constraints:      44250
448.92/450.17	c #Conflicts:      77000 | #Constraints:      45250
448.92/450.17	c #Conflicts:      78000 | #Constraints:      46250
448.92/450.17	c #Conflicts:      79000 | #Constraints:      47250
448.92/450.17	c #Conflicts:      80000 | #Constraints:      48250
448.92/450.17	c #Conflicts:      81000 | #Constraints:      49250
448.92/450.17	c #Conflicts:      82000 | #Constraints:      50250
448.92/450.17	c INPROCESSING
448.92/450.17	c GARBAGE COLLECT
448.92/450.17	c #Conflicts:      83000 | #Constraints:      37369
448.92/450.17	c #Conflicts:      84000 | #Constraints:      38369
448.92/450.17	c #Conflicts:      85000 | #Constraints:      39369
448.92/450.17	c #Conflicts:      86000 | #Constraints:      40369
448.92/450.17	c #Conflicts:      87000 | #Constraints:      41369
448.92/450.17	c #Conflicts:      88000 | #Constraints:      42369
448.92/450.17	c #Conflicts:      89000 | #Constraints:      43369
448.92/450.17	c #Conflicts:      90000 | #Constraints:      44369
448.92/450.17	c #Conflicts:      91000 | #Constraints:      45369
448.92/450.17	c INPROCESSING
448.92/450.17	c GARBAGE COLLECT
448.92/450.17	c #Conflicts:      92000 | #Constraints:      37097
448.92/450.17	c #Conflicts:      93000 | #Constraints:      38097
448.92/450.17	c #Conflicts:      94000 | #Constraints:      39098
448.92/450.17	c #Conflicts:      95000 | #Constraints:      40098
448.92/450.17	c #Conflicts:      96000 | #Constraints:      41098
567.84/569.35	c #Conflicts:      97000 | #Constraints:      42098
567.84/569.35	c #Conflicts:      98000 | #Constraints:      43098
567.84/569.35	c #Conflicts:      99000 | #Constraints:      44098
567.84/569.35	c #Conflicts:     100000 | #Constraints:      45098
567.84/569.35	c #Conflicts:     101000 | #Constraints:      46098
567.84/569.35	c #Conflicts:     102000 | #Constraints:      47098
567.84/569.35	c #Conflicts:     103000 | #Constraints:      48098
567.84/569.35	c #Conflicts:     104000 | #Constraints:      49098
567.84/569.35	c #Conflicts:     105000 | #Constraints:      50098
567.84/569.35	c #Conflicts:     106000 | #Constraints:      51098
567.84/569.35	c #Conflicts:     107000 | #Constraints:      52098
567.84/569.35	c #Conflicts:     108000 | #Constraints:      53099
567.84/569.35	c #Conflicts:     109000 | #Constraints:      54099
567.84/569.35	c #Conflicts:     110000 | #Constraints:      55099
567.84/569.35	c #Conflicts:     111000 | #Constraints:      56099
567.84/569.35	c INPROCESSING
567.84/569.35	c GARBAGE COLLECT
567.84/569.35	c #Conflicts:     112000 | #Constraints:      40368
567.84/569.35	c #Conflicts:     113000 | #Constraints:      41368
567.84/569.35	c #Conflicts:     114000 | #Constraints:      42368
567.84/569.35	c #Conflicts:     115000 | #Constraints:      43368
567.84/569.35	c #Conflicts:     116000 | #Constraints:      44368
567.84/569.35	c #Conflicts:     117000 | #Constraints:      45368
567.84/569.35	c #Conflicts:     118000 | #Constraints:      46368
567.84/569.35	c #Conflicts:     119000 | #Constraints:      47368
567.84/569.35	c #Conflicts:     120000 | #Constraints:      48368
567.84/569.35	c #Conflicts:     121000 | #Constraints:      49368
567.84/569.35	c INPROCESSING
567.84/569.35	c GARBAGE COLLECT
567.84/569.35	c #Conflicts:     122000 | #Constraints:      39054
567.84/569.35	c #Conflicts:     123000 | #Constraints:      40054
567.84/569.35	c #Conflicts:     124000 | #Constraints:      41055
567.84/569.35	c #Conflicts:     125000 | #Constraints:      42055
567.84/569.35	c #Conflicts:     126000 | #Constraints:      43055
567.84/569.35	c #Conflicts:     127000 | #Constraints:      44055
567.84/569.35	c #Conflicts:     128000 | #Constraints:      45055
567.84/569.35	c #Conflicts:     129000 | #Constraints:      46055
567.84/569.35	c #Conflicts:     130000 | #Constraints:      47055
567.84/569.35	c #Conflicts:     131000 | #Constraints:      48055
567.84/569.35	c #Conflicts:     132000 | #Constraints:      49055
567.84/569.35	c #Conflicts:     133000 | #Constraints:      50055
567.84/569.35	c #Conflicts:     134000 | #Constraints:      51056
567.84/569.35	c #Conflicts:     135000 | #Constraints:      52056
567.84/569.35	c #Conflicts:     136000 | #Constraints:      53056
567.84/569.35	c #Conflicts:     137000 | #Constraints:      54056
567.84/569.35	c #Conflicts:     138000 | #Constraints:      55057
567.84/569.35	c #Conflicts:     139000 | #Constraints:      56057
567.84/569.35	c #Conflicts:     140000 | #Constraints:      57057
567.84/569.35	c #Conflicts:     141000 | #Constraints:      58057
567.84/569.35	c #Conflicts:     142000 | #Constraints:      59057
567.84/569.35	c #Conflicts:     143000 | #Constraints:      60057
567.84/569.35	c #Conflicts:     144000 | #Constraints:      61057
567.84/569.35	c #Conflicts:     145000 | #Constraints:      62057
567.84/569.35	c INPROCESSING
567.84/569.35	c GARBAGE COLLECT
567.84/569.35	c rational objective 185
632.40/634.04	c #Conflicts:     146000 | #Constraints:      43617
632.40/634.04	c #Conflicts:     147000 | #Constraints:      44618
632.40/634.04	c #Conflicts:     148000 | #Constraints:      45618
632.40/634.04	c #Conflicts:     149000 | #Constraints:      46619
632.40/634.04	c #Conflicts:     150000 | #Constraints:      47620
632.40/634.04	c #Conflicts:     151000 | #Constraints:      48620
632.40/634.04	c #Conflicts:     152000 | #Constraints:      49620
632.40/634.04	c #Conflicts:     153000 | #Constraints:      50620
632.40/634.04	c #Conflicts:     154000 | #Constraints:      51620
632.40/634.04	c #Conflicts:     155000 | #Constraints:      52620
632.40/634.04	c #Conflicts:     156000 | #Constraints:      53621
632.40/634.04	c INPROCESSING
632.40/634.04	c GARBAGE COLLECT
632.40/634.04	c rational objective 185
784.03/786.03	c #Conflicts:     157000 | #Constraints:      42134
784.03/786.03	c #Conflicts:     158000 | #Constraints:      43134
784.03/786.03	c #Conflicts:     159000 | #Constraints:      44134
784.03/786.03	c #Conflicts:     160000 | #Constraints:      45134
784.03/786.03	c #Conflicts:     161000 | #Constraints:      46134
784.03/786.03	c #Conflicts:     162000 | #Constraints:      47134
784.03/786.03	c #Conflicts:     163000 | #Constraints:      48134
784.03/786.03	c #Conflicts:     164000 | #Constraints:      49134
784.03/786.03	c #Conflicts:     165000 | #Constraints:      50134
784.03/786.03	c #Conflicts:     166000 | #Constraints:      51134
784.03/786.03	c #Conflicts:     167000 | #Constraints:      52134
784.03/786.03	c #Conflicts:     168000 | #Constraints:      53134
784.03/786.03	c #Conflicts:     169000 | #Constraints:      54134
784.03/786.03	c #Conflicts:     170000 | #Constraints:      55134
784.03/786.03	c #Conflicts:     171000 | #Constraints:      56134
784.03/786.03	c #Conflicts:     172000 | #Constraints:      57134
784.03/786.03	c #Conflicts:     173000 | #Constraints:      58135
784.03/786.03	c #Conflicts:     174000 | #Constraints:      59135
784.03/786.03	c #Conflicts:     175000 | #Constraints:      60135
784.03/786.03	c #Conflicts:     176000 | #Constraints:      61135
784.03/786.03	c #Conflicts:     177000 | #Constraints:      62135
784.03/786.03	c #Conflicts:     178000 | #Constraints:      63135
784.03/786.03	c #Conflicts:     179000 | #Constraints:      64135
784.03/786.03	c #Conflicts:     180000 | #Constraints:      65135
784.03/786.03	c #Conflicts:     181000 | #Constraints:      66135
784.03/786.03	c #Conflicts:     182000 | #Constraints:      67135
784.03/786.03	c #Conflicts:     183000 | #Constraints:      68135
784.03/786.03	c INPROCESSING
784.03/786.03	c GARBAGE COLLECT
784.03/786.03	c rational objective 185
990.24/992.79	c #Conflicts:     184000 | #Constraints:      46599
990.24/992.79	c #Conflicts:     185000 | #Constraints:      47599
990.24/992.79	c #Conflicts:     186000 | #Constraints:      48600
990.24/992.79	c #Conflicts:     187000 | #Constraints:      49600
990.24/992.79	c #Conflicts:     188000 | #Constraints:      50600
990.24/992.79	c #Conflicts:     189000 | #Constraints:      51601
990.24/992.79	c #Conflicts:     190000 | #Constraints:      52601
990.24/992.79	c #Conflicts:     191000 | #Constraints:      53601
990.24/992.79	c #Conflicts:     192000 | #Constraints:      54601
990.24/992.79	c #Conflicts:     193000 | #Constraints:      55601
990.24/992.79	c #Conflicts:     194000 | #Constraints:      56601
990.24/992.79	c #Conflicts:     195000 | #Constraints:      57601
990.24/992.79	c #Conflicts:     196000 | #Constraints:      58601
990.24/992.79	c INPROCESSING
990.24/992.79	c GARBAGE COLLECT
990.24/992.79	c #Conflicts:     197000 | #Constraints:      45253
990.24/992.79	c #Conflicts:     198000 | #Constraints:      46253
990.24/992.79	c #Conflicts:     199000 | #Constraints:      47254
990.24/992.79	c #Conflicts:     200000 | #Constraints:      48254
990.24/992.79	c #Conflicts:     201000 | #Constraints:      49254
990.24/992.79	c #Conflicts:     202000 | #Constraints:      50254
990.24/992.79	c #Conflicts:     203000 | #Constraints:      51254
990.24/992.79	c #Conflicts:     204000 | #Constraints:      52254
990.24/992.79	c #Conflicts:     205000 | #Constraints:      53254
990.24/992.79	c #Conflicts:     206000 | #Constraints:      54254
990.24/992.79	c #Conflicts:     207000 | #Constraints:      55254
990.24/992.79	c #Conflicts:     208000 | #Constraints:      56254
990.24/992.79	c #Conflicts:     209000 | #Constraints:      57255
990.24/992.79	c #Conflicts:     210000 | #Constraints:      58255
990.24/992.79	c #Conflicts:     211000 | #Constraints:      59255
990.24/992.79	c #Conflicts:     212000 | #Constraints:      60255
990.24/992.79	c #Conflicts:     213000 | #Constraints:      61255
990.24/992.79	c #Conflicts:     214000 | #Constraints:      62255
990.24/992.79	c #Conflicts:     215000 | #Constraints:      63255
990.24/992.79	c #Conflicts:     216000 | #Constraints:      64255
990.24/992.79	c #Conflicts:     217000 | #Constraints:      65256
990.24/992.79	c #Conflicts:     218000 | #Constraints:      66256
990.24/992.79	c #Conflicts:     219000 | #Constraints:      67258
990.24/992.79	c #Conflicts:     220000 | #Constraints:      68258
990.24/992.79	c #Conflicts:     221000 | #Constraints:      69259
990.24/992.79	c #Conflicts:     222000 | #Constraints:      70259
990.24/992.79	c #Conflicts:     223000 | #Constraints:      71259
990.24/992.79	c #Conflicts:     224000 | #Constraints:      72259
990.24/992.79	c #Conflicts:     225000 | #Constraints:      73259
990.24/992.79	c #Conflicts:     226000 | #Constraints:      74259
990.24/992.79	c INPROCESSING
990.24/992.79	c GARBAGE COLLECT
990.24/992.79	c #Conflicts:     227000 | #Constraints:      49993
990.24/992.79	c #Conflicts:     228000 | #Constraints:      50993
990.24/992.79	c #Conflicts:     229000 | #Constraints:      51993
990.24/992.79	c #Conflicts:     230000 | #Constraints:      52993
990.24/992.79	c #Conflicts:     231000 | #Constraints:      53993
990.24/992.79	c #Conflicts:     232000 | #Constraints:      54993
990.24/992.79	c #Conflicts:     233000 | #Constraints:      55993
990.24/992.79	c #Conflicts:     234000 | #Constraints:      56993
990.24/992.79	c #Conflicts:     235000 | #Constraints:      57994
990.24/992.79	c #Conflicts:     236000 | #Constraints:      58994
990.24/992.79	c #Conflicts:     237000 | #Constraints:      59994
990.24/992.79	c #Conflicts:     238000 | #Constraints:      60994
990.24/992.79	c #Conflicts:     239000 | #Constraints:      61994
990.24/992.79	c #Conflicts:     240000 | #Constraints:      62994
990.24/992.79	c INPROCESSING
990.24/992.79	c GARBAGE COLLECT
990.24/992.79	c #Conflicts:     241000 | #Constraints:      47185
990.24/992.79	c #Conflicts:     242000 | #Constraints:      48185
990.24/992.79	c #Conflicts:     243000 | #Constraints:      49185
990.24/992.79	c #Conflicts:     244000 | #Constraints:      50185
990.24/992.79	c #Conflicts:     245000 | #Constraints:      51185
990.24/992.79	c #Conflicts:     246000 | #Constraints:      52185
990.24/992.79	c #Conflicts:     247000 | #Constraints:      53186
990.24/992.79	c #Conflicts:     248000 | #Constraints:      54186
990.24/992.79	c #Conflicts:     249000 | #Constraints:      55186
990.24/992.79	c #Conflicts:     250000 | #Constraints:      56186
990.24/992.79	c #Conflicts:     251000 | #Constraints:      57186
990.24/992.79	c #Conflicts:     252000 | #Constraints:      58186
990.24/992.79	c #Conflicts:     253000 | #Constraints:      59186
990.24/992.79	c #Conflicts:     254000 | #Constraints:      60186
990.24/992.79	c #Conflicts:     255000 | #Constraints:      61187
990.24/992.79	c #Conflicts:     256000 | #Constraints:      62187
990.24/992.79	c #Conflicts:     257000 | #Constraints:      63187
990.24/992.79	c #Conflicts:     258000 | #Constraints:      64187
990.24/992.79	c #Conflicts:     259000 | #Constraints:      65187
990.24/992.79	c #Conflicts:     260000 | #Constraints:      66187
1045.70/1048.39	c #Conflicts:     261000 | #Constraints:      67187
1045.70/1048.39	c #Conflicts:     262000 | #Constraints:      68187
1045.70/1048.39	c #Conflicts:     263000 | #Constraints:      69187
1045.70/1048.39	c #Conflicts:     264000 | #Constraints:      70187
1045.70/1048.39	c #Conflicts:     265000 | #Constraints:      71187
1045.70/1048.39	c #Conflicts:     266000 | #Constraints:      72187
1045.70/1048.39	c #Conflicts:     267000 | #Constraints:      73187
1045.70/1048.39	c #Conflicts:     268000 | #Constraints:      74187
1045.70/1048.39	c #Conflicts:     269000 | #Constraints:      75187
1045.70/1048.39	c #Conflicts:     270000 | #Constraints:      76188
1045.70/1048.39	c #Conflicts:     271000 | #Constraints:      77188
1045.70/1048.39	c #Conflicts:     272000 | #Constraints:      78188
1045.70/1048.39	c #Conflicts:     273000 | #Constraints:      79188
1045.70/1048.39	c INPROCESSING
1045.70/1048.39	c GARBAGE COLLECT
1045.70/1048.39	c rational objective 185
1071.15/1073.89	c #Conflicts:     274000 | #Constraints:      52565
1071.15/1073.89	c #Conflicts:     275000 | #Constraints:      53565
1071.15/1073.89	c #Conflicts:     276000 | #Constraints:      54565
1071.15/1073.89	c #Conflicts:     277000 | #Constraints:      55565
1071.15/1073.89	c #Conflicts:     278000 | #Constraints:      56565
1071.15/1073.89	c #Conflicts:     279000 | #Constraints:      57565
1071.15/1073.89	c #Conflicts:     280000 | #Constraints:      58565
1071.15/1073.89	c #Conflicts:     281000 | #Constraints:      59565
1071.15/1073.89	c #Conflicts:     282000 | #Constraints:      60565
1071.15/1073.89	c #Conflicts:     283000 | #Constraints:      61565
1071.15/1073.89	c #Conflicts:     284000 | #Constraints:      62565
1071.15/1073.89	c #Conflicts:     285000 | #Constraints:      63565
1071.15/1073.89	c #Conflicts:     286000 | #Constraints:      64565
1071.15/1073.89	c #Conflicts:     287000 | #Constraints:      65565
1071.15/1073.89	c #Conflicts:     288000 | #Constraints:      66565
1071.15/1073.89	c INPROCESSING
1071.15/1073.89	c GARBAGE COLLECT
1071.15/1073.89	c rational objective 185
1224.32/1227.41	c #Conflicts:     289000 | #Constraints:      50221
1224.32/1227.41	c #Conflicts:     290000 | #Constraints:      51221
1224.32/1227.41	c #Conflicts:     291000 | #Constraints:      52221
1224.32/1227.41	c #Conflicts:     292000 | #Constraints:      53221
1224.32/1227.41	c #Conflicts:     293000 | #Constraints:      54222
1224.32/1227.41	c #Conflicts:     294000 | #Constraints:      55222
1224.32/1227.41	c #Conflicts:     295000 | #Constraints:      56222
1224.32/1227.41	c #Conflicts:     296000 | #Constraints:      57222
1224.32/1227.41	c #Conflicts:     297000 | #Constraints:      58222
1224.32/1227.41	c #Conflicts:     298000 | #Constraints:      59222
1224.32/1227.41	c #Conflicts:     299000 | #Constraints:      60222
1224.32/1227.41	c #Conflicts:     300000 | #Constraints:      61222
1224.32/1227.41	c #Conflicts:     301000 | #Constraints:      62223
1224.32/1227.41	c #Conflicts:     302000 | #Constraints:      63223
1224.32/1227.41	c #Conflicts:     303000 | #Constraints:      64223
1224.32/1227.41	c #Conflicts:     304000 | #Constraints:      65223
1224.32/1227.41	c #Conflicts:     305000 | #Constraints:      66223
1224.32/1227.41	c #Conflicts:     306000 | #Constraints:      67223
1224.32/1227.41	c #Conflicts:     307000 | #Constraints:      68223
1224.32/1227.41	c #Conflicts:     308000 | #Constraints:      69223
1224.32/1227.41	c #Conflicts:     309000 | #Constraints:      70223
1224.32/1227.41	c #Conflicts:     310000 | #Constraints:      71223
1224.32/1227.41	c #Conflicts:     311000 | #Constraints:      72223
1224.32/1227.41	c #Conflicts:     312000 | #Constraints:      73223
1224.32/1227.41	c #Conflicts:     313000 | #Constraints:      74224
1224.32/1227.41	c #Conflicts:     314000 | #Constraints:      75224
1224.32/1227.41	c #Conflicts:     315000 | #Constraints:      76224
1224.32/1227.41	c #Conflicts:     316000 | #Constraints:      77224
1224.32/1227.41	c #Conflicts:     317000 | #Constraints:      78224
1224.32/1227.41	c #Conflicts:     318000 | #Constraints:      79224
1224.32/1227.41	c #Conflicts:     319000 | #Constraints:      80224
1224.32/1227.41	c #Conflicts:     320000 | #Constraints:      81224
1224.32/1227.41	c #Conflicts:     321000 | #Constraints:      82224
1224.32/1227.41	c #Conflicts:     322000 | #Constraints:      83224
1224.32/1227.41	c #Conflicts:     323000 | #Constraints:      84224
1224.32/1227.41	c #Conflicts:     324000 | #Constraints:      85224
1224.32/1227.41	c INPROCESSING
1224.32/1227.41	c GARBAGE COLLECT
1224.32/1227.41	c rational objective 185
1485.49/1489.30	c #Conflicts:     325000 | #Constraints:      55548
1485.49/1489.30	c #Conflicts:     326000 | #Constraints:      56548
1485.49/1489.30	c #Conflicts:     327000 | #Constraints:      57549
1485.49/1489.30	c #Conflicts:     328000 | #Constraints:      58549
1485.49/1489.30	c #Conflicts:     329000 | #Constraints:      59549
1485.49/1489.30	c #Conflicts:     330000 | #Constraints:      60549
1485.49/1489.30	c #Conflicts:     331000 | #Constraints:      61549
1485.49/1489.30	c #Conflicts:     332000 | #Constraints:      62549
1485.49/1489.30	c #Conflicts:     333000 | #Constraints:      63549
1485.49/1489.30	c #Conflicts:     334000 | #Constraints:      64549
1485.49/1489.30	c #Conflicts:     335000 | #Constraints:      65549
1485.49/1489.30	c #Conflicts:     336000 | #Constraints:      66549
1485.49/1489.30	c #Conflicts:     337000 | #Constraints:      67549
1485.49/1489.30	c #Conflicts:     338000 | #Constraints:      68549
1485.49/1489.30	c #Conflicts:     339000 | #Constraints:      69549
1485.49/1489.30	c #Conflicts:     340000 | #Constraints:      70549
1485.49/1489.30	c INPROCESSING
1485.49/1489.30	c GARBAGE COLLECT
1485.49/1489.30	c rational objective 185
1712.89/1717.31	c #Conflicts:     341000 | #Constraints:      52143
1712.89/1717.31	c #Conflicts:     342000 | #Constraints:      53143
1712.89/1717.31	c #Conflicts:     343000 | #Constraints:      54143
1712.89/1717.31	c #Conflicts:     344000 | #Constraints:      55143
1712.89/1717.31	c #Conflicts:     345000 | #Constraints:      56144
1712.89/1717.31	c #Conflicts:     346000 | #Constraints:      57144
1712.89/1717.31	c #Conflicts:     347000 | #Constraints:      58144
1712.89/1717.31	c #Conflicts:     348000 | #Constraints:      59144
1712.89/1717.31	c #Conflicts:     349000 | #Constraints:      60144
1712.89/1717.31	c #Conflicts:     350000 | #Constraints:      61144
1712.89/1717.31	c #Conflicts:     351000 | #Constraints:      62144
1712.89/1717.31	c #Conflicts:     352000 | #Constraints:      63144
1712.89/1717.31	c #Conflicts:     353000 | #Constraints:      64144
1712.89/1717.31	c #Conflicts:     354000 | #Constraints:      65144
1712.89/1717.31	c #Conflicts:     355000 | #Constraints:      66144
1712.89/1717.31	c #Conflicts:     356000 | #Constraints:      67144
1712.89/1717.31	c #Conflicts:     357000 | #Constraints:      68144
1712.89/1717.31	c #Conflicts:     358000 | #Constraints:      69144
1712.89/1717.31	c #Conflicts:     359000 | #Constraints:      70144
1712.89/1717.31	c #Conflicts:     360000 | #Constraints:      71144
1712.89/1717.31	c #Conflicts:     361000 | #Constraints:      72144
1712.89/1717.31	c #Conflicts:     362000 | #Constraints:      73145
1712.89/1717.31	c #Conflicts:     363000 | #Constraints:      74145
1712.89/1717.31	c #Conflicts:     364000 | #Constraints:      75145
1712.89/1717.31	c #Conflicts:     365000 | #Constraints:      76145
1712.89/1717.31	c #Conflicts:     366000 | #Constraints:      77145
1712.89/1717.31	c #Conflicts:     367000 | #Constraints:      78145
1712.89/1717.31	c #Conflicts:     368000 | #Constraints:      79145
1712.89/1717.31	c #Conflicts:     369000 | #Constraints:      80145
1712.89/1717.31	c #Conflicts:     370000 | #Constraints:      81145
1712.89/1717.31	c #Conflicts:     371000 | #Constraints:      82145
1712.89/1717.31	c #Conflicts:     372000 | #Constraints:      83145
1712.89/1717.31	c #Conflicts:     373000 | #Constraints:      84145
1712.89/1717.31	c #Conflicts:     374000 | #Constraints:      85146
1712.89/1717.31	c #Conflicts:     375000 | #Constraints:      86146
1712.89/1717.31	c #Conflicts:     376000 | #Constraints:      87146
1712.89/1717.31	c #Conflicts:     377000 | #Constraints:      88146
1712.89/1717.31	c #Conflicts:     378000 | #Constraints:      89146
1712.89/1717.31	c #Conflicts:     379000 | #Constraints:      90146
1712.89/1717.31	c #Conflicts:     380000 | #Constraints:      91146
1712.89/1717.31	c INPROCESSING
1712.89/1717.31	c GARBAGE COLLECT
1712.89/1717.31	c rational objective 185
1892.35/1897.21	c #Conflicts:     381000 | #Constraints:      58970
1892.35/1897.21	c #Conflicts:     382000 | #Constraints:      59970
1892.35/1897.21	c #Conflicts:     383000 | #Constraints:      60970
1892.35/1897.21	c #Conflicts:     384000 | #Constraints:      61970
1892.35/1897.21	c #Conflicts:     385000 | #Constraints:      62970
1892.35/1897.21	c #Conflicts:     386000 | #Constraints:      63970
1892.35/1897.21	c #Conflicts:     387000 | #Constraints:      64970
1892.35/1897.21	c #Conflicts:     388000 | #Constraints:      65970
1892.35/1897.21	c #Conflicts:     389000 | #Constraints:      66970
1892.35/1897.21	c #Conflicts:     390000 | #Constraints:      67970
1892.35/1897.21	c #Conflicts:     391000 | #Constraints:      68970
1892.35/1897.21	c #Conflicts:     392000 | #Constraints:      69970
1892.35/1897.21	c #Conflicts:     393000 | #Constraints:      70970
1892.35/1897.21	c #Conflicts:     394000 | #Constraints:      71970
1892.35/1897.21	c #Conflicts:     395000 | #Constraints:      72970
1892.35/1897.21	c #Conflicts:     396000 | #Constraints:      73970
1892.35/1897.21	c #Conflicts:     397000 | #Constraints:      74970
1892.35/1897.21	c INPROCESSING
1892.35/1897.21	c GARBAGE COLLECT
1892.35/1897.21	c #Conflicts:     398000 | #Constraints:      55168
1892.35/1897.21	c #Conflicts:     399000 | #Constraints:      56168
1892.35/1897.21	c #Conflicts:     400000 | #Constraints:      57168
1892.35/1897.21	c #Conflicts:     401000 | #Constraints:      58168
1892.35/1897.21	c #Conflicts:     402000 | #Constraints:      59168
1892.35/1897.21	c #Conflicts:     403000 | #Constraints:      60168
1892.35/1897.21	c #Conflicts:     404000 | #Constraints:      61168
1892.35/1897.21	c #Conflicts:     405000 | #Constraints:      62168
1892.35/1897.21	c #Conflicts:     406000 | #Constraints:      63168
1892.35/1897.21	c #Conflicts:     407000 | #Constraints:      64168
1892.35/1897.21	c #Conflicts:     408000 | #Constraints:      65168
1892.35/1897.21	c #Conflicts:     409000 | #Constraints:      66168
1892.35/1897.21	c #Conflicts:     410000 | #Constraints:      67168
1892.35/1897.21	c #Conflicts:     411000 | #Constraints:      68168
1892.35/1897.21	c #Conflicts:     412000 | #Constraints:      69168
1892.35/1897.21	c #Conflicts:     413000 | #Constraints:      70168
1892.35/1897.21	c #Conflicts:     414000 | #Constraints:      71168
1892.35/1897.21	c #Conflicts:     415000 | #Constraints:      72168
1892.35/1897.21	c #Conflicts:     416000 | #Constraints:      73168
1892.35/1897.21	c #Conflicts:     417000 | #Constraints:      74169
1892.35/1897.21	c #Conflicts:     418000 | #Constraints:      75169
1892.35/1897.21	c #Conflicts:     419000 | #Constraints:      76169
1892.35/1897.21	c #Conflicts:     420000 | #Constraints:      77169
1892.35/1897.21	c #Conflicts:     421000 | #Constraints:      78169
1892.35/1897.21	c #Conflicts:     422000 | #Constraints:      79169
1892.35/1897.21	c #Conflicts:     423000 | #Constraints:      80169
1892.35/1897.21	c #Conflicts:     424000 | #Constraints:      81169
1892.35/1897.21	c #Conflicts:     425000 | #Constraints:      82169
1892.35/1897.21	c #Conflicts:     426000 | #Constraints:      83169
1892.35/1897.21	c #Conflicts:     427000 | #Constraints:      84169
1892.35/1897.21	c #Conflicts:     428000 | #Constraints:      85169
1892.35/1897.21	c #Conflicts:     429000 | #Constraints:      86169
1892.35/1897.21	c #Conflicts:     430000 | #Constraints:      87169
1892.35/1897.21	c #Conflicts:     431000 | #Constraints:      88169
1892.35/1897.21	c #Conflicts:     432000 | #Constraints:      89169
1892.35/1897.21	c #Conflicts:     433000 | #Constraints:      90169
1892.35/1897.21	c #Conflicts:     434000 | #Constraints:      91169
1892.35/1897.21	c #Conflicts:     435000 | #Constraints:      92169
1892.35/1897.21	c #Conflicts:     436000 | #Constraints:      93169
1892.35/1897.21	c #Conflicts:     437000 | #Constraints:      94169
1892.35/1897.21	c #Conflicts:     438000 | #Constraints:      95169
1892.35/1897.21	c #Conflicts:     439000 | #Constraints:      96169
1892.35/1897.21	c #Conflicts:     440000 | #Constraints:      97169
1892.35/1897.21	c INPROCESSING
1892.35/1897.21	c GARBAGE COLLECT
1892.35/1897.21	c rational objective 185
2037.82/2043.07	c #Conflicts:     441000 | #Constraints:      61728
2037.82/2043.07	c #Conflicts:     442000 | #Constraints:      62729
2037.82/2043.07	c #Conflicts:     443000 | #Constraints:      63729
2037.82/2043.07	c #Conflicts:     444000 | #Constraints:      64729
2037.82/2043.07	c #Conflicts:     445000 | #Constraints:      65730
2037.82/2043.07	c #Conflicts:     446000 | #Constraints:      66730
2037.82/2043.07	c #Conflicts:     447000 | #Constraints:      67730
2037.82/2043.07	c #Conflicts:     448000 | #Constraints:      68731
2037.82/2043.07	c #Conflicts:     449000 | #Constraints:      69731
2037.82/2043.07	c #Conflicts:     450000 | #Constraints:      70731
2037.82/2043.07	c #Conflicts:     451000 | #Constraints:      71731
2037.82/2043.07	c #Conflicts:     452000 | #Constraints:      72731
2037.82/2043.07	c #Conflicts:     453000 | #Constraints:      73732
2037.82/2043.07	c #Conflicts:     454000 | #Constraints:      74732
2037.82/2043.07	c #Conflicts:     455000 | #Constraints:      75732
2037.82/2043.07	c #Conflicts:     456000 | #Constraints:      76732
2037.82/2043.07	c #Conflicts:     457000 | #Constraints:      77732
2037.82/2043.07	c #Conflicts:     458000 | #Constraints:      78732
2037.82/2043.07	c #Conflicts:     459000 | #Constraints:      79732
2037.82/2043.07	c INPROCESSING
2037.82/2043.07	c GARBAGE COLLECT
2037.82/2043.07	c rational objective 185
2151.25/2156.74	c #Conflicts:     460000 | #Constraints:      58205
2151.25/2156.74	c #Conflicts:     461000 | #Constraints:      59205
2151.25/2156.74	c #Conflicts:     462000 | #Constraints:      60205
2151.25/2156.74	c #Conflicts:     463000 | #Constraints:      61205
2151.25/2156.74	c #Conflicts:     464000 | #Constraints:      62205
2151.25/2156.74	c #Conflicts:     465000 | #Constraints:      63205
2151.25/2156.74	c #Conflicts:     466000 | #Constraints:      64206
2151.25/2156.74	c #Conflicts:     467000 | #Constraints:      65207
2151.25/2156.74	c #Conflicts:     468000 | #Constraints:      66207
2151.25/2156.74	c #Conflicts:     469000 | #Constraints:      67208
2151.25/2156.74	c #Conflicts:     470000 | #Constraints:      68208
2151.25/2156.74	c #Conflicts:     471000 | #Constraints:      69208
2151.25/2156.74	c #Conflicts:     472000 | #Constraints:      70208
2151.25/2156.74	c #Conflicts:     473000 | #Constraints:      71208
2151.25/2156.74	c #Conflicts:     474000 | #Constraints:      72208
2151.25/2156.74	c #Conflicts:     475000 | #Constraints:      73208
2151.25/2156.74	c #Conflicts:     476000 | #Constraints:      74208
2151.25/2156.74	c #Conflicts:     477000 | #Constraints:      75209
2151.25/2156.74	c #Conflicts:     478000 | #Constraints:      76209
2151.25/2156.74	c #Conflicts:     479000 | #Constraints:      77209
2151.25/2156.74	c #Conflicts:     480000 | #Constraints:      78209
2151.25/2156.74	c #Conflicts:     481000 | #Constraints:      79209
2151.25/2156.74	c #Conflicts:     482000 | #Constraints:      80209
2151.25/2156.74	c #Conflicts:     483000 | #Constraints:      81209
2151.25/2156.74	c #Conflicts:     484000 | #Constraints:      82209
2151.25/2156.74	c #Conflicts:     485000 | #Constraints:      83209
2151.25/2156.74	c #Conflicts:     486000 | #Constraints:      84209
2151.25/2156.74	c #Conflicts:     487000 | #Constraints:      85209
2151.25/2156.74	c #Conflicts:     488000 | #Constraints:      86209
2151.25/2156.74	c #Conflicts:     489000 | #Constraints:      87209
2151.25/2156.74	c #Conflicts:     490000 | #Constraints:      88209
2151.25/2156.74	c #Conflicts:     491000 | #Constraints:      89209
2151.25/2156.74	c #Conflicts:     492000 | #Constraints:      90209
2151.25/2156.74	c #Conflicts:     493000 | #Constraints:      91209
2151.25/2156.74	c #Conflicts:     494000 | #Constraints:      92209
2151.25/2156.74	c #Conflicts:     495000 | #Constraints:      93209
2151.25/2156.74	c #Conflicts:     496000 | #Constraints:      94209
2151.25/2156.74	c #Conflicts:     497000 | #Constraints:      95209
2151.25/2156.74	c #Conflicts:     498000 | #Constraints:      96209
2151.25/2156.74	c #Conflicts:     499000 | #Constraints:      97209
2151.25/2156.74	c #Conflicts:     500000 | #Constraints:      98209
2151.25/2156.74	c #Conflicts:     501000 | #Constraints:      99209
2151.25/2156.74	c #Conflicts:     502000 | #Constraints:     100209
2151.25/2156.74	c #Conflicts:     503000 | #Constraints:     101209
2151.25/2156.74	c #Conflicts:     504000 | #Constraints:     102209
2151.25/2156.74	c INPROCESSING
2151.25/2156.74	c GARBAGE COLLECT
2151.25/2156.74	c rational objective 185
2200.84/2206.42	c #Conflicts:     505000 | #Constraints:      63945
2200.84/2206.42	c #Conflicts:     506000 | #Constraints:      64945
2200.84/2206.42	c #Conflicts:     507000 | #Constraints:      65945
2200.84/2206.42	c #Conflicts:     508000 | #Constraints:      66946
2200.84/2206.42	c #Conflicts:     509000 | #Constraints:      67946
2200.84/2206.42	c #Conflicts:     510000 | #Constraints:      68946
2200.84/2206.42	c #Conflicts:     511000 | #Constraints:      69946
2200.84/2206.42	c #Conflicts:     512000 | #Constraints:      70947
2200.84/2206.42	c #Conflicts:     513000 | #Constraints:      71947
2200.84/2206.42	c #Conflicts:     514000 | #Constraints:      72947
2200.84/2206.42	c #Conflicts:     515000 | #Constraints:      73947
2200.84/2206.42	c #Conflicts:     516000 | #Constraints:      74947
2200.84/2206.42	c #Conflicts:     517000 | #Constraints:      75947
2200.84/2206.42	c #Conflicts:     518000 | #Constraints:      76947
2200.84/2206.42	c #Conflicts:     519000 | #Constraints:      77947
2200.84/2206.42	c #Conflicts:     520000 | #Constraints:      78947
2200.84/2206.42	c #Conflicts:     521000 | #Constraints:      79947
2200.84/2206.42	c #Conflicts:     522000 | #Constraints:      80947
2200.84/2206.42	c #Conflicts:     523000 | #Constraints:      81947
2200.84/2206.42	c #Conflicts:     524000 | #Constraints:      82947
2200.84/2206.42	c #Conflicts:     525000 | #Constraints:      83947
2200.84/2206.42	c INPROCESSING
2200.84/2206.42	c GARBAGE COLLECT
2200.84/2206.42	c rational objective 185
2346.82/2352.73	c #Conflicts:     526000 | #Constraints:      60409
2346.82/2352.73	c #Conflicts:     527000 | #Constraints:      61409
2346.82/2352.73	c #Conflicts:     528000 | #Constraints:      62409
2346.82/2352.73	c #Conflicts:     529000 | #Constraints:      63409
2346.82/2352.73	c #Conflicts:     530000 | #Constraints:      64409
2346.82/2352.73	c #Conflicts:     531000 | #Constraints:      65409
2346.82/2352.73	c #Conflicts:     532000 | #Constraints:      66409
2346.82/2352.73	c #Conflicts:     533000 | #Constraints:      67409
2346.82/2352.73	c #Conflicts:     534000 | #Constraints:      68409
2346.82/2352.73	c #Conflicts:     535000 | #Constraints:      69409
2346.82/2352.73	c #Conflicts:     536000 | #Constraints:      70409
2346.82/2352.73	c #Conflicts:     537000 | #Constraints:      71409
2346.82/2352.73	c #Conflicts:     538000 | #Constraints:      72409
2346.82/2352.73	c #Conflicts:     539000 | #Constraints:      73409
2346.82/2352.73	c #Conflicts:     540000 | #Constraints:      74409
2346.82/2352.73	c #Conflicts:     541000 | #Constraints:      75409
2346.82/2352.73	c #Conflicts:     542000 | #Constraints:      76409
2346.82/2352.73	c #Conflicts:     543000 | #Constraints:      77409
2346.82/2352.73	c #Conflicts:     544000 | #Constraints:      78409
2346.82/2352.73	c #Conflicts:     545000 | #Constraints:      79409
2346.82/2352.73	c #Conflicts:     546000 | #Constraints:      80409
2346.82/2352.73	c #Conflicts:     547000 | #Constraints:      81409
2346.82/2352.73	c #Conflicts:     548000 | #Constraints:      82409
2346.82/2352.73	c #Conflicts:     549000 | #Constraints:      83409
2346.82/2352.73	c #Conflicts:     550000 | #Constraints:      84410
2346.82/2352.73	c #Conflicts:     551000 | #Constraints:      85410
2346.82/2352.73	c #Conflicts:     552000 | #Constraints:      86410
2346.82/2352.73	c #Conflicts:     553000 | #Constraints:      87410
2346.82/2352.73	c #Conflicts:     554000 | #Constraints:      88410
2346.82/2352.73	c #Conflicts:     555000 | #Constraints:      89410
2346.82/2352.73	c #Conflicts:     556000 | #Constraints:      90410
2346.82/2352.73	c #Conflicts:     557000 | #Constraints:      91410
2346.82/2352.73	c #Conflicts:     558000 | #Constraints:      92410
2346.82/2352.73	c #Conflicts:     559000 | #Constraints:      93410
2346.82/2352.73	c #Conflicts:     560000 | #Constraints:      94410
2346.82/2352.73	c #Conflicts:     561000 | #Constraints:      95410
2346.82/2352.73	c #Conflicts:     562000 | #Constraints:      96410
2346.82/2352.73	c #Conflicts:     563000 | #Constraints:      97410
2346.82/2352.73	c #Conflicts:     564000 | #Constraints:      98410
2346.82/2352.73	c #Conflicts:     565000 | #Constraints:      99410
2346.82/2352.73	c #Conflicts:     566000 | #Constraints:     100410
2346.82/2352.73	c #Conflicts:     567000 | #Constraints:     101410
2346.82/2352.73	c #Conflicts:     568000 | #Constraints:     102410
2346.82/2352.73	c #Conflicts:     569000 | #Constraints:     103410
2346.82/2352.73	c #Conflicts:     570000 | #Constraints:     104410
2346.82/2352.73	c #Conflicts:     571000 | #Constraints:     105410
2346.82/2352.73	c #Conflicts:     572000 | #Constraints:     106410
2346.82/2352.73	c #Conflicts:     573000 | #Constraints:     107410
2346.82/2352.73	c INPROCESSING
2346.82/2352.73	c GARBAGE COLLECT
2346.82/2352.73	c rational objective 185
2406.17/2412.28	c #Conflicts:     574000 | #Constraints:      66686
2406.17/2412.28	c #Conflicts:     575000 | #Constraints:      67686
2406.17/2412.28	c #Conflicts:     576000 | #Constraints:      68686
2406.17/2412.28	c #Conflicts:     577000 | #Constraints:      69686
2406.17/2412.28	c #Conflicts:     578000 | #Constraints:      70686
2406.17/2412.28	c #Conflicts:     579000 | #Constraints:      71686
2406.17/2412.28	c #Conflicts:     580000 | #Constraints:      72686
2406.17/2412.28	c #Conflicts:     581000 | #Constraints:      73686
2406.17/2412.28	c #Conflicts:     582000 | #Constraints:      74686
2406.17/2412.28	c #Conflicts:     583000 | #Constraints:      75686
2406.17/2412.28	c #Conflicts:     584000 | #Constraints:      76686
2406.17/2412.28	c #Conflicts:     585000 | #Constraints:      77686
2406.17/2412.28	c #Conflicts:     586000 | #Constraints:      78686
2406.17/2412.28	c #Conflicts:     587000 | #Constraints:      79687
2406.17/2412.28	c #Conflicts:     588000 | #Constraints:      80687
2406.17/2412.28	c #Conflicts:     589000 | #Constraints:      81688
2406.17/2412.28	c #Conflicts:     590000 | #Constraints:      82688
2406.17/2412.28	c #Conflicts:     591000 | #Constraints:      83688
2406.17/2412.28	c #Conflicts:     592000 | #Constraints:      84688
2406.17/2412.28	c #Conflicts:     593000 | #Constraints:      85688
2406.17/2412.28	c #Conflicts:     594000 | #Constraints:      86688
2406.17/2412.28	c #Conflicts:     595000 | #Constraints:      87688
2406.17/2412.28	c INPROCESSING
2406.17/2412.28	c GARBAGE COLLECT
2406.17/2412.28	c rational objective 185
2702.98/2709.74	c #Conflicts:     596000 | #Constraints:      63492
2702.98/2709.74	c #Conflicts:     597000 | #Constraints:      64492
2702.98/2709.74	c #Conflicts:     598000 | #Constraints:      65492
2702.98/2709.74	c #Conflicts:     599000 | #Constraints:      66492
2702.98/2709.74	c #Conflicts:     600000 | #Constraints:      67492
2702.98/2709.74	c #Conflicts:     601000 | #Constraints:      68492
2702.98/2709.74	c #Conflicts:     602000 | #Constraints:      69492
2702.98/2709.74	c #Conflicts:     603000 | #Constraints:      70492
2702.98/2709.74	c #Conflicts:     604000 | #Constraints:      71492
2702.98/2709.74	c #Conflicts:     605000 | #Constraints:      72492
2702.98/2709.74	c #Conflicts:     606000 | #Constraints:      73492
2702.98/2709.74	c #Conflicts:     607000 | #Constraints:      74492
2702.98/2709.74	c #Conflicts:     608000 | #Constraints:      75492
2702.98/2709.74	c #Conflicts:     609000 | #Constraints:      76492
2702.98/2709.74	c #Conflicts:     610000 | #Constraints:      77492
2702.98/2709.74	c #Conflicts:     611000 | #Constraints:      78492
2702.98/2709.74	c #Conflicts:     612000 | #Constraints:      79492
2702.98/2709.74	c #Conflicts:     613000 | #Constraints:      80492
2702.98/2709.74	c #Conflicts:     614000 | #Constraints:      81492
2702.98/2709.74	c #Conflicts:     615000 | #Constraints:      82492
2702.98/2709.74	c #Conflicts:     616000 | #Constraints:      83492
2702.98/2709.74	c #Conflicts:     617000 | #Constraints:      84492
2702.98/2709.74	c #Conflicts:     618000 | #Constraints:      85492
2702.98/2709.74	c #Conflicts:     619000 | #Constraints:      86492
2702.98/2709.74	c #Conflicts:     620000 | #Constraints:      87492
2702.98/2709.74	c #Conflicts:     621000 | #Constraints:      88492
2702.98/2709.74	c #Conflicts:     622000 | #Constraints:      89492
2702.98/2709.74	c #Conflicts:     623000 | #Constraints:      90492
2702.98/2709.74	c #Conflicts:     624000 | #Constraints:      91492
2702.98/2709.74	c #Conflicts:     625000 | #Constraints:      92492
2702.98/2709.74	c #Conflicts:     626000 | #Constraints:      93493
2702.98/2709.74	c #Conflicts:     627000 | #Constraints:      94493
2702.98/2709.74	c #Conflicts:     628000 | #Constraints:      95493
2702.98/2709.74	c #Conflicts:     629000 | #Constraints:      96493
2702.98/2709.74	c #Conflicts:     630000 | #Constraints:      97493
2702.98/2709.74	c #Conflicts:     631000 | #Constraints:      98494
2702.98/2709.74	c #Conflicts:     632000 | #Constraints:      99494
2702.98/2709.74	c #Conflicts:     633000 | #Constraints:     100494
2702.98/2709.74	c #Conflicts:     634000 | #Constraints:     101494
2702.98/2709.74	c #Conflicts:     635000 | #Constraints:     102494
2702.98/2709.74	c #Conflicts:     636000 | #Constraints:     103494
2702.98/2709.74	c #Conflicts:     637000 | #Constraints:     104494
2702.98/2709.74	c #Conflicts:     638000 | #Constraints:     105494
2702.98/2709.74	c #Conflicts:     639000 | #Constraints:     106494
2702.98/2709.74	c #Conflicts:     640000 | #Constraints:     107494
2702.98/2709.74	c #Conflicts:     641000 | #Constraints:     108494
2702.98/2709.74	c #Conflicts:     642000 | #Constraints:     109494
2702.98/2709.74	c #Conflicts:     643000 | #Constraints:     110494
2702.98/2709.74	c #Conflicts:     644000 | #Constraints:     111494
2702.98/2709.74	c #Conflicts:     645000 | #Constraints:     112495
2702.98/2709.74	c #Conflicts:     646000 | #Constraints:     113495
2702.98/2709.74	c INPROCESSING
2702.98/2709.74	c GARBAGE COLLECT
2702.98/2709.74	c rational objective 185
2780.80/2787.72	c #Conflicts:     647000 | #Constraints:      69970
2780.80/2787.72	c #Conflicts:     648000 | #Constraints:      70970
2780.80/2787.72	c #Conflicts:     649000 | #Constraints:      71970
2780.80/2787.72	c #Conflicts:     650000 | #Constraints:      72970
2780.80/2787.72	c #Conflicts:     651000 | #Constraints:      73970
2780.80/2787.72	c #Conflicts:     652000 | #Constraints:      74970
2780.80/2787.72	c #Conflicts:     653000 | #Constraints:      75970
2780.80/2787.72	c #Conflicts:     654000 | #Constraints:      76970
2780.80/2787.72	c #Conflicts:     655000 | #Constraints:      77970
2780.80/2787.72	c #Conflicts:     656000 | #Constraints:      78970
2780.80/2787.72	c #Conflicts:     657000 | #Constraints:      79970
2780.80/2787.72	c #Conflicts:     658000 | #Constraints:      80970
2780.80/2787.72	c #Conflicts:     659000 | #Constraints:      81970
2780.80/2787.72	c #Conflicts:     660000 | #Constraints:      82971
2780.80/2787.72	c #Conflicts:     661000 | #Constraints:      83971
2780.80/2787.72	c #Conflicts:     662000 | #Constraints:      84971
2780.80/2787.72	c #Conflicts:     663000 | #Constraints:      85971
2780.80/2787.72	c #Conflicts:     664000 | #Constraints:      86971
2780.80/2787.72	c #Conflicts:     665000 | #Constraints:      87971
2780.80/2787.72	c #Conflicts:     666000 | #Constraints:      88971
2780.80/2787.72	c #Conflicts:     667000 | #Constraints:      89971
2780.80/2787.72	c #Conflicts:     668000 | #Constraints:      90971
2780.80/2787.72	c #Conflicts:     669000 | #Constraints:      91971
2780.80/2787.72	c INPROCESSING
2780.80/2787.72	c GARBAGE COLLECT
2780.80/2787.72	c rational objective 185
3000.19/3007.63	c #Conflicts:     670000 | #Constraints:      66137
3000.19/3007.63	c #Conflicts:     671000 | #Constraints:      67137
3000.19/3007.63	c #Conflicts:     672000 | #Constraints:      68137
3000.19/3007.63	c #Conflicts:     673000 | #Constraints:      69137
3000.19/3007.63	c #Conflicts:     674000 | #Constraints:      70138
3000.19/3007.63	c #Conflicts:     675000 | #Constraints:      71138
3000.19/3007.63	c #Conflicts:     676000 | #Constraints:      72138
3000.19/3007.63	c #Conflicts:     677000 | #Constraints:      73138
3000.19/3007.63	c #Conflicts:     678000 | #Constraints:      74138
3000.19/3007.63	c #Conflicts:     679000 | #Constraints:      75138
3000.19/3007.63	c #Conflicts:     680000 | #Constraints:      76138
3000.19/3007.63	c #Conflicts:     681000 | #Constraints:      77138
3000.19/3007.63	c #Conflicts:     682000 | #Constraints:      78138
3000.19/3007.63	c #Conflicts:     683000 | #Constraints:      79138
3000.19/3007.63	c #Conflicts:     684000 | #Constraints:      80138
3000.19/3007.63	c #Conflicts:     685000 | #Constraints:      81138
3000.19/3007.63	c #Conflicts:     686000 | #Constraints:      82138
3000.19/3007.63	c #Conflicts:     687000 | #Constraints:      83138
3000.19/3007.63	c #Conflicts:     688000 | #Constraints:      84138
3000.19/3007.63	c #Conflicts:     689000 | #Constraints:      85138
3000.19/3007.63	c #Conflicts:     690000 | #Constraints:      86138
3000.19/3007.63	c #Conflicts:     691000 | #Constraints:      87138
3000.19/3007.63	c #Conflicts:     692000 | #Constraints:      88138
3000.19/3007.63	c #Conflicts:     693000 | #Constraints:      89138
3000.19/3007.63	c #Conflicts:     694000 | #Constraints:      90138
3000.19/3007.63	c #Conflicts:     695000 | #Constraints:      91138
3000.19/3007.63	c #Conflicts:     696000 | #Constraints:      92138
3000.19/3007.63	c #Conflicts:     697000 | #Constraints:      93138
3000.19/3007.63	c #Conflicts:     698000 | #Constraints:      94138
3000.19/3007.63	c #Conflicts:     699000 | #Constraints:      95138
3000.19/3007.63	c #Conflicts:     700000 | #Constraints:      96138
3000.19/3007.63	c #Conflicts:     701000 | #Constraints:      97138
3000.19/3007.63	c #Conflicts:     702000 | #Constraints:      98138
3000.19/3007.63	c #Conflicts:     703000 | #Constraints:      99138
3000.19/3007.63	c #Conflicts:     704000 | #Constraints:     100138
3000.19/3007.63	c #Conflicts:     705000 | #Constraints:     101138
3000.19/3007.63	c #Conflicts:     706000 | #Constraints:     102139
3000.19/3007.63	c #Conflicts:     707000 | #Constraints:     103139
3000.19/3007.63	c #Conflicts:     708000 | #Constraints:     104139
3000.19/3007.63	c #Conflicts:     709000 | #Constraints:     105140
3000.19/3007.63	c #Conflicts:     710000 | #Constraints:     106140
3000.19/3007.63	c #Conflicts:     711000 | #Constraints:     107140
3000.19/3007.63	c #Conflicts:     712000 | #Constraints:     108140
3000.19/3007.63	c #Conflicts:     713000 | #Constraints:     109140
3000.19/3007.63	c #Conflicts:     714000 | #Constraints:     110140
3000.19/3007.63	c #Conflicts:     715000 | #Constraints:     111141
3000.19/3007.63	c #Conflicts:     716000 | #Constraints:     112141
3000.19/3007.63	c #Conflicts:     717000 | #Constraints:     113141
3000.19/3007.63	c #Conflicts:     718000 | #Constraints:     114141
3000.19/3007.63	c #Conflicts:     719000 | #Constraints:     115141
3000.19/3007.63	c #Conflicts:     720000 | #Constraints:     116141
3000.19/3007.63	c #Conflicts:     721000 | #Constraints:     117141
3000.19/3007.63	c #Conflicts:     722000 | #Constraints:     118141
3000.19/3007.63	c #Conflicts:     723000 | #Constraints:     119141
3000.19/3007.63	c #Conflicts:     724000 | #Constraints:     120141
3000.19/3007.63	c INPROCESSING
3000.19/3007.63	c GARBAGE COLLECT
3000.19/3007.63	c rational objective 185
3213.99/3221.99	c #Conflicts:     725000 | #Constraints:      73290
3213.99/3221.99	c #Conflicts:     726000 | #Constraints:      74290
3213.99/3221.99	c #Conflicts:     727000 | #Constraints:      75291
3213.99/3221.99	c #Conflicts:     728000 | #Constraints:      76291
3213.99/3221.99	c #Conflicts:     729000 | #Constraints:      77291
3213.99/3221.99	c #Conflicts:     730000 | #Constraints:      78291
3213.99/3221.99	c #Conflicts:     731000 | #Constraints:      79291
3213.99/3221.99	c #Conflicts:     732000 | #Constraints:      80292
3213.99/3221.99	c #Conflicts:     733000 | #Constraints:      81292
3213.99/3221.99	c #Conflicts:     734000 | #Constraints:      82292
3213.99/3221.99	c #Conflicts:     735000 | #Constraints:      83292
3213.99/3221.99	c #Conflicts:     736000 | #Constraints:      84292
3213.99/3221.99	c #Conflicts:     737000 | #Constraints:      85292
3213.99/3221.99	c #Conflicts:     738000 | #Constraints:      86292
3213.99/3221.99	c #Conflicts:     739000 | #Constraints:      87292
3213.99/3221.99	c #Conflicts:     740000 | #Constraints:      88292
3213.99/3221.99	c #Conflicts:     741000 | #Constraints:      89292
3213.99/3221.99	c #Conflicts:     742000 | #Constraints:      90292
3213.99/3221.99	c #Conflicts:     743000 | #Constraints:      91293
3213.99/3221.99	c #Conflicts:     744000 | #Constraints:      92293
3213.99/3221.99	c #Conflicts:     745000 | #Constraints:      93293
3213.99/3221.99	c #Conflicts:     746000 | #Constraints:      94294
3213.99/3221.99	c #Conflicts:     747000 | #Constraints:      95294
3213.99/3221.99	c #Conflicts:     748000 | #Constraints:      96294
3213.99/3221.99	c INPROCESSING
3213.99/3221.99	c GARBAGE COLLECT
3213.99/3221.99	c rational objective 185
3458.22/3466.70	c #Conflicts:     749000 | #Constraints:      69018
3458.22/3466.70	c #Conflicts:     750000 | #Constraints:      70018
3458.22/3466.70	c #Conflicts:     751000 | #Constraints:      71018
3458.22/3466.70	c #Conflicts:     752000 | #Constraints:      72018
3458.22/3466.70	c #Conflicts:     753000 | #Constraints:      73018
3458.22/3466.70	c #Conflicts:     754000 | #Constraints:      74018
3458.22/3466.70	c #Conflicts:     755000 | #Constraints:      75018
3458.22/3466.70	c #Conflicts:     756000 | #Constraints:      76018
3458.22/3466.70	c #Conflicts:     757000 | #Constraints:      77018
3458.22/3466.70	c #Conflicts:     758000 | #Constraints:      78018
3458.22/3466.70	c #Conflicts:     759000 | #Constraints:      79019
3458.22/3466.70	c #Conflicts:     760000 | #Constraints:      80020
3458.22/3466.70	c #Conflicts:     761000 | #Constraints:      81020
3458.22/3466.70	c #Conflicts:     762000 | #Constraints:      82020
3458.22/3466.70	c #Conflicts:     763000 | #Constraints:      83020
3458.22/3466.70	c #Conflicts:     764000 | #Constraints:      84021
3458.22/3466.70	c #Conflicts:     765000 | #Constraints:      85021
3458.22/3466.70	c #Conflicts:     766000 | #Constraints:      86021
3458.22/3466.70	c #Conflicts:     767000 | #Constraints:      87021
3458.22/3466.70	c #Conflicts:     768000 | #Constraints:      88021
3458.22/3466.70	c #Conflicts:     769000 | #Constraints:      89021
3458.22/3466.70	c #Conflicts:     770000 | #Constraints:      90021
3458.22/3466.70	c #Conflicts:     771000 | #Constraints:      91021
3458.22/3466.70	c #Conflicts:     772000 | #Constraints:      92021
3458.22/3466.70	c #Conflicts:     773000 | #Constraints:      93021
3458.22/3466.70	c #Conflicts:     774000 | #Constraints:      94021
3458.22/3466.70	c #Conflicts:     775000 | #Constraints:      95021
3458.22/3466.70	c #Conflicts:     776000 | #Constraints:      96021
3458.22/3466.70	c #Conflicts:     777000 | #Constraints:      97021
3458.22/3466.70	c #Conflicts:     778000 | #Constraints:      98021
3458.22/3466.70	c #Conflicts:     779000 | #Constraints:      99021
3458.22/3466.70	c #Conflicts:     780000 | #Constraints:     100021
3458.22/3466.70	c #Conflicts:     781000 | #Constraints:     101022
3458.22/3466.70	c #Conflicts:     782000 | #Constraints:     102022
3458.22/3466.70	c #Conflicts:     783000 | #Constraints:     103022
3458.22/3466.70	c #Conflicts:     784000 | #Constraints:     104022
3458.22/3466.70	c #Conflicts:     785000 | #Constraints:     105022
3458.22/3466.70	c #Conflicts:     786000 | #Constraints:     106022
3458.22/3466.70	c #Conflicts:     787000 | #Constraints:     107022
3458.22/3466.70	c #Conflicts:     788000 | #Constraints:     108022
3458.22/3466.70	c #Conflicts:     789000 | #Constraints:     109022
3458.22/3466.70	c #Conflicts:     790000 | #Constraints:     110022
3458.22/3466.70	c #Conflicts:     791000 | #Constraints:     111022
3458.22/3466.70	c #Conflicts:     792000 | #Constraints:     112022
3458.22/3466.70	c #Conflicts:     793000 | #Constraints:     113023
3458.22/3466.70	c #Conflicts:     794000 | #Constraints:     114024
3458.22/3466.70	c #Conflicts:     795000 | #Constraints:     115024
3458.22/3466.70	c #Conflicts:     796000 | #Constraints:     116024
3458.22/3466.70	c #Conflicts:     797000 | #Constraints:     117024
3458.22/3466.70	c #Conflicts:     798000 | #Constraints:     118024
3458.22/3466.70	c #Conflicts:     799000 | #Constraints:     119024
3458.22/3466.70	c #Conflicts:     800000 | #Constraints:     120024
3458.22/3466.70	c #Conflicts:     801000 | #Constraints:     121024
3458.22/3466.70	c #Conflicts:     802000 | #Constraints:     122025
3458.22/3466.70	c #Conflicts:     803000 | #Constraints:     123025
3458.22/3466.70	c #Conflicts:     804000 | #Constraints:     124025
3458.22/3466.70	c #Conflicts:     805000 | #Constraints:     125025
3458.22/3466.70	c #Conflicts:     806000 | #Constraints:     126025
3458.22/3466.70	c INPROCESSING
3458.22/3466.70	c GARBAGE COLLECT
3458.22/3466.70	c rational objective 185
3585.63/3594.49	c #Conflicts:     807000 | #Constraints:      76542
3585.63/3594.49	c #Conflicts:     808000 | #Constraints:      77542
3585.63/3594.49	c #Conflicts:     809000 | #Constraints:      78542
3585.63/3594.49	c #Conflicts:     810000 | #Constraints:      79542
3585.63/3594.49	c #Conflicts:     811000 | #Constraints:      80542
3585.63/3594.49	c #Conflicts:     812000 | #Constraints:      81542
3585.63/3594.49	c #Conflicts:     813000 | #Constraints:      82542
3585.63/3594.49	c #Conflicts:     814000 | #Constraints:      83543
3585.63/3594.49	c #Conflicts:     815000 | #Constraints:      84543
3585.63/3594.49	c #Conflicts:     816000 | #Constraints:      85543
3585.63/3594.49	c #Conflicts:     817000 | #Constraints:      86543
3585.63/3594.49	c #Conflicts:     818000 | #Constraints:      87543
3585.63/3594.49	c #Conflicts:     819000 | #Constraints:      88543
3585.63/3594.49	c #Conflicts:     820000 | #Constraints:      89543
3585.63/3594.49	c #Conflicts:     821000 | #Constraints:      90543
3585.63/3594.49	c #Conflicts:     822000 | #Constraints:      91543
3585.63/3594.49	c #Conflicts:     823000 | #Constraints:      92543
3585.63/3594.49	c #Conflicts:     824000 | #Constraints:      93543
3585.63/3594.49	c #Conflicts:     825000 | #Constraints:      94543
3585.63/3594.49	c #Conflicts:     826000 | #Constraints:      95543
3585.63/3594.49	c #Conflicts:     827000 | #Constraints:      96543
3585.63/3594.49	c #Conflicts:     828000 | #Constraints:      97543
3585.63/3594.49	c #Conflicts:     829000 | #Constraints:      98544
3585.63/3594.49	c #Conflicts:     830000 | #Constraints:      99544
3585.63/3594.49	c #Conflicts:     831000 | #Constraints:     100544
3585.63/3594.49	c #Conflicts:     832000 | #Constraints:     101545
3585.63/3594.49	c INPROCESSING
3585.63/3594.49	c GARBAGE COLLECT
3585.63/3594.49	c rational objective 185
3600.09/3608.90	c #Conflicts:     833000 | #Constraints:      73294
3600.09/3608.90	c #Conflicts:     834000 | #Constraints:      74294
3600.09/3608.90	c #Conflicts:     835000 | #Constraints:      75294
3600.09/3608.90	c #Conflicts:     836000 | #Constraints:      76294
3600.09/3608.90	c #Conflicts:     837000 | #Constraints:      77294
3600.09/3608.90	c Program interrupted by user.
3600.09/3608.90	c cpu time 3564.09 s
3600.09/3608.90	c deterministic time 242101854840 2.42e+11
3600.09/3608.90	c optimization time 10.8092 s
3600.09/3608.90	c total solve time 3553.2 s
3600.09/3608.90	c core-guided solve time 0 s
3600.09/3608.90	c propagation time 1667.18 s
3600.09/3608.90	c conflict analysis time 556.731 s
3600.09/3608.90	c propagations 693986184
3600.09/3608.90	c resolve steps 36602645
3600.09/3608.90	c decisions 20300708
3600.09/3608.90	c conflicts 837771
3600.09/3608.90	c restarts 1788
3600.09/3608.90	c inprocessing phases 38
3600.09/3608.90	c input clauses 22202
3600.09/3608.90	c input cardinalities 185
3600.09/3608.90	c input general constraints 0
3600.09/3608.90	c input average constraint length 6.44
3600.09/3608.90	c input average constraint degree 1.97
3600.09/3608.90	c learned clauses 524488
3600.09/3608.90	c learned cardinalities 40299
3600.09/3608.90	c learned general constraints 273089
3600.09/3608.90	c learned average constraint length 1326.46
3600.09/3608.90	c learned average constraint degree 639709619.57
3600.09/3608.90	c watched constraints 196073
3600.09/3608.90	c counting constraints 77016
3600.09/3608.90	c gcd simplifications 4319
3600.09/3608.90	c detected cardinalities 6465
3600.09/3608.90	c weakened non-implied lits 200291720
3600.09/3608.90	c weakened non-implying lits 239479
3600.09/3608.90	c original variables 22015
3600.09/3608.90	c clausal propagations 323248831
3600.09/3608.90	c cardinality propagations 240282319
3600.09/3608.90	c watched propagations 37809395
3600.09/3608.90	c counting propagations 84092205
3600.09/3608.90	c watch lookups 10402333540
3600.09/3608.90	c watch backjump lookups 8296979523
3600.09/3608.90	c watch checks 167965477791
3600.09/3608.90	c propagation checks 50308395309
3600.09/3608.90	c constraint additions 3697680859
3600.09/3608.90	c trail pops 715105438
3600.09/3608.90	c formula constraints 22387
3600.09/3608.90	c learned constraints 837701
3600.09/3608.90	c bound constraints 0
3600.09/3608.90	c core-guided constraints 0
3600.09/3608.90	c encountered formula constraints 25029482
3600.09/3608.90	c encountered learned constraints 12408308
3600.09/3608.90	c encountered bound constraints 0
3600.09/3608.90	c encountered core-guided constraints 0
3600.09/3608.90	c LP total time 2019.38 s
3600.09/3608.90	c LP solve time 1948.51 s
3600.09/3608.90	c LP constraints added 25770
3600.09/3608.90	c LP constraints removed 3098
3600.09/3608.90	c LP pivots internal 846475
3600.09/3608.90	c LP pivots root 749012
3600.09/3608.90	c LP calls 116
3600.09/3608.90	c LP optimalities 40
3600.09/3608.90	c LP no pivot count 0
3600.09/3608.90	c LP infeasibilities 69
3600.09/3608.90	c LP valid Farkas constraints 69
3600.09/3608.90	c LP learned Farkas constraints 69
3600.09/3608.90	c LP basis resets 0
3600.09/3608.90	c LP cycling count 0
3600.09/3608.90	c LP singular count 0
3600.09/3608.90	c LP no primal count 0
3600.09/3608.90	c LP no farkas count 0
3600.09/3608.90	c LP other issue count 0
3600.09/3608.90	c LP Gomory cuts 37
3600.09/3608.90	c LP learned cuts 3544
3600.09/3608.90	c LP deleted cuts 3328
3600.09/3608.90	c LP encountered Gomory constraints 22
3600.09/3608.90	c LP encountered Farkas constraints 1952
3600.09/3608.90	c LP encountered learned Farkas constraints 583
3600.09/3608.90	c CG auxiliary variables introduced 0
3600.09/3608.90	c CG solutions found 0
3600.09/3608.90	c CG cores constructed 0
3600.09/3608.90	c CG core cardinality constraints returned 0
3600.09/3608.90	c CG unit cores 0
3600.09/3608.90	c CG single cores 0
3600.09/3608.90	c CG blocks removed during cardinality reduction 0
3600.09/3608.90	c CG first core best 0
3600.09/3608.90	c CG decision core best 0
3600.09/3608.90	c CG core reduction tie 0
3600.09/3608.90	c CG core degree average 0.00
3600.09/3608.90	c CG core slack average 0.00
3600.09/3608.90	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: 64059 MiB (62291 MiB free)
  memory of node 1: 64510 MiB (61632 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455638-1721464291/watcher-4455638-1721464291 -o /tmp/evaluation-result-4455638-1721464291/solver-4455638-1721464291 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721460659-1046577 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455638-1721464291.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=1048885, runsolver pid=1048882

[startup+0.100107 s]*
/proc/loadavg: 4.18 4.15 4.14 5/246 1048886
/proc/meminfo: memFree=126882644/131655788 swapFree=131071996/131071996
[pid=1048885] ppid=1048882 vsize=62188 memory=33908 CPUtime=0.1 cores=5,7
/proc/1048885/stat : 1048885 (roundingsat) R 1048882 1048885 1046564 0 -1 4194304 7252 0 0 0 8 2 0 0 20 0 1 0 198585464 63680512 8477 134679101440 4194304 7968373 140735421107568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 13303808 140735421109180 140735421109344 140735421109344 140735421116361 0
/proc/1048885/statm: 15547 8477 1590 922 0 7499 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 62188 KiB
Current children cumulated memory: 33908 KiB

[startup+0.213487 s]*
/proc/loadavg: 4.18 4.15 4.14 5/246 1048886
/proc/meminfo: memFree=126862340/131655788 swapFree=131071996/131071996
[pid=1048885] ppid=1048882 vsize=74752 memory=41880 CPUtime=0.22 cores=5,7
/proc/1048885/stat : 1048885 (roundingsat) R 1048882 1048885 1046564 0 -1 4194304 9861 0 0 0 19 3 0 0 20 0 1 0 198585464 76546048 10470 134679101440 4194304 7968373 140735421107568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 13303808 140735421109180 140735421109344 140735421109344 140735421116361 0
/proc/1048885/statm: 18688 10470 1686 922 0 10640 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 74752 KiB
Current children cumulated memory: 41880 KiB

[startup+0.313511 s]*
/proc/loadavg: 4.18 4.15 4.14 5/246 1048886
/proc/meminfo: memFree=126860184/131655788 swapFree=131071996/131071996
[pid=1048885] ppid=1048882 vsize=75868 memory=43728 CPUtime=0.31 cores=5,7
/proc/1048885/stat : 1048885 (roundingsat) R 1048882 1048885 1046564 0 -1 4194304 10341 0 0 0 28 3 0 0 20 0 1 0 198585464 77688832 10932 134679101440 4194304 7968373 140735421107568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 13303808 140735421109180 140735421109344 140735421109344 140735421116361 0
/proc/1048885/statm: 18967 10932 1686 922 0 10919 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 75868 KiB
Current children cumulated memory: 43728 KiB

[startup+0.700329 s]
/proc/loadavg: 4.18 4.15 4.14 5/246 1048886
/proc/meminfo: memFree=126852316/131655788 swapFree=131071996/131071996
[pid=1048885] ppid=1048882 vsize=77372 memory=46096 CPUtime=0.69 cores=5,7
/proc/1048885/stat : 1048885 (roundingsat) R 1048882 1048885 1046564 0 -1 4194304 10930 0 0 0 65 4 0 0 20 0 1 0 198585464 79228928 11524 134679101440 4194304 7968373 140735421107568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 13303808 140735421109180 140735421109344 140735421109344 140735421116361 0
/proc/1048885/statm: 19343 11524 1686 922 0 11295 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 77372 KiB
Current children cumulated memory: 46096 KiB

[startup+1.50028 s]
/proc/loadavg: 4.18 4.15 4.14 5/246 1048886
/proc/meminfo: memFree=126851308/131655788 swapFree=131071996/131071996
[pid=1048885] ppid=1048882 vsize=77372 memory=46360 CPUtime=1.48 cores=5,7
/proc/1048885/stat : 1048885 (roundingsat) R 1048882 1048885 1046564 0 -1 4194304 10976 0 0 0 144 4 0 0 20 0 1 0 198585464 79228928 11590 134679101440 4194304 7968373 140735421107568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 13303808 140735421109180 140735421109344 140735421109344 140735421116361 0
/proc/1048885/statm: 19343 11590 1686 922 0 11295 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 77372 KiB
Current children cumulated memory: 46360 KiB

[startup+3.11305 s]
/proc/loadavg: 4.17 4.15 4.14 5/246 1048888
/proc/meminfo: memFree=126841416/131655788 swapFree=131071996/131071996
[pid=1048885] ppid=1048882 vsize=77372 memory=47324 CPUtime=3.1 cores=5,7
/proc/1048885/stat : 1048885 (roundingsat) R 1048882 1048885 1046564 0 -1 4194304 11188 0 0 0 287 23 0 0 20 0 1 0 198585464 79228928 11831 134679101440 4194304 7968373 140735421107568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 13303808 140735421109180 140735421109344 140735421109344 140735421116361 0
/proc/1048885/statm: 19343 11831 1733 922 0 11295 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 77372 KiB
Current children cumulated memory: 47324 KiB

[startup+6.3003 s]
/proc/loadavg: 4.17 4.15 4.14 5/246 1048888
/proc/meminfo: memFree=126831728/131655788 swapFree=131071996/131071996
[pid=1048885] ppid=1048882 vsize=83276 memory=53392 CPUtime=6.27 cores=5,7
/proc/1048885/stat : 1048885 (roundingsat) R 1048882 1048885 1046564 0 -1 4194304 12689 0 0 0 602 25 0 0 20 0 1 0 198585464 85274624 13348 134679101440 4194304 7968373 140735421107568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 13303808 140735421109180 140735421109344 140735421109344 140735421116361 0
/proc/1048885/statm: 20819 13348 1733 922 0 12771 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 83276 KiB
Current children cumulated memory: 53392 KiB

[startup+12.7003 s]
/proc/loadavg: 4.23 4.16 4.14 5/246 1048889
/proc/meminfo: memFree=126793264/131655788 swapFree=131071996/131071996
[pid=1048885] ppid=1048882 vsize=83276 memory=53392 CPUtime=12.66 cores=5,7
/proc/1048885/stat : 1048885 (roundingsat) R 1048882 1048885 1046564 0 -1 4194304 12705 0 0 0 1238 28 0 0 20 0 1 0 198585464 85274624 13348 134679101440 4194304 7968373 140735421107568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 13303808 140735421109180 140735421109344 140735421109344 140735421116361 0
/proc/1048885/statm: 20819 13348 1733 922 0 12771 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 83276 KiB
Current children cumulated memory: 53392 KiB

[startup+25.5003 s]
/proc/loadavg: 4.18 4.15 4.14 5/246 1048937
/proc/meminfo: memFree=126995800/131655788 swapFree=131071996/131071996
[pid=1048885] ppid=1048882 vsize=92128 memory=61860 CPUtime=25.42 cores=5,7
/proc/1048885/stat : 1048885 (roundingsat) R 1048882 1048885 1046564 0 -1 4194304 14233 0 0 0 2486 56 0 0 20 0 1 0 198585464 94339072 15465 134679101440 4194304 7968373 140735421107568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 13303808 140735421109180 140735421109344 140735421109344 140735421116361 0
/proc/1048885/statm: 23032 15465 1807 922 0 14984 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 92128 KiB
Current children cumulated memory: 61860 KiB

[startup+51.1133 s]
/proc/loadavg: 4.17 4.16 4.14 5/246 1048941
/proc/meminfo: memFree=126881644/131655788 swapFree=131071996/131071996
[pid=1048885] ppid=1048882 vsize=157660 memory=128776 CPUtime=50.97 cores=5,7
/proc/1048885/stat : 1048885 (roundingsat) R 1048882 1048885 1046564 0 -1 4194304 30672 0 0 0 4991 106 0 0 20 0 1 0 198585464 161443840 32194 134679101440 4194304 7968373 140735421107568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 13303808 140735421109180 140735421109344 140735421109344 140735421116361 0
/proc/1048885/statm: 39415 32194 1823 922 0 31367 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 157660 KiB
Current children cumulated memory: 128776 KiB

[startup+102.3 s]
/proc/loadavg: 4.19 4.16 4.14 5/246 1048996
/proc/meminfo: memFree=127020056/131655788 swapFree=131071996/131071996
[pid=1048885] ppid=1048882 vsize=200960 memory=168460 CPUtime=102.02 cores=5,7
/proc/1048885/stat : 1048885 (roundingsat) R 1048882 1048885 1046564 0 -1 4194304 45434 0 0 0 10046 156 0 0 20 0 1 0 198585464 205783040 42115 134679101440 4194304 7968373 140735421107568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 13303808 140735421109180 140735421109344 140735421109344 140735421116361 0
/proc/1048885/statm: 50240 42115 1839 922 0 42192 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 200960 KiB
Current children cumulated memory: 168460 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.14 4.14 5/245 1049006
/proc/meminfo: memFree=126834464/131655788 swapFree=131071996/131071996
[pid=1048885] ppid=1048882 vsize=222864 memory=176308 CPUtime=161.85 cores=5,7
/proc/1048885/stat : 1048885 (roundingsat) R 1048882 1048885 1046564 0 -1 4194304 47311 0 0 0 15914 271 0 0 20 0 1 0 198585464 228212736 44077 134679101440 4194304 7968373 140735421107568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 13303808 140735421109180 140735421109344 140735421109344 140735421116361 0
/proc/1048885/statm: 55716 44077 1839 922 0 47668 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 222864 KiB
Current children cumulated memory: 176308 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.13 4.13 5/245 1049017
/proc/meminfo: memFree=126665084/131655788 swapFree=131071996/131071996
[pid=1048885] ppid=1048882 vsize=265904 memory=217308 CPUtime=221.67 cores=5,7
/proc/1048885/stat : 1048885 (roundingsat) R 1048882 1048885 1046564 0 -1 4194304 50843 0 0 0 21831 336 0 0 20 0 1 0 198585464 272285696 54327 134679101440 4194304 7968373 140735421107568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 13303808 140735421109180 140735421109344 140735421109344 140735421116361 0
/proc/1048885/statm: 66476 54327 1839 922 0 58428 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 265904 KiB
Current children cumulated memory: 217308 KiB

[startup+282.3 s]
/proc/loadavg: 4.13 4.14 4.13 5/242 1049028
/proc/meminfo: memFree=126411784/131655788 swapFree=131071996/131071996
[pid=1048885] ppid=1048882 vsize=335356 memory=268856 CPUtime=281.51 cores=5,7
/proc/1048885/stat : 1048885 (roundingsat) R 1048882 1048885 1046564 0 -1 4194304 56029 0 0 0 27735 416 0 0 20 0 1 0 198585464 343404544 67214 134679101440 4194304 7968373 140735421107568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 13303808 140735421109180 140735421109344 140735421109344 140735421116361 0
/proc/1048885/statm: 83839 67214 1839 922 0 75791 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 335356 KiB
Current children cumulated memory: 268856 KiB

[startup+342.3 s]
/proc/loadavg: 4.15 4.14 4.13 5/242 1049039
/proc/meminfo: memFree=126401320/131655788 swapFree=131071996/131071996
[pid=1048885] ppid=1048882 vsize=337256 memory=271864 CPUtime=341.35 cores=5,7
/proc/1048885/stat : 1048885 (roundingsat) R 1048882 1048885 1046564 0 -1 4194304 56706 0 0 0 33702 433 0 0 20 0 1 0 198585464 345350144 67966 134679101440 4194304 7968373 140735421107568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 13303808 140735421109180 140735421109344 140735421109344 140735421116361 0
/proc/1048885/statm: 84314 67966 1839 922 0 76266 0
Current children cumulated CPU time: 341.35 s
Current children cumulated vsize: 337256 KiB
Current children cumulated memory: 271864 KiB

[startup+402.3 s]
/proc/loadavg: 4.18 4.14 4.13 5/242 1049049
/proc/meminfo: memFree=126310828/131655788 swapFree=131071996/131071996
[pid=1048885] ppid=1048882 vsize=338072 memory=272392 CPUtime=401.21 cores=5,7
/proc/1048885/stat : 1048885 (roundingsat) R 1048882 1048885 1046564 0 -1 4194304 56769 0 0 0 39624 497 0 0 20 0 1 0 198585464 346185728 68098 134679101440 4194304 7968373 140735421107568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 13303808 140735421109180 140735421109344 140735421109344 140735421116361 0
/proc/1048885/statm: 84518 68098 1839 922 0 76470 0
Current children cumulated CPU time: 401.21 s
Current children cumulated vsize: 338072 KiB
Current children cumulated memory: 272392 KiB

[startup+462.3 s]
/proc/loadavg: 4.20 4.15 4.13 5/242 1049060
/proc/meminfo: memFree=126266872/131655788 swapFree=131071996/131071996
[pid=1048885] ppid=1048882 vsize=340944 memory=294292 CPUtime=461.08 cores=5,7
/proc/1048885/stat : 1048885 (roundingsat) R 1048882 1048885 1046564 0 -1 4194304 57787 0 0 0 45513 595 0 0 20 0 1 0 198585464 349126656 73573 134679101440 4194304 7968373 140735421107568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 13303808 140735421109180 140735421109344 140735421109344 140735421116361 0
/proc/1048885/statm: 85236 73573 1839 922 0 77188 0

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

Current children cumulated memory: 971148 KiB

[startup+2922.3 s]
/proc/loadavg: 4.24 4.27 4.21 5/245 1050081
/proc/meminfo: memFree=123161096/131655788 swapFree=131071996/131071996
[pid=1048885] ppid=1048882 vsize=1051812 memory=971156 CPUtime=2915.09 cores=5,7
/proc/1048885/stat : 1048885 (roundingsat) R 1048882 1048885 1046564 0 -1 4194304 151189 0 0 0 288417 3092 0 0 20 0 1 0 198585464 1077055488 242789 134679101440 4194304 7968373 140735421107568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 13303808 140735421109180 140735421109344 140735421109344 140735421116361 0
/proc/1048885/statm: 262953 242789 1839 922 0 254905 0
Current children cumulated CPU time: 2915.09 s
Current children cumulated vsize: 1051812 KiB
Current children cumulated memory: 971156 KiB

[startup+2982.3 s]
/proc/loadavg: 4.20 4.25 4.20 5/245 1050093
/proc/meminfo: memFree=123146448/131655788 swapFree=131071996/131071996
[pid=1048885] ppid=1048882 vsize=1051812 memory=971160 CPUtime=2974.95 cores=5,7
/proc/1048885/stat : 1048885 (roundingsat) R 1048882 1048885 1046564 0 -1 4194304 151407 0 0 0 294377 3118 0 0 20 0 1 0 198585464 1077055488 242790 134679101440 4194304 7968373 140735421107568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 13303808 140735421109180 140735421109344 140735421109344 140735421116361 0
/proc/1048885/statm: 262953 242790 1839 922 0 254905 0
Current children cumulated CPU time: 2974.95 s
Current children cumulated vsize: 1051812 KiB
Current children cumulated memory: 971160 KiB

[startup+3042.3 s]
/proc/loadavg: 4.16 4.23 4.20 5/244 1050103
/proc/meminfo: memFree=123148588/131655788 swapFree=131071996/131071996
[pid=1048885] ppid=1048882 vsize=1051812 memory=971160 CPUtime=3034.81 cores=5,7
/proc/1048885/stat : 1048885 (roundingsat) R 1048882 1048885 1046564 0 -1 4194304 151761 0 0 0 300332 3149 0 0 20 0 1 0 198585464 1077055488 242790 134679101440 4194304 7968373 140735421107568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 13303808 140735421109180 140735421109344 140735421109344 140735421116361 0
/proc/1048885/statm: 262953 242790 1839 922 0 254905 0
Current children cumulated CPU time: 3034.81 s
Current children cumulated vsize: 1051812 KiB
Current children cumulated memory: 971160 KiB

[startup+3102.3 s]
/proc/loadavg: 4.10 4.20 4.18 5/244 1050117
/proc/meminfo: memFree=123145876/131655788 swapFree=131071996/131071996
[pid=1048885] ppid=1048882 vsize=1051812 memory=971160 CPUtime=3094.68 cores=5,7
/proc/1048885/stat : 1048885 (roundingsat) R 1048882 1048885 1046564 0 -1 4194304 152236 0 0 0 306308 3160 0 0 20 0 1 0 198585464 1077055488 242790 134679101440 4194304 7968373 140735421107568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 13303808 140735421109180 140735421109344 140735421109344 140735421116361 0
/proc/1048885/statm: 262953 242790 1839 922 0 254905 0
Current children cumulated CPU time: 3094.68 s
Current children cumulated vsize: 1051812 KiB
Current children cumulated memory: 971160 KiB

[startup+3162.3 s]
/proc/loadavg: 4.25 4.22 4.19 5/244 1050127
/proc/meminfo: memFree=123100572/131655788 swapFree=131071996/131071996
[pid=1048885] ppid=1048882 vsize=1055232 memory=1005152 CPUtime=3154.54 cores=5,7
/proc/1048885/stat : 1048885 (roundingsat) R 1048882 1048885 1046564 0 -1 4194304 153308 0 0 0 312246 3208 0 0 20 0 1 0 198585464 1080557568 251288 134679101440 4194304 7968373 140735421107568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 13303808 140735421109180 140735421109344 140735421109344 140735421116361 0
/proc/1048885/statm: 263808 251288 1839 922 0 255760 0
Current children cumulated CPU time: 3154.54 s
Current children cumulated vsize: 1055232 KiB
Current children cumulated memory: 1005152 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.20 4.18 5/242 1050138
/proc/meminfo: memFree=123085864/131655788 swapFree=131071996/131071996
[pid=1048885] ppid=1048882 vsize=1056216 memory=1005980 CPUtime=3214.39 cores=5,7
/proc/1048885/stat : 1048885 (roundingsat) R 1048882 1048885 1046564 0 -1 4194304 153722 0 0 0 318208 3231 0 0 20 0 1 0 198585464 1081565184 251495 134679101440 4194304 7968373 140735421107568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 13303808 140735421109180 140735421109344 140735421109344 140735421116361 0
/proc/1048885/statm: 264054 251495 1839 922 0 256006 0
Current children cumulated CPU time: 3214.39 s
Current children cumulated vsize: 1056216 KiB
Current children cumulated memory: 1005980 KiB

[startup+3282.3 s]
/proc/loadavg: 4.17 4.19 4.18 5/244 1050533
/proc/meminfo: memFree=123039776/131655788 swapFree=131071996/131071996
[pid=1048885] ppid=1048882 vsize=1078132 memory=1028432 CPUtime=3274.24 cores=5,7
/proc/1048885/stat : 1048885 (roundingsat) R 1048882 1048885 1046564 0 -1 4194304 159659 0 0 0 324101 3323 0 0 20 0 1 0 198585464 1104007168 257108 134679101440 4194304 7968373 140735421107568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 13303808 140735421109180 140735421109344 140735421109344 140735421116361 0
/proc/1048885/statm: 269533 257108 1839 922 0 261485 0
Current children cumulated CPU time: 3274.24 s
Current children cumulated vsize: 1078132 KiB
Current children cumulated memory: 1028432 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.17 4.17 5/244 1050543
/proc/meminfo: memFree=123032148/131655788 swapFree=131071996/131071996
[pid=1048885] ppid=1048882 vsize=1078132 memory=1028436 CPUtime=3334.11 cores=5,7
/proc/1048885/stat : 1048885 (roundingsat) R 1048882 1048885 1046564 0 -1 4194304 159991 0 0 0 330027 3384 0 0 20 0 1 0 198585464 1104007168 257109 134679101440 4194304 7968373 140735421107568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 13303808 140735421109180 140735421109344 140735421109344 140735421116361 0
/proc/1048885/statm: 269533 257109 1839 922 0 261485 0
Current children cumulated CPU time: 3334.11 s
Current children cumulated vsize: 1078132 KiB
Current children cumulated memory: 1028436 KiB

[startup+3402.3 s]
/proc/loadavg: 4.17 4.17 4.17 5/243 1050553
/proc/meminfo: memFree=123002828/131655788 swapFree=131071996/131071996
[pid=1048885] ppid=1048882 vsize=1078960 memory=1028604 CPUtime=3393.97 cores=5,7
/proc/1048885/stat : 1048885 (roundingsat) R 1048882 1048885 1046564 0 -1 4194304 160386 0 0 0 335958 3439 0 0 20 0 1 0 198585464 1104855040 257151 134679101440 4194304 7968373 140735421107568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 13303808 140735421109180 140735421109344 140735421109344 140735421116361 0
/proc/1048885/statm: 269740 257151 1839 922 0 261692 0
Current children cumulated CPU time: 3393.97 s
Current children cumulated vsize: 1078960 KiB
Current children cumulated memory: 1028604 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.17 4.17 5/244 1050733
/proc/meminfo: memFree=122977052/131655788 swapFree=131071996/131071996
[pid=1048885] ppid=1048882 vsize=1080952 memory=1030720 CPUtime=3453.83 cores=5,7
/proc/1048885/stat : 1048885 (roundingsat) R 1048882 1048885 1046564 0 -1 4194304 161055 0 0 0 341912 3471 0 0 20 0 1 0 198585464 1106894848 257680 134679101440 4194304 7968373 140735421107568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 13303808 140735421109180 140735421109344 140735421109344 140735421116361 0
/proc/1048885/statm: 270238 257680 1839 922 0 262190 0
Current children cumulated CPU time: 3453.83 s
Current children cumulated vsize: 1080952 KiB
Current children cumulated memory: 1030720 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.15 4.17 5/244 1050743
/proc/meminfo: memFree=122976908/131655788 swapFree=131071996/131071996
[pid=1048885] ppid=1048882 vsize=1080952 memory=1030844 CPUtime=3513.69 cores=5,7
/proc/1048885/stat : 1048885 (roundingsat) R 1048882 1048885 1046564 0 -1 4194304 161434 0 0 0 347811 3558 0 0 20 0 1 0 198585464 1106894848 257711 134679101440 4194304 7968373 140735421107568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 13303808 140735421109180 140735421109344 140735421109344 140735421116361 0
/proc/1048885/statm: 270238 257711 1839 922 0 262190 0
Current children cumulated CPU time: 3513.69 s
Current children cumulated vsize: 1080952 KiB
Current children cumulated memory: 1030844 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.13 4.16 5/245 1050812
/proc/meminfo: memFree=122976848/131655788 swapFree=131071996/131071996
[pid=1048885] ppid=1048882 vsize=1080952 memory=1030844 CPUtime=3573.56 cores=5,7
/proc/1048885/stat : 1048885 (roundingsat) R 1048882 1048885 1046564 0 -1 4194304 161539 0 0 0 353770 3586 0 0 20 0 1 0 198585464 1106894848 257711 134679101440 4194304 7968373 140735421107568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 13303808 140735421109180 140735421109344 140735421109344 140735421116361 0
/proc/1048885/statm: 270238 257711 1839 922 0 262190 0
Current children cumulated CPU time: 3573.56 s
Current children cumulated vsize: 1080952 KiB
Current children cumulated memory: 1030844 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.9 s]
/proc/loadavg: 4.11 4.14 4.16 5/245 1050861
/proc/meminfo: memFree=123658104/131655788 swapFree=131071996/131071996
[pid=1048885] ppid=1048882 vsize=1080952 memory=1030844 CPUtime=3600.09 cores=5,7
/proc/1048885/stat : 1048885 (roundingsat) R 1048882 1048885 1046564 0 -1 4194304 161719 0 0 0 356408 3601 0 0 20 0 1 0 198585464 1106894848 257711 134679101440 4194304 7968373 140735421107568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 13303808 140735421109180 140735421109344 140735421109344 140735421116361 0
/proc/1048885/statm: 270238 257711 1839 922 0 262190 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 1080952 KiB
Current children cumulated memory: 1030844 KiB

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

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

# cumulated CPU time of all completed processes:  user=3564.09 s, system=36.0261 s

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

[startup+3608.9 s]
/proc/loadavg: 4.11 4.14 4.16 5/245 1050861
/proc/meminfo: memFree=123658104/131655788 swapFree=131071996/131071996
[pid=1048885] ppid=1048882 vsize=1080952 memory=1030844 CPUtime=3600.09 cores=5,7
/proc/1048885/stat : 1048885 (roundingsat) R 1048882 1048885 1046564 0 -1 4194304 161719 0 0 0 356408 3601 0 0 20 0 1 0 198585464 1106894848 257711 134679101440 4194304 7968373 140735421107568 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 13303808 140735421109180 140735421109344 140735421109344 140735421116361 0
/proc/1048885/statm: 270238 257711 1839 922 0 262190 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 1080952 KiB
Current children cumulated memory: 1030844 KiB

Child status: 0

Real time (s): 3608.92
CPU time (s): 3600.12
CPU user time (s): 3564.09
CPU system time (s): 36.0261
CPU usage (%): 99.7562
Max. virtual memory (cumulated for all children) (KiB): 1080952
Max. memory (cumulated for all children) (KiB): 1030844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3564.09
system time used= 36.0261
maximum resident set size= 1030844
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 161734
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 86
involuntary context switches= 2490


# summary of solver processes directly reported to runsolver:
#   pid: 1048885
#   total CPU time (s): 3600.12
#   total CPU user time (s): 3564.09
#   total CPU system time (s): 36.0261

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.6208 second user time and 36.2251 second system time

The end

Launcher Data 

Begin job on nodeC008 at 2024-07-20 10:31:43
IDJOB=4455638
IDBENCH=158267
IDSOLVER=3084
FILE ID=nodeC008/4455638-1721464291
RUNJOBID= nodeC008-1721460659-1046577
SLURM_JOB_ID= 7545711
Free space on /tmp= 723716 MiB

SOLVER NAME= RoundingSat nolog
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K185.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455638-1721464291/watcher-4455638-1721464291 -o /tmp/evaluation-result-4455638-1721464291/solver-4455638-1721464291 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721460659-1046577 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455638-1721464291.opb

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

MD5SUM BENCH= 8e923d8a993edfc65d984f909d6bfa9e
RANDOM SEED=1028641533

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        126898876 kB
MemAvailable:   129382116 kB
Buffers:          598708 kB
Cached:          2709700 kB
SwapCached:            0 kB
Active:          1165864 kB
Inactive:        2992212 kB
Active(anon):       1500 kB
Inactive(anon):   894108 kB
Active(file):    1164364 kB
Inactive(file):  2098104 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             59720 kB
Writeback:             0 kB
AnonPages:        849724 kB
Mapped:           116452 kB
Shmem:             45896 kB
KReclaimable:     121604 kB
Slab:             227484 kB
SReclaimable:     121604 kB
SUnreclaim:       105880 kB
KernelStack:        3964 kB
PageTables:        11424 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    1222276 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            61696 kB
HardwareCorrupted:     0 kB
AnonHugePages:    397312 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:      203592 kB
DirectMap2M:    24866816 kB
DirectMap1G:    111149056 kB

Free space on /tmp at the end= 723736 MiB
End job on nodeC008 at 2024-07-20 11:31:52