Trace number 4435484

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
mixed-bag 2024-07-02? (TO) 3600.09 3611.01

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435484-1721103307/watcher-4435484-1721103307 -o /tmp/evaluation-result-4435484-1721103307/solver-4435484-1721103307 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721103319-840503 --watchdog 3760 mixed-bag HOME/instance-4435484-1721103307.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=840608, runsolver pid=840605

[startup+0.100925 s]*
/proc/loadavg: 1.05 1.13 1.84 5/256 840609
/proc/meminfo: memFree=128925732/131524600 swapFree=131071996/131071996
[pid=840608] ppid=840605 vsize=83512 memory=17132 CPUtime=0.09 cores=5,7
/proc/840608/stat : 840608 (mixed-bag) R 840605 840608 840490 0 -1 4194304 2833 0 0 0 9 0 0 0 20 0 1 0 162501588 85516288 4283 134679101440 4194304 16487941 140736039351152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 42950656 140736039359511 140736039359588 140736039359588 140736039366603 0
/proc/840608/statm: 20878 4283 1629 3002 0 5168 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 83512 KiB
Current children cumulated memory: 17132 KiB

[startup+0.205627 s]*
/proc/loadavg: 1.05 1.13 1.84 5/256 840609
/proc/meminfo: memFree=128846968/131524600 swapFree=131071996/131071996
[pid=840608] ppid=840605 vsize=91704 memory=23452 CPUtime=0.2 cores=5,7
/proc/840608/stat : 840608 (mixed-bag) R 840605 840608 840490 0 -1 4194304 3427 0 0 0 19 1 0 0 20 0 1 0 162501588 93904896 5863 134679101440 4194304 16487941 140736039351152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 42950656 140736039359511 140736039359588 140736039359588 140736039366603 0
/proc/840608/statm: 22926 5863 1629 3002 0 7216 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 91704 KiB
Current children cumulated memory: 23452 KiB

[startup+0.305517 s]*
/proc/loadavg: 1.05 1.13 1.84 5/256 840609
/proc/meminfo: memFree=128754568/131524600 swapFree=131071996/131071996
[pid=840608] ppid=840605 vsize=152236 memory=77976 CPUtime=0.29 cores=5,7
/proc/840608/stat : 840608 (mixed-bag) R 840605 840608 840490 0 -1 4194304 8266 0 0 0 27 2 0 0 20 0 1 0 162501588 155889664 19494 134679101440 4194304 16487941 140736039351152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 42950656 140736039359511 140736039359588 140736039359588 140736039366603 0
/proc/840608/statm: 38059 19494 1734 3002 0 21810 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 152236 KiB
Current children cumulated memory: 77976 KiB

[startup+0.700229 s]
/proc/loadavg: 1.05 1.13 1.84 5/256 840609
/proc/meminfo: memFree=128750732/131524600 swapFree=131071996/131071996
[pid=840608] ppid=840605 vsize=244680 memory=173968 CPUtime=0.68 cores=5,7
/proc/840608/stat : 840608 (mixed-bag) R 840605 840608 840490 0 -1 4194304 25230 0 0 0 64 4 0 0 20 0 1 0 162501588 250552320 43492 134679101440 4194304 16487941 140736039351152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 42950656 140736039359511 140736039359588 140736039359588 140736039366603 0
/proc/840608/statm: 61170 43492 3790 3002 0 44921 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 244680 KiB
Current children cumulated memory: 173968 KiB

[startup+1.50024 s]
/proc/loadavg: 1.05 1.13 1.84 5/256 840609
/proc/meminfo: memFree=128503972/131524600 swapFree=131071996/131071996
[pid=840608] ppid=840605 vsize=417228 memory=322616 CPUtime=1.48 cores=5,7
/proc/840608/stat : 840608 (mixed-bag) R 840605 840608 840490 0 -1 4194304 57092 0 0 0 139 9 0 0 20 0 1 0 162501588 427241472 80654 134679101440 4194304 16487941 140736039351152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 42950656 140736039359511 140736039359588 140736039359588 140736039366603 0
/proc/840608/statm: 104307 80654 4025 3002 0 88058 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 417228 KiB
Current children cumulated memory: 322616 KiB

