Trace number 4435887

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 NameAnswerobjective functionCPU timeWall clock time
pb-oll-rs 2024-07-02? (TO) 3600.1 3615.02

DiagnosticValue
AM1LB0
LOWERBOUND32
NAM1S0
NCORES6
NEXHAUSTED0
NPBCORES0
NPBREFORM0
NTRIMMED0

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_17.opb
MD5SUMb48e8711e48bf421c56e401ff58b5422
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark248
Best CPU time to get the best result obtained on this benchmark3600.02
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7089
Total number of constraints13888
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints13888
Minimum length of a constraint18
Maximum length of a constraint37
Number of terms in the objective function 9
Biggest coefficient in the objective function 256
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 511
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 512
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 2621
Number of bits of the biggest sum of numbers12
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.00	c [STEP] parsing instance
0.09/0.20	c [STEP] solving
0.09/0.20	c #variables 7089 #constraints 13888
0.09/0.20	c SMALL=int, LARGE=long long
0.09/0.20	c bounds - >= 0 @ 0.186106
0.09/0.20	c stratification level: 0
144.10/144.51	c bounds - >= 1 @ 0.194339
144.10/144.51	c bounds - >= 2 @ 0.195313
144.10/144.51	c bounds - >= 4 @ 0.196179
144.10/144.51	c bounds - >= 8 @ 0.197621
144.10/144.51	c bounds - >= 16 @ 0.206353
144.10/144.51	c bounds - >= 32 @ 0.583046
144.10/144.51	c #Conflicts:       1000 | #Constraints:      14893
144.10/144.51	c #Conflicts:       2000 | #Constraints:      15893
144.10/144.51	c INPROCESSING
144.10/144.51	c #Conflicts:       3000 | #Constraints:      15904
144.10/144.51	c #Conflicts:       4000 | #Constraints:      16904
144.10/144.51	c INPROCESSING
144.10/144.51	c #Conflicts:       5000 | #Constraints:      16315
144.10/144.51	c #Conflicts:       6000 | #Constraints:      17315
144.10/144.51	c INPROCESSING
144.10/144.51	c GARBAGE COLLECT
144.10/144.51	c #Conflicts:       7000 | #Constraints:      16322
144.10/144.51	c #Conflicts:       8000 | #Constraints:      17322
144.10/144.51	c #Conflicts:       9000 | #Constraints:      18322
144.10/144.51	c INPROCESSING
144.10/144.51	c #Conflicts:      10000 | #Constraints:      17022
144.10/144.51	c #Conflicts:      11000 | #Constraints:      18022
144.10/144.51	c #Conflicts:      12000 | #Constraints:      19022
144.10/144.51	c #Conflicts:      13000 | #Constraints:      20022
144.10/144.51	c #Conflicts:      14000 | #Constraints:      21022
144.10/144.51	c #Conflicts:      15000 | #Constraints:      22022
144.10/144.51	c #Conflicts:      16000 | #Constraints:      23022
144.10/144.51	c INPROCESSING
144.10/144.51	c GARBAGE COLLECT
144.10/144.51	c #Conflicts:      17000 | #Constraints:      19239
144.10/144.51	c #Conflicts:      18000 | #Constraints:      20239
144.10/144.51	c #Conflicts:      19000 | #Constraints:      21239
144.10/144.51	c #Conflicts:      20000 | #Constraints:      22239
144.10/144.51	c INPROCESSING
144.10/144.51	c GARBAGE COLLECT
144.10/144.51	c #Conflicts:      21000 | #Constraints:      18891
144.10/144.51	c #Conflicts:      22000 | #Constraints:      19891
144.10/144.51	c #Conflicts:      23000 | #Constraints:      20891
144.10/144.51	c #Conflicts:      24000 | #Constraints:      21891
144.10/144.51	c #Conflicts:      25000 | #Constraints:      22891
144.10/144.51	c #Conflicts:      26000 | #Constraints:      23891
144.10/144.51	c #Conflicts:      27000 | #Constraints:      24891
144.10/144.51	c #Conflicts:      28000 | #Constraints:      25891
144.10/144.51	c #Conflicts:      29000 | #Constraints:      26891
144.10/144.51	c #Conflicts:      30000 | #Constraints:      27891
144.10/144.51	c INPROCESSING
144.10/144.51	c GARBAGE COLLECT
144.10/144.51	c #Conflicts:      31000 | #Constraints:      21514
144.10/144.51	c #Conflicts:      32000 | #Constraints:      22514
144.10/144.51	c #Conflicts:      33000 | #Constraints:      23514
144.10/144.51	c #Conflicts:      34000 | #Constraints:      24514
144.10/144.51	c #Conflicts:      35000 | #Constraints:      25514
144.10/144.51	c #Conflicts:      36000 | #Constraints:      26514
144.10/144.51	c INPROCESSING
144.10/144.51	c GARBAGE COLLECT
144.10/144.51	c #Conflicts:      37000 | #Constraints:      21230
144.10/144.51	c #Conflicts:      38000 | #Constraints:      22230
144.10/144.51	c #Conflicts:      39000 | #Constraints:      23230
144.10/144.51	c #Conflicts:      40000 | #Constraints:      24230
144.10/144.51	c #Conflicts:      41000 | #Constraints:      25230
144.10/144.51	c #Conflicts:      42000 | #Constraints:      26230
144.10/144.51	c #Conflicts:      43000 | #Constraints:      27230
144.10/144.51	c #Conflicts:      44000 | #Constraints:      28230
144.10/144.51	c #Conflicts:      45000 | #Constraints:      29230
144.10/144.51	c #Conflicts:      46000 | #Constraints:      30230
144.10/144.51	c #Conflicts:      47000 | #Constraints:      31230
144.10/144.51	c #Conflicts:      48000 | #Constraints:      32230
144.10/144.51	c #Conflicts:      49000 | #Constraints:      33230
144.10/144.51	c INPROCESSING
144.10/144.51	c GARBAGE COLLECT
144.10/144.51	c #Conflicts:      50000 | #Constraints:      24352
144.10/144.51	c #Conflicts:      51000 | #Constraints:      25352
144.10/144.51	c #Conflicts:      52000 | #Constraints:      26352
144.10/144.51	c #Conflicts:      53000 | #Constraints:      27352
144.10/144.51	c #Conflicts:      54000 | #Constraints:      28352
144.10/144.51	c #Conflicts:      55000 | #Constraints:      29352
144.10/144.51	c #Conflicts:      56000 | #Constraints:      30352
144.10/144.51	c #Conflicts:      57000 | #Constraints:      31352
144.10/144.51	c #Conflicts:      58000 | #Constraints:      32352
144.10/144.51	c #Conflicts:      59000 | #Constraints:      33352
144.10/144.51	c #Conflicts:      60000 | #Constraints:      34352
144.10/144.51	c #Conflicts:      61000 | #Constraints:      35352
144.10/144.51	c #Conflicts:      62000 | #Constraints:      36352
144.10/144.51	c #Conflicts:      63000 | #Constraints:      37352
144.10/144.51	c #Conflicts:      64000 | #Constraints:      38352
144.10/144.51	c #Conflicts:      65000 | #Constraints:      39352
144.10/144.51	c INPROCESSING
144.10/144.51	c GARBAGE COLLECT
144.10/144.51	c #Conflicts:      66000 | #Constraints:      27660
144.10/144.51	c #Conflicts:      67000 | #Constraints:      28660
144.10/144.51	c #Conflicts:      68000 | #Constraints:      29660
144.10/144.51	c #Conflicts:      69000 | #Constraints:      30660
144.10/144.51	c #Conflicts:      70000 | #Constraints:      31660
144.10/144.51	c #Conflicts:      71000 | #Constraints:      32660
529.22/531.09	c #Conflicts:      72000 | #Constraints:      33660
529.22/531.09	c #Conflicts:      73000 | #Constraints:      34660
529.22/531.09	c #Conflicts:      74000 | #Constraints:      35660
529.22/531.09	c #Conflicts:      75000 | #Constraints:      36660
529.22/531.09	c #Conflicts:      76000 | #Constraints:      37660
529.22/531.09	c #Conflicts:      77000 | #Constraints:      38660
529.22/531.09	c #Conflicts:      78000 | #Constraints:      39660
529.22/531.09	c #Conflicts:      79000 | #Constraints:      40660
529.22/531.09	c #Conflicts:      80000 | #Constraints:      41660
529.22/531.09	c #Conflicts:      81000 | #Constraints:      42660
529.22/531.09	c #Conflicts:      82000 | #Constraints:      43660
529.22/531.09	c INPROCESSING
529.22/531.09	c GARBAGE COLLECT
529.22/531.09	c #Conflicts:      83000 | #Constraints:      29579
529.22/531.09	c #Conflicts:      84000 | #Constraints:      30579
529.22/531.09	c #Conflicts:      85000 | #Constraints:      31579
529.22/531.09	c #Conflicts:      86000 | #Constraints:      32579
529.22/531.09	c #Conflicts:      87000 | #Constraints:      33579
529.22/531.09	c #Conflicts:      88000 | #Constraints:      34579
529.22/531.09	c #Conflicts:      89000 | #Constraints:      35579
529.22/531.09	c #Conflicts:      90000 | #Constraints:      36579
529.22/531.09	c #Conflicts:      91000 | #Constraints:      37579
529.22/531.09	c #Conflicts:      92000 | #Constraints:      38579
529.22/531.09	c #Conflicts:      93000 | #Constraints:      39579
529.22/531.09	c #Conflicts:      94000 | #Constraints:      40579
529.22/531.09	c #Conflicts:      95000 | #Constraints:      41579
529.22/531.09	c #Conflicts:      96000 | #Constraints:      42579
529.22/531.09	c #Conflicts:      97000 | #Constraints:      43579
529.22/531.09	c #Conflicts:      98000 | #Constraints:      44579
529.22/531.09	c #Conflicts:      99000 | #Constraints:      45579
529.22/531.09	c #Conflicts:     100000 | #Constraints:      46579
529.22/531.09	c #Conflicts:     101000 | #Constraints:      47579
529.22/531.09	c #Conflicts:     102000 | #Constraints:      48579
529.22/531.09	c INPROCESSING
529.22/531.09	c GARBAGE COLLECT
529.22/531.09	c #Conflicts:     103000 | #Constraints:      32283
529.22/531.09	c #Conflicts:     104000 | #Constraints:      33283
529.22/531.09	c #Conflicts:     105000 | #Constraints:      34283
529.22/531.09	c #Conflicts:     106000 | #Constraints:      35283
529.22/531.09	c #Conflicts:     107000 | #Constraints:      36283
529.22/531.09	c #Conflicts:     108000 | #Constraints:      37283
529.22/531.09	c #Conflicts:     109000 | #Constraints:      38283
529.22/531.09	c #Conflicts:     110000 | #Constraints:      39283
529.22/531.09	c #Conflicts:     111000 | #Constraints:      40283
529.22/531.09	c #Conflicts:     112000 | #Constraints:      41283
529.22/531.09	c #Conflicts:     113000 | #Constraints:      42283
529.22/531.09	c #Conflicts:     114000 | #Constraints:      43283
529.22/531.09	c #Conflicts:     115000 | #Constraints:      44283
529.22/531.09	c #Conflicts:     116000 | #Constraints:      45283
529.22/531.09	c #Conflicts:     117000 | #Constraints:      46283
529.22/531.09	c #Conflicts:     118000 | #Constraints:      47283
529.22/531.09	c #Conflicts:     119000 | #Constraints:      48283
529.22/531.09	c #Conflicts:     120000 | #Constraints:      49283
529.22/531.09	c #Conflicts:     121000 | #Constraints:      50283
529.22/531.09	c #Conflicts:     122000 | #Constraints:      51283
529.22/531.09	c #Conflicts:     123000 | #Constraints:      52283
529.22/531.09	c INPROCESSING
529.22/531.09	c GARBAGE COLLECT
529.22/531.09	c #Conflicts:     124000 | #Constraints:      33890
529.22/531.09	c #Conflicts:     125000 | #Constraints:      34890
529.22/531.09	c #Conflicts:     126000 | #Constraints:      35890
529.22/531.09	c #Conflicts:     127000 | #Constraints:      36890
529.22/531.09	c #Conflicts:     128000 | #Constraints:      37890
529.22/531.09	c #Conflicts:     129000 | #Constraints:      38890
529.22/531.09	c #Conflicts:     130000 | #Constraints:      39890
529.22/531.09	c #Conflicts:     131000 | #Constraints:      40890
529.22/531.09	c #Conflicts:     132000 | #Constraints:      41890
529.22/531.09	c #Conflicts:     133000 | #Constraints:      42890
529.22/531.09	c #Conflicts:     134000 | #Constraints:      43890
529.22/531.09	c #Conflicts:     135000 | #Constraints:      44890
529.22/531.09	c #Conflicts:     136000 | #Constraints:      45890
529.22/531.09	c #Conflicts:     137000 | #Constraints:      46890
529.22/531.09	c #Conflicts:     138000 | #Constraints:      47890
529.22/531.09	c #Conflicts:     139000 | #Constraints:      48890
529.22/531.09	c #Conflicts:     140000 | #Constraints:      49890
529.22/531.09	c #Conflicts:     141000 | #Constraints:      50890
529.22/531.09	c #Conflicts:     142000 | #Constraints:      51890
529.22/531.09	c #Conflicts:     143000 | #Constraints:      52890
529.22/531.09	c #Conflicts:     144000 | #Constraints:      53890
529.22/531.09	c #Conflicts:     145000 | #Constraints:      54890
529.22/531.09	c #Conflicts:     146000 | #Constraints:      55890
529.22/531.09	c #Conflicts:     147000 | #Constraints:      56890
529.22/531.09	c INPROCESSING
1290.52/1295.59	c GARBAGE COLLECT
1290.52/1295.59	c #Conflicts:     148000 | #Constraints:      36439
1290.52/1295.59	c #Conflicts:     149000 | #Constraints:      37439
1290.52/1295.59	c #Conflicts:     150000 | #Constraints:      38439
1290.52/1295.59	c #Conflicts:     151000 | #Constraints:      39439
1290.52/1295.59	c #Conflicts:     152000 | #Constraints:      40439
1290.52/1295.59	c #Conflicts:     153000 | #Constraints:      41439
1290.52/1295.59	c #Conflicts:     154000 | #Constraints:      42439
1290.52/1295.59	c #Conflicts:     155000 | #Constraints:      43439
1290.52/1295.59	c #Conflicts:     156000 | #Constraints:      44439
1290.52/1295.59	c #Conflicts:     157000 | #Constraints:      45439
1290.52/1295.59	c #Conflicts:     158000 | #Constraints:      46439
1290.52/1295.59	c #Conflicts:     159000 | #Constraints:      47439
1290.52/1295.59	c #Conflicts:     160000 | #Constraints:      48439
1290.52/1295.59	c #Conflicts:     161000 | #Constraints:      49439
1290.52/1295.59	c #Conflicts:     162000 | #Constraints:      50439
1290.52/1295.59	c #Conflicts:     163000 | #Constraints:      51439
1290.52/1295.59	c #Conflicts:     164000 | #Constraints:      52439
1290.52/1295.59	c #Conflicts:     165000 | #Constraints:      53439
1290.52/1295.59	c #Conflicts:     166000 | #Constraints:      54439
1290.52/1295.59	c #Conflicts:     167000 | #Constraints:      55439
1290.52/1295.59	c #Conflicts:     168000 | #Constraints:      56439
1290.52/1295.59	c #Conflicts:     169000 | #Constraints:      57439
1290.52/1295.59	c #Conflicts:     170000 | #Constraints:      58439
1290.52/1295.59	c #Conflicts:     171000 | #Constraints:      59439
1290.52/1295.59	c #Conflicts:     172000 | #Constraints:      60439
1290.52/1295.59	c INPROCESSING
1290.52/1295.59	c GARBAGE COLLECT
1290.52/1295.59	c #Conflicts:     173000 | #Constraints:      38621
1290.52/1295.59	c #Conflicts:     174000 | #Constraints:      39621
1290.52/1295.59	c #Conflicts:     175000 | #Constraints:      40621
1290.52/1295.59	c #Conflicts:     176000 | #Constraints:      41621
1290.52/1295.59	c #Conflicts:     177000 | #Constraints:      42621
1290.52/1295.59	c #Conflicts:     178000 | #Constraints:      43621
1290.52/1295.59	c #Conflicts:     179000 | #Constraints:      44621
1290.52/1295.59	c #Conflicts:     180000 | #Constraints:      45621
1290.52/1295.59	c #Conflicts:     181000 | #Constraints:      46621
1290.52/1295.59	c #Conflicts:     182000 | #Constraints:      47621
1290.52/1295.59	c #Conflicts:     183000 | #Constraints:      48621
1290.52/1295.59	c #Conflicts:     184000 | #Constraints:      49621
1290.52/1295.59	c #Conflicts:     185000 | #Constraints:      50621
1290.52/1295.59	c #Conflicts:     186000 | #Constraints:      51621
1290.52/1295.59	c #Conflicts:     187000 | #Constraints:      52621
1290.52/1295.59	c #Conflicts:     188000 | #Constraints:      53621
1290.52/1295.59	c #Conflicts:     189000 | #Constraints:      54621
1290.52/1295.59	c #Conflicts:     190000 | #Constraints:      55621
1290.52/1295.59	c #Conflicts:     191000 | #Constraints:      56621
1290.52/1295.59	c #Conflicts:     192000 | #Constraints:      57621
1290.52/1295.59	c #Conflicts:     193000 | #Constraints:      58621
1290.52/1295.59	c #Conflicts:     194000 | #Constraints:      59621
1290.52/1295.59	c #Conflicts:     195000 | #Constraints:      60621
1290.52/1295.59	c #Conflicts:     196000 | #Constraints:      61621
1290.52/1295.59	c #Conflicts:     197000 | #Constraints:      62621
1290.52/1295.59	c #Conflicts:     198000 | #Constraints:      63621
1290.52/1295.59	c #Conflicts:     199000 | #Constraints:      64621
1290.52/1295.59	c #Conflicts:     200000 | #Constraints:      65621
1290.52/1295.59	c INPROCESSING
1290.52/1295.59	c GARBAGE COLLECT
1290.52/1295.59	c #Conflicts:     201000 | #Constraints:      42682
1290.52/1295.59	c #Conflicts:     202000 | #Constraints:      43682
1290.52/1295.59	c #Conflicts:     203000 | #Constraints:      44682
1290.52/1295.59	c #Conflicts:     204000 | #Constraints:      45682
1290.52/1295.59	c #Conflicts:     205000 | #Constraints:      46682
1290.52/1295.59	c #Conflicts:     206000 | #Constraints:      47682
1290.52/1295.59	c #Conflicts:     207000 | #Constraints:      48682
1290.52/1295.59	c #Conflicts:     208000 | #Constraints:      49682
1290.52/1295.59	c #Conflicts:     209000 | #Constraints:      50682
1290.52/1295.59	c #Conflicts:     210000 | #Constraints:      51682
1290.52/1295.59	c #Conflicts:     211000 | #Constraints:      52682
1290.52/1295.59	c #Conflicts:     212000 | #Constraints:      53682
1290.52/1295.59	c #Conflicts:     213000 | #Constraints:      54682
1290.52/1295.59	c #Conflicts:     214000 | #Constraints:      55682
1290.52/1295.59	c #Conflicts:     215000 | #Constraints:      56682
1290.52/1295.59	c #Conflicts:     216000 | #Constraints:      57682
1290.52/1295.59	c #Conflicts:     217000 | #Constraints:      58682
1290.52/1295.59	c #Conflicts:     218000 | #Constraints:      59682
1290.52/1295.59	c #Conflicts:     219000 | #Constraints:      60682
1290.52/1295.59	c #Conflicts:     220000 | #Constraints:      61682
1290.52/1295.59	c #Conflicts:     221000 | #Constraints:      62682
1290.52/1295.59	c #Conflicts:     222000 | #Constraints:      63682
1290.52/1295.59	c #Conflicts:     223000 | #Constraints:      64682
1290.52/1295.59	c #Conflicts:     224000 | #Constraints:      65682
1290.52/1295.59	c #Conflicts:     225000 | #Constraints:      66682
2492.91/2503.30	c #Conflicts:     226000 | #Constraints:      67682
2492.91/2503.30	c #Conflicts:     227000 | #Constraints:      68682
2492.91/2503.30	c #Conflicts:     228000 | #Constraints:      69682
2492.91/2503.30	c #Conflicts:     229000 | #Constraints:      70682
2492.91/2503.30	c INPROCESSING
2492.91/2503.30	c GARBAGE COLLECT
2492.91/2503.30	c #Conflicts:     230000 | #Constraints:      46159
2492.91/2503.30	c #Conflicts:     231000 | #Constraints:      47159
2492.91/2503.30	c #Conflicts:     232000 | #Constraints:      48159
2492.91/2503.30	c #Conflicts:     233000 | #Constraints:      49159
2492.91/2503.30	c #Conflicts:     234000 | #Constraints:      50159
2492.91/2503.30	c #Conflicts:     235000 | #Constraints:      51159
2492.91/2503.30	c #Conflicts:     236000 | #Constraints:      52159
2492.91/2503.30	c #Conflicts:     237000 | #Constraints:      53159
2492.91/2503.30	c #Conflicts:     238000 | #Constraints:      54159
2492.91/2503.30	c #Conflicts:     239000 | #Constraints:      55159
2492.91/2503.30	c #Conflicts:     240000 | #Constraints:      56159
2492.91/2503.30	c #Conflicts:     241000 | #Constraints:      57159
2492.91/2503.30	c #Conflicts:     242000 | #Constraints:      58159
2492.91/2503.30	c #Conflicts:     243000 | #Constraints:      59159
2492.91/2503.30	c #Conflicts:     244000 | #Constraints:      60159
2492.91/2503.30	c #Conflicts:     245000 | #Constraints:      61159
2492.91/2503.30	c #Conflicts:     246000 | #Constraints:      62159
2492.91/2503.30	c #Conflicts:     247000 | #Constraints:      63159
2492.91/2503.30	c #Conflicts:     248000 | #Constraints:      64159
2492.91/2503.30	c #Conflicts:     249000 | #Constraints:      65159
2492.91/2503.30	c #Conflicts:     250000 | #Constraints:      66159
2492.91/2503.30	c #Conflicts:     251000 | #Constraints:      67159
2492.91/2503.30	c #Conflicts:     252000 | #Constraints:      68159
2492.91/2503.30	c #Conflicts:     253000 | #Constraints:      69159
2492.91/2503.30	c #Conflicts:     254000 | #Constraints:      70159
2492.91/2503.30	c #Conflicts:     255000 | #Constraints:      71159
2492.91/2503.30	c #Conflicts:     256000 | #Constraints:      72159
2492.91/2503.30	c #Conflicts:     257000 | #Constraints:      73159
2492.91/2503.30	c #Conflicts:     258000 | #Constraints:      74159
2492.91/2503.30	c #Conflicts:     259000 | #Constraints:      75159
2492.91/2503.30	c #Conflicts:     260000 | #Constraints:      76159
2492.91/2503.30	c #Conflicts:     261000 | #Constraints:      77159
2492.91/2503.30	c INPROCESSING
2492.91/2503.30	c GARBAGE COLLECT
2492.91/2503.30	c #Conflicts:     262000 | #Constraints:      50614
2492.91/2503.30	c #Conflicts:     263000 | #Constraints:      51614
2492.91/2503.30	c #Conflicts:     264000 | #Constraints:      52614
2492.91/2503.30	c #Conflicts:     265000 | #Constraints:      53614
2492.91/2503.30	c #Conflicts:     266000 | #Constraints:      54614
2492.91/2503.30	c #Conflicts:     267000 | #Constraints:      55614
2492.91/2503.30	c #Conflicts:     268000 | #Constraints:      56614
2492.91/2503.30	c #Conflicts:     269000 | #Constraints:      57614
2492.91/2503.30	c #Conflicts:     270000 | #Constraints:      58614
2492.91/2503.30	c #Conflicts:     271000 | #Constraints:      59614
2492.91/2503.30	c #Conflicts:     272000 | #Constraints:      60614
2492.91/2503.30	c #Conflicts:     273000 | #Constraints:      61614
2492.91/2503.30	c #Conflicts:     274000 | #Constraints:      62614
2492.91/2503.30	c #Conflicts:     275000 | #Constraints:      63614
2492.91/2503.30	c #Conflicts:     276000 | #Constraints:      64614
2492.91/2503.30	c #Conflicts:     277000 | #Constraints:      65614
2492.91/2503.30	c #Conflicts:     278000 | #Constraints:      66614
2492.91/2503.30	c #Conflicts:     279000 | #Constraints:      67614
2492.91/2503.30	c #Conflicts:     280000 | #Constraints:      68614
2492.91/2503.30	c #Conflicts:     281000 | #Constraints:      69614
2492.91/2503.30	c #Conflicts:     282000 | #Constraints:      70614
2492.91/2503.30	c #Conflicts:     283000 | #Constraints:      71614
2492.91/2503.30	c #Conflicts:     284000 | #Constraints:      72614
2492.91/2503.30	c #Conflicts:     285000 | #Constraints:      73614
2492.91/2503.30	c #Conflicts:     286000 | #Constraints:      74614
2492.91/2503.30	c #Conflicts:     287000 | #Constraints:      75614
2492.91/2503.30	c #Conflicts:     288000 | #Constraints:      76614
2492.91/2503.30	c #Conflicts:     289000 | #Constraints:      77614
2492.91/2503.30	c #Conflicts:     290000 | #Constraints:      78614
2492.91/2503.30	c #Conflicts:     291000 | #Constraints:      79614
2492.91/2503.30	c #Conflicts:     292000 | #Constraints:      80614
2492.91/2503.30	c #Conflicts:     293000 | #Constraints:      81614
2492.91/2503.30	c #Conflicts:     294000 | #Constraints:      82614
2492.91/2503.30	c INPROCESSING
2492.91/2503.30	c GARBAGE COLLECT
2492.91/2503.30	c #Conflicts:     295000 | #Constraints:      54477
2492.91/2503.30	c #Conflicts:     296000 | #Constraints:      55477
2492.91/2503.30	c #Conflicts:     297000 | #Constraints:      56477
2492.91/2503.30	c #Conflicts:     298000 | #Constraints:      57477
2492.91/2503.30	c #Conflicts:     299000 | #Constraints:      58477
2492.91/2503.30	c #Conflicts:     300000 | #Constraints:      59477
2492.91/2503.30	c #Conflicts:     301000 | #Constraints:      60477
3600.07/3615.02	c #Conflicts:     302000 | #Constraints:      61477
3600.07/3615.02	c #Conflicts:     303000 | #Constraints:      62477
3600.07/3615.02	c #Conflicts:     304000 | #Constraints:      63477
3600.07/3615.02	c #Conflicts:     305000 | #Constraints:      64477
3600.07/3615.02	c #Conflicts:     306000 | #Constraints:      65477
3600.07/3615.02	c #Conflicts:     307000 | #Constraints:      66477
3600.07/3615.02	c #Conflicts:     308000 | #Constraints:      67477
3600.07/3615.02	c #Conflicts:     309000 | #Constraints:      68477
3600.07/3615.02	c #Conflicts:     310000 | #Constraints:      69477
3600.07/3615.02	c #Conflicts:     311000 | #Constraints:      70477
3600.07/3615.02	c #Conflicts:     312000 | #Constraints:      71477
3600.07/3615.02	c #Conflicts:     313000 | #Constraints:      72477
3600.07/3615.02	c #Conflicts:     314000 | #Constraints:      73477
3600.07/3615.02	c #Conflicts:     315000 | #Constraints:      74477
3600.07/3615.02	c #Conflicts:     316000 | #Constraints:      75477
3600.07/3615.02	c #Conflicts:     317000 | #Constraints:      76477
3600.07/3615.02	c #Conflicts:     318000 | #Constraints:      77477
3600.07/3615.02	c #Conflicts:     319000 | #Constraints:      78477
3600.07/3615.02	c #Conflicts:     320000 | #Constraints:      79477
3600.07/3615.02	c #Conflicts:     321000 | #Constraints:      80477
3600.07/3615.02	c #Conflicts:     322000 | #Constraints:      81477
3600.07/3615.02	c #Conflicts:     323000 | #Constraints:      82477
3600.07/3615.02	c #Conflicts:     324000 | #Constraints:      83477
3600.07/3615.02	c #Conflicts:     325000 | #Constraints:      84477
3600.07/3615.02	c #Conflicts:     326000 | #Constraints:      85477
3600.07/3615.02	c #Conflicts:     327000 | #Constraints:      86477
3600.07/3615.02	c #Conflicts:     328000 | #Constraints:      87477
3600.07/3615.02	c #Conflicts:     329000 | #Constraints:      88477
3600.07/3615.02	c #Conflicts:     330000 | #Constraints:      89477
3600.07/3615.02	c INPROCESSING
3600.07/3615.02	c GARBAGE COLLECT
3600.07/3615.02	c #Conflicts:     331000 | #Constraints:      59748
3600.07/3615.02	c #Conflicts:     332000 | #Constraints:      60748
3600.07/3615.02	c #Conflicts:     333000 | #Constraints:      61748
3600.07/3615.02	c #Conflicts:     334000 | #Constraints:      62748
3600.07/3615.02	c #Conflicts:     335000 | #Constraints:      63748
3600.07/3615.02	c #Conflicts:     336000 | #Constraints:      64748
3600.07/3615.02	c #Conflicts:     337000 | #Constraints:      65748
3600.07/3615.02	c #Conflicts:     338000 | #Constraints:      66748
3600.07/3615.02	c #Conflicts:     339000 | #Constraints:      67748
3600.07/3615.02	c #Conflicts:     340000 | #Constraints:      68748
3600.07/3615.02	c #Conflicts:     341000 | #Constraints:      69748
3600.07/3615.02	c #Conflicts:     342000 | #Constraints:      70748
3600.07/3615.02	c #Conflicts:     343000 | #Constraints:      71748
3600.07/3615.02	c #Conflicts:     344000 | #Constraints:      72748
3600.07/3615.02	c #Conflicts:     345000 | #Constraints:      73748
3600.07/3615.02	c #Conflicts:     346000 | #Constraints:      74748
3600.07/3615.02	c #Conflicts:     347000 | #Constraints:      75748
3600.07/3615.02	c #Conflicts:     348000 | #Constraints:      76748
3600.07/3615.02	c #Conflicts:     349000 | #Constraints:      77748
3600.07/3615.02	c #Conflicts:     350000 | #Constraints:      78748
3600.07/3615.02	c #Conflicts:     351000 | #Constraints:      79748
3600.07/3615.02	c #Conflicts:     352000 | #Constraints:      80748
3600.07/3615.02	c Program interrupted by user.
3600.07/3615.02	c cpu time 3592.71 s
3600.07/3615.02	c deterministic time 231643473502 2.32e+11
3600.07/3615.02	c optimization time 474.311 s
3600.07/3615.02	c total solve time 3118.21 s
3600.07/3615.02	c core-guided solve time 3118.21 s
3600.07/3615.02	c propagation time 3468.75 s
3600.07/3615.02	c conflict analysis time 112.206 s
3600.07/3615.02	c propagations 400962160
3600.07/3615.02	c resolve steps 1635232
3600.07/3615.02	c decisions 2869546
3600.07/3615.02	c conflicts 352722
3600.07/3615.02	c restarts 833
3600.07/3615.02	c inprocessing phases 20
3600.07/3615.02	c input clauses 1
3600.07/3615.02	c input cardinalities 0
3600.07/3615.02	c input general constraints 13893
3600.07/3615.02	c input average constraint length 33.97
3600.07/3615.02	c input average constraint degree 966.95
3600.07/3615.02	c learned clauses 76625
3600.07/3615.02	c learned cardinalities 1
3600.07/3615.02	c learned general constraints 276096
3600.07/3615.02	c learned average constraint length 48.58
3600.07/3615.02	c learned average constraint degree 12922495.80
3600.07/3615.02	c watched constraints 289380
3600.07/3615.02	c counting constraints 609
3600.07/3615.02	c gcd simplifications 1531
3600.07/3615.02	c detected cardinalities 1
3600.07/3615.02	c weakened non-implied lits 1219956
3600.07/3615.02	c weakened non-implying lits 489
3600.07/3615.02	c original variables 7089
3600.07/3615.02	c clausal propagations 109910
3600.07/3615.02	c cardinality propagations 12
3600.07/3615.02	c watched propagations 395517354
3600.07/3615.02	c counting propagations 5175813
3600.07/3615.02	c watch lookups 58618899851
3600.07/3615.02	c watch backjump lookups 57733380474
3600.07/3615.02	c watch checks 54814671535
3600.07/3615.02	c propagation checks 59603378493
3600.07/3615.02	c constraint additions 65127049
3600.07/3615.02	c trail pops 404184393
3600.07/3615.02	c formula constraints 13888
3600.07/3615.02	c learned constraints 352722
3600.07/3615.02	c bound constraints 6
3600.07/3615.02	c core-guided constraints 0
3600.07/3615.02	c encountered formula constraints 1371721
3600.07/3615.02	c encountered learned constraints 616233
3600.07/3615.02	c encountered bound constraints 0
3600.07/3615.02	c encountered core-guided constraints 0
3600.07/3615.02	c LP total time 0 s
3600.07/3615.02	c LP solve time 0 s
3600.07/3615.02	c LP constraints added 0
3600.07/3615.02	c LP constraints removed 0
3600.07/3615.02	c LP pivots internal 0
3600.07/3615.02	c LP pivots root 0
3600.07/3615.02	c LP calls 0
3600.07/3615.02	c LP optimalities 0
3600.07/3615.02	c LP no pivot count 0
3600.07/3615.02	c LP infeasibilities 0
3600.07/3615.02	c LP valid Farkas constraints 0
3600.07/3615.02	c LP learned Farkas constraints 0
3600.07/3615.02	c LP basis resets 0
3600.07/3615.02	c LP cycling count 0
3600.07/3615.02	c LP singular count 0
3600.07/3615.02	c LP no primal count 0
3600.07/3615.02	c LP no farkas count 0
3600.07/3615.02	c LP other issue count 0
3600.07/3615.02	c LP Gomory cuts 0
3600.07/3615.02	c LP learned cuts 0
3600.07/3615.02	c LP deleted cuts 0
3600.07/3615.02	c LP encountered Gomory constraints 0
3600.07/3615.02	c LP encountered Farkas constraints 0
3600.07/3615.02	c LP encountered learned Farkas constraints 0
3600.07/3615.02	c CG auxiliary variables introduced 0
3600.07/3615.02	c CG solutions found 0
3600.07/3615.02	c CG cores constructed 6
3600.07/3615.02	c CG core cardinality constraints returned 0
3600.07/3615.02	c CG unit cores 0
3600.07/3615.02	c CG single cores 6
3600.07/3615.02	c CG blocks removed during cardinality reduction 0
3600.07/3615.02	c CG first core best 0
3600.07/3615.02	c CG decision core best 0
3600.07/3615.02	c CG core reduction tie 0
3600.07/3615.02	c CG core degree average 1.00
3600.07/3615.02	c CG core slack average 5.50
3600.07/3615.02	c CG exhausted 0
3600.07/3615.02	c CG exhaust time 0 s
3600.07/3615.02	c CG trimmed 0
3600.07/3615.02	c CG trim time 0.001571 s
3600.07/3615.02	c CG minimized 0
3600.07/3615.02	c CG minimize time 0 s
3600.07/3615.02	c CG am1 prop time 0.001009 s
3600.07/3615.02	c CG # am1s reformulated 0
3600.07/3615.02	c CG lower bound derived from am1s 0
3600.07/3615.02	c CG # clausal cores 6
3600.07/3615.02	c CG # cardinality cores 0
3600.07/3615.02	c CG # pb cores 0
3600.07/3615.02	c CG # pb reforms 0
3600.07/3615.02	c CG # cores discarded because of pb reform 0
3600.07/3615.02	d LOWERBOUND 32
3600.07/3615.02	d NCORES 6
3600.07/3615.02	d NPBCORES 0
3600.07/3615.02	d NPBREFORM 0
3600.07/3615.02	d NTRIMMED 0
3600.07/3615.02	d NEXHAUSTED 0
3600.07/3615.02	d NAM1S 0
3600.07/3615.02	d AM1LB 0
3600.07/3615.02	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 (61225 MiB free)
  memory of node 1: 64510 MiB (63280 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435887-1721104735/watcher-4435887-1721104735 -o /tmp/evaluation-result-4435887-1721104735/solver-4435887-1721104735 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721101137-839795 --watchdog 3760 pb-oll-rs HOME/instance-4435887-1721104735.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=841813, runsolver pid=841810

[startup+0.100408 s]*
/proc/loadavg: 4.05 4.16 4.16 6/254 841814
/proc/meminfo: memFree=127485144/131524600 swapFree=131071996/131071996
[pid=841813] ppid=841810 vsize=40628 memory=9968 CPUtime=0.09 cores=5,7
/proc/841813/stat : 841813 (pb-oll-rs) R 841810 841813 839782 0 -1 4194304 970 0 0 0 9 0 0 0 20 0 1 0 162641802 41603072 2492 134679101440 4194304 5384005 140735915036000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 36843520 140735915041815 140735915041892 140735915041892 140735915048907 0
/proc/841813/statm: 10157 2492 1217 291 0 1691 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 40628 KiB
Current children cumulated memory: 9968 KiB

[startup+0.205045 s]*
/proc/loadavg: 4.05 4.16 4.16 5/254 841814
/proc/meminfo: memFree=127475216/131524600 swapFree=131071996/131071996
[pid=841813] ppid=841810 vsize=48080 memory=16488 CPUtime=0.2 cores=5,7
/proc/841813/stat : 841813 (pb-oll-rs) R 841810 841813 839782 0 -1 4194304 2451 0 0 0 19 1 0 0 20 0 1 0 162641802 49233920 4122 134679101440 4194304 5384005 140735915036000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 36843520 140735915041815 140735915041892 140735915041892 140735915048907 0
/proc/841813/statm: 12020 4122 1343 291 0 3554 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 48080 KiB
Current children cumulated memory: 16488 KiB

[startup+0.305446 s]*
/proc/loadavg: 4.05 4.16 4.16 5/254 841814
/proc/meminfo: memFree=127471768/131524600 swapFree=131071996/131071996
[pid=841813] ppid=841810 vsize=49132 memory=17664 CPUtime=0.3 cores=5,7
/proc/841813/stat : 841813 (pb-oll-rs) R 841810 841813 839782 0 -1 4194304 2726 0 0 0 29 1 0 0 20 0 1 0 162641802 50311168 4416 134679101440 4194304 5384005 140735915036000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 36843520 140735915041815 140735915041892 140735915041892 140735915048907 0
/proc/841813/statm: 12283 4416 1375 291 0 3817 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 49132 KiB
Current children cumulated memory: 17664 KiB

[startup+0.700201 s]
/proc/loadavg: 4.05 4.16 4.16 5/254 841814
/proc/meminfo: memFree=127471292/131524600 swapFree=131071996/131071996
[pid=841813] ppid=841810 vsize=49284 memory=17928 CPUtime=0.68 cores=5,7
/proc/841813/stat : 841813 (pb-oll-rs) R 841810 841813 839782 0 -1 4194304 2818 0 0 0 67 1 0 0 20 0 1 0 162641802 50466816 4482 134679101440 4194304 5384005 140735915036000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 36843520 140735915041815 140735915041892 140735915041892 140735915048907 0
/proc/841813/statm: 12321 4482 1375 291 0 3855 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 49284 KiB
Current children cumulated memory: 17928 KiB

[startup+1.50022 s]
/proc/loadavg: 4.05 4.16 4.16 5/254 841816
/proc/meminfo: memFree=127473892/131524600 swapFree=131071996/131071996
[pid=841813] ppid=841810 vsize=49284 memory=18516 CPUtime=1.48 cores=5,7
/proc/841813/stat : 841813 (pb-oll-rs) R 841810 841813 839782 0 -1 4194304 2930 0 0 0 146 2 0 0 20 0 1 0 162641802 50466816 4629 134679101440 4194304 5384005 140735915036000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 36843520 140735915041815 140735915041892 140735915041892 140735915048907 0
/proc/841813/statm: 12321 4629 1391 291 0 3855 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 49284 KiB
Current children cumulated memory: 18516 KiB

[startup+3.10546 s]
/proc/loadavg: 4.13 4.17 4.17 5/254 841862
/proc/meminfo: memFree=128040176/131524600 swapFree=131071996/131071996
[pid=841813] ppid=841810 vsize=50052 memory=19816 CPUtime=3.08 cores=5,7
/proc/841813/stat : 841813 (pb-oll-rs) R 841810 841813 839782 0 -1 4194304 3221 0 0 0 304 4 0 0 20 0 1 0 162641802 51253248 4954 134679101440 4194304 5384005 140735915036000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 36843520 140735915041815 140735915041892 140735915041892 140735915048907 0
/proc/841813/statm: 12513 4954 1440 291 0 4047 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 50052 KiB
Current children cumulated memory: 19816 KiB

[startup+6.30021 s]
/proc/loadavg: 4.13 4.17 4.17 5/256 841894
/proc/meminfo: memFree=128032712/131524600 swapFree=131071996/131071996
[pid=841813] ppid=841810 vsize=51272 memory=22040 CPUtime=6.27 cores=5,7
/proc/841813/stat : 841813 (pb-oll-rs) R 841810 841813 839782 0 -1 4194304 3759 0 0 0 620 7 0 0 20 0 1 0 162641802 52502528 5510 134679101440 4194304 5384005 140735915036000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 36843520 140735915041815 140735915041892 140735915041892 140735915048907 0
/proc/841813/statm: 12818 5510 1440 291 0 4352 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 51272 KiB
Current children cumulated memory: 22040 KiB

[startup+12.7002 s]
/proc/loadavg: 4.12 4.17 4.17 5/256 841895
/proc/meminfo: memFree=128016952/131524600 swapFree=131071996/131071996
[pid=841813] ppid=841810 vsize=56012 memory=25336 CPUtime=12.65 cores=5,7
/proc/841813/stat : 841813 (pb-oll-rs) R 841810 841813 839782 0 -1 4194304 4008 0 0 0 1251 14 0 0 20 0 1 0 162641802 57356288 6334 134679101440 4194304 5384005 140735915036000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 36843520 140735915041815 140735915041892 140735915041892 140735915048907 0
/proc/841813/statm: 14003 6334 1440 291 0 5537 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 56012 KiB
Current children cumulated memory: 25336 KiB

[startup+25.5002 s]
/proc/loadavg: 4.32 4.21 4.18 5/256 841897
/proc/meminfo: memFree=127996116/131524600 swapFree=131071996/131071996
[pid=841813] ppid=841810 vsize=57224 memory=26472 CPUtime=25.42 cores=5,7
/proc/841813/stat : 841813 (pb-oll-rs) R 841810 841813 839782 0 -1 4194304 4351 0 0 0 2519 23 0 0 20 0 1 0 162641802 58597376 6618 134679101440 4194304 5384005 140735915036000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 36843520 140735915041815 140735915041892 140735915041892 140735915048907 0
/proc/841813/statm: 14306 6618 1440 291 0 5840 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 57224 KiB
Current children cumulated memory: 26472 KiB

[startup+51.1055 s]
/proc/loadavg: 4.40 4.24 4.19 5/256 841901
/proc/meminfo: memFree=127971844/131524600 swapFree=131071996/131071996
[pid=841813] ppid=841810 vsize=60004 memory=30552 CPUtime=50.96 cores=5,7
/proc/841813/stat : 841813 (pb-oll-rs) R 841810 841813 839782 0 -1 4194304 4998 0 0 0 5059 37 0 0 20 0 1 0 162641802 61444096 7638 134679101440 4194304 5384005 140735915036000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 36843520 140735915041815 140735915041892 140735915041892 140735915048907 0
/proc/841813/statm: 15001 7638 1440 291 0 6535 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 60004 KiB
Current children cumulated memory: 30552 KiB

[startup+102.3 s]
/proc/loadavg: 4.22 4.22 4.18 5/258 841915
/proc/meminfo: memFree=127948692/131524600 swapFree=131071996/131071996
[pid=841813] ppid=841810 vsize=69104 memory=32640 CPUtime=102.02 cores=5,7
/proc/841813/stat : 841813 (pb-oll-rs) R 841810 841813 839782 0 -1 4194304 5710 0 0 0 10138 64 0 0 20 0 1 0 162641802 70762496 8160 134679101440 4194304 5384005 140735915036000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 36843520 140735915041815 140735915041892 140735915041892 140735915048907 0
/proc/841813/statm: 17276 8160 1440 291 0 8810 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 69104 KiB
Current children cumulated memory: 32640 KiB

[startup+162.3 s]
/proc/loadavg: 4.24 4.22 4.18 5/258 842016
/proc/meminfo: memFree=127026444/131524600 swapFree=131071996/131071996
[pid=841813] ppid=841810 vsize=71220 memory=37980 CPUtime=161.84 cores=5,7
/proc/841813/stat : 841813 (pb-oll-rs) R 841810 841813 839782 0 -1 4194304 6636 0 0 0 16098 86 0 0 20 0 1 0 162641802 72929280 9495 134679101440 4194304 5384005 140735915036000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 36843520 140735915041815 140735915041892 140735915041892 140735915048907 0
/proc/841813/statm: 17805 9495 1440 291 0 9339 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 71220 KiB
Current children cumulated memory: 37980 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.20 4.18 5/258 842028
/proc/meminfo: memFree=126457484/131524600 swapFree=131071996/131071996
[pid=841813] ppid=841810 vsize=73820 memory=42092 CPUtime=221.66 cores=5,7
/proc/841813/stat : 841813 (pb-oll-rs) R 841810 841813 839782 0 -1 4194304 7155 0 0 0 22056 110 0 0 20 0 1 0 162641802 75591680 10523 134679101440 4194304 5384005 140735915036000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 36843520 140735915041815 140735915041892 140735915041892 140735915048907 0
/proc/841813/statm: 18455 10523 1440 291 0 9989 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 73820 KiB
Current children cumulated memory: 42092 KiB

[startup+282.3 s]
/proc/loadavg: 4.17 4.19 4.18 5/257 842038
/proc/meminfo: memFree=126278416/131524600 swapFree=131071996/131071996
[pid=841813] ppid=841810 vsize=75408 memory=44144 CPUtime=281.47 cores=5,7
/proc/841813/stat : 841813 (pb-oll-rs) R 841810 841813 839782 0 -1 4194304 7765 0 0 0 28020 127 0 0 20 0 1 0 162641802 77217792 11036 134679101440 4194304 5384005 140735915036000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 36843520 140735915041815 140735915041892 140735915041892 140735915048907 0
/proc/841813/statm: 18852 11036 1440 291 0 10386 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 75408 KiB
Current children cumulated memory: 44144 KiB

[startup+342.3 s]
/proc/loadavg: 4.23 4.20 4.18 5/257 842049
/proc/meminfo: memFree=126022784/131524600 swapFree=131071996/131071996
[pid=841813] ppid=841810 vsize=77556 memory=47472 CPUtime=341.26 cores=5,7
/proc/841813/stat : 841813 (pb-oll-rs) R 841810 841813 839782 0 -1 4194304 8137 0 0 0 33982 144 0 0 20 0 1 0 162641802 79417344 11868 134679101440 4194304 5384005 140735915036000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 36843520 140735915041815 140735915041892 140735915041892 140735915048907 0
/proc/841813/statm: 19389 11868 1440 291 0 10923 0
Current children cumulated CPU time: 341.26 s
Current children cumulated vsize: 77556 KiB
Current children cumulated memory: 47472 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 4.18 4.18 5/255 842059
/proc/meminfo: memFree=125833784/131524600 swapFree=131071996/131071996
[pid=841813] ppid=841810 vsize=90360 memory=51708 CPUtime=401.03 cores=5,7
/proc/841813/stat : 841813 (pb-oll-rs) R 841810 841813 839782 0 -1 4194304 8680 0 0 0 39939 164 0 0 20 0 1 0 162641802 92528640 12927 134679101440 4194304 5384005 140735915036000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 36843520 140735915041815 140735915041892 140735915041892 140735915048907 0
/proc/841813/statm: 22590 12927 1440 291 0 14124 0
Current children cumulated CPU time: 401.03 s
Current children cumulated vsize: 90360 KiB
Current children cumulated memory: 51708 KiB

[startup+462.3 s]
/proc/loadavg: 4.16 4.17 4.18 5/256 842070
/proc/meminfo: memFree=125704916/131524600 swapFree=131071996/131071996
[pid=841813] ppid=841810 vsize=90360 memory=51708 CPUtime=460.78 cores=5,7
/proc/841813/stat : 841813 (pb-oll-rs) R 841810 841813 839782 0 -1 4194304 8694 0 0 0 45896 182 0 0 20 0 1 0 162641802 92528640 12927 134679101440 4194304 5384005 140735915036000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 36843520 140735915041815 140735915041892 140735915041892 140735915048907 0
/proc/841813/statm: 22590 12927 1440 291 0 14124 0

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

Current children cumulated memory: 81160 KiB

[startup+2862.3 s]
/proc/loadavg: 4.19 4.13 4.10 5/258 843477
/proc/meminfo: memFree=124399476/131524600 swapFree=131071996/131071996
[pid=841813] ppid=841810 vsize=127972 memory=81160 CPUtime=2850.29 cores=5,7
/proc/841813/stat : 841813 (pb-oll-rs) R 841810 841813 839782 0 -1 4194304 13862 0 0 0 284388 641 0 0 20 0 1 0 162641802 131043328 20290 134679101440 4194304 5384005 140735915036000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 36843520 140735915041815 140735915041892 140735915041892 140735915048907 0
/proc/841813/statm: 31993 20290 1440 291 0 23527 0
Current children cumulated CPU time: 2850.29 s
Current children cumulated vsize: 127972 KiB
Current children cumulated memory: 81160 KiB

[startup+2922.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/258 843489
/proc/meminfo: memFree=124391100/131524600 swapFree=131071996/131071996
[pid=841813] ppid=841810 vsize=128768 memory=81464 CPUtime=2910.02 cores=5,7
/proc/841813/stat : 841813 (pb-oll-rs) R 841810 841813 839782 0 -1 4194304 13990 0 0 0 290352 650 0 0 20 0 1 0 162641802 131858432 20366 134679101440 4194304 5384005 140735915036000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 36843520 140735915041815 140735915041892 140735915041892 140735915048907 0
/proc/841813/statm: 32192 20366 1440 291 0 23726 0
Current children cumulated CPU time: 2910.02 s
Current children cumulated vsize: 128768 KiB
Current children cumulated memory: 81464 KiB

[startup+2982.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/259 843668
/proc/meminfo: memFree=124365884/131524600 swapFree=131071996/131071996
[pid=841813] ppid=841810 vsize=128768 memory=81724 CPUtime=2969.76 cores=5,7
/proc/841813/stat : 841813 (pb-oll-rs) R 841810 841813 839782 0 -1 4194304 14041 0 0 0 296316 660 0 0 20 0 1 0 162641802 131858432 20431 134679101440 4194304 5384005 140735915036000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 36843520 140735915041815 140735915041892 140735915041892 140735915048907 0
/proc/841813/statm: 32192 20431 1440 291 0 23726 0
Current children cumulated CPU time: 2969.76 s
Current children cumulated vsize: 128768 KiB
Current children cumulated memory: 81724 KiB

[startup+3042.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/259 843678
/proc/meminfo: memFree=124360652/131524600 swapFree=131071996/131071996
[pid=841813] ppid=841810 vsize=130304 memory=89140 CPUtime=3029.52 cores=5,7
/proc/841813/stat : 841813 (pb-oll-rs) R 841810 841813 839782 0 -1 4194304 14322 0 0 0 302282 670 0 0 20 0 1 0 162641802 133431296 22285 134679101440 4194304 5384005 140735915036000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 36843520 140735915041815 140735915041892 140735915041892 140735915048907 0
/proc/841813/statm: 32576 22285 1440 291 0 24110 0
Current children cumulated CPU time: 3029.52 s
Current children cumulated vsize: 130304 KiB
Current children cumulated memory: 89140 KiB

[startup+3102.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/260 843748
/proc/meminfo: memFree=124350636/131524600 swapFree=131071996/131071996
[pid=841813] ppid=841810 vsize=130560 memory=89448 CPUtime=3089.29 cores=5,7
/proc/841813/stat : 841813 (pb-oll-rs) R 841810 841813 839782 0 -1 4194304 14404 0 0 0 308255 674 0 0 20 0 1 0 162641802 133693440 22362 134679101440 4194304 5384005 140735915036000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 36843520 140735915041815 140735915041892 140735915041892 140735915048907 0
/proc/841813/statm: 32640 22362 1440 291 0 24174 0
Current children cumulated CPU time: 3089.29 s
Current children cumulated vsize: 130560 KiB
Current children cumulated memory: 89448 KiB

[startup+3162.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/259 843759
/proc/meminfo: memFree=124348760/131524600 swapFree=131071996/131071996
[pid=841813] ppid=841810 vsize=131556 memory=90456 CPUtime=3149.06 cores=5,7
/proc/841813/stat : 841813 (pb-oll-rs) R 841810 841813 839782 0 -1 4194304 14688 0 0 0 314223 683 0 0 20 0 1 0 162641802 134713344 22614 134679101440 4194304 5384005 140735915036000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 36843520 140735915041815 140735915041892 140735915041892 140735915048907 0
/proc/841813/statm: 32889 22614 1440 291 0 24423 0
Current children cumulated CPU time: 3149.06 s
Current children cumulated vsize: 131556 KiB
Current children cumulated memory: 90456 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/259 843770
/proc/meminfo: memFree=124348168/131524600 swapFree=131071996/131071996
[pid=841813] ppid=841810 vsize=131556 memory=90456 CPUtime=3208.83 cores=5,7
/proc/841813/stat : 841813 (pb-oll-rs) R 841810 841813 839782 0 -1 4194304 14723 0 0 0 320192 691 0 0 20 0 1 0 162641802 134713344 22614 134679101440 4194304 5384005 140735915036000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 36843520 140735915041815 140735915041892 140735915041892 140735915048907 0
/proc/841813/statm: 32889 22614 1440 291 0 24423 0
Current children cumulated CPU time: 3208.83 s
Current children cumulated vsize: 131556 KiB
Current children cumulated memory: 90456 KiB

[startup+3282.3 s]
/proc/loadavg: 4.33 4.15 4.11 5/258 843782
/proc/meminfo: memFree=124328936/131524600 swapFree=131071996/131071996
[pid=841813] ppid=841810 vsize=131556 memory=90456 CPUtime=3268.61 cores=5,7
/proc/841813/stat : 841813 (pb-oll-rs) R 841810 841813 839782 0 -1 4194304 14759 0 0 0 326162 699 0 0 20 0 1 0 162641802 134713344 22614 134679101440 4194304 5384005 140735915036000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 36843520 140735915041815 140735915041892 140735915041892 140735915048907 0
/proc/841813/statm: 32889 22614 1440 291 0 24423 0
Current children cumulated CPU time: 3268.61 s
Current children cumulated vsize: 131556 KiB
Current children cumulated memory: 90456 KiB

[startup+3342.3 s]
/proc/loadavg: 4.37 4.19 4.12 5/258 843794
/proc/meminfo: memFree=124321556/131524600 swapFree=131071996/131071996
[pid=841813] ppid=841810 vsize=131556 memory=90456 CPUtime=3328.39 cores=5,7
/proc/841813/stat : 841813 (pb-oll-rs) R 841810 841813 839782 0 -1 4194304 14794 0 0 0 332133 706 0 0 20 0 1 0 162641802 134713344 22614 134679101440 4194304 5384005 140735915036000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 36843520 140735915041815 140735915041892 140735915041892 140735915048907 0
/proc/841813/statm: 32889 22614 1440 291 0 24423 0
Current children cumulated CPU time: 3328.39 s
Current children cumulated vsize: 131556 KiB
Current children cumulated memory: 90456 KiB

[startup+3402.3 s]
/proc/loadavg: 4.19 4.17 4.12 5/256 843804
/proc/meminfo: memFree=124319744/131524600 swapFree=131071996/131071996
[pid=841813] ppid=841810 vsize=131556 memory=90460 CPUtime=3388.16 cores=5,7
/proc/841813/stat : 841813 (pb-oll-rs) R 841810 841813 839782 0 -1 4194304 14832 0 0 0 338102 714 0 0 20 0 1 0 162641802 134713344 22615 134679101440 4194304 5384005 140735915036000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 36843520 140735915041815 140735915041892 140735915041892 140735915048907 0
/proc/841813/statm: 32889 22615 1440 291 0 24423 0
Current children cumulated CPU time: 3388.16 s
Current children cumulated vsize: 131556 KiB
Current children cumulated memory: 90460 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.15 4.11 5/256 843814
/proc/meminfo: memFree=124318976/131524600 swapFree=131071996/131071996
[pid=841813] ppid=841810 vsize=131556 memory=90460 CPUtime=3447.94 cores=5,7
/proc/841813/stat : 841813 (pb-oll-rs) R 841810 841813 839782 0 -1 4194304 14868 0 0 0 344073 721 0 0 20 0 1 0 162641802 134713344 22615 134679101440 4194304 5384005 140735915036000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 36843520 140735915041815 140735915041892 140735915041892 140735915048907 0
/proc/841813/statm: 32889 22615 1440 291 0 24423 0
Current children cumulated CPU time: 3447.94 s
Current children cumulated vsize: 131556 KiB
Current children cumulated memory: 90460 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.14 4.11 5/256 843826
/proc/meminfo: memFree=124318196/131524600 swapFree=131071996/131071996
[pid=841813] ppid=841810 vsize=131556 memory=90460 CPUtime=3507.72 cores=5,7
/proc/841813/stat : 841813 (pb-oll-rs) R 841810 841813 839782 0 -1 4194304 14907 0 0 0 350043 729 0 0 20 0 1 0 162641802 134713344 22615 134679101440 4194304 5384005 140735915036000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 36843520 140735915041815 140735915041892 140735915041892 140735915048907 0
/proc/841813/statm: 32889 22615 1440 291 0 24423 0
Current children cumulated CPU time: 3507.72 s
Current children cumulated vsize: 131556 KiB
Current children cumulated memory: 90460 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.13 4.10 5/256 843836
/proc/meminfo: memFree=124317524/131524600 swapFree=131071996/131071996
[pid=841813] ppid=841810 vsize=131556 memory=90464 CPUtime=3567.49 cores=5,7
/proc/841813/stat : 841813 (pb-oll-rs) R 841810 841813 839782 0 -1 4194304 14945 0 0 0 356014 735 0 0 20 0 1 0 162641802 134713344 22616 134679101440 4194304 5384005 140735915036000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 36843520 140735915041815 140735915041892 140735915041892 140735915048907 0
/proc/841813/statm: 32889 22616 1440 291 0 24423 0
Current children cumulated CPU time: 3567.49 s
Current children cumulated vsize: 131556 KiB
Current children cumulated memory: 90464 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3615 s]*
/proc/loadavg: 4.10 4.13 4.10 5/255 843934
/proc/meminfo: memFree=124428436/131524600 swapFree=131071996/131071996
[pid=841813] ppid=841810 vsize=131556 memory=90464 CPUtime=3600.07 cores=5,7
/proc/841813/stat : 841813 (pb-oll-rs) R 841810 841813 839782 0 -1 4194304 14945 0 0 0 359269 738 0 0 20 0 1 0 162641802 134713344 22616 134679101440 4194304 5384005 140735915036000 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 36843520 140735915041815 140735915041892 140735915041892 140735915048907 0
/proc/841813/statm: 32889 22616 1440 291 0 24423 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 131556 KiB
Current children cumulated memory: 90464 KiB

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

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

# cumulated CPU time of all completed processes:  user=3592.71 s, system=7.38788 s

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

Child status: 0

Real time (s): 3615.02
CPU time (s): 3600.1
CPU user time (s): 3592.71
CPU system time (s): 7.38788
CPU usage (%): 99.5872
Max. virtual memory (cumulated for all children) (KiB): 131556
Max. memory (cumulated for all children) (KiB): 90464

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.71
system time used= 7.38788
maximum resident set size= 90464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14961
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 30
involuntary context switches= 2452


# summary of solver processes directly reported to runsolver:
#   pid: 841813
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3592.71
#   total CPU system time (s): 7.38788

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.92862 second user time and 18.2572 second system time

The end

Launcher Data 

Begin job on nodeC031 at 2024-07-16 06:39:08
IDJOB=4435887
IDBENCH=147626
IDSOLVER=3067
FILE ID=nodeC031/4435887-1721104735
RUNJOBID= nodeC031-1721101137-839795
SLURM_JOB_ID= 7505614
Free space on /tmp= 890036 MiB

SOLVER NAME= pb-oll-rs 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_17.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435887-1721104735/watcher-4435887-1721104735 -o /tmp/evaluation-result-4435887-1721104735/solver-4435887-1721104735 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721101137-839795 --watchdog 3760  pb-oll-rs HOME/instance-4435887-1721104735.opb

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

MD5SUM BENCH= b48e8711e48bf421c56e401ff58b5422
RANDOM SEED=1793457882

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        127494840 kB
MemAvailable:   129130428 kB
Buffers:          372924 kB
Cached:          2086496 kB
SwapCached:            0 kB
Active:           729868 kB
Inactive:        2676976 kB
Active(anon):       1528 kB
Inactive(anon):   983608 kB
Active(file):     728340 kB
Inactive(file):  1693368 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             12996 kB
Writeback:             0 kB
AnonPages:        946000 kB
Mapped:           106196 kB
Shmem:             37720 kB
KReclaimable:     107056 kB
Slab:             214756 kB
SReclaimable:     107056 kB
SUnreclaim:       107700 kB
KernelStack:        4096 kB
PageTables:        11096 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1409148 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            62688 kB
HardwareCorrupted:     0 kB
AnonHugePages:    397312 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      185044 kB
DirectMap2M:    16365568 kB
DirectMap1G:    119537664 kB

Free space on /tmp at the end= 890068 MiB
End job on nodeC031 at 2024-07-16 07:39:23