Trace number 4463063

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
RoundingSat log (3)? (TO) 3600.05 3609.74

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K139.opb
MD5SUM89642dc5a75d3fc73d0ef8fe6dbde459
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables16541
Total number of constraints16821
Number of constraints which are clauses16682
Number of constraints which are cardinality constraints (but not clauses)139
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint139
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 140
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.08	c #variables 16541 #constraints 16821
197.72/198.23	c #Conflicts:       1000 | #Constraints:      17820
197.72/198.23	c #Conflicts:       2000 | #Constraints:      18820
197.72/198.23	c INPROCESSING
197.72/198.23	c GARBAGE COLLECT
197.72/198.23	c #Conflicts:       3000 | #Constraints:      18159
197.72/198.23	c #Conflicts:       4000 | #Constraints:      19159
197.72/198.23	c INPROCESSING
197.72/198.23	c GARBAGE COLLECT
197.72/198.23	c #Conflicts:       5000 | #Constraints:      18635
197.72/198.23	c #Conflicts:       6000 | #Constraints:      19635
197.72/198.23	c INPROCESSING
197.72/198.23	c GARBAGE COLLECT
197.72/198.23	c #Conflicts:       7000 | #Constraints:      18724
197.72/198.23	c #Conflicts:       8000 | #Constraints:      19724
197.72/198.23	c #Conflicts:       9000 | #Constraints:      20724
197.72/198.23	c INPROCESSING
197.72/198.23	c GARBAGE COLLECT
197.72/198.23	c #Conflicts:      10000 | #Constraints:      19478
197.72/198.23	c #Conflicts:      11000 | #Constraints:      20478
197.72/198.23	c #Conflicts:      12000 | #Constraints:      21478
197.72/198.23	c INPROCESSING
197.72/198.23	c GARBAGE COLLECT
197.72/198.23	c #Conflicts:      13000 | #Constraints:      19999
197.72/198.23	c #Conflicts:      14000 | #Constraints:      20999
197.72/198.23	c #Conflicts:      15000 | #Constraints:      21999
197.72/198.23	c INPROCESSING
197.72/198.23	c GARBAGE COLLECT
197.72/198.23	c #Conflicts:      16000 | #Constraints:      20240
197.72/198.23	c #Conflicts:      17000 | #Constraints:      21240
197.72/198.23	c #Conflicts:      18000 | #Constraints:      22240
197.72/198.23	c #Conflicts:      19000 | #Constraints:      23240
197.72/198.23	c #Conflicts:      20000 | #Constraints:      24240
197.72/198.23	c #Conflicts:      21000 | #Constraints:      25241
197.72/198.23	c #Conflicts:      22000 | #Constraints:      26241
197.72/198.23	c #Conflicts:      23000 | #Constraints:      27241
197.72/198.23	c #Conflicts:      24000 | #Constraints:      28241
197.72/198.23	c INPROCESSING
197.72/198.23	c GARBAGE COLLECT
197.72/198.23	c #Conflicts:      25000 | #Constraints:      23180
197.72/198.23	c #Conflicts:      26000 | #Constraints:      24180
197.72/198.23	c #Conflicts:      27000 | #Constraints:      25180
197.72/198.23	c #Conflicts:      28000 | #Constraints:      26180
197.72/198.23	c INPROCESSING
197.72/198.23	c GARBAGE COLLECT
197.72/198.23	c #Conflicts:      29000 | #Constraints:      22058
197.72/198.23	c #Conflicts:      30000 | #Constraints:      23058
197.72/198.23	c #Conflicts:      31000 | #Constraints:      24058
197.72/198.23	c #Conflicts:      32000 | #Constraints:      25058
197.72/198.23	c #Conflicts:      33000 | #Constraints:      26058
197.72/198.23	c INPROCESSING
197.72/198.23	c GARBAGE COLLECT
197.72/198.23	c #Conflicts:      34000 | #Constraints:      22265
197.72/198.23	c #Conflicts:      35000 | #Constraints:      23265
197.72/198.23	c #Conflicts:      36000 | #Constraints:      24265
197.72/198.23	c #Conflicts:      37000 | #Constraints:      25265
197.72/198.23	c #Conflicts:      38000 | #Constraints:      26265
197.72/198.23	c #Conflicts:      39000 | #Constraints:      27265
197.72/198.23	c #Conflicts:      40000 | #Constraints:      28265
197.72/198.23	c #Conflicts:      41000 | #Constraints:      29265
197.72/198.23	c #Conflicts:      42000 | #Constraints:      30265
197.72/198.23	c #Conflicts:      43000 | #Constraints:      31265
197.72/198.23	c #Conflicts:      44000 | #Constraints:      32265
197.72/198.23	c #Conflicts:      45000 | #Constraints:      33265
197.72/198.23	c #Conflicts:      46000 | #Constraints:      34265
197.72/198.23	c #Conflicts:      47000 | #Constraints:      35265
197.72/198.23	c INPROCESSING
197.72/198.23	c GARBAGE COLLECT
197.72/198.23	c #Conflicts:      48000 | #Constraints:      27059
197.72/198.23	c #Conflicts:      49000 | #Constraints:      28059
197.72/198.23	c #Conflicts:      50000 | #Constraints:      29059
197.72/198.23	c #Conflicts:      51000 | #Constraints:      30059
197.72/198.23	c #Conflicts:      52000 | #Constraints:      31059
197.72/198.23	c INPROCESSING
197.72/198.23	c GARBAGE COLLECT
197.72/198.23	c #Conflicts:      53000 | #Constraints:      24600
197.72/198.23	c #Conflicts:      54000 | #Constraints:      25600
197.72/198.23	c #Conflicts:      55000 | #Constraints:      26600
197.72/198.23	c #Conflicts:      56000 | #Constraints:      27600
197.72/198.23	c #Conflicts:      57000 | #Constraints:      28600
197.72/198.23	c #Conflicts:      58000 | #Constraints:      29600
197.72/198.23	c INPROCESSING
197.72/198.23	c GARBAGE COLLECT
197.72/198.23	c rational objective 139
241.31/241.99	c #Conflicts:      59000 | #Constraints:      23935
241.31/241.99	c #Conflicts:      60000 | #Constraints:      24935
241.31/241.99	c #Conflicts:      61000 | #Constraints:      25935
241.31/241.99	c #Conflicts:      62000 | #Constraints:      26935
241.31/241.99	c #Conflicts:      63000 | #Constraints:      27935
241.31/241.99	c #Conflicts:      64000 | #Constraints:      28935
241.31/241.99	c #Conflicts:      65000 | #Constraints:      29935
241.31/241.99	c #Conflicts:      66000 | #Constraints:      30935
241.31/241.99	c #Conflicts:      67000 | #Constraints:      31935
241.31/241.99	c #Conflicts:      68000 | #Constraints:      32935
241.31/241.99	c #Conflicts:      69000 | #Constraints:      33935
241.31/241.99	c #Conflicts:      70000 | #Constraints:      34935
241.31/241.99	c #Conflicts:      71000 | #Constraints:      35935
241.31/241.99	c #Conflicts:      72000 | #Constraints:      36935
241.31/241.99	c #Conflicts:      73000 | #Constraints:      37935
241.31/241.99	c #Conflicts:      74000 | #Constraints:      38935
241.31/241.99	c #Conflicts:      75000 | #Constraints:      39935
241.31/241.99	c #Conflicts:      76000 | #Constraints:      40935
241.31/241.99	c INPROCESSING
241.31/241.99	c GARBAGE COLLECT
241.31/241.99	c rational objective 139
264.06/264.79	c #Conflicts:      77000 | #Constraints:      29628
264.06/264.79	c #Conflicts:      78000 | #Constraints:      30628
264.06/264.79	c #Conflicts:      79000 | #Constraints:      31628
264.06/264.79	c #Conflicts:      80000 | #Constraints:      32628
264.06/264.79	c #Conflicts:      81000 | #Constraints:      33628
264.06/264.79	c #Conflicts:      82000 | #Constraints:      34628
264.06/264.79	c #Conflicts:      83000 | #Constraints:      35628
264.06/264.79	c #Conflicts:      84000 | #Constraints:      36628
264.06/264.79	c INPROCESSING
264.06/264.79	c GARBAGE COLLECT
264.06/264.79	c rational objective 139
324.38/325.23	c #Conflicts:      85000 | #Constraints:      27822
324.38/325.23	c #Conflicts:      86000 | #Constraints:      28822
324.38/325.23	c #Conflicts:      87000 | #Constraints:      29822
324.38/325.23	c #Conflicts:      88000 | #Constraints:      30823
324.38/325.23	c #Conflicts:      89000 | #Constraints:      31823
324.38/325.23	c #Conflicts:      90000 | #Constraints:      32823
324.38/325.23	c #Conflicts:      91000 | #Constraints:      33823
324.38/325.23	c INPROCESSING
324.38/325.23	c GARBAGE COLLECT
324.38/325.23	c rational objective 139
602.29/603.90	c #Conflicts:      92000 | #Constraints:      26283
602.29/603.90	c #Conflicts:      93000 | #Constraints:      27283
602.29/603.90	c #Conflicts:      94000 | #Constraints:      28283
602.29/603.90	c #Conflicts:      95000 | #Constraints:      29283
602.29/603.90	c #Conflicts:      96000 | #Constraints:      30283
602.29/603.90	c #Conflicts:      97000 | #Constraints:      31283
602.29/603.90	c #Conflicts:      98000 | #Constraints:      32283
602.29/603.90	c #Conflicts:      99000 | #Constraints:      33283
602.29/603.90	c #Conflicts:     100000 | #Constraints:      34283
602.29/603.90	c #Conflicts:     101000 | #Constraints:      35283
602.29/603.90	c #Conflicts:     102000 | #Constraints:      36283
602.29/603.90	c #Conflicts:     103000 | #Constraints:      37283
602.29/603.90	c #Conflicts:     104000 | #Constraints:      38284
602.29/603.90	c #Conflicts:     105000 | #Constraints:      39284
602.29/603.90	c #Conflicts:     106000 | #Constraints:      40284
602.29/603.90	c #Conflicts:     107000 | #Constraints:      41284
602.29/603.90	c #Conflicts:     108000 | #Constraints:      42284
602.29/603.90	c #Conflicts:     109000 | #Constraints:      43284
602.29/603.90	c #Conflicts:     110000 | #Constraints:      44284
602.29/603.90	c #Conflicts:     111000 | #Constraints:      45284
602.29/603.90	c #Conflicts:     112000 | #Constraints:      46284
602.29/603.90	c #Conflicts:     113000 | #Constraints:      47284
602.29/603.90	c INPROCESSING
602.29/603.90	c GARBAGE COLLECT
602.29/603.90	c #Conflicts:     114000 | #Constraints:      33005
602.29/603.90	c #Conflicts:     115000 | #Constraints:      34005
602.29/603.90	c #Conflicts:     116000 | #Constraints:      35005
602.29/603.90	c #Conflicts:     117000 | #Constraints:      36005
602.29/603.90	c #Conflicts:     118000 | #Constraints:      37005
602.29/603.90	c #Conflicts:     119000 | #Constraints:      38005
602.29/603.90	c #Conflicts:     120000 | #Constraints:      39005
602.29/603.90	c #Conflicts:     121000 | #Constraints:      40006
602.29/603.90	c #Conflicts:     122000 | #Constraints:      41006
602.29/603.90	c INPROCESSING
602.29/603.90	c GARBAGE COLLECT
602.29/603.90	c #Conflicts:     123000 | #Constraints:      29996
602.29/603.90	c #Conflicts:     124000 | #Constraints:      30996
602.29/603.90	c #Conflicts:     125000 | #Constraints:      31996
602.29/603.90	c #Conflicts:     126000 | #Constraints:      32996
602.29/603.90	c #Conflicts:     127000 | #Constraints:      33996
602.29/603.90	c #Conflicts:     128000 | #Constraints:      34996
602.29/603.90	c #Conflicts:     129000 | #Constraints:      35996
602.29/603.90	c #Conflicts:     130000 | #Constraints:      36996
602.29/603.90	c #Conflicts:     131000 | #Constraints:      37996
602.29/603.90	c INPROCESSING
602.29/603.90	c GARBAGE COLLECT
602.29/603.90	c #Conflicts:     132000 | #Constraints:      29018
602.29/603.90	c #Conflicts:     133000 | #Constraints:      30018
602.29/603.90	c #Conflicts:     134000 | #Constraints:      31018
602.29/603.90	c #Conflicts:     135000 | #Constraints:      32018
602.29/603.90	c #Conflicts:     136000 | #Constraints:      33018
602.29/603.90	c #Conflicts:     137000 | #Constraints:      34018
602.29/603.90	c #Conflicts:     138000 | #Constraints:      35018
602.29/603.90	c #Conflicts:     139000 | #Constraints:      36018
602.29/603.90	c #Conflicts:     140000 | #Constraints:      37019
602.29/603.90	c #Conflicts:     141000 | #Constraints:      38019
602.29/603.90	c #Conflicts:     142000 | #Constraints:      39019
602.29/603.90	c #Conflicts:     143000 | #Constraints:      40019
602.29/603.90	c #Conflicts:     144000 | #Constraints:      41019
602.29/603.90	c #Conflicts:     145000 | #Constraints:      42019
602.29/603.90	c #Conflicts:     146000 | #Constraints:      43019
602.29/603.90	c #Conflicts:     147000 | #Constraints:      44019
602.29/603.90	c #Conflicts:     148000 | #Constraints:      45019
602.29/603.90	c #Conflicts:     149000 | #Constraints:      46019
602.29/603.90	c #Conflicts:     150000 | #Constraints:      47019
602.29/603.90	c #Conflicts:     151000 | #Constraints:      48019
602.29/603.90	c #Conflicts:     152000 | #Constraints:      49020
602.29/603.90	c #Conflicts:     153000 | #Constraints:      50020
602.29/603.90	c #Conflicts:     154000 | #Constraints:      51020
602.29/603.90	c #Conflicts:     155000 | #Constraints:      52020
602.29/603.90	c #Conflicts:     156000 | #Constraints:      53020
602.29/603.90	c #Conflicts:     157000 | #Constraints:      54020
602.29/603.90	c INPROCESSING
602.29/603.90	c GARBAGE COLLECT
602.29/603.90	c rational objective 139
661.02/662.82	c #Conflicts:     158000 | #Constraints:      36391
661.02/662.82	c #Conflicts:     159000 | #Constraints:      37391
661.02/662.82	c #Conflicts:     160000 | #Constraints:      38391
661.02/662.82	c #Conflicts:     161000 | #Constraints:      39391
661.02/662.82	c #Conflicts:     162000 | #Constraints:      40391
661.02/662.82	c #Conflicts:     163000 | #Constraints:      41391
661.02/662.82	c #Conflicts:     164000 | #Constraints:      42392
661.02/662.82	c #Conflicts:     165000 | #Constraints:      43393
661.02/662.82	c #Conflicts:     166000 | #Constraints:      44393
661.02/662.82	c #Conflicts:     167000 | #Constraints:      45393
661.02/662.82	c #Conflicts:     168000 | #Constraints:      46393
661.02/662.82	c INPROCESSING
661.02/662.82	c GARBAGE COLLECT
661.02/662.82	c #Conflicts:     169000 | #Constraints:      33023
661.02/662.82	c #Conflicts:     170000 | #Constraints:      34024
661.02/662.82	c #Conflicts:     171000 | #Constraints:      35024
661.02/662.82	c #Conflicts:     172000 | #Constraints:      36024
661.02/662.82	c #Conflicts:     173000 | #Constraints:      37024
661.02/662.82	c #Conflicts:     174000 | #Constraints:      38024
661.02/662.82	c #Conflicts:     175000 | #Constraints:      39024
661.02/662.82	c #Conflicts:     176000 | #Constraints:      40024
661.02/662.82	c #Conflicts:     177000 | #Constraints:      41024
661.02/662.82	c #Conflicts:     178000 | #Constraints:      42024
661.02/662.82	c INPROCESSING
661.02/662.82	c GARBAGE COLLECT
661.02/662.82	c rational objective 139
788.85/791.03	c #Conflicts:     179000 | #Constraints:      31962
788.85/791.03	c #Conflicts:     180000 | #Constraints:      32962
788.85/791.03	c #Conflicts:     181000 | #Constraints:      33962
788.85/791.03	c #Conflicts:     182000 | #Constraints:      34962
788.85/791.03	c #Conflicts:     183000 | #Constraints:      35962
788.85/791.03	c #Conflicts:     184000 | #Constraints:      36962
788.85/791.03	c #Conflicts:     185000 | #Constraints:      37962
788.85/791.03	c #Conflicts:     186000 | #Constraints:      38962
788.85/791.03	c #Conflicts:     187000 | #Constraints:      39962
788.85/791.03	c #Conflicts:     188000 | #Constraints:      40962
788.85/791.03	c #Conflicts:     189000 | #Constraints:      41962
788.85/791.03	c #Conflicts:     190000 | #Constraints:      42962
788.85/791.03	c #Conflicts:     191000 | #Constraints:      43962
788.85/791.03	c #Conflicts:     192000 | #Constraints:      44962
788.85/791.03	c #Conflicts:     193000 | #Constraints:      45962
788.85/791.03	c #Conflicts:     194000 | #Constraints:      46962
788.85/791.03	c #Conflicts:     195000 | #Constraints:      47962
788.85/791.03	c #Conflicts:     196000 | #Constraints:      48962
788.85/791.03	c #Conflicts:     197000 | #Constraints:      49962
788.85/791.03	c #Conflicts:     198000 | #Constraints:      50962
788.85/791.03	c #Conflicts:     199000 | #Constraints:      51963
788.85/791.03	c #Conflicts:     200000 | #Constraints:      52963
788.85/791.03	c #Conflicts:     201000 | #Constraints:      53963
788.85/791.03	c #Conflicts:     202000 | #Constraints:      54963
788.85/791.03	c #Conflicts:     203000 | #Constraints:      55963
788.85/791.03	c #Conflicts:     204000 | #Constraints:      56963
788.85/791.03	c #Conflicts:     205000 | #Constraints:      57963
788.85/791.03	c #Conflicts:     206000 | #Constraints:      58963
788.85/791.03	c #Conflicts:     207000 | #Constraints:      59963
788.85/791.03	c #Conflicts:     208000 | #Constraints:      60963
788.85/791.03	c #Conflicts:     209000 | #Constraints:      61963
788.85/791.03	c INPROCESSING
788.85/791.03	c GARBAGE COLLECT
788.85/791.03	c rational objective 139
920.77/923.31	c #Conflicts:     210000 | #Constraints:      40774
920.77/923.31	c #Conflicts:     211000 | #Constraints:      41774
920.77/923.31	c #Conflicts:     212000 | #Constraints:      42774
920.77/923.31	c #Conflicts:     213000 | #Constraints:      43774
920.77/923.31	c #Conflicts:     214000 | #Constraints:      44774
920.77/923.31	c #Conflicts:     215000 | #Constraints:      45774
920.77/923.31	c #Conflicts:     216000 | #Constraints:      46774
920.77/923.31	c #Conflicts:     217000 | #Constraints:      47774
920.77/923.31	c #Conflicts:     218000 | #Constraints:      48774
920.77/923.31	c #Conflicts:     219000 | #Constraints:      49775
920.77/923.31	c #Conflicts:     220000 | #Constraints:      50775
920.77/923.31	c INPROCESSING
920.77/923.31	c GARBAGE COLLECT
920.77/923.31	c rational objective 139
1102.75/1105.87	c #Conflicts:     221000 | #Constraints:      34819
1102.75/1105.87	c #Conflicts:     222000 | #Constraints:      35819
1102.75/1105.87	c #Conflicts:     223000 | #Constraints:      36819
1102.75/1105.87	c #Conflicts:     224000 | #Constraints:      37819
1102.75/1105.87	c #Conflicts:     225000 | #Constraints:      38819
1102.75/1105.87	c #Conflicts:     226000 | #Constraints:      39819
1102.75/1105.87	c #Conflicts:     227000 | #Constraints:      40819
1102.75/1105.87	c #Conflicts:     228000 | #Constraints:      41819
1102.75/1105.87	c #Conflicts:     229000 | #Constraints:      42819
1102.75/1105.87	c #Conflicts:     230000 | #Constraints:      43819
1102.75/1105.87	c #Conflicts:     231000 | #Constraints:      44819
1102.75/1105.87	c #Conflicts:     232000 | #Constraints:      45819
1102.75/1105.87	c INPROCESSING
1102.75/1105.87	c GARBAGE COLLECT
1102.75/1105.87	c #Conflicts:     233000 | #Constraints:      33883
1102.75/1105.87	c #Conflicts:     234000 | #Constraints:      34883
1102.75/1105.87	c #Conflicts:     235000 | #Constraints:      35883
1102.75/1105.87	c #Conflicts:     236000 | #Constraints:      36884
1102.75/1105.87	c #Conflicts:     237000 | #Constraints:      37884
1102.75/1105.87	c #Conflicts:     238000 | #Constraints:      38884
1102.75/1105.87	c #Conflicts:     239000 | #Constraints:      39884
1102.75/1105.87	c #Conflicts:     240000 | #Constraints:      40884
1102.75/1105.87	c #Conflicts:     241000 | #Constraints:      41884
1102.75/1105.87	c #Conflicts:     242000 | #Constraints:      42884
1102.75/1105.87	c #Conflicts:     243000 | #Constraints:      43884
1102.75/1105.87	c #Conflicts:     244000 | #Constraints:      44884
1102.75/1105.87	c #Conflicts:     245000 | #Constraints:      45884
1102.75/1105.87	c #Conflicts:     246000 | #Constraints:      46884
1102.75/1105.87	c #Conflicts:     247000 | #Constraints:      47884
1102.75/1105.87	c #Conflicts:     248000 | #Constraints:      48884
1102.75/1105.87	c #Conflicts:     249000 | #Constraints:      49884
1102.75/1105.87	c #Conflicts:     250000 | #Constraints:      50884
1102.75/1105.87	c #Conflicts:     251000 | #Constraints:      51884
1102.75/1105.87	c #Conflicts:     252000 | #Constraints:      52884
1102.75/1105.87	c #Conflicts:     253000 | #Constraints:      53884
1102.75/1105.87	c #Conflicts:     254000 | #Constraints:      54884
1102.75/1105.87	c #Conflicts:     255000 | #Constraints:      55884
1102.75/1105.87	c #Conflicts:     256000 | #Constraints:      56884
1102.75/1105.87	c #Conflicts:     257000 | #Constraints:      57885
1102.75/1105.87	c #Conflicts:     258000 | #Constraints:      58885
1102.75/1105.87	c #Conflicts:     259000 | #Constraints:      59885
1102.75/1105.87	c #Conflicts:     260000 | #Constraints:      60885
1102.75/1105.87	c #Conflicts:     261000 | #Constraints:      61885
1102.75/1105.87	c #Conflicts:     262000 | #Constraints:      62885
1102.75/1105.87	c #Conflicts:     263000 | #Constraints:      63885
1102.75/1105.87	c #Conflicts:     264000 | #Constraints:      64885
1102.75/1105.87	c #Conflicts:     265000 | #Constraints:      65885
1102.75/1105.87	c #Conflicts:     266000 | #Constraints:      66885
1102.75/1105.87	c #Conflicts:     267000 | #Constraints:      67885
1102.75/1105.87	c INPROCESSING
1102.75/1105.87	c GARBAGE COLLECT
1102.75/1105.87	c rational objective 139
1299.98/1303.66	c #Conflicts:     268000 | #Constraints:      43724
1299.98/1303.66	c #Conflicts:     269000 | #Constraints:      44724
1299.98/1303.66	c #Conflicts:     270000 | #Constraints:      45725
1299.98/1303.66	c #Conflicts:     271000 | #Constraints:      46725
1299.98/1303.66	c #Conflicts:     272000 | #Constraints:      47725
1299.98/1303.66	c #Conflicts:     273000 | #Constraints:      48725
1299.98/1303.66	c #Conflicts:     274000 | #Constraints:      49725
1299.98/1303.66	c #Conflicts:     275000 | #Constraints:      50725
1299.98/1303.66	c #Conflicts:     276000 | #Constraints:      51725
1299.98/1303.66	c #Conflicts:     277000 | #Constraints:      52725
1299.98/1303.66	c #Conflicts:     278000 | #Constraints:      53725
1299.98/1303.66	c #Conflicts:     279000 | #Constraints:      54725
1299.98/1303.66	c #Conflicts:     280000 | #Constraints:      55725
1299.98/1303.66	c INPROCESSING
1299.98/1303.66	c GARBAGE COLLECT
1299.98/1303.66	c #Conflicts:     281000 | #Constraints:      37352
1299.98/1303.66	c #Conflicts:     282000 | #Constraints:      38352
1299.98/1303.66	c #Conflicts:     283000 | #Constraints:      39352
1299.98/1303.66	c #Conflicts:     284000 | #Constraints:      40352
1299.98/1303.66	c #Conflicts:     285000 | #Constraints:      41353
1299.98/1303.66	c #Conflicts:     286000 | #Constraints:      42353
1299.98/1303.66	c #Conflicts:     287000 | #Constraints:      43353
1299.98/1303.66	c #Conflicts:     288000 | #Constraints:      44353
1299.98/1303.66	c #Conflicts:     289000 | #Constraints:      45353
1299.98/1303.66	c #Conflicts:     290000 | #Constraints:      46353
1299.98/1303.66	c #Conflicts:     291000 | #Constraints:      47353
1299.98/1303.66	c #Conflicts:     292000 | #Constraints:      48353
1299.98/1303.66	c #Conflicts:     293000 | #Constraints:      49353
1299.98/1303.66	c #Conflicts:     294000 | #Constraints:      50353
1299.98/1303.66	c #Conflicts:     295000 | #Constraints:      51353
1299.98/1303.66	c #Conflicts:     296000 | #Constraints:      52353
1299.98/1303.66	c #Conflicts:     297000 | #Constraints:      53353
1299.98/1303.66	c #Conflicts:     298000 | #Constraints:      54353
1299.98/1303.66	c #Conflicts:     299000 | #Constraints:      55353
1299.98/1303.66	c #Conflicts:     300000 | #Constraints:      56353
1299.98/1303.66	c #Conflicts:     301000 | #Constraints:      57353
1299.98/1303.66	c #Conflicts:     302000 | #Constraints:      58353
1299.98/1303.66	c #Conflicts:     303000 | #Constraints:      59353
1299.98/1303.66	c #Conflicts:     304000 | #Constraints:      60353
1299.98/1303.66	c #Conflicts:     305000 | #Constraints:      61353
1299.98/1303.66	c #Conflicts:     306000 | #Constraints:      62353
1299.98/1303.66	c #Conflicts:     307000 | #Constraints:      63353
1299.98/1303.66	c #Conflicts:     308000 | #Constraints:      64353
1299.98/1303.66	c #Conflicts:     309000 | #Constraints:      65353
1299.98/1303.66	c #Conflicts:     310000 | #Constraints:      66353
1299.98/1303.66	c #Conflicts:     311000 | #Constraints:      67353
1299.98/1303.66	c #Conflicts:     312000 | #Constraints:      68353
1299.98/1303.66	c #Conflicts:     313000 | #Constraints:      69353
1299.98/1303.66	c #Conflicts:     314000 | #Constraints:      70353
1299.98/1303.66	c #Conflicts:     315000 | #Constraints:      71353
1299.98/1303.66	c #Conflicts:     316000 | #Constraints:      72353
1299.98/1303.66	c #Conflicts:     317000 | #Constraints:      73353
1299.98/1303.66	c #Conflicts:     318000 | #Constraints:      74353
1299.98/1303.66	c INPROCESSING
1299.98/1303.66	c GARBAGE COLLECT
1299.98/1303.66	c #Conflicts:     319000 | #Constraints:      46764
1299.98/1303.66	c #Conflicts:     320000 | #Constraints:      47764
1299.98/1303.66	c #Conflicts:     321000 | #Constraints:      48764
1299.98/1303.66	c #Conflicts:     322000 | #Constraints:      49764
1299.98/1303.66	c #Conflicts:     323000 | #Constraints:      50764
1299.98/1303.66	c #Conflicts:     324000 | #Constraints:      51764
1299.98/1303.66	c #Conflicts:     325000 | #Constraints:      52764
1299.98/1303.66	c #Conflicts:     326000 | #Constraints:      53764
1299.98/1303.66	c #Conflicts:     327000 | #Constraints:      54764
1299.98/1303.66	c #Conflicts:     328000 | #Constraints:      55764
1299.98/1303.66	c #Conflicts:     329000 | #Constraints:      56764
1299.98/1303.66	c #Conflicts:     330000 | #Constraints:      57764
1299.98/1303.66	c #Conflicts:     331000 | #Constraints:      58764
1299.98/1303.66	c #Conflicts:     332000 | #Constraints:      59764
1299.98/1303.66	c #Conflicts:     333000 | #Constraints:      60764
1299.98/1303.66	c INPROCESSING
1299.98/1303.66	c GARBAGE COLLECT
1299.98/1303.66	c #Conflicts:     334000 | #Constraints:      40155
1299.98/1303.66	c #Conflicts:     335000 | #Constraints:      41155
1299.98/1303.66	c #Conflicts:     336000 | #Constraints:      42155
1299.98/1303.66	c #Conflicts:     337000 | #Constraints:      43155
1299.98/1303.66	c #Conflicts:     338000 | #Constraints:      44155
1299.98/1303.66	c #Conflicts:     339000 | #Constraints:      45155
1299.98/1303.66	c #Conflicts:     340000 | #Constraints:      46155
1299.98/1303.66	c #Conflicts:     341000 | #Constraints:      47155
1299.98/1303.66	c #Conflicts:     342000 | #Constraints:      48155
1299.98/1303.66	c #Conflicts:     343000 | #Constraints:      49155
1299.98/1303.66	c #Conflicts:     344000 | #Constraints:      50155
1434.80/1438.81	c #Conflicts:     345000 | #Constraints:      51155
1434.80/1438.81	c #Conflicts:     346000 | #Constraints:      52155
1434.80/1438.81	c #Conflicts:     347000 | #Constraints:      53155
1434.80/1438.81	c #Conflicts:     348000 | #Constraints:      54156
1434.80/1438.81	c #Conflicts:     349000 | #Constraints:      55156
1434.80/1438.81	c #Conflicts:     350000 | #Constraints:      56156
1434.80/1438.81	c #Conflicts:     351000 | #Constraints:      57156
1434.80/1438.81	c #Conflicts:     352000 | #Constraints:      58156
1434.80/1438.81	c #Conflicts:     353000 | #Constraints:      59156
1434.80/1438.81	c #Conflicts:     354000 | #Constraints:      60156
1434.80/1438.81	c #Conflicts:     355000 | #Constraints:      61156
1434.80/1438.81	c #Conflicts:     356000 | #Constraints:      62156
1434.80/1438.81	c #Conflicts:     357000 | #Constraints:      63156
1434.80/1438.81	c #Conflicts:     358000 | #Constraints:      64156
1434.80/1438.81	c #Conflicts:     359000 | #Constraints:      65156
1434.80/1438.81	c #Conflicts:     360000 | #Constraints:      66156
1434.80/1438.81	c #Conflicts:     361000 | #Constraints:      67156
1434.80/1438.81	c #Conflicts:     362000 | #Constraints:      68156
1434.80/1438.81	c #Conflicts:     363000 | #Constraints:      69156
1434.80/1438.81	c #Conflicts:     364000 | #Constraints:      70157
1434.80/1438.81	c #Conflicts:     365000 | #Constraints:      71157
1434.80/1438.81	c #Conflicts:     366000 | #Constraints:      72157
1434.80/1438.81	c #Conflicts:     367000 | #Constraints:      73157
1434.80/1438.81	c #Conflicts:     368000 | #Constraints:      74158
1434.80/1438.81	c #Conflicts:     369000 | #Constraints:      75158
1434.80/1438.81	c #Conflicts:     370000 | #Constraints:      76158
1434.80/1438.81	c #Conflicts:     371000 | #Constraints:      77158
1434.80/1438.81	c #Conflicts:     372000 | #Constraints:      78158
1434.80/1438.81	c #Conflicts:     373000 | #Constraints:      79158
1434.80/1438.81	c #Conflicts:     374000 | #Constraints:      80158
1434.80/1438.81	c INPROCESSING
1434.80/1438.81	c GARBAGE COLLECT
1434.80/1438.81	c rational objective 139
1581.47/1585.96	c #Conflicts:     375000 | #Constraints:      50168
1581.47/1585.96	c #Conflicts:     376000 | #Constraints:      51168
1581.47/1585.96	c #Conflicts:     377000 | #Constraints:      52168
1581.47/1585.96	c #Conflicts:     378000 | #Constraints:      53168
1581.47/1585.96	c #Conflicts:     379000 | #Constraints:      54168
1581.47/1585.96	c #Conflicts:     380000 | #Constraints:      55168
1581.47/1585.96	c #Conflicts:     381000 | #Constraints:      56168
1581.47/1585.96	c #Conflicts:     382000 | #Constraints:      57168
1581.47/1585.96	c #Conflicts:     383000 | #Constraints:      58169
1581.47/1585.96	c #Conflicts:     384000 | #Constraints:      59169
1581.47/1585.96	c #Conflicts:     385000 | #Constraints:      60169
1581.47/1585.96	c #Conflicts:     386000 | #Constraints:      61169
1581.47/1585.96	c #Conflicts:     387000 | #Constraints:      62169
1581.47/1585.96	c #Conflicts:     388000 | #Constraints:      63169
1581.47/1585.96	c #Conflicts:     389000 | #Constraints:      64169
1581.47/1585.96	c #Conflicts:     390000 | #Constraints:      65169
1581.47/1585.96	c INPROCESSING
1581.47/1585.96	c GARBAGE COLLECT
1581.47/1585.96	c rational objective 139
1733.53/1738.41	c #Conflicts:     391000 | #Constraints:      42705
1733.53/1738.41	c #Conflicts:     392000 | #Constraints:      43705
1733.53/1738.41	c #Conflicts:     393000 | #Constraints:      44705
1733.53/1738.41	c #Conflicts:     394000 | #Constraints:      45705
1733.53/1738.41	c #Conflicts:     395000 | #Constraints:      46705
1733.53/1738.41	c #Conflicts:     396000 | #Constraints:      47705
1733.53/1738.41	c #Conflicts:     397000 | #Constraints:      48705
1733.53/1738.41	c #Conflicts:     398000 | #Constraints:      49705
1733.53/1738.41	c #Conflicts:     399000 | #Constraints:      50706
1733.53/1738.41	c #Conflicts:     400000 | #Constraints:      51706
1733.53/1738.41	c #Conflicts:     401000 | #Constraints:      52706
1733.53/1738.41	c #Conflicts:     402000 | #Constraints:      53706
1733.53/1738.41	c #Conflicts:     403000 | #Constraints:      54706
1733.53/1738.41	c #Conflicts:     404000 | #Constraints:      55706
1733.53/1738.41	c #Conflicts:     405000 | #Constraints:      56706
1733.53/1738.41	c #Conflicts:     406000 | #Constraints:      57706
1733.53/1738.41	c #Conflicts:     407000 | #Constraints:      58706
1733.53/1738.41	c #Conflicts:     408000 | #Constraints:      59706
1733.53/1738.41	c #Conflicts:     409000 | #Constraints:      60706
1733.53/1738.41	c #Conflicts:     410000 | #Constraints:      61706
1733.53/1738.41	c #Conflicts:     411000 | #Constraints:      62706
1733.53/1738.41	c #Conflicts:     412000 | #Constraints:      63706
1733.53/1738.41	c #Conflicts:     413000 | #Constraints:      64706
1733.53/1738.41	c #Conflicts:     414000 | #Constraints:      65707
1733.53/1738.41	c #Conflicts:     415000 | #Constraints:      66707
1733.53/1738.41	c #Conflicts:     416000 | #Constraints:      67707
1733.53/1738.41	c #Conflicts:     417000 | #Constraints:      68707
1733.53/1738.41	c #Conflicts:     418000 | #Constraints:      69707
1733.53/1738.41	c #Conflicts:     419000 | #Constraints:      70707
1733.53/1738.41	c #Conflicts:     420000 | #Constraints:      71707
1733.53/1738.41	c #Conflicts:     421000 | #Constraints:      72707
1733.53/1738.41	c #Conflicts:     422000 | #Constraints:      73707
1733.53/1738.41	c #Conflicts:     423000 | #Constraints:      74707
1733.53/1738.41	c #Conflicts:     424000 | #Constraints:      75707
1733.53/1738.41	c #Conflicts:     425000 | #Constraints:      76707
1733.53/1738.41	c #Conflicts:     426000 | #Constraints:      77707
1733.53/1738.41	c #Conflicts:     427000 | #Constraints:      78707
1733.53/1738.41	c #Conflicts:     428000 | #Constraints:      79707
1733.53/1738.41	c #Conflicts:     429000 | #Constraints:      80707
1733.53/1738.41	c #Conflicts:     430000 | #Constraints:      81707
1733.53/1738.41	c #Conflicts:     431000 | #Constraints:      82707
1733.53/1738.41	c #Conflicts:     432000 | #Constraints:      83707
1733.53/1738.41	c #Conflicts:     433000 | #Constraints:      84707
1733.53/1738.41	c #Conflicts:     434000 | #Constraints:      85707
1733.53/1738.41	c INPROCESSING
1733.53/1738.41	c GARBAGE COLLECT
1733.53/1738.41	c rational objective 139
1834.38/1839.53	c #Conflicts:     435000 | #Constraints:      52778
1834.38/1839.53	c #Conflicts:     436000 | #Constraints:      53779
1834.38/1839.53	c #Conflicts:     437000 | #Constraints:      54779
1834.38/1839.53	c #Conflicts:     438000 | #Constraints:      55779
1834.38/1839.53	c #Conflicts:     439000 | #Constraints:      56779
1834.38/1839.53	c #Conflicts:     440000 | #Constraints:      57779
1834.38/1839.53	c #Conflicts:     441000 | #Constraints:      58779
1834.38/1839.53	c #Conflicts:     442000 | #Constraints:      59779
1834.38/1839.53	c #Conflicts:     443000 | #Constraints:      60779
1834.38/1839.53	c #Conflicts:     444000 | #Constraints:      61779
1834.38/1839.53	c #Conflicts:     445000 | #Constraints:      62779
1834.38/1839.53	c #Conflicts:     446000 | #Constraints:      63779
1834.38/1839.53	c #Conflicts:     447000 | #Constraints:      64779
1834.38/1839.53	c #Conflicts:     448000 | #Constraints:      65779
1834.38/1839.53	c #Conflicts:     449000 | #Constraints:      66779
1834.38/1839.53	c #Conflicts:     450000 | #Constraints:      67779
1834.38/1839.53	c #Conflicts:     451000 | #Constraints:      68779
1834.38/1839.53	c INPROCESSING
1834.38/1839.53	c GARBAGE COLLECT
1834.38/1839.53	c rational objective 139
2267.22/2273.42	c #Conflicts:     452000 | #Constraints:      44426
2267.22/2273.42	c #Conflicts:     453000 | #Constraints:      45427
2267.22/2273.42	c #Conflicts:     454000 | #Constraints:      46427
2267.22/2273.42	c #Conflicts:     455000 | #Constraints:      47427
2267.22/2273.42	c #Conflicts:     456000 | #Constraints:      48427
2267.22/2273.42	c #Conflicts:     457000 | #Constraints:      49427
2267.22/2273.42	c #Conflicts:     458000 | #Constraints:      50427
2267.22/2273.42	c #Conflicts:     459000 | #Constraints:      51427
2267.22/2273.42	c #Conflicts:     460000 | #Constraints:      52427
2267.22/2273.42	c #Conflicts:     461000 | #Constraints:      53427
2267.22/2273.42	c #Conflicts:     462000 | #Constraints:      54427
2267.22/2273.42	c #Conflicts:     463000 | #Constraints:      55427
2267.22/2273.42	c #Conflicts:     464000 | #Constraints:      56427
2267.22/2273.42	c #Conflicts:     465000 | #Constraints:      57427
2267.22/2273.42	c #Conflicts:     466000 | #Constraints:      58427
2267.22/2273.42	c #Conflicts:     467000 | #Constraints:      59427
2267.22/2273.42	c #Conflicts:     468000 | #Constraints:      60427
2267.22/2273.42	c #Conflicts:     469000 | #Constraints:      61427
2267.22/2273.42	c #Conflicts:     470000 | #Constraints:      62428
2267.22/2273.42	c #Conflicts:     471000 | #Constraints:      63428
2267.22/2273.42	c #Conflicts:     472000 | #Constraints:      64428
2267.22/2273.42	c #Conflicts:     473000 | #Constraints:      65428
2267.22/2273.42	c #Conflicts:     474000 | #Constraints:      66428
2267.22/2273.42	c #Conflicts:     475000 | #Constraints:      67428
2267.22/2273.42	c #Conflicts:     476000 | #Constraints:      68428
2267.22/2273.42	c #Conflicts:     477000 | #Constraints:      69428
2267.22/2273.42	c #Conflicts:     478000 | #Constraints:      70428
2267.22/2273.42	c #Conflicts:     479000 | #Constraints:      71428
2267.22/2273.42	c #Conflicts:     480000 | #Constraints:      72428
2267.22/2273.42	c #Conflicts:     481000 | #Constraints:      73428
2267.22/2273.42	c #Conflicts:     482000 | #Constraints:      74428
2267.22/2273.42	c #Conflicts:     483000 | #Constraints:      75428
2267.22/2273.42	c #Conflicts:     484000 | #Constraints:      76428
2267.22/2273.42	c #Conflicts:     485000 | #Constraints:      77430
2267.22/2273.42	c #Conflicts:     486000 | #Constraints:      78430
2267.22/2273.42	c #Conflicts:     487000 | #Constraints:      79430
2267.22/2273.42	c #Conflicts:     488000 | #Constraints:      80431
2267.22/2273.42	c #Conflicts:     489000 | #Constraints:      81431
2267.22/2273.42	c #Conflicts:     490000 | #Constraints:      82431
2267.22/2273.42	c #Conflicts:     491000 | #Constraints:      83431
2267.22/2273.42	c #Conflicts:     492000 | #Constraints:      84432
2267.22/2273.42	c #Conflicts:     493000 | #Constraints:      85432
2267.22/2273.42	c #Conflicts:     494000 | #Constraints:      86432
2267.22/2273.42	c #Conflicts:     495000 | #Constraints:      87432
2267.22/2273.42	c #Conflicts:     496000 | #Constraints:      88432
2267.22/2273.42	c #Conflicts:     497000 | #Constraints:      89432
2267.22/2273.42	c #Conflicts:     498000 | #Constraints:      90433
2267.22/2273.42	c INPROCESSING
2267.22/2273.42	c GARBAGE COLLECT
2267.22/2273.42	c rational objective 139
2465.07/2471.77	c #Conflicts:     499000 | #Constraints:      55062
2465.07/2471.77	c #Conflicts:     500000 | #Constraints:      56062
2465.07/2471.77	c #Conflicts:     501000 | #Constraints:      57062
2465.07/2471.77	c #Conflicts:     502000 | #Constraints:      58062
2465.07/2471.77	c #Conflicts:     503000 | #Constraints:      59062
2465.07/2471.77	c #Conflicts:     504000 | #Constraints:      60062
2465.07/2471.77	c #Conflicts:     505000 | #Constraints:      61062
2465.07/2471.77	c #Conflicts:     506000 | #Constraints:      62062
2465.07/2471.77	c #Conflicts:     507000 | #Constraints:      63062
2465.07/2471.77	c #Conflicts:     508000 | #Constraints:      64062
2465.07/2471.77	c #Conflicts:     509000 | #Constraints:      65062
2465.07/2471.77	c #Conflicts:     510000 | #Constraints:      66062
2465.07/2471.77	c #Conflicts:     511000 | #Constraints:      67062
2465.07/2471.77	c #Conflicts:     512000 | #Constraints:      68062
2465.07/2471.77	c #Conflicts:     513000 | #Constraints:      69063
2465.07/2471.77	c #Conflicts:     514000 | #Constraints:      70063
2465.07/2471.77	c #Conflicts:     515000 | #Constraints:      71063
2465.07/2471.77	c #Conflicts:     516000 | #Constraints:      72063
2465.07/2471.77	c INPROCESSING
2465.07/2471.77	c GARBAGE COLLECT
2465.07/2471.77	c #Conflicts:     517000 | #Constraints:      45855
2465.07/2471.77	c #Conflicts:     518000 | #Constraints:      46855
2465.07/2471.77	c #Conflicts:     519000 | #Constraints:      47855
2465.07/2471.77	c #Conflicts:     520000 | #Constraints:      48855
2465.07/2471.77	c #Conflicts:     521000 | #Constraints:      49855
2465.07/2471.77	c #Conflicts:     522000 | #Constraints:      50855
2465.07/2471.77	c #Conflicts:     523000 | #Constraints:      51855
2465.07/2471.77	c #Conflicts:     524000 | #Constraints:      52855
2465.07/2471.77	c #Conflicts:     525000 | #Constraints:      53855
2465.07/2471.77	c #Conflicts:     526000 | #Constraints:      54855
2465.07/2471.77	c #Conflicts:     527000 | #Constraints:      55855
2465.07/2471.77	c #Conflicts:     528000 | #Constraints:      56855
2465.07/2471.77	c #Conflicts:     529000 | #Constraints:      57855
2465.07/2471.77	c #Conflicts:     530000 | #Constraints:      58855
2465.07/2471.77	c #Conflicts:     531000 | #Constraints:      59855
2465.07/2471.77	c #Conflicts:     532000 | #Constraints:      60855
2465.07/2471.77	c #Conflicts:     533000 | #Constraints:      61855
2465.07/2471.77	c #Conflicts:     534000 | #Constraints:      62855
2465.07/2471.77	c #Conflicts:     535000 | #Constraints:      63855
2465.07/2471.77	c INPROCESSING
2465.07/2471.77	c GARBAGE COLLECT
2465.07/2471.77	c #Conflicts:     536000 | #Constraints:      44920
2465.07/2471.77	c #Conflicts:     537000 | #Constraints:      45920
2465.07/2471.77	c #Conflicts:     538000 | #Constraints:      46920
2465.07/2471.77	c #Conflicts:     539000 | #Constraints:      47920
2465.07/2471.77	c #Conflicts:     540000 | #Constraints:      48920
2465.07/2471.77	c #Conflicts:     541000 | #Constraints:      49920
2465.07/2471.77	c #Conflicts:     542000 | #Constraints:      50920
2465.07/2471.77	c #Conflicts:     543000 | #Constraints:      51920
2465.07/2471.77	c #Conflicts:     544000 | #Constraints:      52920
2465.07/2471.77	c #Conflicts:     545000 | #Constraints:      53920
2465.07/2471.77	c #Conflicts:     546000 | #Constraints:      54920
2465.07/2471.77	c #Conflicts:     547000 | #Constraints:      55920
2465.07/2471.77	c #Conflicts:     548000 | #Constraints:      56920
2465.07/2471.77	c #Conflicts:     549000 | #Constraints:      57920
2465.07/2471.77	c #Conflicts:     550000 | #Constraints:      58920
2465.07/2471.77	c #Conflicts:     551000 | #Constraints:      59920
2465.07/2471.77	c #Conflicts:     552000 | #Constraints:      60920
2465.07/2471.77	c #Conflicts:     553000 | #Constraints:      61920
2465.07/2471.77	c #Conflicts:     554000 | #Constraints:      62920
2465.07/2471.77	c #Conflicts:     555000 | #Constraints:      63920
2465.07/2471.77	c #Conflicts:     556000 | #Constraints:      64920
2465.07/2471.77	c #Conflicts:     557000 | #Constraints:      65920
2465.07/2471.77	c #Conflicts:     558000 | #Constraints:      66920
2465.07/2471.77	c #Conflicts:     559000 | #Constraints:      67920
2465.07/2471.77	c #Conflicts:     560000 | #Constraints:      68920
2465.07/2471.77	c #Conflicts:     561000 | #Constraints:      69920
2465.07/2471.77	c #Conflicts:     562000 | #Constraints:      70920
2465.07/2471.77	c #Conflicts:     563000 | #Constraints:      71920
2465.07/2471.77	c #Conflicts:     564000 | #Constraints:      72920
2465.07/2471.77	c #Conflicts:     565000 | #Constraints:      73920
2465.07/2471.77	c #Conflicts:     566000 | #Constraints:      74920
2465.07/2471.77	c #Conflicts:     567000 | #Constraints:      75920
2465.07/2471.77	c #Conflicts:     568000 | #Constraints:      76920
2465.07/2471.77	c #Conflicts:     569000 | #Constraints:      77920
2465.07/2471.77	c #Conflicts:     570000 | #Constraints:      78920
2465.07/2471.77	c #Conflicts:     571000 | #Constraints:      79920
2465.07/2471.77	c #Conflicts:     572000 | #Constraints:      80920
2465.07/2471.77	c #Conflicts:     573000 | #Constraints:      81920
2465.07/2471.77	c #Conflicts:     574000 | #Constraints:      82920
2465.07/2471.77	c #Conflicts:     575000 | #Constraints:      83921
2465.07/2471.77	c #Conflicts:     576000 | #Constraints:      84921
2886.72/2894.43	c #Conflicts:     577000 | #Constraints:      85921
2886.72/2894.43	c #Conflicts:     578000 | #Constraints:      86921
2886.72/2894.43	c #Conflicts:     579000 | #Constraints:      87921
2886.72/2894.43	c #Conflicts:     580000 | #Constraints:      88921
2886.72/2894.43	c #Conflicts:     581000 | #Constraints:      89921
2886.72/2894.43	c #Conflicts:     582000 | #Constraints:      90922
2886.72/2894.43	c #Conflicts:     583000 | #Constraints:      91922
2886.72/2894.43	c #Conflicts:     584000 | #Constraints:      92922
2886.72/2894.43	c #Conflicts:     585000 | #Constraints:      93922
2886.72/2894.43	c #Conflicts:     586000 | #Constraints:      94923
2886.72/2894.43	c INPROCESSING
2886.72/2894.43	c GARBAGE COLLECT
2886.72/2894.43	c #Conflicts:     587000 | #Constraints:      57299
2886.72/2894.43	c #Conflicts:     588000 | #Constraints:      58299
2886.72/2894.43	c #Conflicts:     589000 | #Constraints:      59299
2886.72/2894.43	c #Conflicts:     590000 | #Constraints:      60299
2886.72/2894.43	c #Conflicts:     591000 | #Constraints:      61299
2886.72/2894.43	c #Conflicts:     592000 | #Constraints:      62299
2886.72/2894.43	c #Conflicts:     593000 | #Constraints:      63299
2886.72/2894.43	c #Conflicts:     594000 | #Constraints:      64299
2886.72/2894.43	c #Conflicts:     595000 | #Constraints:      65299
2886.72/2894.43	c #Conflicts:     596000 | #Constraints:      66299
2886.72/2894.43	c #Conflicts:     597000 | #Constraints:      67299
2886.72/2894.43	c #Conflicts:     598000 | #Constraints:      68299
2886.72/2894.43	c #Conflicts:     599000 | #Constraints:      69299
2886.72/2894.43	c #Conflicts:     600000 | #Constraints:      70300
2886.72/2894.43	c #Conflicts:     601000 | #Constraints:      71300
2886.72/2894.43	c #Conflicts:     602000 | #Constraints:      72300
2886.72/2894.43	c #Conflicts:     603000 | #Constraints:      73300
2886.72/2894.43	c #Conflicts:     604000 | #Constraints:      74300
2886.72/2894.43	c #Conflicts:     605000 | #Constraints:      75300
2886.72/2894.43	c #Conflicts:     606000 | #Constraints:      76300
2886.72/2894.43	c INPROCESSING
2886.72/2894.43	c GARBAGE COLLECT
2886.72/2894.43	c #Conflicts:     607000 | #Constraints:      47892
2886.72/2894.43	c #Conflicts:     608000 | #Constraints:      48892
2886.72/2894.43	c #Conflicts:     609000 | #Constraints:      49892
2886.72/2894.43	c #Conflicts:     610000 | #Constraints:      50892
2886.72/2894.43	c #Conflicts:     611000 | #Constraints:      51892
2886.72/2894.43	c #Conflicts:     612000 | #Constraints:      52892
2886.72/2894.43	c #Conflicts:     613000 | #Constraints:      53892
2886.72/2894.43	c #Conflicts:     614000 | #Constraints:      54892
2886.72/2894.43	c #Conflicts:     615000 | #Constraints:      55892
2886.72/2894.43	c #Conflicts:     616000 | #Constraints:      56892
2886.72/2894.43	c #Conflicts:     617000 | #Constraints:      57892
2886.72/2894.43	c #Conflicts:     618000 | #Constraints:      58892
2886.72/2894.43	c #Conflicts:     619000 | #Constraints:      59892
2886.72/2894.43	c #Conflicts:     620000 | #Constraints:      60892
2886.72/2894.43	c #Conflicts:     621000 | #Constraints:      61892
2886.72/2894.43	c #Conflicts:     622000 | #Constraints:      62892
2886.72/2894.43	c #Conflicts:     623000 | #Constraints:      63892
2886.72/2894.43	c #Conflicts:     624000 | #Constraints:      64892
2886.72/2894.43	c #Conflicts:     625000 | #Constraints:      65893
2886.72/2894.43	c #Conflicts:     626000 | #Constraints:      66893
2886.72/2894.43	c #Conflicts:     627000 | #Constraints:      67893
2886.72/2894.43	c #Conflicts:     628000 | #Constraints:      68893
2886.72/2894.43	c #Conflicts:     629000 | #Constraints:      69893
2886.72/2894.43	c #Conflicts:     630000 | #Constraints:      70893
2886.72/2894.43	c #Conflicts:     631000 | #Constraints:      71893
2886.72/2894.43	c #Conflicts:     632000 | #Constraints:      72893
2886.72/2894.43	c #Conflicts:     633000 | #Constraints:      73893
2886.72/2894.43	c #Conflicts:     634000 | #Constraints:      74893
2886.72/2894.43	c #Conflicts:     635000 | #Constraints:      75893
2886.72/2894.43	c #Conflicts:     636000 | #Constraints:      76893
2886.72/2894.43	c #Conflicts:     637000 | #Constraints:      77893
2886.72/2894.43	c #Conflicts:     638000 | #Constraints:      78893
2886.72/2894.43	c #Conflicts:     639000 | #Constraints:      79893
2886.72/2894.43	c #Conflicts:     640000 | #Constraints:      80893
2886.72/2894.43	c #Conflicts:     641000 | #Constraints:      81894
2886.72/2894.43	c #Conflicts:     642000 | #Constraints:      82894
2886.72/2894.43	c #Conflicts:     643000 | #Constraints:      83894
2886.72/2894.43	c #Conflicts:     644000 | #Constraints:      84894
2886.72/2894.43	c #Conflicts:     645000 | #Constraints:      85894
2886.72/2894.43	c #Conflicts:     646000 | #Constraints:      86894
2886.72/2894.43	c #Conflicts:     647000 | #Constraints:      87894
2886.72/2894.43	c #Conflicts:     648000 | #Constraints:      88894
2886.72/2894.43	c #Conflicts:     649000 | #Constraints:      89894
2886.72/2894.43	c #Conflicts:     650000 | #Constraints:      90894
2886.72/2894.43	c #Conflicts:     651000 | #Constraints:      91894
2886.72/2894.43	c #Conflicts:     652000 | #Constraints:      92894
2886.72/2894.43	c #Conflicts:     653000 | #Constraints:      93894
3114.47/3122.85	c #Conflicts:     654000 | #Constraints:      94894
3114.47/3122.85	c #Conflicts:     655000 | #Constraints:      95894
3114.47/3122.85	c #Conflicts:     656000 | #Constraints:      96895
3114.47/3122.85	c #Conflicts:     657000 | #Constraints:      97895
3114.47/3122.85	c #Conflicts:     658000 | #Constraints:      98895
3114.47/3122.85	c #Conflicts:     659000 | #Constraints:      99895
3114.47/3122.85	c #Conflicts:     660000 | #Constraints:     100895
3114.47/3122.85	c #Conflicts:     661000 | #Constraints:     101895
3114.47/3122.85	c INPROCESSING
3114.47/3122.85	c GARBAGE COLLECT
3114.47/3122.85	c #Conflicts:     662000 | #Constraints:      61016
3114.47/3122.85	c #Conflicts:     663000 | #Constraints:      62016
3114.47/3122.85	c #Conflicts:     664000 | #Constraints:      63016
3114.47/3122.85	c #Conflicts:     665000 | #Constraints:      64016
3114.47/3122.85	c #Conflicts:     666000 | #Constraints:      65016
3114.47/3122.85	c #Conflicts:     667000 | #Constraints:      66016
3114.47/3122.85	c #Conflicts:     668000 | #Constraints:      67016
3114.47/3122.85	c #Conflicts:     669000 | #Constraints:      68016
3114.47/3122.85	c #Conflicts:     670000 | #Constraints:      69016
3114.47/3122.85	c #Conflicts:     671000 | #Constraints:      70017
3114.47/3122.85	c #Conflicts:     672000 | #Constraints:      71017
3114.47/3122.85	c #Conflicts:     673000 | #Constraints:      72017
3114.47/3122.85	c #Conflicts:     674000 | #Constraints:      73017
3114.47/3122.85	c #Conflicts:     675000 | #Constraints:      74017
3114.47/3122.85	c #Conflicts:     676000 | #Constraints:      75017
3114.47/3122.85	c #Conflicts:     677000 | #Constraints:      76017
3114.47/3122.85	c #Conflicts:     678000 | #Constraints:      77017
3114.47/3122.85	c #Conflicts:     679000 | #Constraints:      78017
3114.47/3122.85	c #Conflicts:     680000 | #Constraints:      79017
3114.47/3122.85	c #Conflicts:     681000 | #Constraints:      80017
3114.47/3122.85	c #Conflicts:     682000 | #Constraints:      81017
3114.47/3122.85	c INPROCESSING
3114.47/3122.85	c GARBAGE COLLECT
3114.47/3122.85	c #Conflicts:     683000 | #Constraints:      50501
3114.47/3122.85	c #Conflicts:     684000 | #Constraints:      51501
3114.47/3122.85	c #Conflicts:     685000 | #Constraints:      52501
3114.47/3122.85	c #Conflicts:     686000 | #Constraints:      53501
3114.47/3122.85	c #Conflicts:     687000 | #Constraints:      54501
3114.47/3122.85	c #Conflicts:     688000 | #Constraints:      55501
3114.47/3122.85	c #Conflicts:     689000 | #Constraints:      56501
3114.47/3122.85	c #Conflicts:     690000 | #Constraints:      57501
3114.47/3122.85	c #Conflicts:     691000 | #Constraints:      58501
3114.47/3122.85	c #Conflicts:     692000 | #Constraints:      59501
3114.47/3122.85	c #Conflicts:     693000 | #Constraints:      60501
3114.47/3122.85	c #Conflicts:     694000 | #Constraints:      61501
3114.47/3122.85	c #Conflicts:     695000 | #Constraints:      62501
3114.47/3122.85	c #Conflicts:     696000 | #Constraints:      63501
3114.47/3122.85	c #Conflicts:     697000 | #Constraints:      64501
3114.47/3122.85	c #Conflicts:     698000 | #Constraints:      65501
3114.47/3122.85	c #Conflicts:     699000 | #Constraints:      66501
3114.47/3122.85	c #Conflicts:     700000 | #Constraints:      67502
3114.47/3122.85	c #Conflicts:     701000 | #Constraints:      68502
3114.47/3122.85	c #Conflicts:     702000 | #Constraints:      69502
3114.47/3122.85	c #Conflicts:     703000 | #Constraints:      70502
3114.47/3122.85	c #Conflicts:     704000 | #Constraints:      71502
3114.47/3122.85	c #Conflicts:     705000 | #Constraints:      72502
3114.47/3122.85	c #Conflicts:     706000 | #Constraints:      73502
3114.47/3122.85	c #Conflicts:     707000 | #Constraints:      74502
3114.47/3122.85	c #Conflicts:     708000 | #Constraints:      75502
3114.47/3122.85	c #Conflicts:     709000 | #Constraints:      76502
3114.47/3122.85	c #Conflicts:     710000 | #Constraints:      77502
3114.47/3122.85	c #Conflicts:     711000 | #Constraints:      78502
3114.47/3122.85	c #Conflicts:     712000 | #Constraints:      79502
3114.47/3122.85	c #Conflicts:     713000 | #Constraints:      80503
3114.47/3122.85	c #Conflicts:     714000 | #Constraints:      81503
3114.47/3122.85	c #Conflicts:     715000 | #Constraints:      82503
3114.47/3122.85	c #Conflicts:     716000 | #Constraints:      83503
3114.47/3122.85	c #Conflicts:     717000 | #Constraints:      84503
3114.47/3122.85	c #Conflicts:     718000 | #Constraints:      85503
3114.47/3122.85	c #Conflicts:     719000 | #Constraints:      86503
3114.47/3122.85	c #Conflicts:     720000 | #Constraints:      87503
3114.47/3122.85	c #Conflicts:     721000 | #Constraints:      88503
3114.47/3122.85	c #Conflicts:     722000 | #Constraints:      89504
3114.47/3122.85	c #Conflicts:     723000 | #Constraints:      90504
3114.47/3122.85	c #Conflicts:     724000 | #Constraints:      91504
3114.47/3122.85	c #Conflicts:     725000 | #Constraints:      92504
3114.47/3122.85	c #Conflicts:     726000 | #Constraints:      93504
3114.47/3122.85	c #Conflicts:     727000 | #Constraints:      94504
3114.47/3122.85	c #Conflicts:     728000 | #Constraints:      95505
3114.47/3122.85	c #Conflicts:     729000 | #Constraints:      96505
3114.47/3122.85	c #Conflicts:     730000 | #Constraints:      97505
3114.47/3122.85	c #Conflicts:     731000 | #Constraints:      98505
3207.10/3215.79	c #Conflicts:     732000 | #Constraints:      99505
3207.10/3215.79	c #Conflicts:     733000 | #Constraints:     100505
3207.10/3215.79	c #Conflicts:     734000 | #Constraints:     101507
3207.10/3215.79	c #Conflicts:     735000 | #Constraints:     102508
3207.10/3215.79	c #Conflicts:     736000 | #Constraints:     103508
3207.10/3215.79	c #Conflicts:     737000 | #Constraints:     104508
3207.10/3215.79	c #Conflicts:     738000 | #Constraints:     105508
3207.10/3215.79	c #Conflicts:     739000 | #Constraints:     106510
3207.10/3215.79	c #Conflicts:     740000 | #Constraints:     107511
3207.10/3215.79	c INPROCESSING
3207.10/3215.79	c GARBAGE COLLECT
3207.10/3215.79	c rational objective 139
3381.22/3390.38	c #Conflicts:     741000 | #Constraints:      63920
3381.22/3390.38	c #Conflicts:     742000 | #Constraints:      64920
3381.22/3390.38	c #Conflicts:     743000 | #Constraints:      65921
3381.22/3390.38	c #Conflicts:     744000 | #Constraints:      66921
3381.22/3390.38	c #Conflicts:     745000 | #Constraints:      67921
3381.22/3390.38	c #Conflicts:     746000 | #Constraints:      68921
3381.22/3390.38	c #Conflicts:     747000 | #Constraints:      69921
3381.22/3390.38	c #Conflicts:     748000 | #Constraints:      70921
3381.22/3390.38	c #Conflicts:     749000 | #Constraints:      71921
3381.22/3390.38	c #Conflicts:     750000 | #Constraints:      72921
3381.22/3390.38	c #Conflicts:     751000 | #Constraints:      73921
3381.22/3390.38	c #Conflicts:     752000 | #Constraints:      74921
3381.22/3390.38	c #Conflicts:     753000 | #Constraints:      75921
3381.22/3390.38	c #Conflicts:     754000 | #Constraints:      76921
3381.22/3390.38	c #Conflicts:     755000 | #Constraints:      77921
3381.22/3390.38	c #Conflicts:     756000 | #Constraints:      78921
3381.22/3390.38	c #Conflicts:     757000 | #Constraints:      79921
3381.22/3390.38	c #Conflicts:     758000 | #Constraints:      80921
3381.22/3390.38	c #Conflicts:     759000 | #Constraints:      81921
3381.22/3390.38	c #Conflicts:     760000 | #Constraints:      82921
3381.22/3390.38	c #Conflicts:     761000 | #Constraints:      83921
3381.22/3390.38	c #Conflicts:     762000 | #Constraints:      84921
3381.22/3390.38	c INPROCESSING
3381.22/3390.38	c GARBAGE COLLECT
3381.22/3390.38	c rational objective 139
3594.62/3604.35	c #Conflicts:     763000 | #Constraints:      52438
3594.62/3604.35	c #Conflicts:     764000 | #Constraints:      53438
3594.62/3604.35	c #Conflicts:     765000 | #Constraints:      54438
3594.62/3604.35	c #Conflicts:     766000 | #Constraints:      55438
3594.62/3604.35	c #Conflicts:     767000 | #Constraints:      56438
3594.62/3604.35	c #Conflicts:     768000 | #Constraints:      57438
3594.62/3604.35	c #Conflicts:     769000 | #Constraints:      58438
3594.62/3604.35	c #Conflicts:     770000 | #Constraints:      59438
3594.62/3604.35	c #Conflicts:     771000 | #Constraints:      60438
3594.62/3604.35	c #Conflicts:     772000 | #Constraints:      61438
3594.62/3604.35	c #Conflicts:     773000 | #Constraints:      62438
3594.62/3604.35	c #Conflicts:     774000 | #Constraints:      63438
3594.62/3604.35	c #Conflicts:     775000 | #Constraints:      64438
3594.62/3604.35	c #Conflicts:     776000 | #Constraints:      65438
3594.62/3604.35	c #Conflicts:     777000 | #Constraints:      66438
3594.62/3604.35	c #Conflicts:     778000 | #Constraints:      67438
3594.62/3604.35	c #Conflicts:     779000 | #Constraints:      68439
3594.62/3604.35	c #Conflicts:     780000 | #Constraints:      69439
3594.62/3604.35	c #Conflicts:     781000 | #Constraints:      70440
3594.62/3604.35	c #Conflicts:     782000 | #Constraints:      71440
3594.62/3604.35	c #Conflicts:     783000 | #Constraints:      72440
3594.62/3604.35	c #Conflicts:     784000 | #Constraints:      73441
3594.62/3604.35	c #Conflicts:     785000 | #Constraints:      74441
3594.62/3604.35	c #Conflicts:     786000 | #Constraints:      75441
3594.62/3604.35	c #Conflicts:     787000 | #Constraints:      76441
3594.62/3604.35	c #Conflicts:     788000 | #Constraints:      77441
3594.62/3604.35	c #Conflicts:     789000 | #Constraints:      78442
3594.62/3604.35	c #Conflicts:     790000 | #Constraints:      79442
3594.62/3604.35	c #Conflicts:     791000 | #Constraints:      80443
3594.62/3604.35	c #Conflicts:     792000 | #Constraints:      81443
3594.62/3604.35	c #Conflicts:     793000 | #Constraints:      82443
3594.62/3604.35	c #Conflicts:     794000 | #Constraints:      83443
3594.62/3604.35	c #Conflicts:     795000 | #Constraints:      84443
3594.62/3604.35	c #Conflicts:     796000 | #Constraints:      85443
3594.62/3604.35	c #Conflicts:     797000 | #Constraints:      86443
3594.62/3604.35	c #Conflicts:     798000 | #Constraints:      87443
3594.62/3604.35	c #Conflicts:     799000 | #Constraints:      88443
3594.62/3604.35	c #Conflicts:     800000 | #Constraints:      89444
3594.62/3604.35	c #Conflicts:     801000 | #Constraints:      90444
3594.62/3604.35	c #Conflicts:     802000 | #Constraints:      91444
3594.62/3604.35	c #Conflicts:     803000 | #Constraints:      92444
3594.62/3604.35	c #Conflicts:     804000 | #Constraints:      93444
3594.62/3604.35	c #Conflicts:     805000 | #Constraints:      94444
3594.62/3604.35	c #Conflicts:     806000 | #Constraints:      95444
3594.62/3604.35	c #Conflicts:     807000 | #Constraints:      96444
3594.62/3604.35	c #Conflicts:     808000 | #Constraints:      97444
3594.62/3604.35	c #Conflicts:     809000 | #Constraints:      98444
3594.62/3604.35	c #Conflicts:     810000 | #Constraints:      99444
3594.62/3604.35	c #Conflicts:     811000 | #Constraints:     100444
3594.62/3604.35	c #Conflicts:     812000 | #Constraints:     101444
3594.62/3604.35	c #Conflicts:     813000 | #Constraints:     102444
3594.62/3604.35	c #Conflicts:     814000 | #Constraints:     103444
3594.62/3604.35	c #Conflicts:     815000 | #Constraints:     104444
3594.62/3604.35	c #Conflicts:     816000 | #Constraints:     105444
3594.62/3604.35	c #Conflicts:     817000 | #Constraints:     106444
3594.62/3604.35	c #Conflicts:     818000 | #Constraints:     107444
3594.62/3604.35	c #Conflicts:     819000 | #Constraints:     108444
3594.62/3604.35	c #Conflicts:     820000 | #Constraints:     109444
3594.62/3604.35	c #Conflicts:     821000 | #Constraints:     110444
3594.62/3604.35	c #Conflicts:     822000 | #Constraints:     111444
3594.62/3604.35	c #Conflicts:     823000 | #Constraints:     112444
3594.62/3604.35	c INPROCESSING
3594.62/3604.35	c GARBAGE COLLECT
3594.62/3604.35	c rational objective 139
3600.00/3609.70	c #Conflicts:     824000 | #Constraints:      66578
3600.00/3609.70	c #Conflicts:     825000 | #Constraints:      67578
3600.00/3609.70	c #Conflicts:     826000 | #Constraints:      68578
3600.00/3609.70	c #Conflicts:     827000 | #Constraints:      69578
3600.00/3609.70	c Program interrupted by user.
3600.00/3609.70	c cpu time 3566.28 s
3600.00/3609.70	c deterministic time 181958229415 1.82e+11
3600.00/3609.70	c optimization time 5.04147 s
3600.00/3609.70	c total solve time 3561.17 s
3600.00/3609.70	c core-guided solve time 0 s
3600.00/3609.70	c propagation time 1714.68 s
3600.00/3609.70	c conflict analysis time 598.327 s
3600.00/3609.70	c propagations 619374872
3600.00/3609.70	c resolve steps 40156867
3600.00/3609.70	c decisions 12742671
3600.00/3609.70	c conflicts 827616
3600.00/3609.70	c restarts 1787
3600.00/3609.70	c inprocessing phases 42
3600.00/3609.70	c input clauses 16682
3600.00/3609.70	c input cardinalities 139
3600.00/3609.70	c input general constraints 0
3600.00/3609.70	c input average constraint length 6.43
3600.00/3609.70	c input average constraint degree 1.97
3600.00/3609.70	c learned clauses 532856
3600.00/3609.70	c learned cardinalities 32896
3600.00/3609.70	c learned general constraints 261921
3600.00/3609.70	c learned average constraint length 1103.20
3600.00/3609.70	c learned average constraint degree 605655533.62
3600.00/3609.70	c watched constraints 199661
3600.00/3609.70	c counting constraints 62260
3600.00/3609.70	c gcd simplifications 3999
3600.00/3609.70	c detected cardinalities 3768
3600.00/3609.70	c weakened non-implied lits 201445341
3600.00/3609.70	c weakened non-implying lits 310730
3600.00/3609.70	c original variables 16541
3600.00/3609.70	c clausal propagations 273019497
3600.00/3609.70	c cardinality propagations 213185940
3600.00/3609.70	c watched propagations 36185684
3600.00/3609.70	c counting propagations 89555295
3600.00/3609.70	c watch lookups 11366437493
3600.00/3609.70	c watch backjump lookups 9469141320
3600.00/3609.70	c watch checks 119800443269
3600.00/3609.70	c propagation checks 36918185103
3600.00/3609.70	c constraint additions 3137332937
3600.00/3609.70	c trail pops 632930520
3600.00/3609.70	c formula constraints 16821
3600.00/3609.70	c learned constraints 827557
3600.00/3609.70	c bound constraints 0
3600.00/3609.70	c core-guided constraints 0
3600.00/3609.70	c encountered formula constraints 28194616
3600.00/3609.70	c encountered learned constraints 12788035
3600.00/3609.70	c encountered bound constraints 0
3600.00/3609.70	c encountered core-guided constraints 0
3600.00/3609.70	c LP total time 2073.38 s
3600.00/3609.70	c LP solve time 2070.42 s
3600.00/3609.70	c LP constraints added 19664
3600.00/3609.70	c LP constraints removed 2539
3600.00/3609.70	c LP pivots internal 830224
3600.00/3609.70	c LP pivots root 811005
3600.00/3609.70	c LP calls 90
3600.00/3609.70	c LP optimalities 23
3600.00/3609.70	c LP no pivot count 1
3600.00/3609.70	c LP infeasibilities 58
3600.00/3609.70	c LP valid Farkas constraints 58
3600.00/3609.70	c LP learned Farkas constraints 58
3600.00/3609.70	c LP basis resets 1
3600.00/3609.70	c LP cycling count 0
3600.00/3609.70	c LP singular count 1
3600.00/3609.70	c LP no primal count 0
3600.00/3609.70	c LP no farkas count 0
3600.00/3609.70	c LP other issue count 0
3600.00/3609.70	c LP Gomory cuts 0
3600.00/3609.70	c LP learned cuts 3141
3600.00/3609.70	c LP deleted cuts 2797
3600.00/3609.70	c LP encountered Gomory constraints 0
3600.00/3609.70	c LP encountered Farkas constraints 1209
3600.00/3609.70	c LP encountered learned Farkas constraints 565
3600.00/3609.70	c CG auxiliary variables introduced 0
3600.00/3609.70	c CG solutions found 0
3600.00/3609.70	c CG cores constructed 0
3600.00/3609.70	c CG core cardinality constraints returned 0
3600.00/3609.70	c CG unit cores 0
3600.00/3609.70	c CG single cores 0
3600.00/3609.70	c CG blocks removed during cardinality reduction 0
3600.00/3609.70	c CG first core best 0
3600.00/3609.70	c CG decision core best 0
3600.00/3609.70	c CG core reduction tie 0
3600.00/3609.70	c CG core degree average 0.00
3600.00/3609.70	c CG core slack average 0.00
3600.00/3609.70	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63931 MiB (59948 MiB free)
  memory of node 1: 64510 MiB (35115 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4463063-1722345285/watcher-4463063-1722345285 -o /tmp/evaluation-result-4463063-1722345285/solver-4463063-1722345285 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1722340763-6603 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463063-1722345285 --lp-cut-gomory=0 HOME/instance-4463063-1722345285.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=9771, runsolver pid=9768

[startup+0.100092 s]*
/proc/loadavg: 4.05 4.09 4.09 5/262 9772
/proc/meminfo: memFree=97318532/131524600 swapFree=131071996/131071996
[pid=9771] ppid=9768 vsize=58968 memory=27860 CPUtime=0.09 cores=5,7
/proc/9771/stat : 9771 (roundingsat) R 9768 9771 6590 0 -1 4194304 7312 0 0 0 7 2 0 0 20 0 1 0 1125909 60383232 6965 134679101440 4194304 8255733 140728776577776 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32612352 140728776581982 140728776582244 140728776582244 140728776589257 0
/proc/9771/statm: 14742 6965 1667 992 0 6600 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 58968 KiB
Current children cumulated memory: 27860 KiB

[startup+0.206039 s]*
/proc/loadavg: 4.05 4.09 4.09 5/262 9772
/proc/meminfo: memFree=97306368/131524600 swapFree=131071996/131071996
[pid=9771] ppid=9768 vsize=67692 memory=33456 CPUtime=0.19 cores=5,7
/proc/9771/stat : 9771 (roundingsat) R 9768 9771 6590 0 -1 4194304 8707 0 0 0 17 2 0 0 20 0 1 0 1125909 69316608 8364 134679101440 4194304 8255733 140728776577776 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32612352 140728776581982 140728776582244 140728776582244 140728776589257 0
/proc/9771/statm: 16923 8364 1715 992 0 8781 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 67692 KiB
Current children cumulated memory: 33456 KiB

[startup+0.305674 s]*
/proc/loadavg: 4.05 4.09 4.09 5/262 9772
/proc/meminfo: memFree=97300656/131524600 swapFree=131071996/131071996
[pid=9771] ppid=9768 vsize=68116 memory=34248 CPUtime=0.29 cores=5,7
/proc/9771/stat : 9771 (roundingsat) R 9768 9771 6590 0 -1 4194304 8939 0 0 0 27 2 0 0 20 0 1 0 1125909 69750784 8562 134679101440 4194304 8255733 140728776577776 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32612352 140728776581982 140728776582244 140728776582244 140728776589257 0
/proc/9771/statm: 17029 8562 1715 992 0 8887 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 68116 KiB
Current children cumulated memory: 34248 KiB

[startup+0.700243 s]
/proc/loadavg: 4.05 4.09 4.09 5/262 9772
/proc/meminfo: memFree=97290240/131524600 swapFree=131071996/131071996
[pid=9771] ppid=9768 vsize=69376 memory=35832 CPUtime=0.68 cores=5,7
/proc/9771/stat : 9771 (roundingsat) R 9768 9771 6590 0 -1 4194304 9310 0 0 0 66 2 0 0 20 0 1 0 1125909 71041024 8958 134679101440 4194304 8255733 140728776577776 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32612352 140728776581982 140728776582244 140728776582244 140728776589257 0
/proc/9771/statm: 17344 8958 1715 992 0 9202 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 69376 KiB
Current children cumulated memory: 35832 KiB

[startup+1.50023 s]
/proc/loadavg: 4.05 4.09 4.09 5/262 9772
/proc/meminfo: memFree=97261728/131524600 swapFree=131071996/131071996
[pid=9771] ppid=9768 vsize=69376 memory=38252 CPUtime=1.48 cores=5,7
/proc/9771/stat : 9771 (roundingsat) R 9768 9771 6590 0 -1 4194304 9365 0 0 0 143 5 0 0 20 0 1 0 1125909 71041024 9563 134679101440 4194304 8255733 140728776577776 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32612352 140728776581982 140728776582244 140728776582244 140728776589257 0
/proc/9771/statm: 17344 9563 1745 992 0 9202 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 69376 KiB
Current children cumulated memory: 38252 KiB

[startup+3.10553 s]
/proc/loadavg: 4.05 4.09 4.09 5/262 9772
/proc/meminfo: memFree=97147884/131524600 swapFree=131071996/131071996
[pid=9771] ppid=9768 vsize=71512 memory=40416 CPUtime=3.08 cores=5,7
/proc/9771/stat : 9771 (roundingsat) R 9768 9771 6590 0 -1 4194304 9908 0 0 0 296 12 0 0 20 0 1 0 1125909 73228288 10104 134679101440 4194304 8255733 140728776577776 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32612352 140728776581982 140728776582244 140728776582244 140728776589257 0
/proc/9771/statm: 17878 10104 1760 992 0 9736 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 71512 KiB
Current children cumulated memory: 40416 KiB

[startup+6.30022 s]
/proc/loadavg: 4.05 4.09 4.09 5/262 9773
/proc/meminfo: memFree=97007540/131524600 swapFree=131071996/131071996
[pid=9771] ppid=9768 vsize=73372 memory=42524 CPUtime=6.27 cores=5,7
/proc/9771/stat : 9771 (roundingsat) R 9768 9771 6590 0 -1 4194304 10453 0 0 0 612 15 0 0 20 0 1 0 1125909 75132928 10631 134679101440 4194304 8255733 140728776577776 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32612352 140728776581982 140728776582244 140728776582244 140728776589257 0
/proc/9771/statm: 18343 10631 1760 992 0 10201 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 73372 KiB
Current children cumulated memory: 42524 KiB

[startup+12.7002 s]
/proc/loadavg: 4.04 4.09 4.08 5/262 9773
/proc/meminfo: memFree=96763280/131524600 swapFree=131071996/131071996
[pid=9771] ppid=9768 vsize=80144 memory=49164 CPUtime=12.65 cores=5,7
/proc/9771/stat : 9771 (roundingsat) R 9768 9771 6590 0 -1 4194304 12047 0 0 0 1234 31 0 0 20 0 1 0 1125909 82067456 12291 134679101440 4194304 8255733 140728776577776 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32612352 140728776581982 140728776582244 140728776582244 140728776589257 0
/proc/9771/statm: 20036 12291 1815 992 0 11894 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 80144 KiB
Current children cumulated memory: 49164 KiB

[startup+25.5002 s]
/proc/loadavg: 4.11 4.10 4.09 5/262 9777
/proc/meminfo: memFree=96220216/131524600 swapFree=131071996/131071996
[pid=9771] ppid=9768 vsize=94560 memory=60456 CPUtime=25.42 cores=5,7
/proc/9771/stat : 9771 (roundingsat) R 9768 9771 6590 0 -1 4194304 13830 0 0 0 2502 40 0 0 20 0 1 0 1125909 96829440 15114 134679101440 4194304 8255733 140728776577776 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32612352 140728776581982 140728776582244 140728776582244 140728776589257 0
/proc/9771/statm: 23640 15114 1847 992 0 15498 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 94560 KiB
Current children cumulated memory: 60456 KiB

[startup+51.1056 s]
/proc/loadavg: 4.15 4.11 4.09 5/261 9780
/proc/meminfo: memFree=95031508/131524600 swapFree=131071996/131071996
[pid=9771] ppid=9768 vsize=115500 memory=79168 CPUtime=50.97 cores=5,7
/proc/9771/stat : 9771 (roundingsat) R 9768 9771 6590 0 -1 4194304 16487 0 0 0 5011 86 0 0 20 0 1 0 1125909 118272000 19792 134679101440 4194304 8255733 140728776577776 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32612352 140728776581982 140728776582244 140728776582244 140728776589257 0
/proc/9771/statm: 28875 19792 1847 992 0 20733 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 115500 KiB
Current children cumulated memory: 79168 KiB

[startup+102.3 s]
/proc/loadavg: 4.42 4.21 4.13 5/261 9788
/proc/meminfo: memFree=92866084/131524600 swapFree=131071996/131071996
[pid=9771] ppid=9768 vsize=148964 memory=105224 CPUtime=102.05 cores=5,7
/proc/9771/stat : 9771 (roundingsat) R 9768 9771 6590 0 -1 4194304 19401 0 0 0 10063 142 0 0 20 0 1 0 1125909 152539136 26306 134679101440 4194304 8255733 140728776577776 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32612352 140728776581982 140728776582244 140728776582244 140728776589257 0
/proc/9771/statm: 37241 26306 1847 992 0 29099 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 148964 KiB
Current children cumulated memory: 105224 KiB

[startup+162.3 s]
/proc/loadavg: 4.26 4.20 4.13 5/261 9798
/proc/meminfo: memFree=89612336/131524600 swapFree=131071996/131071996
[pid=9771] ppid=9768 vsize=148964 memory=105224 CPUtime=161.9 cores=5,7
/proc/9771/stat : 9771 (roundingsat) R 9768 9771 6590 0 -1 4194304 19426 0 0 0 16015 175 0 0 20 0 1 0 1125909 152539136 26306 134679101440 4194304 8255733 140728776577776 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32612352 140728776581982 140728776582244 140728776582244 140728776589257 0
/proc/9771/statm: 37241 26306 1847 992 0 29099 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 148964 KiB
Current children cumulated memory: 105224 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 4.18 4.12 5/259 9811
/proc/meminfo: memFree=87299108/131524600 swapFree=131071996/131071996
[pid=9771] ppid=9768 vsize=196244 memory=144548 CPUtime=221.76 cores=5,7
/proc/9771/stat : 9771 (roundingsat) R 9768 9771 6590 0 -1 4194304 24178 0 0 0 21884 292 0 0 20 0 1 0 1125909 200953856 36137 134679101440 4194304 8255733 140728776577776 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32612352 140728776581982 140728776582244 140728776582244 140728776589257 0
/proc/9771/statm: 49061 36137 1847 992 0 40919 0
Current children cumulated CPU time: 221.76 s
Current children cumulated vsize: 196244 KiB
Current children cumulated memory: 144548 KiB

[startup+282.3 s]
/proc/loadavg: 4.16 4.17 4.12 5/254 9848
/proc/meminfo: memFree=85649936/131524600 swapFree=131071996/131071996
[pid=9771] ppid=9768 vsize=202424 memory=151592 CPUtime=281.61 cores=5,7
/proc/9771/stat : 9771 (roundingsat) R 9768 9771 6590 0 -1 4194304 27023 0 0 0 27809 352 0 0 20 0 1 0 1125909 207282176 37898 134679101440 4194304 8255733 140728776577776 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32612352 140728776581982 140728776582244 140728776582244 140728776589257 0
/proc/9771/statm: 50606 37898 1847 992 0 42464 0
Current children cumulated CPU time: 281.61 s
Current children cumulated vsize: 202424 KiB
Current children cumulated memory: 151592 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 4.16 4.12 5/257 9864
/proc/meminfo: memFree=82315116/131524600 swapFree=131071996/131071996
[pid=9771] ppid=9768 vsize=207692 memory=158628 CPUtime=341.44 cores=5,7
/proc/9771/stat : 9771 (roundingsat) R 9768 9771 6590 0 -1 4194304 28413 0 0 0 33740 404 0 0 20 0 1 0 1125909 212676608 39657 134679101440 4194304 8255733 140728776577776 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32612352 140728776581982 140728776582244 140728776582244 140728776589257 0
/proc/9771/statm: 51923 39657 1847 992 0 43781 0
Current children cumulated CPU time: 341.44 s
Current children cumulated vsize: 207692 KiB
Current children cumulated memory: 158628 KiB

[startup+402.3 s]
/proc/loadavg: 4.15 4.16 4.12 5/266 9898
/proc/meminfo: memFree=81288472/131524600 swapFree=131071996/131071996
[pid=9771] ppid=9768 vsize=262940 memory=200744 CPUtime=401.26 cores=5,7
/proc/9771/stat : 9771 (roundingsat) R 9768 9771 6590 0 -1 4194304 30235 0 0 0 39668 458 0 0 20 0 1 0 1125909 269250560 50186 134679101440 4194304 8255733 140728776577776 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32612352 140728776581982 140728776582244 140728776582244 140728776589257 0
/proc/9771/statm: 65735 50186 1847 992 0 57593 0
Current children cumulated CPU time: 401.26 s
Current children cumulated vsize: 262940 KiB
Current children cumulated memory: 200744 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 4.14 4.11 5/266 9908
/proc/meminfo: memFree=78636148/131524600 swapFree=131071996/131071996
[pid=9771] ppid=9768 vsize=263344 memory=201536 CPUtime=461.09 cores=5,7
/proc/9771/stat : 9771 (roundingsat) R 9768 9771 6590 0 -1 4194304 30399 0 0 0 45632 477 0 0 20 0 1 0 1125909 269664256 50384 134679101440 4194304 8255733 140728776577776 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32612352 140728776581982 140728776582244 140728776582244 140728776589257 0
/proc/9771/statm: 65836 50384 1847 992 0 57694 0

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

Current children cumulated memory: 1103500 KiB

[startup+2922.3 s]
/proc/loadavg: 4.12 4.12 4.13 5/264 11639
/proc/meminfo: memFree=108835112/131524600 swapFree=131071996/131071996
[pid=9771] ppid=9768 vsize=1246700 memory=1105496 CPUtime=2914.54 cores=5,7
/proc/9771/stat : 9771 (roundingsat) R 9768 9771 6590 0 -1 4194304 516386 0 0 0 288715 2739 0 0 20 0 1 0 1125909 1276620800 276374 134679101440 4194304 8255733 140728776577776 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32612352 140728776581982 140728776582244 140728776582244 140728776589257 0
/proc/9771/statm: 311675 276374 1847 992 0 303533 0
Current children cumulated CPU time: 2914.54 s
Current children cumulated vsize: 1246700 KiB
Current children cumulated memory: 1105496 KiB

[startup+2982.3 s]
/proc/loadavg: 4.09 4.11 4.12 5/263 11650
/proc/meminfo: memFree=108222968/131524600 swapFree=131071996/131071996
[pid=9771] ppid=9768 vsize=1248064 memory=1107620 CPUtime=2974.37 cores=5,7
/proc/9771/stat : 9771 (roundingsat) R 9768 9771 6590 0 -1 4194304 521195 0 0 0 294621 2816 0 0 20 0 1 0 1125909 1278017536 276905 134679101440 4194304 8255733 140728776577776 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32612352 140728776581982 140728776582244 140728776582244 140728776589257 0
/proc/9771/statm: 312016 276905 1847 992 0 303874 0
Current children cumulated CPU time: 2974.37 s
Current children cumulated vsize: 1248064 KiB
Current children cumulated memory: 1107620 KiB

[startup+3042.3 s]
/proc/loadavg: 4.40 4.20 4.15 5/260 11660
/proc/meminfo: memFree=107436028/131524600 swapFree=131071996/131071996
[pid=9771] ppid=9768 vsize=1248064 memory=1107620 CPUtime=3034.2 cores=5,7
/proc/9771/stat : 9771 (roundingsat) R 9768 9771 6590 0 -1 4194304 521411 0 0 0 300526 2894 0 0 20 0 1 0 1125909 1278017536 276905 134679101440 4194304 8255733 140728776577776 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32612352 140728776581982 140728776582244 140728776582244 140728776589257 0
/proc/9771/statm: 312016 276905 1847 992 0 303874 0
Current children cumulated CPU time: 3034.2 s
Current children cumulated vsize: 1248064 KiB
Current children cumulated memory: 1107620 KiB

[startup+3102.3 s]
/proc/loadavg: 4.20 4.18 4.15 5/260 11670
/proc/meminfo: memFree=106651116/131524600 swapFree=131071996/131071996
[pid=9771] ppid=9768 vsize=1248064 memory=1107628 CPUtime=3094.03 cores=5,7
/proc/9771/stat : 9771 (roundingsat) R 9768 9771 6590 0 -1 4194304 550098 0 0 0 306467 2936 0 0 20 0 1 0 1125909 1278017536 276907 134679101440 4194304 8255733 140728776577776 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32612352 140728776581982 140728776582244 140728776582244 140728776589257 0
/proc/9771/statm: 312016 276907 1847 992 0 303874 0
Current children cumulated CPU time: 3094.03 s
Current children cumulated vsize: 1248064 KiB
Current children cumulated memory: 1107628 KiB

[startup+3162.3 s]
/proc/loadavg: 5.09 4.41 4.23 5/259 11680
/proc/meminfo: memFree=105531104/131524600 swapFree=131071996/131071996
[pid=9771] ppid=9768 vsize=1280036 memory=1139616 CPUtime=3153.85 cores=5,7
/proc/9771/stat : 9771 (roundingsat) R 9768 9771 6590 0 -1 4194304 584045 0 0 0 312393 2992 0 0 20 0 1 0 1125909 1310756864 284904 134679101440 4194304 8255733 140728776577776 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32612352 140728776581982 140728776582244 140728776582244 140728776589257 0
/proc/9771/statm: 320009 284904 1847 992 0 311867 0
Current children cumulated CPU time: 3153.85 s
Current children cumulated vsize: 1280036 KiB
Current children cumulated memory: 1139616 KiB

[startup+3222.3 s]
/proc/loadavg: 4.97 4.51 4.28 5/256 11722
/proc/meminfo: memFree=104763820/131524600 swapFree=131071996/131071996
[pid=9771] ppid=9768 vsize=1300776 memory=1159724 CPUtime=3213.69 cores=5,7
/proc/9771/stat : 9771 (roundingsat) R 9768 9771 6590 0 -1 4194304 618540 0 0 0 318331 3038 0 0 20 0 1 0 1125909 1331994624 289931 134679101440 4194304 8255733 140728776577776 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32612352 140728776581982 140728776582244 140728776582244 140728776589257 0
/proc/9771/statm: 325194 289931 1847 992 0 317052 0
Current children cumulated CPU time: 3213.69 s
Current children cumulated vsize: 1300776 KiB
Current children cumulated memory: 1159724 KiB

[startup+3282.3 s]
/proc/loadavg: 4.52 4.48 4.28 5/260 11751
/proc/meminfo: memFree=104526248/131524600 swapFree=131071996/131071996
[pid=9771] ppid=9768 vsize=1301448 memory=1160528 CPUtime=3273.52 cores=5,7
/proc/9771/stat : 9771 (roundingsat) R 9768 9771 6590 0 -1 4194304 618823 0 0 0 324275 3077 0 0 20 0 1 0 1125909 1332682752 290132 134679101440 4194304 8255733 140728776577776 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32612352 140728776581982 140728776582244 140728776582244 140728776589257 0
/proc/9771/statm: 325362 290132 1847 992 0 317220 0
Current children cumulated CPU time: 3273.52 s
Current children cumulated vsize: 1301448 KiB
Current children cumulated memory: 1160528 KiB

[startup+3342.3 s]
/proc/loadavg: 4.34 4.43 4.27 5/262 11765
/proc/meminfo: memFree=103752788/131524600 swapFree=131071996/131071996
[pid=9771] ppid=9768 vsize=1301448 memory=1160680 CPUtime=3333.36 cores=5,7
/proc/9771/stat : 9771 (roundingsat) R 9768 9771 6590 0 -1 4194304 619003 0 0 0 330207 3129 0 0 20 0 1 0 1125909 1332682752 290170 134679101440 4194304 8255733 140728776577776 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32612352 140728776581982 140728776582244 140728776582244 140728776589257 0
/proc/9771/statm: 325362 290170 1847 992 0 317220 0
Current children cumulated CPU time: 3333.36 s
Current children cumulated vsize: 1301448 KiB
Current children cumulated memory: 1160680 KiB

[startup+3402.3 s]
/proc/loadavg: 4.18 4.37 4.26 5/262 11778
/proc/meminfo: memFree=102900648/131524600 swapFree=131071996/131071996
[pid=9771] ppid=9768 vsize=1301580 memory=1161008 CPUtime=3393.19 cores=5,7
/proc/9771/stat : 9771 (roundingsat) R 9768 9771 6590 0 -1 4194304 619280 0 0 0 336146 3173 0 0 20 0 1 0 1125909 1332817920 290252 134679101440 4194304 8255733 140728776577776 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32612352 140728776581982 140728776582244 140728776582244 140728776589257 0
/proc/9771/statm: 325395 290252 1847 992 0 317253 0
Current children cumulated CPU time: 3393.19 s
Current children cumulated vsize: 1301580 KiB
Current children cumulated memory: 1161008 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.31 4.25 5/262 11789
/proc/meminfo: memFree=101789692/131524600 swapFree=131071996/131071996
[pid=9771] ppid=9768 vsize=1301580 memory=1161008 CPUtime=3453.02 cores=5,7
/proc/9771/stat : 9771 (roundingsat) R 9768 9771 6590 0 -1 4194304 625768 0 0 0 342055 3247 0 0 20 0 1 0 1125909 1332817920 290252 134679101440 4194304 8255733 140728776577776 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32612352 140728776581982 140728776582244 140728776582244 140728776589257 0
/proc/9771/statm: 325395 290252 1847 992 0 317253 0
Current children cumulated CPU time: 3453.02 s
Current children cumulated vsize: 1301580 KiB
Current children cumulated memory: 1161008 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.27 4.24 5/263 11800
/proc/meminfo: memFree=100967484/131524600 swapFree=131071996/131071996
[pid=9771] ppid=9768 vsize=1301580 memory=1161016 CPUtime=3512.84 cores=5,7
/proc/9771/stat : 9771 (roundingsat) R 9768 9771 6590 0 -1 4194304 665141 0 0 0 347983 3301 0 0 20 0 1 0 1125909 1332817920 290254 134679101440 4194304 8255733 140728776577776 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32612352 140728776581982 140728776582244 140728776582244 140728776589257 0
/proc/9771/statm: 325395 290254 1847 992 0 317253 0
Current children cumulated CPU time: 3512.84 s
Current children cumulated vsize: 1301580 KiB
Current children cumulated memory: 1161016 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.25 4.23 5/263 11812
/proc/meminfo: memFree=100357984/131524600 swapFree=131071996/131071996
[pid=9771] ppid=9768 vsize=1301580 memory=1161316 CPUtime=3572.67 cores=5,7
/proc/9771/stat : 9771 (roundingsat) R 9768 9771 6590 0 -1 4194304 686507 0 0 0 353917 3350 0 0 20 0 1 0 1125909 1332817920 290329 134679101440 4194304 8255733 140728776577776 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32612352 140728776581982 140728776582244 140728776582244 140728776589257 0
/proc/9771/statm: 325395 290329 1917 992 0 317253 0
Current children cumulated CPU time: 3572.67 s
Current children cumulated vsize: 1301580 KiB
Current children cumulated memory: 1161316 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.7 s]
/proc/loadavg: 4.20 4.26 4.23 5/263 11818
/proc/meminfo: memFree=100148272/131524600 swapFree=131071996/131071996
[pid=9771] ppid=9768 vsize=1305108 memory=1164588 CPUtime=3600 cores=5,7
/proc/9771/stat : 9771 (roundingsat) R 9768 9771 6590 0 -1 4194304 692147 0 0 0 356627 3373 0 0 20 0 1 0 1125909 1336430592 291147 134679101440 4194304 8255733 140728776577776 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32612352 140728776581982 140728776582244 140728776582244 140728776589257 0
/proc/9771/statm: 326277 291147 1917 992 0 318135 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 1305108 KiB
Current children cumulated memory: 1164588 KiB

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

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