[startup+3.10545 s]
/proc/loadavg: 1.05 1.13 1.84 5/256 840611
/proc/meminfo: memFree=128299820/131524600 swapFree=131071996/131071996
[pid=840608] ppid=840605 vsize=423668 memory=328188 CPUtime=3.08 cores=5,7
/proc/840608/stat : 840608 (mixed-bag) R 840605 840608 840490 0 -1 4194304 58540 0 0 0 298 10 0 0 20 0 1 0 162501588 433836032 82047 134679101440 4194304 16487941 140736039351152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 42950656 140736039359511 140736039359588 140736039359588 140736039366603 0
/proc/840608/statm: 105917 82047 4025 3002 0 89668 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 423668 KiB
Current children cumulated memory: 328188 KiB

[startup+6.30021 s]
/proc/loadavg: 1.29 1.17 1.86 5/256 840611
/proc/meminfo: memFree=128084144/131524600 swapFree=131071996/131071996
[pid=840608] ppid=840605 vsize=567548 memory=469620 CPUtime=6.27 cores=5,7
/proc/840608/stat : 840608 (mixed-bag) R 840605 840608 840490 0 -1 4194304 89924 0 0 0 612 15 0 0 20 0 1 0 162501588 581169152 117405 134679101440 4194304 16487941 140736039351152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 42950656 140736039359511 140736039359588 140736039359588 140736039366603 0
/proc/840608/statm: 141887 117405 4040 3002 0 125638 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 567548 KiB
Current children cumulated memory: 469620 KiB

[startup+12.7002 s]
/proc/loadavg: 1.51 1.22 1.87 5/256 840658
/proc/meminfo: memFree=127804896/131524600 swapFree=131071996/131071996
[pid=840608] ppid=840605 vsize=627816 memory=531568 CPUtime=12.65 cores=5,7
/proc/840608/stat : 840608 (mixed-bag) R 840605 840608 840490 0 -1 4194304 100308 0 0 0 1248 17 0 0 20 0 1 0 162501588 642883584 132892 134679101440 4194304 16487941 140736039351152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 42950656 140736039359511 140736039359588 140736039359588 140736039366603 0
/proc/840608/statm: 156954 132892 4040 3002 0 140705 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 627816 KiB
Current children cumulated memory: 531568 KiB

[startup+25.5002 s]
/proc/loadavg: 2.06 1.36 1.90 5/254 840660
/proc/meminfo: memFree=127738220/131524600 swapFree=131071996/131071996
[pid=840608] ppid=840605 vsize=628380 memory=532196 CPUtime=25.42 cores=5,7
/proc/840608/stat : 840608 (mixed-bag) R 840605 840608 840490 0 -1 4194304 100507 0 0 0 2525 17 0 0 20 0 1 0 162501588 643461120 133049 134679101440 4194304 16487941 140736039351152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 42950656 140736039359511 140736039359588 140736039359588 140736039366603 0
/proc/840608/statm: 157095 133049 4040 3002 0 140846 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 628380 KiB
Current children cumulated memory: 532196 KiB

[startup+51.1055 s]
/proc/loadavg: 2.95 1.62 1.97 5/254 840663
/proc/meminfo: memFree=127740812/131524600 swapFree=131071996/131071996
[pid=840608] ppid=840605 vsize=628512 memory=532216 CPUtime=50.96 cores=5,7
/proc/840608/stat : 840608 (mixed-bag) R 840605 840608 840490 0 -1 4194304 100603 0 0 0 5078 18 0 0 20 0 1 0 162501588 643596288 133054 134679101440 4194304 16487941 140736039351152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 42950656 140736039359511 140736039359588 140736039359588 140736039366603 0
/proc/840608/statm: 157128 133054 4040 3002 0 140879 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 628512 KiB
Current children cumulated memory: 532216 KiB

