Trace number 4457276

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
RoundingSat log (1)No Cert. 116.601 117

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/
normalized-3col-left3reg-l080-r079-n1.cnf-plain.pb.metafix.opb
MD5SUM266633e779ed92513dfdd11bdc765a52
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark1.98419
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5685
Total number of constraints17960
Number of constraints which are clauses17960
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint3
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 4
Number of bits of the biggest sum of numbers3
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.05	c #variables 5685 #constraints 17960
13.45/13.59	c #Conflicts:       1000 | #Constraints:      18959
13.45/13.59	c #Conflicts:       2000 | #Constraints:      19959
13.45/13.59	c INPROCESSING
13.45/13.59	c #Conflicts:       3000 | #Constraints:      20942
13.45/13.59	c #Conflicts:       4000 | #Constraints:      21942
13.45/13.59	c #Conflicts:       5000 | #Constraints:      22942
13.45/13.59	c #Conflicts:       6000 | #Constraints:      23942
13.45/13.59	c INPROCESSING
13.45/13.59	c GARBAGE COLLECT
13.45/13.59	c #Conflicts:       7000 | #Constraints:      22421
13.45/13.59	c #Conflicts:       8000 | #Constraints:      23421
13.45/13.59	c #Conflicts:       9000 | #Constraints:      24421
13.45/13.59	c #Conflicts:      10000 | #Constraints:      25421
13.45/13.59	c #Conflicts:      11000 | #Constraints:      26421
13.45/13.59	c #Conflicts:      12000 | #Constraints:      27421
13.45/13.59	c INPROCESSING
13.45/13.59	c GARBAGE COLLECT
13.45/13.59	c #Conflicts:      13000 | #Constraints:      24146
13.45/13.59	c #Conflicts:      14000 | #Constraints:      25146
13.45/13.59	c #Conflicts:      15000 | #Constraints:      26146
13.45/13.59	c #Conflicts:      16000 | #Constraints:      27146
13.45/13.59	c INPROCESSING
13.45/13.59	c GARBAGE COLLECT
13.45/13.59	c #Conflicts:      17000 | #Constraints:      23822
13.45/13.59	c #Conflicts:      18000 | #Constraints:      24822
13.45/13.59	c #Conflicts:      19000 | #Constraints:      25822
13.45/13.59	c #Conflicts:      20000 | #Constraints:      26822
13.45/13.59	c #Conflicts:      21000 | #Constraints:      27822
13.45/13.59	c INPROCESSING
13.45/13.59	c GARBAGE COLLECT
13.45/13.59	c #Conflicts:      22000 | #Constraints:      24376
13.45/13.59	c #Conflicts:      23000 | #Constraints:      25376
13.45/13.59	c #Conflicts:      24000 | #Constraints:      26376
13.45/13.59	c #Conflicts:      25000 | #Constraints:      27376
13.45/13.59	c #Conflicts:      26000 | #Constraints:      28376
13.45/13.59	c #Conflicts:      27000 | #Constraints:      29376
13.45/13.59	c #Conflicts:      28000 | #Constraints:      30376
13.45/13.59	c #Conflicts:      29000 | #Constraints:      31376
13.45/13.59	c #Conflicts:      30000 | #Constraints:      32376
13.45/13.59	c #Conflicts:      31000 | #Constraints:      33376
13.45/13.59	c INPROCESSING
13.45/13.59	c GARBAGE COLLECT
13.45/13.59	c #Conflicts:      32000 | #Constraints:      27060
13.45/13.59	c #Conflicts:      33000 | #Constraints:      28060
13.45/13.59	c #Conflicts:      34000 | #Constraints:      29060
13.45/13.59	c #Conflicts:      35000 | #Constraints:      30060
13.45/13.59	c #Conflicts:      36000 | #Constraints:      31060
13.45/13.59	c #Conflicts:      37000 | #Constraints:      32060
13.45/13.59	c INPROCESSING
13.45/13.59	c GARBAGE COLLECT
13.45/13.59	c #Conflicts:      38000 | #Constraints:      26448
13.45/13.59	c #Conflicts:      39000 | #Constraints:      27448
13.45/13.59	c #Conflicts:      40000 | #Constraints:      28448
13.45/13.59	c #Conflicts:      41000 | #Constraints:      29448
13.45/13.59	c #Conflicts:      42000 | #Constraints:      30448
13.45/13.59	c #Conflicts:      43000 | #Constraints:      31448
13.45/13.59	c INPROCESSING
13.45/13.59	c GARBAGE COLLECT
13.45/13.59	c #Conflicts:      44000 | #Constraints:      26090
13.45/13.59	c #Conflicts:      45000 | #Constraints:      27090
13.45/13.59	c #Conflicts:      46000 | #Constraints:      28090
13.45/13.59	c #Conflicts:      47000 | #Constraints:      29090
13.45/13.59	c #Conflicts:      48000 | #Constraints:      30090
13.45/13.59	c #Conflicts:      49000 | #Constraints:      31090
13.45/13.59	c INPROCESSING
13.45/13.59	c GARBAGE COLLECT
13.45/13.59	c #Conflicts:      50000 | #Constraints:      25745
13.45/13.59	c #Conflicts:      51000 | #Constraints:      26745
13.45/13.59	c #Conflicts:      52000 | #Constraints:      27745
13.45/13.59	c #Conflicts:      53000 | #Constraints:      28745
13.45/13.59	c #Conflicts:      54000 | #Constraints:      29745
13.45/13.59	c #Conflicts:      55000 | #Constraints:      30745
13.45/13.59	c #Conflicts:      56000 | #Constraints:      31745
13.45/13.59	c #Conflicts:      57000 | #Constraints:      32745
13.45/13.59	c #Conflicts:      58000 | #Constraints:      33745
13.45/13.59	c #Conflicts:      59000 | #Constraints:      34745
13.45/13.59	c #Conflicts:      60000 | #Constraints:      35745
13.45/13.59	c #Conflicts:      61000 | #Constraints:      36745
13.45/13.59	c #Conflicts:      62000 | #Constraints:      37745
13.45/13.59	c #Conflicts:      63000 | #Constraints:      38745
13.45/13.59	c #Conflicts:      64000 | #Constraints:      39745
13.45/13.59	c #Conflicts:      65000 | #Constraints:      40745
13.45/13.59	c INPROCESSING
13.45/13.59	c GARBAGE COLLECT
13.45/13.59	c #Conflicts:      66000 | #Constraints:      30852
13.45/13.59	c #Conflicts:      67000 | #Constraints:      31852
13.45/13.59	c #Conflicts:      68000 | #Constraints:      32852
13.45/13.59	c #Conflicts:      69000 | #Constraints:      33852
13.45/13.59	c #Conflicts:      70000 | #Constraints:      34852
13.45/13.59	c #Conflicts:      71000 | #Constraints:      35852
13.45/13.59	c #Conflicts:      72000 | #Constraints:      36852
13.45/13.59	c INPROCESSING
13.45/13.59	c GARBAGE COLLECT
13.45/13.59	c #Conflicts:      73000 | #Constraints:      28571
29.11/29.25	c #Conflicts:      74000 | #Constraints:      29571
29.11/29.25	c #Conflicts:      75000 | #Constraints:      30571
29.11/29.25	c #Conflicts:      76000 | #Constraints:      31571
29.11/29.25	c #Conflicts:      77000 | #Constraints:      32571
29.11/29.25	c #Conflicts:      78000 | #Constraints:      33571
29.11/29.25	c #Conflicts:      79000 | #Constraints:      34571
29.11/29.25	c #Conflicts:      80000 | #Constraints:      35571
29.11/29.25	c INPROCESSING
29.11/29.25	c GARBAGE COLLECT
29.11/29.25	c #Conflicts:      81000 | #Constraints:      28056
29.11/29.25	c #Conflicts:      82000 | #Constraints:      29056
29.11/29.25	c #Conflicts:      83000 | #Constraints:      30056
29.11/29.25	c #Conflicts:      84000 | #Constraints:      31056
29.11/29.25	c #Conflicts:      85000 | #Constraints:      32056
29.11/29.25	c #Conflicts:      86000 | #Constraints:      33056
29.11/29.25	c #Conflicts:      87000 | #Constraints:      34056
29.11/29.25	c #Conflicts:      88000 | #Constraints:      35056
29.11/29.25	c INPROCESSING
29.11/29.25	c GARBAGE COLLECT
29.11/29.25	c #Conflicts:      89000 | #Constraints:      27799
29.11/29.25	c #Conflicts:      90000 | #Constraints:      28799
29.11/29.25	c #Conflicts:      91000 | #Constraints:      29799
29.11/29.25	c #Conflicts:      92000 | #Constraints:      30799
29.11/29.25	c #Conflicts:      93000 | #Constraints:      31799
29.11/29.25	c #Conflicts:      94000 | #Constraints:      32799
29.11/29.25	c #Conflicts:      95000 | #Constraints:      33799
29.11/29.25	c #Conflicts:      96000 | #Constraints:      34799
29.11/29.25	c #Conflicts:      97000 | #Constraints:      35799
29.11/29.25	c #Conflicts:      98000 | #Constraints:      36799
29.11/29.25	c #Conflicts:      99000 | #Constraints:      37799
29.11/29.25	c #Conflicts:     100000 | #Constraints:      38799
29.11/29.25	c #Conflicts:     101000 | #Constraints:      39799
29.11/29.25	c #Conflicts:     102000 | #Constraints:      40799
29.11/29.25	c #Conflicts:     103000 | #Constraints:      41799
29.11/29.25	c #Conflicts:     104000 | #Constraints:      42799
29.11/29.25	c #Conflicts:     105000 | #Constraints:      43799
29.11/29.25	c #Conflicts:     106000 | #Constraints:      44799
29.11/29.25	c #Conflicts:     107000 | #Constraints:      45799
29.11/29.25	c #Conflicts:     108000 | #Constraints:      46799
29.11/29.25	c #Conflicts:     109000 | #Constraints:      47799
29.11/29.25	c INPROCESSING
29.11/29.25	c GARBAGE COLLECT
29.11/29.25	c #Conflicts:     110000 | #Constraints:      34283
29.11/29.25	c #Conflicts:     111000 | #Constraints:      35283
29.11/29.25	c #Conflicts:     112000 | #Constraints:      36283
29.11/29.25	c #Conflicts:     113000 | #Constraints:      37283
29.11/29.25	c #Conflicts:     114000 | #Constraints:      38283
29.11/29.25	c #Conflicts:     115000 | #Constraints:      39283
29.11/29.25	c #Conflicts:     116000 | #Constraints:      40283
29.11/29.25	c #Conflicts:     117000 | #Constraints:      41283
29.11/29.25	c #Conflicts:     118000 | #Constraints:      42283
29.11/29.25	c INPROCESSING
29.11/29.25	c GARBAGE COLLECT
29.11/29.25	c #Conflicts:     119000 | #Constraints:      31359
29.11/29.25	c #Conflicts:     120000 | #Constraints:      32359
29.11/29.25	c #Conflicts:     121000 | #Constraints:      33359
29.11/29.25	c #Conflicts:     122000 | #Constraints:      34359
29.11/29.25	c #Conflicts:     123000 | #Constraints:      35359
29.11/29.25	c #Conflicts:     124000 | #Constraints:      36359
29.11/29.25	c #Conflicts:     125000 | #Constraints:      37359
29.11/29.25	c #Conflicts:     126000 | #Constraints:      38359
29.11/29.25	c #Conflicts:     127000 | #Constraints:      39359
29.11/29.25	c #Conflicts:     128000 | #Constraints:      40359
29.11/29.25	c INPROCESSING
29.11/29.25	c GARBAGE COLLECT
29.11/29.25	c #Conflicts:     129000 | #Constraints:      30652
29.11/29.25	c #Conflicts:     130000 | #Constraints:      31652
29.11/29.25	c #Conflicts:     131000 | #Constraints:      32652
29.11/29.25	c #Conflicts:     132000 | #Constraints:      33652
29.11/29.25	c #Conflicts:     133000 | #Constraints:      34652
29.11/29.25	c #Conflicts:     134000 | #Constraints:      35652
29.11/29.25	c #Conflicts:     135000 | #Constraints:      36652
29.11/29.25	c #Conflicts:     136000 | #Constraints:      37652
29.11/29.25	c #Conflicts:     137000 | #Constraints:      38652
29.11/29.25	c INPROCESSING
29.11/29.25	c GARBAGE COLLECT
29.11/29.25	c #Conflicts:     138000 | #Constraints:      29461
29.11/29.25	c #Conflicts:     139000 | #Constraints:      30461
29.11/29.25	c #Conflicts:     140000 | #Constraints:      31461
29.11/29.25	c #Conflicts:     141000 | #Constraints:      32461
29.11/29.25	c #Conflicts:     142000 | #Constraints:      33461
29.11/29.25	c #Conflicts:     143000 | #Constraints:      34461
29.11/29.25	c #Conflicts:     144000 | #Constraints:      35461
29.11/29.25	c #Conflicts:     145000 | #Constraints:      36461
29.11/29.25	c #Conflicts:     146000 | #Constraints:      37461
29.11/29.25	c #Conflicts:     147000 | #Constraints:      38461
29.11/29.25	c #Conflicts:     148000 | #Constraints:      39461
48.87/49.03	c #Conflicts:     149000 | #Constraints:      40461
48.87/49.03	c #Conflicts:     150000 | #Constraints:      41461
48.87/49.03	c #Conflicts:     151000 | #Constraints:      42461
48.87/49.03	c #Conflicts:     152000 | #Constraints:      43461
48.87/49.03	c #Conflicts:     153000 | #Constraints:      44461
48.87/49.03	c #Conflicts:     154000 | #Constraints:      45461
48.87/49.03	c #Conflicts:     155000 | #Constraints:      46461
48.87/49.03	c #Conflicts:     156000 | #Constraints:      47461
48.87/49.03	c #Conflicts:     157000 | #Constraints:      48461
48.87/49.03	c #Conflicts:     158000 | #Constraints:      49461
48.87/49.03	c #Conflicts:     159000 | #Constraints:      50461
48.87/49.03	c #Conflicts:     160000 | #Constraints:      51461
48.87/49.03	c #Conflicts:     161000 | #Constraints:      52461
48.87/49.03	c #Conflicts:     162000 | #Constraints:      53461
48.87/49.03	c #Conflicts:     163000 | #Constraints:      54461
48.87/49.03	c INPROCESSING
48.87/49.03	c GARBAGE COLLECT
48.87/49.03	c #Conflicts:     164000 | #Constraints:      37306
48.87/49.03	c #Conflicts:     165000 | #Constraints:      38306
48.87/49.03	c #Conflicts:     166000 | #Constraints:      39306
48.87/49.03	c #Conflicts:     167000 | #Constraints:      40306
48.87/49.03	c #Conflicts:     168000 | #Constraints:      41306
48.87/49.03	c #Conflicts:     169000 | #Constraints:      42306
48.87/49.03	c #Conflicts:     170000 | #Constraints:      43306
48.87/49.03	c #Conflicts:     171000 | #Constraints:      44306
48.87/49.03	c #Conflicts:     172000 | #Constraints:      45306
48.87/49.03	c #Conflicts:     173000 | #Constraints:      46306
48.87/49.03	c #Conflicts:     174000 | #Constraints:      47306
48.87/49.03	c INPROCESSING
48.87/49.03	c GARBAGE COLLECT
48.87/49.03	c #Conflicts:     175000 | #Constraints:      33690
48.87/49.03	c #Conflicts:     176000 | #Constraints:      34690
48.87/49.03	c #Conflicts:     177000 | #Constraints:      35690
48.87/49.03	c #Conflicts:     178000 | #Constraints:      36690
48.87/49.03	c #Conflicts:     179000 | #Constraints:      37690
48.87/49.03	c #Conflicts:     180000 | #Constraints:      38690
48.87/49.03	c #Conflicts:     181000 | #Constraints:      39690
48.87/49.03	c #Conflicts:     182000 | #Constraints:      40690
48.87/49.03	c #Conflicts:     183000 | #Constraints:      41690
48.87/49.03	c #Conflicts:     184000 | #Constraints:      42690
48.87/49.03	c #Conflicts:     185000 | #Constraints:      43690
48.87/49.03	c #Conflicts:     186000 | #Constraints:      44690
48.87/49.03	c INPROCESSING
48.87/49.03	c GARBAGE COLLECT
48.87/49.03	c #Conflicts:     187000 | #Constraints:      32815
48.87/49.03	c #Conflicts:     188000 | #Constraints:      33815
48.87/49.03	c #Conflicts:     189000 | #Constraints:      34815
48.87/49.03	c #Conflicts:     190000 | #Constraints:      35815
48.87/49.03	c #Conflicts:     191000 | #Constraints:      36815
48.87/49.03	c #Conflicts:     192000 | #Constraints:      37815
48.87/49.03	c #Conflicts:     193000 | #Constraints:      38815
48.87/49.03	c #Conflicts:     194000 | #Constraints:      39815
48.87/49.03	c #Conflicts:     195000 | #Constraints:      40815
48.87/49.03	c #Conflicts:     196000 | #Constraints:      41815
48.87/49.03	c #Conflicts:     197000 | #Constraints:      42815
48.87/49.03	c INPROCESSING
48.87/49.03	c GARBAGE COLLECT
48.87/49.03	c #Conflicts:     198000 | #Constraints:      31674
48.87/49.03	c #Conflicts:     199000 | #Constraints:      32674
48.87/49.03	c #Conflicts:     200000 | #Constraints:      33674
48.87/49.03	c #Conflicts:     201000 | #Constraints:      34674
48.87/49.03	c #Conflicts:     202000 | #Constraints:      35674
48.87/49.03	c #Conflicts:     203000 | #Constraints:      36674
48.87/49.03	c #Conflicts:     204000 | #Constraints:      37674
48.87/49.03	c #Conflicts:     205000 | #Constraints:      38674
48.87/49.03	c #Conflicts:     206000 | #Constraints:      39674
48.87/49.03	c #Conflicts:     207000 | #Constraints:      40674
48.87/49.03	c #Conflicts:     208000 | #Constraints:      41674
48.87/49.03	c #Conflicts:     209000 | #Constraints:      42674
48.87/49.03	c #Conflicts:     210000 | #Constraints:      43674
48.87/49.03	c #Conflicts:     211000 | #Constraints:      44674
48.87/49.03	c #Conflicts:     212000 | #Constraints:      45674
48.87/49.03	c #Conflicts:     213000 | #Constraints:      46674
48.87/49.03	c #Conflicts:     214000 | #Constraints:      47674
48.87/49.03	c #Conflicts:     215000 | #Constraints:      48674
48.87/49.03	c #Conflicts:     216000 | #Constraints:      49674
48.87/49.03	c #Conflicts:     217000 | #Constraints:      50674
48.87/49.03	c #Conflicts:     218000 | #Constraints:      51674
48.87/49.03	c #Conflicts:     219000 | #Constraints:      52674
48.87/49.03	c #Conflicts:     220000 | #Constraints:      53674
48.87/49.03	c #Conflicts:     221000 | #Constraints:      54674
48.87/49.03	c #Conflicts:     222000 | #Constraints:      55674
48.87/49.03	c #Conflicts:     223000 | #Constraints:      56674
48.87/49.03	c #Conflicts:     224000 | #Constraints:      57674
69.92/70.19	c #Conflicts:     225000 | #Constraints:      58674
69.92/70.19	c #Conflicts:     226000 | #Constraints:      59674
69.92/70.19	c #Conflicts:     227000 | #Constraints:      60674
69.92/70.19	c #Conflicts:     228000 | #Constraints:      61674
69.92/70.19	c INPROCESSING
69.92/70.19	c GARBAGE COLLECT
69.92/70.19	c #Conflicts:     229000 | #Constraints:      40916
69.92/70.19	c #Conflicts:     230000 | #Constraints:      41916
69.92/70.19	c #Conflicts:     231000 | #Constraints:      42916
69.92/70.19	c #Conflicts:     232000 | #Constraints:      43916
69.92/70.19	c #Conflicts:     233000 | #Constraints:      44916
69.92/70.19	c #Conflicts:     234000 | #Constraints:      45916
69.92/70.19	c #Conflicts:     235000 | #Constraints:      46916
69.92/70.19	c #Conflicts:     236000 | #Constraints:      47916
69.92/70.19	c #Conflicts:     237000 | #Constraints:      48916
69.92/70.19	c #Conflicts:     238000 | #Constraints:      49916
69.92/70.19	c #Conflicts:     239000 | #Constraints:      50916
69.92/70.19	c #Conflicts:     240000 | #Constraints:      51916
69.92/70.19	c #Conflicts:     241000 | #Constraints:      52916
69.92/70.19	c INPROCESSING
69.92/70.19	c GARBAGE COLLECT
69.92/70.19	c #Conflicts:     242000 | #Constraints:      36684
69.92/70.19	c #Conflicts:     243000 | #Constraints:      37684
69.92/70.19	c #Conflicts:     244000 | #Constraints:      38684
69.92/70.19	c #Conflicts:     245000 | #Constraints:      39684
69.92/70.19	c #Conflicts:     246000 | #Constraints:      40684
69.92/70.19	c #Conflicts:     247000 | #Constraints:      41684
69.92/70.19	c #Conflicts:     248000 | #Constraints:      42684
69.92/70.19	c #Conflicts:     249000 | #Constraints:      43684
69.92/70.19	c #Conflicts:     250000 | #Constraints:      44684
69.92/70.19	c #Conflicts:     251000 | #Constraints:      45684
69.92/70.19	c #Conflicts:     252000 | #Constraints:      46684
69.92/70.19	c #Conflicts:     253000 | #Constraints:      47684
69.92/70.19	c #Conflicts:     254000 | #Constraints:      48684
69.92/70.19	c INPROCESSING
69.92/70.19	c GARBAGE COLLECT
69.92/70.19	c #Conflicts:     255000 | #Constraints:      34600
69.92/70.19	c #Conflicts:     256000 | #Constraints:      35600
69.92/70.19	c #Conflicts:     257000 | #Constraints:      36600
69.92/70.19	c #Conflicts:     258000 | #Constraints:      37600
69.92/70.19	c #Conflicts:     259000 | #Constraints:      38600
69.92/70.19	c #Conflicts:     260000 | #Constraints:      39600
69.92/70.19	c #Conflicts:     261000 | #Constraints:      40600
69.92/70.19	c #Conflicts:     262000 | #Constraints:      41600
69.92/70.19	c #Conflicts:     263000 | #Constraints:      42600
69.92/70.19	c #Conflicts:     264000 | #Constraints:      43600
69.92/70.19	c #Conflicts:     265000 | #Constraints:      44600
69.92/70.19	c #Conflicts:     266000 | #Constraints:      45600
69.92/70.19	c #Conflicts:     267000 | #Constraints:      46600
69.92/70.19	c INPROCESSING
69.92/70.19	c GARBAGE COLLECT
69.92/70.19	c #Conflicts:     268000 | #Constraints:      33517
69.92/70.19	c #Conflicts:     269000 | #Constraints:      34517
69.92/70.19	c #Conflicts:     270000 | #Constraints:      35517
69.92/70.19	c #Conflicts:     271000 | #Constraints:      36517
69.92/70.19	c #Conflicts:     272000 | #Constraints:      37517
69.92/70.19	c #Conflicts:     273000 | #Constraints:      38517
69.92/70.19	c #Conflicts:     274000 | #Constraints:      39517
69.92/70.19	c #Conflicts:     275000 | #Constraints:      40517
69.92/70.19	c #Conflicts:     276000 | #Constraints:      41517
69.92/70.19	c #Conflicts:     277000 | #Constraints:      42517
69.92/70.19	c #Conflicts:     278000 | #Constraints:      43517
69.92/70.19	c #Conflicts:     279000 | #Constraints:      44517
69.92/70.19	c #Conflicts:     280000 | #Constraints:      45517
69.92/70.19	c #Conflicts:     281000 | #Constraints:      46517
69.92/70.19	c #Conflicts:     282000 | #Constraints:      47517
69.92/70.19	c #Conflicts:     283000 | #Constraints:      48517
69.92/70.19	c #Conflicts:     284000 | #Constraints:      49517
69.92/70.19	c #Conflicts:     285000 | #Constraints:      50517
69.92/70.19	c #Conflicts:     286000 | #Constraints:      51517
69.92/70.19	c #Conflicts:     287000 | #Constraints:      52517
69.92/70.19	c #Conflicts:     288000 | #Constraints:      53517
69.92/70.19	c #Conflicts:     289000 | #Constraints:      54517
69.92/70.19	c #Conflicts:     290000 | #Constraints:      55517
69.92/70.19	c #Conflicts:     291000 | #Constraints:      56517
69.92/70.19	c #Conflicts:     292000 | #Constraints:      57517
69.92/70.19	c #Conflicts:     293000 | #Constraints:      58517
69.92/70.19	c #Conflicts:     294000 | #Constraints:      59517
69.92/70.19	c #Conflicts:     295000 | #Constraints:      60517
69.92/70.19	c #Conflicts:     296000 | #Constraints:      61517
69.92/70.19	c #Conflicts:     297000 | #Constraints:      62517
69.92/70.19	c #Conflicts:     298000 | #Constraints:      63517
69.92/70.19	c #Conflicts:     299000 | #Constraints:      64517
69.92/70.19	c #Conflicts:     300000 | #Constraints:      65517
92.66/92.91	c #Conflicts:     301000 | #Constraints:      66517
92.66/92.91	c #Conflicts:     302000 | #Constraints:      67517
92.66/92.91	c #Conflicts:     303000 | #Constraints:      68517
92.66/92.91	c #Conflicts:     304000 | #Constraints:      69517
92.66/92.91	c INPROCESSING
92.66/92.91	c GARBAGE COLLECT
92.66/92.91	c #Conflicts:     305000 | #Constraints:      45118
92.66/92.91	c #Conflicts:     306000 | #Constraints:      46118
92.66/92.91	c #Conflicts:     307000 | #Constraints:      47118
92.66/92.91	c #Conflicts:     308000 | #Constraints:      48118
92.66/92.91	c #Conflicts:     309000 | #Constraints:      49118
92.66/92.91	c #Conflicts:     310000 | #Constraints:      50118
92.66/92.91	c #Conflicts:     311000 | #Constraints:      51118
92.66/92.91	c #Conflicts:     312000 | #Constraints:      52118
92.66/92.91	c #Conflicts:     313000 | #Constraints:      53118
92.66/92.91	c #Conflicts:     314000 | #Constraints:      54118
92.66/92.91	c #Conflicts:     315000 | #Constraints:      55118
92.66/92.91	c #Conflicts:     316000 | #Constraints:      56118
92.66/92.91	c #Conflicts:     317000 | #Constraints:      57118
92.66/92.91	c #Conflicts:     318000 | #Constraints:      58118
92.66/92.91	c INPROCESSING
92.66/92.91	c GARBAGE COLLECT
92.66/92.91	c #Conflicts:     319000 | #Constraints:      39230
92.66/92.91	c #Conflicts:     320000 | #Constraints:      40230
92.66/92.91	c #Conflicts:     321000 | #Constraints:      41230
92.66/92.91	c #Conflicts:     322000 | #Constraints:      42230
92.66/92.91	c #Conflicts:     323000 | #Constraints:      43230
92.66/92.91	c #Conflicts:     324000 | #Constraints:      44230
92.66/92.91	c #Conflicts:     325000 | #Constraints:      45230
92.66/92.91	c #Conflicts:     326000 | #Constraints:      46230
92.66/92.91	c #Conflicts:     327000 | #Constraints:      47230
92.66/92.91	c #Conflicts:     328000 | #Constraints:      48230
92.66/92.91	c #Conflicts:     329000 | #Constraints:      49230
92.66/92.91	c #Conflicts:     330000 | #Constraints:      50230
92.66/92.91	c #Conflicts:     331000 | #Constraints:      51230
92.66/92.91	c #Conflicts:     332000 | #Constraints:      52230
92.66/92.91	c #Conflicts:     333000 | #Constraints:      53230
92.66/92.91	c INPROCESSING
92.66/92.91	c GARBAGE COLLECT
92.66/92.91	c #Conflicts:     334000 | #Constraints:      36989
92.66/92.91	c #Conflicts:     335000 | #Constraints:      37989
92.66/92.91	c #Conflicts:     336000 | #Constraints:      38989
92.66/92.91	c #Conflicts:     337000 | #Constraints:      39989
92.66/92.91	c #Conflicts:     338000 | #Constraints:      40989
92.66/92.91	c #Conflicts:     339000 | #Constraints:      41989
92.66/92.91	c #Conflicts:     340000 | #Constraints:      42989
92.66/92.91	c #Conflicts:     341000 | #Constraints:      43989
92.66/92.91	c #Conflicts:     342000 | #Constraints:      44989
92.66/92.91	c #Conflicts:     343000 | #Constraints:      45989
92.66/92.91	c #Conflicts:     344000 | #Constraints:      46989
92.66/92.91	c #Conflicts:     345000 | #Constraints:      47989
92.66/92.91	c #Conflicts:     346000 | #Constraints:      48989
92.66/92.91	c #Conflicts:     347000 | #Constraints:      49989
92.66/92.91	c #Conflicts:     348000 | #Constraints:      50989
92.66/92.91	c INPROCESSING
92.66/92.91	c GARBAGE COLLECT
92.66/92.91	c #Conflicts:     349000 | #Constraints:      35970
92.66/92.91	c #Conflicts:     350000 | #Constraints:      36970
92.66/92.91	c #Conflicts:     351000 | #Constraints:      37970
92.66/92.91	c #Conflicts:     352000 | #Constraints:      38970
92.66/92.91	c #Conflicts:     353000 | #Constraints:      39970
92.66/92.91	c #Conflicts:     354000 | #Constraints:      40970
92.66/92.91	c #Conflicts:     355000 | #Constraints:      41970
92.66/92.91	c #Conflicts:     356000 | #Constraints:      42970
92.66/92.91	c #Conflicts:     357000 | #Constraints:      43970
92.66/92.91	c #Conflicts:     358000 | #Constraints:      44970
92.66/92.91	c #Conflicts:     359000 | #Constraints:      45970
92.66/92.91	c #Conflicts:     360000 | #Constraints:      46970
92.66/92.91	c #Conflicts:     361000 | #Constraints:      47970
92.66/92.91	c #Conflicts:     362000 | #Constraints:      48970
92.66/92.91	c #Conflicts:     363000 | #Constraints:      49970
92.66/92.91	c #Conflicts:     364000 | #Constraints:      50970
92.66/92.91	c #Conflicts:     365000 | #Constraints:      51970
92.66/92.91	c #Conflicts:     366000 | #Constraints:      52970
92.66/92.91	c #Conflicts:     367000 | #Constraints:      53970
92.66/92.91	c #Conflicts:     368000 | #Constraints:      54970
92.66/92.91	c #Conflicts:     369000 | #Constraints:      55970
92.66/92.91	c #Conflicts:     370000 | #Constraints:      56970
92.66/92.91	c #Conflicts:     371000 | #Constraints:      57970
92.66/92.91	c #Conflicts:     372000 | #Constraints:      58970
92.66/92.91	c #Conflicts:     373000 | #Constraints:      59970
92.66/92.91	c #Conflicts:     374000 | #Constraints:      60970
92.66/92.91	c #Conflicts:     375000 | #Constraints:      61970
92.66/92.91	c #Conflicts:     376000 | #Constraints:      62970
116.49/116.88	c #Conflicts:     377000 | #Constraints:      63970
116.49/116.88	c #Conflicts:     378000 | #Constraints:      64970
116.49/116.88	c #Conflicts:     379000 | #Constraints:      65970
116.49/116.88	c #Conflicts:     380000 | #Constraints:      66970
116.49/116.88	c #Conflicts:     381000 | #Constraints:      67970
116.49/116.88	c #Conflicts:     382000 | #Constraints:      68970
116.49/116.88	c #Conflicts:     383000 | #Constraints:      69970
116.49/116.88	c #Conflicts:     384000 | #Constraints:      70970
116.49/116.88	c #Conflicts:     385000 | #Constraints:      71970
116.49/116.88	c #Conflicts:     386000 | #Constraints:      72970
116.49/116.88	c #Conflicts:     387000 | #Constraints:      73970
116.49/116.88	c #Conflicts:     388000 | #Constraints:      74970
116.49/116.88	c #Conflicts:     389000 | #Constraints:      75970
116.49/116.88	c #Conflicts:     390000 | #Constraints:      76970
116.49/116.88	c INPROCESSING
116.49/116.88	c GARBAGE COLLECT
116.49/116.88	c #Conflicts:     391000 | #Constraints:      48943
116.49/116.88	c #Conflicts:     392000 | #Constraints:      49943
116.49/116.88	c #Conflicts:     393000 | #Constraints:      50943
116.49/116.88	c #Conflicts:     394000 | #Constraints:      51943
116.49/116.88	c #Conflicts:     395000 | #Constraints:      52943
116.49/116.88	c #Conflicts:     396000 | #Constraints:      53943
116.49/116.88	c #Conflicts:     397000 | #Constraints:      54943
116.49/116.88	c #Conflicts:     398000 | #Constraints:      55943
116.49/116.88	c #Conflicts:     399000 | #Constraints:      56943
116.49/116.88	c #Conflicts:     400000 | #Constraints:      57943
116.49/116.88	c #Conflicts:     401000 | #Constraints:      58943
116.49/116.88	c #Conflicts:     402000 | #Constraints:      59943
116.49/116.88	c #Conflicts:     403000 | #Constraints:      60943
116.49/116.88	c #Conflicts:     404000 | #Constraints:      61943
116.49/116.88	c #Conflicts:     405000 | #Constraints:      62943
116.49/116.88	c #Conflicts:     406000 | #Constraints:      63943
116.49/116.88	c INPROCESSING
116.49/116.88	c GARBAGE COLLECT
116.49/116.88	c #Conflicts:     407000 | #Constraints:      42392
116.49/116.88	c #Conflicts:     408000 | #Constraints:      43392
116.49/116.88	c #Conflicts:     409000 | #Constraints:      44392
116.49/116.88	c #Conflicts:     410000 | #Constraints:      45392
116.49/116.88	c #Conflicts:     411000 | #Constraints:      46392
116.49/116.88	c #Conflicts:     412000 | #Constraints:      47392
116.49/116.88	c #Conflicts:     413000 | #Constraints:      48392
116.49/116.88	c #Conflicts:     414000 | #Constraints:      49392
116.49/116.88	c #Conflicts:     415000 | #Constraints:      50392
116.49/116.88	c #Conflicts:     416000 | #Constraints:      51392
116.49/116.88	c #Conflicts:     417000 | #Constraints:      52392
116.49/116.88	c #Conflicts:     418000 | #Constraints:      53392
116.49/116.88	c #Conflicts:     419000 | #Constraints:      54392
116.49/116.88	c #Conflicts:     420000 | #Constraints:      55392
116.49/116.88	c #Conflicts:     421000 | #Constraints:      56392
116.49/116.88	c #Conflicts:     422000 | #Constraints:      57392
116.49/116.88	c INPROCESSING
116.49/116.88	c GARBAGE COLLECT
116.49/116.88	c #Conflicts:     423000 | #Constraints:      33751
116.49/116.88	c #Conflicts:     424000 | #Constraints:      34751
116.49/116.88	c #Conflicts:     425000 | #Constraints:      35751
116.49/116.88	c #Conflicts:     426000 | #Constraints:      36751
116.49/116.88	c #Conflicts:     427000 | #Constraints:      37751
116.49/116.88	c #Conflicts:     428000 | #Constraints:      38751
116.49/116.88	c #Conflicts:     429000 | #Constraints:      39751
116.49/116.88	c #Conflicts:     430000 | #Constraints:      40751
116.49/116.88	c #Conflicts:     431000 | #Constraints:      41751
116.49/116.88	c #Conflicts:     432000 | #Constraints:      42751
116.49/116.88	c #Conflicts:     433000 | #Constraints:      43751
116.49/116.88	c #Conflicts:     434000 | #Constraints:      44751
116.49/116.88	c #Conflicts:     435000 | #Constraints:      45751
116.49/116.88	c #Conflicts:     436000 | #Constraints:      46751
116.49/116.88	c #Conflicts:     437000 | #Constraints:      47751
116.49/116.88	c #Conflicts:     438000 | #Constraints:      48751
116.49/116.88	c #Conflicts:     439000 | #Constraints:      49751
116.49/116.88	c #Conflicts:     440000 | #Constraints:      50751
116.49/116.88	c #Conflicts:     441000 | #Constraints:      51751
116.49/116.88	c #Conflicts:     442000 | #Constraints:      52751
116.49/116.88	c #Conflicts:     443000 | #Constraints:      53751
116.49/116.88	c #Conflicts:     444000 | #Constraints:      54751
116.49/116.88	c #Conflicts:     445000 | #Constraints:      55751
116.49/116.88	c cpu time 114.107 s
116.49/116.88	c deterministic time 3628762594 3.63e+09
116.49/116.88	c optimization time 7.2e-05 s
116.49/116.88	c total solve time 114.073 s
116.49/116.88	c core-guided solve time 0 s
116.49/116.88	c propagation time 50.6135 s
116.49/116.88	c conflict analysis time 58.7219 s
116.49/116.88	c propagations 201518372
116.49/116.88	c resolve steps 22288027
116.49/116.88	c decisions 1009838
116.49/116.88	c conflicts 445472
116.49/116.88	c restarts 1021
116.49/116.88	c inprocessing phases 32
116.49/116.88	c input clauses 17960
116.49/116.88	c input cardinalities 0
116.49/116.88	c input general constraints 0
116.59/116.99	c input average constraint length 2.11
116.59/116.99	c input average constraint degree 1.00
116.59/116.99	c learned clauses 445471
116.59/116.99	c learned cardinalities 0
116.59/116.99	c learned general constraints 0
116.59/116.99	c learned average constraint length 184.50
116.59/116.99	c learned average constraint degree 1.00
116.59/116.99	c watched constraints 0
116.59/116.99	c counting constraints 0
116.59/116.99	c gcd simplifications 0
116.59/116.99	c detected cardinalities 0
116.59/116.99	c weakened non-implied lits 0
116.59/116.99	c weakened non-implying lits 0
116.59/116.99	c original variables 5685
116.59/116.99	c clausal propagations 201072901
116.59/116.99	c cardinality propagations 0
116.59/116.99	c watched propagations 0
116.59/116.99	c counting propagations 0
116.59/116.99	c watch lookups 930412823
116.59/116.99	c watch backjump lookups 0
116.59/116.99	c watch checks 1850492904
116.59/116.99	c propagation checks 201072901
116.59/116.99	c constraint additions 241283248
116.59/116.99	c trail pops 202972507
116.59/116.99	c formula constraints 17960
116.59/116.99	c learned constraints 445471
116.59/116.99	c bound constraints 0
116.59/116.99	c core-guided constraints 0
116.59/116.99	c encountered formula constraints 15313019
116.59/116.99	c encountered learned constraints 7420480
116.59/116.99	c encountered bound constraints 0
116.59/116.99	c encountered core-guided constraints 0
116.59/116.99	c LP total time 0 s
116.59/116.99	c LP solve time 0 s
116.59/117.00	c LP constraints added 0
116.59/117.00	c LP constraints removed 0
116.59/117.00	c LP pivots internal 0
116.59/117.00	c LP pivots root 0
116.59/117.00	c LP calls 0
116.59/117.00	c LP optimalities 0
116.59/117.00	c LP no pivot count 0
116.59/117.00	c LP infeasibilities 0
116.59/117.00	c LP valid Farkas constraints 0
116.59/117.00	c LP learned Farkas constraints 0
116.59/117.00	c LP basis resets 0
116.59/117.00	c LP cycling count 0
116.59/117.00	c LP singular count 0
116.59/117.00	c LP no primal count 0
116.59/117.00	c LP no farkas count 0
116.59/117.00	c LP other issue count 0
116.59/117.00	c LP Gomory cuts 0
116.59/117.00	c LP learned cuts 0
116.59/117.00	c LP deleted cuts 0
116.59/117.00	c LP encountered Gomory constraints 0
116.59/117.00	c LP encountered Farkas constraints 0
116.59/117.00	c LP encountered learned Farkas constraints 0
116.59/117.00	c CG auxiliary variables introduced 0
116.59/117.00	c CG solutions found 0
116.59/117.00	c CG cores constructed 0
116.59/117.00	c CG core cardinality constraints returned 0
116.59/117.00	c CG unit cores 0
116.59/117.00	c CG single cores 0
116.59/117.00	c CG blocks removed during cardinality reduction 0
116.59/117.00	c CG first core best 0
116.59/117.00	c CG decision core best 0
116.59/117.00	c CG core reduction tie 0
116.59/117.00	c CG core degree average 0.00
116.59/117.00	c CG core slack average 0.00
116.59/117.00	s SATISFIABLE

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 (60787 MiB free)
  memory of node 1: 64510 MiB (56221 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.104638 s]*
