Trace number 4454329

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-19? (TO) 3600.03 3612.7

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

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454329-1721471543/watcher-4454329-1721471543 -o /tmp/evaluation-result-4454329-1721471543/solver-4454329-1721471543 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721467945-1072669 --watchdog 3760 pb-oll-rs HOME/instance-4454329-1721471543.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
solver pid=1074652, runsolver pid=1074649
Current StackSize limit: 8192 KiB


[startup+0.100083 s]*
/proc/loadavg: 4.17 4.12 4.10 6/255 1074657
/proc/meminfo: memFree=127430348/131524600 swapFree=131071996/131071996
[pid=1074652] ppid=1074649 vsize=40628 memory=10072 CPUtime=0.09 cores=5,7
/proc/1074652/stat : 1074652 (pb-oll-rs) R 1074649 1074652 1072656 0 -1 4194304 1018 0 0 0 9 0 0 0 20 0 1 0 199318453 41603072 2518 134679101440 4194304 5384485 140736754829376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 19492864 140736754836501 140736754836578 140736754836578 140736754843595 0
/proc/1074652/statm: 10157 2518 1177 291 0 1691 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 40628 KiB
Current children cumulated memory: 10072 KiB

[startup+0.204802 s]*
/proc/loadavg: 4.17 4.12 4.10 4/255 1074667
/proc/meminfo: memFree=127431180/131524600 swapFree=131071996/131071996
[pid=1074652] ppid=1074649 vsize=48640 memory=16912 CPUtime=0.19 cores=5,7
/proc/1074652/stat : 1074652 (pb-oll-rs) R 1074649 1074652 1072656 0 -1 4194304 2584 0 0 0 19 0 0 0 20 0 1 0 199318453 49807360 4228 134679101440 4194304 5384485 140736754829376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 19492864 140736754836501 140736754836578 140736754836578 140736754843595 0
/proc/1074652/statm: 12160 4228 1319 291 0 3694 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 48640 KiB
Current children cumulated memory: 16912 KiB

[startup+0.305371 s]*
/proc/loadavg: 4.17 4.12 4.10 5/252 1074684
/proc/meminfo: memFree=127432300/131524600 swapFree=131071996/131071996
[pid=1074652] ppid=1074649 vsize=49132 memory=17560 CPUtime=0.3 cores=5,7
/proc/1074652/stat : 1074652 (pb-oll-rs) R 1074649 1074652 1072656 0 -1 4194304 2725 0 0 0 29 1 0 0 20 0 1 0 199318453 50311168 4390 134679101440 4194304 5384485 140736754829376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 19492864 140736754836501 140736754836578 140736754836578 140736754843595 0
/proc/1074652/statm: 12283 4390 1351 291 0 3817 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 49132 KiB
Current children cumulated memory: 17560 KiB

[startup+0.700162 s]
/proc/loadavg: 4.17 4.12 4.10 5/258 1074699
/proc/meminfo: memFree=127420780/131524600 swapFree=131071996/131071996
[pid=1074652] ppid=1074649 vsize=49284 memory=18088 CPUtime=0.68 cores=5,7
/proc/1074652/stat : 1074652 (pb-oll-rs) R 1074649 1074652 1072656 0 -1 4194304 2816 0 0 0 67 1 0 0 20 0 1 0 199318453 50466816 4522 134679101440 4194304 5384485 140736754829376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 19492864 140736754836501 140736754836578 140736754836578 140736754843595 0
/proc/1074652/statm: 12321 4522 1351 291 0 3855 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 49284 KiB
Current children cumulated memory: 18088 KiB