[startup+102.3 s]
/proc/loadavg: 3.60 2.00 2.09 5/254 840673
/proc/meminfo: memFree=127666492/131524600 swapFree=131071996/131071996
[pid=840608] ppid=840605 vsize=627760 memory=531504 CPUtime=102.02 cores=5,7
/proc/840608/stat : 840608 (mixed-bag) R 840605 840608 840490 0 -1 4194304 113774 0 0 0 10182 20 0 0 20 0 1 0 162501588 642826240 132876 134679101440 4194304 16487941 140736039351152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 42950656 140736039359511 140736039359588 140736039359588 140736039366603 0
/proc/840608/statm: 156940 132876 4040 3002 0 140691 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 627760 KiB
Current children cumulated memory: 531504 KiB

[startup+162.3 s]
/proc/loadavg: 3.98 2.40 2.22 5/254 840685
/proc/meminfo: memFree=127530436/131524600 swapFree=131071996/131071996
[pid=840608] ppid=840605 vsize=664724 memory=568048 CPUtime=161.87 cores=5,7
/proc/840608/stat : 840608 (mixed-bag) R 840605 840608 840490 0 -1 4194304 137952 0 0 0 16162 25 0 0 20 0 1 0 162501588 680677376 142012 134679101440 4194304 16487941 140736039351152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 42950656 140736039359511 140736039359588 140736039359588 140736039366603 0
/proc/840608/statm: 166181 142012 4040 3002 0 149932 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 664724 KiB
Current children cumulated memory: 568048 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 2.72 2.35 5/254 840696
/proc/meminfo: memFree=127430148/131524600 swapFree=131071996/131071996
[pid=840608] ppid=840605 vsize=674916 memory=577216 CPUtime=221.73 cores=5,7
/proc/840608/stat : 840608 (mixed-bag) R 840605 840608 840490 0 -1 4194304 149852 0 0 0 22145 28 0 0 20 0 1 0 162501588 691113984 144304 134679101440 4194304 16487941 140736039351152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 42950656 140736039359511 140736039359588 140736039359588 140736039366603 0
/proc/840608/statm: 168729 144304 4040 3002 0 152480 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 674916 KiB
Current children cumulated memory: 577216 KiB

[startup+282.3 s]
/proc/loadavg: 4.16 2.99 2.46 5/254 840706
/proc/meminfo: memFree=127384144/131524600 swapFree=131071996/131071996
[pid=840608] ppid=840605 vsize=669776 memory=573792 CPUtime=281.57 cores=5,7
/proc/840608/stat : 840608 (mixed-bag) R 840605 840608 840490 0 -1 4194304 201499 0 0 0 28119 38 0 0 20 0 1 0 162501588 685850624 143448 134679101440 4194304 16487941 140736039351152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 42950656 140736039359511 140736039359588 140736039359588 140736039366603 0
/proc/840608/statm: 167444 143448 4040 3002 0 151195 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 669776 KiB
Current children cumulated memory: 573792 KiB