/proc/loadavg: 4.19 4.15 4.10 5/261 195117
/proc/meminfo: memFree=119810444/131524600 swapFree=131056028/131071996
[pid=195114] ppid=195111 vsize=39884 memory=10472 CPUtime=0.09 cores=4,6
/proc/195114/stat : 195114 (roundingsat) R 195111 195114 191587 0 -1 4194304 966 0 0 0 6 3 0 0 20 0 1 0 20104864 40841216 2618 134679101440 4194304 8254037 140732955003248 0 0 0 0 0 25182210 0 0 0 17 6 0 0 0 0 0 9037040 9046032 12345344 140732955005788 140732955006050 140732955006050 140732955013065 0
/proc/195114/statm: 9971 2618 1424 992 0 1829 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39884 KiB
Current children cumulated memory: 10472 KiB

[startup+0.206652 s]*
/proc/loadavg: 4.19 4.15 4.10 5/261 195117
/proc/meminfo: memFree=119810472/131524600 swapFree=131056028/131071996
[pid=195114] ppid=195111 vsize=39884 memory=10472 CPUtime=0.19 cores=4,6
/proc/195114/stat : 195114 (roundingsat) R 195111 195114 191587 0 -1 4194304 967 0 0 0 12 7 0 0 20 0 1 0 20104864 40841216 2618 134679101440 4194304 8254037 140732955003248 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12345344 140732955005788 140732955006050 140732955006050 140732955013065 0
/proc/195114/statm: 9971 2618 1424 992 0 1829 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 39884 KiB
Current children cumulated memory: 10472 KiB