# cumulated CPU time of all completed processes:  user=3566.28 s, system=33.7635 s

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

[startup+3609.7 s]
/proc/loadavg: 4.20 4.26 4.23 5/263 11818
/proc/meminfo: memFree=100148272/131524600 swapFree=131071996/131071996
[pid=9771] ppid=9768 vsize=1305108 memory=1164588 CPUtime=3600 cores=5,7
/proc/9771/stat : 9771 (roundingsat) R 9768 9771 6590 0 -1 4194304 692147 0 0 0 356627 3373 0 0 20 0 1 0 1125909 1336430592 291147 134679101440 4194304 8255733 140728776577776 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 32612352 140728776581982 140728776582244 140728776582244 140728776589257 0
/proc/9771/statm: 326277 291147 1917 992 0 318135 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 1305108 KiB
Current children cumulated memory: 1164588 KiB

Child status: 0

Real time (s): 3609.74
CPU time (s): 3600.05
CPU user time (s): 3566.28
CPU system time (s): 33.7635
CPU usage (%): 99.7315
Max. virtual memory (cumulated for all children) (KiB): 1305108
Max. memory (cumulated for all children) (KiB): 1164588

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3566.28
system time used= 33.7635
maximum resident set size= 1164588
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 692169
page faults= 0
swaps= 0
block input operations= 0
block output operations= 11380944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 102
involuntary context switches= 3842