[startup+342.3 s]
/proc/loadavg: 4.23 3.22 2.58 5/257 840722
/proc/meminfo: memFree=127453380/131524600 swapFree=131071996/131071996
[pid=840608] ppid=840605 vsize=629168 memory=539856 CPUtime=341.43 cores=5,7
/proc/840608/stat : 840608 (mixed-bag) R 840605 840608 840490 0 -1 4194304 228391 0 0 0 34063 80 0 0 20 0 1 0 162501588 644268032 134964 134679101440 4194304 16487941 140736039351152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 42950656 140736039359511 140736039359588 140736039359588 140736039366603 0
/proc/840608/statm: 157292 134964 4184 3002 0 141043 0
Current children cumulated CPU time: 341.43 s
Current children cumulated vsize: 629168 KiB
Current children cumulated memory: 539856 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 3.38 2.68 5/257 840733
/proc/meminfo: memFree=127435848/131524600 swapFree=131071996/131071996
[pid=840608] ppid=840605 vsize=636348 memory=541116 CPUtime=401.27 cores=5,7
/proc/840608/stat : 840608 (mixed-bag) R 840605 840608 840490 0 -1 4194304 228679 0 0 0 40017 110 0 0 20 0 1 0 162501588 651620352 135279 134679101440 4194304 16487941 140736039351152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 42950656 140736039359511 140736039359588 140736039359588 140736039366603 0
/proc/840608/statm: 159087 135279 4184 3002 0 142838 0
Current children cumulated CPU time: 401.27 s
Current children cumulated vsize: 636348 KiB
Current children cumulated memory: 541116 KiB

[startup+462.3 s]
/proc/loadavg: 4.14 3.53 2.77 5/257 840744
/proc/meminfo: memFree=127430756/131524600 swapFree=131071996/131071996
[pid=840608] ppid=840605 vsize=636348 memory=543928 CPUtime=461.11 cores=5,7
/proc/840608/stat : 840608 (mixed-bag) R 840605 840608 840490 0 -1 4194304 228929 0 0 0 45975 136 0 0 20 0 1 0 162501588 651620352 135982 134679101440 4194304 16487941 140736039351152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 42950656 140736039359511 140736039359588 140736039359588 140736039366603 0
/proc/840608/statm: 159087 135982 4184 3002 0 142838 0

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

Current children cumulated memory: 595764 KiB

[startup+2862.3 s]
/proc/loadavg: 4.13 4.13 4.03 5/258 842365
/proc/meminfo: memFree=127227108/131524600 swapFree=131071996/131071996
[pid=840608] ppid=840605 vsize=666992 memory=595764 CPUtime=2853.72 cores=5,7
/proc/840608/stat : 840608 (mixed-bag) R 840605 840608 840490 0 -1 4194304 232456 0 0 0 284821 551 0 0 20 0 1 0 162501588 682999808 148941 134679101440 4194304 16487941 140736039351152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 42950656 140736039359511 140736039359588 140736039359588 140736039366603 0
/proc/840608/statm: 166748 148941 4184 3002 0 150499 0
Current children cumulated CPU time: 2853.72 s
Current children cumulated vsize: 666992 KiB
Current children cumulated memory: 595764 KiB

[startup+2922.3 s]
/proc/loadavg: 4.12 4.12 4.03 5/256 842375
/proc/meminfo: memFree=127226464/131524600 swapFree=131071996/131071996
[pid=840608] ppid=840605 vsize=666992 memory=595764 CPUtime=2913.54 cores=5,7
/proc/840608/stat : 840608 (mixed-bag) R 840605 840608 840490 0 -1 4194304 232538 0 0 0 290796 558 0 0 20 0 1 0 162501588 682999808 148941 134679101440 4194304 16487941 140736039351152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 42950656 140736039359511 140736039359588 140736039359588 140736039366603 0
/proc/840608/statm: 166748 148941 4184 3002 0 150499 0
Current children cumulated CPU time: 2913.54 s
Current children cumulated vsize: 666992 KiB
Current children cumulated memory: 595764 KiB

[startup+2982.3 s]
/proc/loadavg: 4.15 4.13 4.04 5/256 842387
/proc/meminfo: memFree=127225820/131524600 swapFree=131071996/131071996
[pid=840608] ppid=840605 vsize=666992 memory=595764 CPUtime=2973.35 cores=5,7
/proc/840608/stat : 840608 (mixed-bag) R 840605 840608 840490 0 -1 4194304 232619 0 0 0 296771 564 0 0 20 0 1 0 162501588 682999808 148941 134679101440 4194304 16487941 140736039351152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 42950656 140736039359511 140736039359588 140736039359588 140736039366603 0
/proc/840608/statm: 166748 148941 4184 3002 0 150499 0
Current children cumulated CPU time: 2973.35 s
Current children cumulated vsize: 666992 KiB
Current children cumulated memory: 595764 KiB