[startup+0.305503 s]*
/proc/loadavg: 4.19 4.15 4.10 5/261 195117
/proc/meminfo: memFree=119809772/131524600 swapFree=131056028/131071996
[pid=195114] ppid=195111 vsize=39884 memory=10472 CPUtime=0.29 cores=4,6
/proc/195114/stat : 195114 (roundingsat) R 195111 195114 191587 0 -1 4194304 967 0 0 0 18 11 0 0 20 0 1 0 20104864 40841216 2618 134679101440 4194304 8254037 140732955003248 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12345344 140732955005788 140732955006050 140732955006050 140732955013065 0
/proc/195114/statm: 9971 2618 1424 992 0 1829 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 39884 KiB
Current children cumulated memory: 10472 KiB

[startup+0.700194 s]
/proc/loadavg: 4.19 4.15 4.10 5/261 195117
/proc/meminfo: memFree=119808624/131524600 swapFree=131056028/131071996
[pid=195114] ppid=195111 vsize=39884 memory=10472 CPUtime=0.68 cores=4,6
/proc/195114/stat : 195114 (roundingsat) R 195111 195114 191587 0 -1 4194304 969 0 0 0 42 26 0 0 20 0 1 0 20104864 40841216 2618 134679101440 4194304 8254037 140732955003248 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12345344 140732955005788 140732955006050 140732955006050 140732955013065 0
/proc/195114/statm: 9971 2618 1424 992 0 1829 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 39884 KiB
Current children cumulated memory: 10472 KiB