[startup+1.50018 s]
/proc/loadavg: 4.17 4.12 4.10 6/255 1074703
/proc/meminfo: memFree=128063652/131524600 swapFree=131071996/131071996
[pid=1074652] ppid=1074649 vsize=49284 memory=18352 CPUtime=1.48 cores=5,7
/proc/1074652/stat : 1074652 (pb-oll-rs) R 1074649 1074652 1072656 0 -1 4194304 2930 0 0 0 146 2 0 0 20 0 1 0 199318453 50466816 4588 134679101440 4194304 5384485 140736754829376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 19492864 140736754836501 140736754836578 140736754836578 140736754843595 0
/proc/1074652/statm: 12321 4588 1351 291 0 3855 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 49284 KiB
Current children cumulated memory: 18352 KiB

[startup+3.1054 s]
/proc/loadavg: 4.17 4.12 4.10 5/258 1074745
/proc/meminfo: memFree=128043656/131524600 swapFree=131071996/131071996
[pid=1074652] ppid=1074649 vsize=50052 memory=19960 CPUtime=3.08 cores=5,7
/proc/1074652/stat : 1074652 (pb-oll-rs) R 1074649 1074652 1072656 0 -1 4194304 3230 0 0 0 304 4 0 0 20 0 1 0 199318453 51253248 4990 134679101440 4194304 5384485 140736754829376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 19492864 140736754836501 140736754836578 140736754836578 140736754843595 0
/proc/1074652/statm: 12513 4990 1412 291 0 4047 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 50052 KiB
Current children cumulated memory: 19960 KiB

[startup+6.30018 s]
/proc/loadavg: 4.15 4.12 4.09 5/258 1074746
/proc/meminfo: memFree=128028516/131524600 swapFree=131071996/131071996
[pid=1074652] ppid=1074649 vsize=51272 memory=21924 CPUtime=6.27 cores=5,7
/proc/1074652/stat : 1074652 (pb-oll-rs) R 1074649 1074652 1072656 0 -1 4194304 3754 0 0 0 619 8 0 0 20 0 1 0 199318453 52502528 5481 134679101440 4194304 5384485 140736754829376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 19492864 140736754836501 140736754836578 140736754836578 140736754843595 0
/proc/1074652/statm: 12818 5481 1412 291 0 4352 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 51272 KiB
Current children cumulated memory: 21924 KiB

[startup+12.7002 s]
/proc/loadavg: 4.14 4.11 4.09 5/258 1074746
/proc/meminfo: memFree=128017636/131524600 swapFree=131071996/131071996
[pid=1074652] ppid=1074649 vsize=56012 memory=25628 CPUtime=12.65 cores=5,7
/proc/1074652/stat : 1074652 (pb-oll-rs) R 1074649 1074652 1072656 0 -1 4194304 4056 0 0 0 1251 14 0 0 20 0 1 0 199318453 57356288 6407 134679101440 4194304 5384485 140736754829376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 19492864 140736754836501 140736754836578 140736754836578 140736754843595 0
/proc/1074652/statm: 14003 6407 1412 291 0 5537 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 56012 KiB
Current children cumulated memory: 25628 KiB

[startup+25.5002 s]
/proc/loadavg: 4.18 4.12 4.10 5/259 1074749
/proc/meminfo: memFree=128000032/131524600 swapFree=131071996/131071996
[pid=1074652] ppid=1074649 vsize=57224 memory=26636 CPUtime=25.42 cores=5,7
/proc/1074652/stat : 1074652 (pb-oll-rs) R 1074649 1074652 1072656 0 -1 4194304 4382 0 0 0 2518 24 0 0 20 0 1 0 199318453 58597376 6659 134679101440 4194304 5384485 140736754829376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 19492864 140736754836501 140736754836578 140736754836578 140736754843595 0
/proc/1074652/statm: 14306 6659 1412 291 0 5840 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 57224 KiB
Current children cumulated memory: 26636 KiB