# summary of solver processes directly reported to runsolver:
#   pid: 9771
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3566.28
#   total CPU system time (s): 33.7635

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.9017 second user time and 16.8249 second system time

The end

Launcher Data 

Begin job on nodeC018 at 2024-07-30 15:14:45
IDJOB=4463063
IDBENCH=158320
IDSOLVER=3089
FILE ID=nodeC018/4463063-1722345285
RUNJOBID= nodeC018-1722340763-6603
SLURM_JOB_ID= 8248981
Free space on /tmp= 890016 MiB

SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K139.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4463063-1722345285/watcher-4463063-1722345285 -o /tmp/evaluation-result-4463063-1722345285/solver-4463063-1722345285 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1722340763-6603 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463063-1722345285 --lp-cut-gomory=0 HOME/instance-4463063-1722345285.opb

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

MD5SUM BENCH= 89642dc5a75d3fc73d0ef8fe6dbde459
RANDOM SEED=1131521960

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        97345972 kB
MemAvailable:   126812916 kB
Buffers:           53460 kB
Cached:         30217260 kB
SwapCached:            0 kB
Active:           185372 kB
Inactive:       33435664 kB
Active(anon):       1548 kB
Inactive(anon):  3369888 kB
Active(file):     183824 kB
Inactive(file): 30065776 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            721188 kB
Writeback:             0 kB
AnonPages:       3346832 kB
Mapped:            97548 kB
Shmem:             21336 kB
KReclaimable:     113984 kB
Slab:             215540 kB
SReclaimable:     113984 kB
SUnreclaim:       101556 kB
KernelStack:        4208 kB
PageTables:        15736 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    3762560 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             7776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1865728 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:      146132 kB
DirectMap2M:     9064448 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 890028 MiB
End job on nodeC018 at 2024-07-30 16:14:55