[startup+1.5002 s]
/proc/loadavg: 4.19 4.15 4.10 6/261 195117
/proc/meminfo: memFree=119805908/131524600 swapFree=131056028/131071996
[pid=195114] ppid=195111 vsize=40944 memory=11932 CPUtime=1.48 cores=4,6
/proc/195114/stat : 195114 (roundingsat) R 195111 195114 191587 0 -1 4194304 1330 0 0 0 108 40 0 0 20 0 1 0 20104864 41926656 2983 134679101440 4194304 8254037 140732955003248 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12345344 140732955005788 140732955006050 140732955006050 140732955013065 0
/proc/195114/statm: 10236 2983 1502 992 0 2094 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 40944 KiB
Current children cumulated memory: 11932 KiB

[startup+3.10601 s]
/proc/loadavg: 4.17 4.14 4.10 6/261 195117
/proc/meminfo: memFree=119790480/131524600 swapFree=131056028/131071996
[pid=195114] ppid=195111 vsize=41136 memory=13468 CPUtime=3.08 cores=4,6
/proc/195114/stat : 195114 (roundingsat) R 195111 195114 191587 0 -1 4194304 1982 0 0 0 263 45 0 0 20 0 1 0 20104864 42123264 3367 134679101440 4194304 8254037 140732955003248 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12345344 140732955005788 140732955006050 140732955006050 140732955013065 0
/proc/195114/statm: 10284 3367 1502 992 0 2142 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 41136 KiB
Current children cumulated memory: 13468 KiB