[startup+3042.3 s]
/proc/loadavg: 4.10 4.12 4.04 5/254 842397
/proc/meminfo: memFree=127224544/131524600 swapFree=131071996/131071996
[pid=840608] ppid=840605 vsize=666992 memory=595764 CPUtime=3033.17 cores=5,7
/proc/840608/stat : 840608 (mixed-bag) R 840605 840608 840490 0 -1 4194304 232700 0 0 0 302746 571 0 0 20 0 1 0 162501588 682999808 148941 134679101440 4194304 16487941 140736039351152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 42950656 140736039359511 140736039359588 140736039359588 140736039366603 0
/proc/840608/statm: 166748 148941 4184 3002 0 150499 0
Current children cumulated CPU time: 3033.17 s
Current children cumulated vsize: 666992 KiB
Current children cumulated memory: 595764 KiB

[startup+3102.3 s]
/proc/loadavg: 4.07 4.11 4.04 5/254 842407
/proc/meminfo: memFree=127223148/131524600 swapFree=131071996/131071996
[pid=840608] ppid=840605 vsize=666992 memory=595764 CPUtime=3092.98 cores=5,7
/proc/840608/stat : 840608 (mixed-bag) R 840605 840608 840490 0 -1 4194304 232782 0 0 0 308722 576 0 0 20 0 1 0 162501588 682999808 148941 134679101440 4194304 16487941 140736039351152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 42950656 140736039359511 140736039359588 140736039359588 140736039366603 0
/proc/840608/statm: 166748 148941 4184 3002 0 150499 0
Current children cumulated CPU time: 3092.98 s
Current children cumulated vsize: 666992 KiB
Current children cumulated memory: 595764 KiB

[startup+3162.3 s]
/proc/loadavg: 4.07 4.10 4.04 5/254 842419
/proc/meminfo: memFree=127222352/131524600 swapFree=131071996/131071996
[pid=840608] ppid=840605 vsize=666992 memory=595764 CPUtime=3152.8 cores=5,7
/proc/840608/stat : 840608 (mixed-bag) R 840605 840608 840490 0 -1 4194304 232816 0 0 0 314699 581 0 0 20 0 1 0 162501588 682999808 148941 134679101440 4194304 16487941 140736039351152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 42950656 140736039359511 140736039359588 140736039359588 140736039366603 0
/proc/840608/statm: 166748 148941 4184 3002 0 150499 0
Current children cumulated CPU time: 3152.8 s
Current children cumulated vsize: 666992 KiB
Current children cumulated memory: 595764 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.11 4.04 5/254 842430
/proc/meminfo: memFree=127216796/131524600 swapFree=131071996/131071996
[pid=840608] ppid=840605 vsize=666992 memory=595764 CPUtime=3212.62 cores=5,7
/proc/840608/stat : 840608 (mixed-bag) R 840605 840608 840490 0 -1 4194304 232902 0 0 0 320676 586 0 0 20 0 1 0 162501588 682999808 148941 134679101440 4194304 16487941 140736039351152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 42950656 140736039359511 140736039359588 140736039359588 140736039366603 0
/proc/840608/statm: 166748 148941 4184 3002 0 150499 0
Current children cumulated CPU time: 3212.62 s
Current children cumulated vsize: 666992 KiB
Current children cumulated memory: 595764 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.10 4.04 5/254 842440
/proc/meminfo: memFree=127215964/131524600 swapFree=131071996/131071996
[pid=840608] ppid=840605 vsize=666992 memory=595764 CPUtime=3272.43 cores=5,7
/proc/840608/stat : 840608 (mixed-bag) R 840605 840608 840490 0 -1 4194304 232987 0 0 0 326652 591 0 0 20 0 1 0 162501588 682999808 148941 134679101440 4194304 16487941 140736039351152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 42950656 140736039359511 140736039359588 140736039359588 140736039366603 0
/proc/840608/statm: 166748 148941 4184 3002 0 150499 0
Current children cumulated CPU time: 3272.43 s
Current children cumulated vsize: 666992 KiB
Current children cumulated memory: 595764 KiB