[startup+51.1057 s]
/proc/loadavg: 4.19 4.13 4.10 5/260 1074756
/proc/meminfo: memFree=127977364/131524600 swapFree=131071996/131071996
[pid=1074652] ppid=1074649 vsize=60248 memory=29156 CPUtime=50.96 cores=5,7
/proc/1074652/stat : 1074652 (pb-oll-rs) R 1074649 1074652 1072656 0 -1 4194304 5178 0 0 0 5058 38 0 0 20 0 1 0 199318453 61693952 7289 134679101440 4194304 5384485 140736754829376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 19492864 140736754836501 140736754836578 140736754836578 140736754843595 0
/proc/1074652/statm: 15062 7289 1412 291 0 6596 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 60248 KiB
Current children cumulated memory: 29156 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/259 1074767
/proc/meminfo: memFree=127954176/131524600 swapFree=131071996/131071996
[pid=1074652] ppid=1074649 vsize=69296 memory=34368 CPUtime=102 cores=5,7
/proc/1074652/stat : 1074652 (pb-oll-rs) R 1074649 1074652 1072656 0 -1 4194304 6090 0 0 0 10138 62 0 0 20 0 1 0 199318453 70959104 8592 134679101440 4194304 5384485 140736754829376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 19492864 140736754836501 140736754836578 140736754836578 140736754843595 0
/proc/1074652/statm: 17324 8592 1412 291 0 8858 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 69296 KiB
Current children cumulated memory: 34368 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/259 1074869
/proc/meminfo: memFree=127886392/131524600 swapFree=131071996/131071996
[pid=1074652] ppid=1074649 vsize=71220 memory=38076 CPUtime=161.81 cores=5,7
/proc/1074652/stat : 1074652 (pb-oll-rs) R 1074649 1074652 1072656 0 -1 4194304 6666 0 0 0 16095 86 0 0 20 0 1 0 199318453 72929280 9519 134679101440 4194304 5384485 140736754829376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 19492864 140736754836501 140736754836578 140736754836578 140736754843595 0
/proc/1074652/statm: 17805 9519 1412 291 0 9339 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 71220 KiB
Current children cumulated memory: 38076 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/257 1074879
/proc/meminfo: memFree=127763664/131524600 swapFree=131071996/131071996
[pid=1074652] ppid=1074649 vsize=73820 memory=42188 CPUtime=221.62 cores=5,7
/proc/1074652/stat : 1074652 (pb-oll-rs) R 1074649 1074652 1072656 0 -1 4194304 7168 0 0 0 22059 103 0 0 20 0 1 0 199318453 75591680 10547 134679101440 4194304 5384485 140736754829376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 19492864 140736754836501 140736754836578 140736754836578 140736754843595 0
/proc/1074652/statm: 18455 10547 1412 291 0 9989 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 73820 KiB
Current children cumulated memory: 42188 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/258 1074935
/proc/meminfo: memFree=127764908/131524600 swapFree=131071996/131071996
[pid=1074652] ppid=1074649 vsize=75408 memory=44028 CPUtime=281.4 cores=5,7
/proc/1074652/stat : 1074652 (pb-oll-rs) R 1074649 1074652 1072656 0 -1 4194304 7722 0 0 0 28019 121 0 0 20 0 1 0 199318453 77217792 11007 134679101440 4194304 5384485 140736754829376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 19492864 140736754836501 140736754836578 140736754836578 140736754843595 0
/proc/1074652/statm: 18852 11007 1412 291 0 10386 0
Current children cumulated CPU time: 281.4 s
Current children cumulated vsize: 75408 KiB
Current children cumulated memory: 44028 KiB