[startup+6.30017 s]
/proc/loadavg: 4.17 4.14 4.10 6/261 195117
/proc/meminfo: memFree=119766720/131524600 swapFree=131056028/131071996
[pid=195114] ppid=195111 vsize=45060 memory=16980 CPUtime=6.26 cores=4,6
/proc/195114/stat : 195114 (roundingsat) R 195111 195114 191587 0 -1 4194304 3012 0 0 0 574 52 0 0 20 0 1 0 20104864 46141440 4245 134679101440 4194304 8254037 140732955003248 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12345344 140732955005788 140732955006050 140732955006050 140732955013065 0
/proc/195114/statm: 11265 4245 1502 992 0 3123 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 45060 KiB
Current children cumulated memory: 16980 KiB

[startup+12.7002 s]
/proc/loadavg: 4.14 4.14 4.09 6/261 195118
/proc/meminfo: memFree=119722588/131524600 swapFree=131056028/131071996
[pid=195114] ppid=195111 vsize=50148 memory=22416 CPUtime=12.65 cores=4,6
/proc/195114/stat : 195114 (roundingsat) R 195111 195114 191587 0 -1 4194304 3880 0 0 0 1199 66 0 0 20 0 1 0 20104864 51351552 5604 134679101440 4194304 8254037 140732955003248 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12345344 140732955005788 140732955006050 140732955006050 140732955013065 0
/proc/195114/statm: 12537 5604 1502 992 0 4395 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 50148 KiB
Current children cumulated memory: 22416 KiB