[startup+3342.3 s]
/proc/loadavg: 4.04 4.08 4.04 5/257 842456
/proc/meminfo: memFree=127211168/131524600 swapFree=131071996/131071996
[pid=840608] ppid=840605 vsize=666992 memory=597812 CPUtime=3332.24 cores=5,7
/proc/840608/stat : 840608 (mixed-bag) R 840605 840608 840490 0 -1 4194304 233074 0 0 0 332628 596 0 0 20 0 1 0 162501588 682999808 149453 134679101440 4194304 16487941 140736039351152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 42950656 140736039359511 140736039359588 140736039359588 140736039366603 0
/proc/840608/statm: 166748 149453 4184 3002 0 150499 0
Current children cumulated CPU time: 3332.24 s
Current children cumulated vsize: 666992 KiB
Current children cumulated memory: 597812 KiB

[startup+3402.3 s]
/proc/loadavg: 4.19 4.11 4.05 5/257 842466
/proc/meminfo: memFree=127208160/131524600 swapFree=131071996/131071996
[pid=840608] ppid=840605 vsize=666992 memory=597812 CPUtime=3392.06 cores=5,7
/proc/840608/stat : 840608 (mixed-bag) R 840605 840608 840490 0 -1 4194304 233162 0 0 0 338605 601 0 0 20 0 1 0 162501588 682999808 149453 134679101440 4194304 16487941 140736039351152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 42950656 140736039359511 140736039359588 140736039359588 140736039366603 0
/proc/840608/statm: 166748 149453 4184 3002 0 150499 0
Current children cumulated CPU time: 3392.06 s
Current children cumulated vsize: 666992 KiB
Current children cumulated memory: 597812 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.11 4.05 5/258 842478
/proc/meminfo: memFree=127207612/131524600 swapFree=131071996/131071996
[pid=840608] ppid=840605 vsize=666992 memory=597812 CPUtime=3451.86 cores=5,7
/proc/840608/stat : 840608 (mixed-bag) R 840605 840608 840490 0 -1 4194304 233268 0 0 0 344578 608 0 0 20 0 1 0 162501588 682999808 149453 134679101440 4194304 16487941 140736039351152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 42950656 140736039359511 140736039359588 140736039359588 140736039366603 0
/proc/840608/statm: 166748 149453 4184 3002 0 150499 0
Current children cumulated CPU time: 3451.86 s
Current children cumulated vsize: 666992 KiB
Current children cumulated memory: 597812 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.10 4.05 5/258 842489
/proc/meminfo: memFree=127206696/131524600 swapFree=131071996/131071996
[pid=840608] ppid=840605 vsize=666992 memory=597812 CPUtime=3511.66 cores=5,7
/proc/840608/stat : 840608 (mixed-bag) R 840605 840608 840490 0 -1 4194304 233350 0 0 0 350551 615 0 0 20 0 1 0 162501588 682999808 149453 134679101440 4194304 16487941 140736039351152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 42950656 140736039359511 140736039359588 140736039359588 140736039366603 0
/proc/840608/statm: 166748 149453 4184 3002 0 150499 0
Current children cumulated CPU time: 3511.66 s
Current children cumulated vsize: 666992 KiB
Current children cumulated memory: 597812 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.11 4.05 5/258 842500
/proc/meminfo: memFree=127205976/131524600 swapFree=131071996/131071996
[pid=840608] ppid=840605 vsize=666992 memory=597812 CPUtime=3571.46 cores=5,7
/proc/840608/stat : 840608 (mixed-bag) R 840605 840608 840490 0 -1 4194304 233433 0 0 0 356525 621 0 0 20 0 1 0 162501588 682999808 149453 134679101440 4194304 16487941 140736039351152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 42950656 140736039359511 140736039359588 140736039359588 140736039366603 0
/proc/840608/statm: 166748 149453 4184 3002 0 150499 0
Current children cumulated CPU time: 3571.46 s
Current children cumulated vsize: 666992 KiB
Current children cumulated memory: 597812 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611 s]*
/proc/loadavg: 4.14 4.12 4.06 4/253 842503
/proc/meminfo: memFree=127561004/131524600 swapFree=131071996/131071996
[pid=840608] ppid=840605 vsize=666992 memory=597812 CPUtime=3600.07 cores=5,7
/proc/840608/stat : 840608 (mixed-bag) R 840605 840608 840490 0 -1 4194304 233498 0 0 0 359383 624 0 0 20 0 1 0 162501588 682999808 149453 134679101440 4194304 16487941 140736039351152 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 42950656 140736039359511 140736039359588 140736039359588 140736039366603 0
/proc/840608/statm: 166748 149453 4184 3002 0 150499 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 666992 KiB
Current children cumulated memory: 597812 KiB

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

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