[startup+342.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/257 1074946
/proc/meminfo: memFree=127753628/131524600 swapFree=131071996/131071996
[pid=1074652] ppid=1074649 vsize=77556 memory=47596 CPUtime=341.21 cores=5,7
/proc/1074652/stat : 1074652 (pb-oll-rs) R 1074649 1074652 1072656 0 -1 4194304 8067 0 0 0 33983 138 0 0 20 0 1 0 199318453 79417344 11899 134679101440 4194304 5384485 140736754829376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 19492864 140736754836501 140736754836578 140736754836578 140736754843595 0
/proc/1074652/statm: 19389 11899 1412 291 0 10923 0
Current children cumulated CPU time: 341.21 s
Current children cumulated vsize: 77556 KiB
Current children cumulated memory: 47596 KiB

[startup+402.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/255 1074956
/proc/meminfo: memFree=127738532/131524600 swapFree=131071996/131071996
[pid=1074652] ppid=1074649 vsize=90360 memory=51988 CPUtime=401.02 cores=5,7
/proc/1074652/stat : 1074652 (pb-oll-rs) R 1074649 1074652 1072656 0 -1 4194304 8659 0 0 0 39945 157 0 0 20 0 1 0 199318453 92528640 12997 134679101440 4194304 5384485 140736754829376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 19492864 140736754836501 140736754836578 140736754836578 140736754843595 0
/proc/1074652/statm: 22590 12997 1412 291 0 14124 0
Current children cumulated CPU time: 401.02 s
Current children cumulated vsize: 90360 KiB
Current children cumulated memory: 51988 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/258 1074971
/proc/meminfo: memFree=127712172/131524600 swapFree=131071996/131071996
[pid=1074652] ppid=1074649 vsize=90360 memory=51988 CPUtime=460.84 cores=5,7
/proc/1074652/stat : 1074652 (pb-oll-rs) R 1074649 1074652 1072656 0 -1 4194304 8671 0 0 0 45910 174 0 0 20 0 1 0 199318453 92528640 12997 134679101440 4194304 5384485 140736754829376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 19492864 140736754836501 140736754836578 140736754836578 140736754843595 0
/proc/1074652/statm: 22590 12997 1412 291 0 14124 0

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

Current children cumulated memory: 85296 KiB

[startup+2922.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/257 1076033
/proc/meminfo: memFree=126330324/131524600 swapFree=131071996/131071996
[pid=1074652] ppid=1074649 vsize=128768 memory=85492 CPUtime=2912.26 cores=5,7
/proc/1074652/stat : 1074652 (pb-oll-rs) R 1074649 1074652 1072656 0 -1 4194304 13750 0 0 0 290670 556 0 0 20 0 1 0 199318453 131858432 21373 134679101440 4194304 5384485 140736754829376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 19492864 140736754836501 140736754836578 140736754836578 140736754843595 0
/proc/1074652/statm: 32192 21373 1412 291 0 23726 0
Current children cumulated CPU time: 2912.26 s
Current children cumulated vsize: 128768 KiB
Current children cumulated memory: 85492 KiB

[startup+2982.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/257 1076043
/proc/meminfo: memFree=126217520/131524600 swapFree=131071996/131071996
[pid=1074652] ppid=1074649 vsize=130304 memory=86324 CPUtime=2972.04 cores=5,7
/proc/1074652/stat : 1074652 (pb-oll-rs) R 1074649 1074652 1072656 0 -1 4194304 13996 0 0 0 296642 562 0 0 20 0 1 0 199318453 133431296 21581 134679101440 4194304 5384485 140736754829376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 19492864 140736754836501 140736754836578 140736754836578 140736754843595 0
/proc/1074652/statm: 32576 21581 1412 291 0 24110 0
Current children cumulated CPU time: 2972.04 s
Current children cumulated vsize: 130304 KiB
Current children cumulated memory: 86324 KiB

[startup+3042.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/257 1076053
/proc/meminfo: memFree=126188412/131524600 swapFree=131071996/131071996
[pid=1074652] ppid=1074649 vsize=130560 memory=88572 CPUtime=3031.81 cores=5,7
/proc/1074652/stat : 1074652 (pb-oll-rs) R 1074649 1074652 1072656 0 -1 4194304 14086 0 0 0 302614 567 0 0 20 0 1 0 199318453 133693440 22143 134679101440 4194304 5384485 140736754829376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 19492864 140736754836501 140736754836578 140736754836578 140736754843595 0
/proc/1074652/statm: 32640 22143 1412 291 0 24174 0
Current children cumulated CPU time: 3031.81 s
Current children cumulated vsize: 130560 KiB
Current children cumulated memory: 88572 KiB

[startup+3102.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/257 1076065
/proc/meminfo: memFree=126114852/131524600 swapFree=131071996/131071996
[pid=1074652] ppid=1074649 vsize=131556 memory=89540 CPUtime=3091.59 cores=5,7
/proc/1074652/stat : 1074652 (pb-oll-rs) R 1074649 1074652 1072656 0 -1 4194304 14377 0 0 0 308584 575 0 0 20 0 1 0 199318453 134713344 22385 134679101440 4194304 5384485 140736754829376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 19492864 140736754836501 140736754836578 140736754836578 140736754843595 0
/proc/1074652/statm: 32889 22385 1412 291 0 24423 0
Current children cumulated CPU time: 3091.59 s
Current children cumulated vsize: 131556 KiB
Current children cumulated memory: 89540 KiB

[startup+3162.3 s]
/proc/loadavg: 4.17 4.11 4.10 5/258 1076461
/proc/meminfo: memFree=126215116/131524600 swapFree=131071996/131071996
[pid=1074652] ppid=1074649 vsize=131556 memory=89628 CPUtime=3151.36 cores=5,7
/proc/1074652/stat : 1074652 (pb-oll-rs) R 1074649 1074652 1072656 0 -1 4194304 14410 0 0 0 314554 582 0 0 20 0 1 0 199318453 134713344 22407 134679101440 4194304 5384485 140736754829376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 19492864 140736754836501 140736754836578 140736754836578 140736754843595 0
/proc/1074652/statm: 32889 22407 1412 291 0 24423 0
Current children cumulated CPU time: 3151.36 s
Current children cumulated vsize: 131556 KiB
Current children cumulated memory: 89628 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/256 1076471
/proc/meminfo: memFree=126217120/131524600 swapFree=131071996/131071996
[pid=1074652] ppid=1074649 vsize=131556 memory=89628 CPUtime=3211.13 cores=5,7
/proc/1074652/stat : 1074652 (pb-oll-rs) R 1074649 1074652 1072656 0 -1 4194304 14443 0 0 0 320523 590 0 0 20 0 1 0 199318453 134713344 22407 134679101440 4194304 5384485 140736754829376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 19492864 140736754836501 140736754836578 140736754836578 140736754843595 0
/proc/1074652/statm: 32889 22407 1412 291 0 24423 0
Current children cumulated CPU time: 3211.13 s
Current children cumulated vsize: 131556 KiB
Current children cumulated memory: 89628 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/256 1076481
/proc/meminfo: memFree=126214336/131524600 swapFree=131071996/131071996
[pid=1074652] ppid=1074649 vsize=131556 memory=89628 CPUtime=3270.89 cores=5,7
/proc/1074652/stat : 1074652 (pb-oll-rs) R 1074649 1074652 1072656 0 -1 4194304 14476 0 0 0 326493 596 0 0 20 0 1 0 199318453 134713344 22407 134679101440 4194304 5384485 140736754829376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 19492864 140736754836501 140736754836578 140736754836578 140736754843595 0
/proc/1074652/statm: 32889 22407 1412 291 0 24423 0
Current children cumulated CPU time: 3270.89 s
Current children cumulated vsize: 131556 KiB
Current children cumulated memory: 89628 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/259 1076663
/proc/meminfo: memFree=126149644/131524600 swapFree=131071996/131071996
[pid=1074652] ppid=1074649 vsize=131556 memory=89628 CPUtime=3330.66 cores=5,7
/proc/1074652/stat : 1074652 (pb-oll-rs) R 1074649 1074652 1072656 0 -1 4194304 14512 0 0 0 332463 603 0 0 20 0 1 0 199318453 134713344 22407 134679101440 4194304 5384485 140736754829376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 19492864 140736754836501 140736754836578 140736754836578 140736754843595 0
/proc/1074652/statm: 32889 22407 1412 291 0 24423 0
Current children cumulated CPU time: 3330.66 s
Current children cumulated vsize: 131556 KiB
Current children cumulated memory: 89628 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/259 1076673
/proc/meminfo: memFree=125934012/131524600 swapFree=131071996/131071996
[pid=1074652] ppid=1074649 vsize=131556 memory=89632 CPUtime=3390.43 cores=5,7
/proc/1074652/stat : 1074652 (pb-oll-rs) R 1074649 1074652 1072656 0 -1 4194304 14546 0 0 0 338433 610 0 0 20 0 1 0 199318453 134713344 22408 134679101440 4194304 5384485 140736754829376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 19492864 140736754836501 140736754836578 140736754836578 140736754843595 0
/proc/1074652/statm: 32889 22408 1412 291 0 24423 0
Current children cumulated CPU time: 3390.43 s
Current children cumulated vsize: 131556 KiB
Current children cumulated memory: 89632 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/259 1076683
/proc/meminfo: memFree=125920488/131524600 swapFree=131071996/131071996
[pid=1074652] ppid=1074649 vsize=131556 memory=89632 CPUtime=3450.2 cores=5,7
/proc/1074652/stat : 1074652 (pb-oll-rs) R 1074649 1074652 1072656 0 -1 4194304 14583 0 0 0 344403 617 0 0 20 0 1 0 199318453 134713344 22408 134679101440 4194304 5384485 140736754829376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 19492864 140736754836501 140736754836578 140736754836578 140736754843595 0
/proc/1074652/statm: 32889 22408 1412 291 0 24423 0
Current children cumulated CPU time: 3450.2 s
Current children cumulated vsize: 131556 KiB
Current children cumulated memory: 89632 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/258 1076750
/proc/meminfo: memFree=125919992/131524600 swapFree=131071996/131071996
[pid=1074652] ppid=1074649 vsize=131556 memory=89636 CPUtime=3509.97 cores=5,7
/proc/1074652/stat : 1074652 (pb-oll-rs) R 1074649 1074652 1072656 0 -1 4194304 14618 0 0 0 350374 623 0 0 20 0 1 0 199318453 134713344 22409 134679101440 4194304 5384485 140736754829376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 19492864 140736754836501 140736754836578 140736754836578 140736754843595 0
/proc/1074652/statm: 32889 22409 1412 291 0 24423 0
Current children cumulated CPU time: 3509.97 s
Current children cumulated vsize: 131556 KiB
Current children cumulated memory: 89636 KiB

[startup+3582.3 s]
/proc/loadavg: 4.16 4.13 4.10 5/258 1076760
/proc/meminfo: memFree=125896232/131524600 swapFree=131071996/131071996
[pid=1074652] ppid=1074649 vsize=131556 memory=89636 CPUtime=3569.74 cores=5,7
/proc/1074652/stat : 1074652 (pb-oll-rs) R 1074649 1074652 1072656 0 -1 4194304 14655 0 0 0 356343 631 0 0 20 0 1 0 199318453 134713344 22409 134679101440 4194304 5384485 140736754829376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 19492864 140736754836501 140736754836578 140736754836578 140736754843595 0
/proc/1074652/statm: 32889 22409 1412 291 0 24423 0
Current children cumulated CPU time: 3569.74 s
Current children cumulated vsize: 131556 KiB
Current children cumulated memory: 89636 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.7 s]
/proc/loadavg: 4.18 4.14 4.10 5/257 1076811
/proc/meminfo: memFree=125888540/131524600 swapFree=131071996/131071996
[pid=1074652] ppid=1074649 vsize=131556 memory=91576 CPUtime=3600.01 cores=5,7
/proc/1074652/stat : 1074652 (pb-oll-rs) R 1074649 1074652 1072656 0 -1 4194304 14656 0 0 0 359368 633 0 0 20 0 1 0 199318453 134713344 22894 134679101440 4194304 5384485 140736754829376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 19492864 140736754836501 140736754836578 140736754836578 140736754843595 0
/proc/1074652/statm: 32889 22894 1412 291 0 24423 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 131556 KiB
Current children cumulated memory: 91576 KiB

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

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

# cumulated CPU time of all completed processes:  user=3593.69 s, system=6.34091 s

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

[startup+3612.7 s]
/proc/loadavg: 4.18 4.14 4.10 5/257 1076811
/proc/meminfo: memFree=125888540/131524600 swapFree=131071996/131071996
[pid=1074652] ppid=1074649 vsize=131556 memory=91576 CPUtime=3600.01 cores=5,7
/proc/1074652/stat : 1074652 (pb-oll-rs) R 1074649 1074652 1072656 0 -1 4194304 14656 0 0 0 359368 633 0 0 20 0 1 0 199318453 134713344 22894 134679101440 4194304 5384485 140736754829376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 19492864 140736754836501 140736754836578 140736754836578 140736754843595 0
/proc/1074652/statm: 32889 22894 1412 291 0 24423 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 131556 KiB
Current children cumulated memory: 91576 KiB

Child status: 0

Real time (s): 3612.7
CPU time (s): 3600.03
CPU user time (s): 3593.69
CPU system time (s): 6.34091
CPU usage (%): 99.6493
Max. virtual memory (cumulated for all children) (KiB): 131556
Max. memory (cumulated for all children) (KiB): 91576

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.69
system time used= 6.34091
maximum resident set size= 91576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14673
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= 29
involuntary context switches= 1933


# summary of solver processes directly reported to runsolver:
#   pid: 1074652
#   total CPU time (s): 3600.03
#   total CPU user time (s): 3593.69
#   total CPU system time (s): 6.34091

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.31315 second user time and 15.0626 second system time

The end

Launcher Data 

Begin job on nodeC022 at 2024-07-20 12:32:36
IDJOB=4454329
IDBENCH=147626
IDSOLVER=3082
FILE ID=nodeC022/4454329-1721471543
RUNJOBID= nodeC022-1721467945-1072669
SLURM_JOB_ID= 7545723
Free space on /tmp= 890068 MiB

SOLVER NAME= pb-oll-rs 2024-07-19
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-4454329-1721471543/watcher-4454329-1721471543 -o /tmp/evaluation-result-4454329-1721471543/solver-4454329-1721471543 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721467945-1072669 --watchdog 3760  pb-oll-rs HOME/instance-4454329-1721471543.opb

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

MD5SUM BENCH= b48e8711e48bf421c56e401ff58b5422
RANDOM SEED=1750790795

nodeC022.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		: 3670.507
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.66
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		: 3677.866
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.96
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.225
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.66
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		: 3602.871
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.96
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		: 3670.484
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.66
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		: 3657.337
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.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.113
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.66
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		: 3666.378
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.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        126843688 kB
MemAvailable:   128434060 kB
Buffers:          552960 kB
Cached:          1876640 kB
SwapCached:            0 kB
Active:          1269700 kB
Inactive:        2783260 kB
Active(anon):       1524 kB
Inactive(anon):  1667776 kB
Active(file):    1268176 kB
Inactive(file):  1115484 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             12888 kB
Writeback:             0 kB
AnonPages:       1529256 kB
Mapped:           112264 kB
Shmem:             45912 kB
KReclaimable:      92716 kB
Slab:             206424 kB
SReclaimable:      92716 kB
SUnreclaim:       113708 kB
KernelStack:        4224 kB
PageTables:        12608 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    2156360 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            72192 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1386496 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:      260820 kB
DirectMap2M:    28872704 kB
DirectMap1G:    106954752 kB

Free space on /tmp at the end= 890068 MiB
End job on nodeC022 at 2024-07-20 13:32:48