[startup+25.5002 s]
/proc/loadavg: 4.12 4.13 4.09 6/261 195120
/proc/meminfo: memFree=119634272/131524600 swapFree=131056028/131071996
[pid=195114] ppid=195111 vsize=58088 memory=27188 CPUtime=25.42 cores=4,6
/proc/195114/stat : 195114 (roundingsat) R 195111 195114 191587 0 -1 4194304 5038 0 0 0 2448 94 0 0 20 0 1 0 20104864 59482112 6797 134679101440 4194304 8254037 140732955003248 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12345344 140732955005788 140732955006050 140732955006050 140732955013065 0
/proc/195114/statm: 14522 6797 1502 992 0 6380 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 58088 KiB
Current children cumulated memory: 27188 KiB

[startup+51.106 s]
/proc/loadavg: 4.14 4.14 4.09 6/261 195125
/proc/meminfo: memFree=119474368/131524600 swapFree=131056028/131071996
[pid=195114] ppid=195111 vsize=71504 memory=42748 CPUtime=50.97 cores=4,6
/proc/195114/stat : 195114 (roundingsat) R 195111 195114 191587 0 -1 4194304 6417 0 0 0 4954 143 0 0 20 0 1 0 20104864 73220096 10687 134679101440 4194304 8254037 140732955003248 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12345344 140732955005788 140732955006050 140732955006050 140732955013065 0
/proc/195114/statm: 17876 10687 1502 992 0 9734 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 71504 KiB
Current children cumulated memory: 42748 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.13 4.09 6/261 195136
/proc/meminfo: memFree=119179556/131524600 swapFree=131056028/131071996
[pid=195114] ppid=195111 vsize=93152 memory=59824 CPUtime=102.02 cores=4,6
/proc/195114/stat : 195114 (roundingsat) R 195111 195114 191587 0 -1 4194304 7777 0 0 0 9977 225 0 0 20 0 1 0 20104864 95387648 14956 134679101440 4194304 8254037 140732955003248 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12345344 140732955005788 140732955006050 140732955006050 140732955013065 0
/proc/195114/statm: 23288 14956 1502 992 0 15146 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 93152 KiB
Current children cumulated memory: 59824 KiB

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