# cumulated CPU time of all completed processes:  user=3593.84 s, system=6.25364 s

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

Child status: 0

Real time (s): 3611.01
CPU time (s): 3600.09
CPU user time (s): 3593.84
CPU system time (s): 6.25364
CPU usage (%): 99.6975
Max. virtual memory (cumulated for all children) (KiB): 694724
Max. memory (cumulated for all children) (KiB): 597812

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.84
system time used= 6.25364
maximum resident set size= 598700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 233536
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= 48
involuntary context switches= 1391


# summary of solver processes directly reported to runsolver:
#   pid: 840608
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3593.84
#   total CPU system time (s): 6.25364

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.11886 second user time and 16.9979 second system time

The end

Launcher Data 

Begin job on nodeC035 at 2024-07-16 06:15:20
IDJOB=4435484
IDBENCH=147626
IDSOLVER=3066
FILE ID=nodeC035/4435484-1721103307
RUNJOBID= nodeC035-1721103319-840503
SLURM_JOB_ID= 7505619
Free space on /tmp= 890012 MiB

SOLVER NAME= mixed-bag 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_17.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435484-1721103307/watcher-4435484-1721103307 -o /tmp/evaluation-result-4435484-1721103307/solver-4435484-1721103307 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721103319-840503 --watchdog 3760  mixed-bag HOME/instance-4435484-1721103307.opb

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

MD5SUM BENCH= b48e8711e48bf421c56e401ff58b5422
RANDOM SEED=163863697

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        128966760 kB
MemAvailable:   129530196 kB
Buffers:          379656 kB
Cached:          1022664 kB
SwapCached:            0 kB
Active:           695444 kB
Inactive:        1273080 kB
Active(anon):       1536 kB
Inactive(anon):   602368 kB
Active(file):     693908 kB
Inactive(file):   670712 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             75152 kB
Writeback:            44 kB
AnonPages:        566300 kB
Mapped:           128444 kB
Shmem:             37724 kB
KReclaimable:      77280 kB
Slab:             180760 kB
SReclaimable:      77280 kB
SUnreclaim:       103480 kB
KernelStack:        4080 kB
PageTables:        10704 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1032956 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            62912 kB
HardwareCorrupted:     0 kB
AnonHugePages:    301056 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:      199380 kB
DirectMap2M:    18448384 kB
DirectMap1G:    117440512 kB

Free space on /tmp at the end= 889992 MiB
End job on nodeC035 at 2024-07-16 07:15:31