# cumulated CPU time of all completed processes:  user=114.108 s, system=2.49344 s

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

[startup+102.4 s]
/proc/loadavg: 4.11 4.13 4.09 6/261 195136
/proc/meminfo: memFree=119179556/131524600 swapFree=131056028/131071996
[pid=195114] ppid=195111 vsize=93152 memory=59824 CPUtime=102.12 cores=4,6
/proc/195114/stat : 195114 (roundingsat) R 195111 195114 191587 0 -1 4194304 7777 0 0 0 9987 225 0 0 20 0 1 0 20104864 95387648 14956 134679101440 4194304 8254037 140732955003248 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12345344 140732955005788 140732955006050 140732955006050 140732955013065 0
/proc/195114/statm: 23288 14956 1502 992 0 15146 0
Current children cumulated CPU time: 102.12 s
Current children cumulated vsize: 93152 KiB
Current children cumulated memory: 59824 KiB

[startup+108.8 s]
/proc/loadavg: 4.10 4.13 4.09 6/261 195136
/proc/meminfo: memFree=119149944/131524600 swapFree=131056028/131071996
[pid=195114] ppid=195111 vsize=93152 memory=59824 CPUtime=108.52 cores=4,6
/proc/195114/stat : 195114 (roundingsat) R 195111 195114 191587 0 -1 4194304 7791 0 0 0 10615 237 0 0 20 0 1 0 20104864 95387648 14956 134679101440 4194304 8254037 140732955003248 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12345344 140732955005788 140732955006050 140732955006050 140732955013065 0
/proc/195114/statm: 23288 14956 1502 992 0 15146 0
Current children cumulated CPU time: 108.52 s
Current children cumulated vsize: 93152 KiB
Current children cumulated memory: 59824 KiB

[startup+112 s]*
/proc/loadavg: 4.09 4.12 4.09 6/261 195138
/proc/meminfo: memFree=119126360/131524600 swapFree=131056028/131071996
[pid=195114] ppid=195111 vsize=93152 memory=59824 CPUtime=111.71 cores=4,6
/proc/195114/stat : 195114 (roundingsat) R 195111 195114 191587 0 -1 4194304 7792 0 0 0 10930 241 0 0 20 0 1 0 20104864 95387648 14956 134679101440 4194304 8254037 140732955003248 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12345344 140732955005788 140732955006050 140732955006050 140732955013065 0
/proc/195114/statm: 23288 14956 1502 992 0 15146 0
Current children cumulated CPU time: 111.71 s
Current children cumulated vsize: 93152 KiB
Current children cumulated memory: 59824 KiB

[startup+115.2 s]
/proc/loadavg: 4.09 4.12 4.09 6/261 195138
/proc/meminfo: memFree=119109132/131524600 swapFree=131056028/131071996
[pid=195114] ppid=195111 vsize=93152 memory=59824 CPUtime=114.9 cores=4,6
/proc/195114/stat : 195114 (roundingsat) R 195111 195114 191587 0 -1 4194304 7792 0 0 0 11244 246 0 0 20 0 1 0 20104864 95387648 14956 134679101440 4194304 8254037 140732955003248 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12345344 140732955005788 140732955006050 140732955006050 140732955013065 0
/proc/195114/statm: 23288 14956 1502 992 0 15146 0
Current children cumulated CPU time: 114.9 s
Current children cumulated vsize: 93152 KiB
Current children cumulated memory: 59824 KiB

[startup+116 s]*
/proc/loadavg: 4.09 4.12 4.09 6/261 195138
/proc/meminfo: memFree=119103644/131524600 swapFree=131056028/131071996
[pid=195114] ppid=195111 vsize=93152 memory=59824 CPUtime=115.7 cores=4,6
/proc/195114/stat : 195114 (roundingsat) R 195111 195114 191587 0 -1 4194304 7792 0 0 0 11323 247 0 0 20 0 1 0 20104864 95387648 14956 134679101440 4194304 8254037 140732955003248 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12345344 140732955005788 140732955006050 140732955006050 140732955013065 0
/proc/195114/statm: 23288 14956 1502 992 0 15146 0
Current children cumulated CPU time: 115.7 s
Current children cumulated vsize: 93152 KiB
Current children cumulated memory: 59824 KiB

[startup+116.4 s]
/proc/loadavg: 4.09 4.12 4.09 6/261 195138
/proc/meminfo: memFree=119103644/131524600 swapFree=131056028/131071996
[pid=195114] ppid=195111 vsize=93152 memory=59824 CPUtime=116.1 cores=4,6
/proc/195114/stat : 195114 (roundingsat) R 195111 195114 191587 0 -1 4194304 7792 0 0 0 11362 248 0 0 20 0 1 0 20104864 95387648 14956 134679101440 4194304 8254037 140732955003248 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12345344 140732955005788 140732955006050 140732955006050 140732955013065 0
/proc/195114/statm: 23288 14956 1502 992 0 15146 0
Current children cumulated CPU time: 116.1 s
Current children cumulated vsize: 93152 KiB
Current children cumulated memory: 59824 KiB

[startup+116.8 s]
/proc/loadavg: 4.09 4.12 4.09 6/261 195138
/proc/meminfo: memFree=119103644/131524600 swapFree=131056028/131071996
[pid=195114] ppid=195111 vsize=93152 memory=59824 CPUtime=116.49 cores=4,6
/proc/195114/stat : 195114 (roundingsat) R 195111 195114 191587 0 -1 4194304 7793 0 0 0 11401 248 0 0 20 0 1 0 20104864 95387648 14956 134679101440 4194304 8254037 140732955003248 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12345344 140732955005788 140732955006050 140732955006050 140732955013065 0
/proc/195114/statm: 23288 14956 1502 992 0 15146 0
Current children cumulated CPU time: 116.49 s
Current children cumulated vsize: 93152 KiB
Current children cumulated memory: 59824 KiB

[startup+116.9 s]
/proc/loadavg: 4.09 4.12 4.09 6/261 195138
/proc/meminfo: memFree=119103644/131524600 swapFree=131056028/131071996
[pid=195114] ppid=195111 vsize=93152 memory=59824 CPUtime=116.59 cores=4,6
/proc/195114/stat : 195114 (roundingsat) D 195111 195114 191587 0 -1 4194304 7793 0 0 0 11410 249 0 0 20 0 1 0 20104864 95387648 14956 134679101440 4194304 8254037 140732955003248 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12345344 140732955005788 140732955006050 140732955006050 140732955013065 0
/proc/195114/statm: 23288 14956 1502 992 0 15146 0
Current children cumulated CPU time: 116.59 s
Current children cumulated vsize: 93152 KiB
Current children cumulated memory: 59824 KiB

Child status: 0

Real time (s): 117
CPU time (s): 116.601
CPU user time (s): 114.108
CPU system time (s): 2.49344
CPU usage (%): 99.6586
Max. virtual memory (cumulated for all children) (KiB): 93152
Max. memory (cumulated for all children) (KiB): 59824

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 114.108
system time used= 2.49344
maximum resident set size= 59824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7802
page faults= 0
swaps= 0
block input operations= 0
block output operations= 399928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 627
involuntary context switches= 163


# summary of solver processes directly reported to runsolver:
#   pid: 195114
#   total CPU time (s): 116.601
#   total CPU user time (s): 114.108
#   total CPU system time (s): 2.49344

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.228797 second user time and 0.578723 second system time

The end

Launcher Data 

Begin job on nodeC016 at 2024-07-24 17:42:43
IDJOB=4457276
IDBENCH=160419
IDSOLVER=3085
FILE ID=nodeC016/4457276-1721835763
RUNJOBID= nodeC016-1721830563-191598
SLURM_JOB_ID= 7891513
Free space on /tmp= 890060 MiB

SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/normalized-3col-left3reg-l080-r079-n1.cnf-plain.pb.metafix.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-4457276-1721835763/watcher-4457276-1721835763 -o /tmp/evaluation-result-4457276-1721835763/solver-4457276-1721835763 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721830563-191598 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457276-1721835763 --lp-cut-gomory=0 HOME/instance-4457276-1721835763.opb

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

MD5SUM BENCH= 266633e779ed92513dfdd11bdc765a52
RANDOM SEED=504184910

nodeC016.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.212
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.34
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		: 3688.683
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.68
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		: 3601.170
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.34
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.032
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.68
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		: 3653.256
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.34
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		: 3688.751
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.68
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		: 3638.363
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.34
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		: 3599.770
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        119816568 kB
MemAvailable:   129295364 kB
Buffers:          254924 kB
Cached:          9905328 kB
SwapCached:          256 kB
Active:          2249940 kB
Inactive:        8559620 kB
Active(anon):       2424 kB
Inactive(anon):   699344 kB
Active(file):    2247516 kB
Inactive(file):  7860276 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131056028 kB
Dirty:             84188 kB
Writeback:             0 kB
AnonPages:        647252 kB
Mapped:           109592 kB
Shmem:             52400 kB
KReclaimable:     421304 kB
Slab:             543572 kB
SReclaimable:     421304 kB
SUnreclaim:       122268 kB
KernelStack:        4208 kB
PageTables:        10880 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1040536 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            17184 kB
HardwareCorrupted:     0 kB
AnonHugePages:    479232 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:      373460 kB
DirectMap2M:    42391552 kB
DirectMap1G:    93323264 kB

Free space on /tmp at the end= 890052 MiB
End job on nodeC016 at 2024-07-24 17:44:40