Trace number 4454742

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-19? (TO) 3600.09 3611.81

DiagnosticValue
AM1LB0
LOWERBOUND32
NAM1S0
NCORES6
NEXHAUSTED0
NPBCORES0
NPBREFORM0
NTRIMMED0
SCIPUB512

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454742-1721471107/watcher-4454742-1721471107 -o /tmp/evaluation-result-4454742-1721471107/solver-4454742-1721471107 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721467498-1059652 --watchdog 3760 mixed-bag HOME/instance-4454742-1721471107.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=1062497, runsolver pid=1062494
Current StackSize limit: 8192 KiB


[startup+0.100083 s]*
/proc/loadavg: 4.08 4.08 4.06 5/260 1062498
/proc/meminfo: memFree=126319064/131524600 swapFree=131071996/131071996
[pid=1062497] ppid=1062494 vsize=83520 memory=17228 CPUtime=0.09 cores=5,7
/proc/1062497/stat : 1062497 (mixed-bag) R 1062494 1062497 1059639 0 -1 4194304 2824 0 0 0 9 0 0 0 20 0 1 0 199274495 85524480 4307 134679101440 4194304 16488053 140737300985968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 40943616 140737300988949 140737300989026 140737300989026 140737300996043 0
/proc/1062497/statm: 20880 4307 1673 3002 0 5168 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 83520 KiB
Current children cumulated memory: 17228 KiB

[startup+0.205765 s]*
/proc/loadavg: 4.08 4.08 4.06 5/260 1062498
/proc/meminfo: memFree=126312556/131524600 swapFree=131071996/131071996
[pid=1062497] ppid=1062494 vsize=91712 memory=23548 CPUtime=0.2 cores=5,7
/proc/1062497/stat : 1062497 (mixed-bag) R 1062494 1062497 1059639 0 -1 4194304 3417 0 0 0 19 1 0 0 20 0 1 0 199274495 93913088 5887 134679101440 4194304 16488053 140737300985968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 40943616 140737300988949 140737300989026 140737300989026 140737300996043 0
/proc/1062497/statm: 22928 5887 1673 3002 0 7216 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 91712 KiB
Current children cumulated memory: 23548 KiB

[startup+0.305655 s]*
/proc/loadavg: 4.08 4.08 4.06 5/260 1062498
/proc/meminfo: memFree=126258420/131524600 swapFree=131071996/131071996
[pid=1062497] ppid=1062494 vsize=152244 memory=78168 CPUtime=0.3 cores=5,7
/proc/1062497/stat : 1062497 (mixed-bag) R 1062494 1062497 1059639 0 -1 4194304 8258 0 0 0 28 2 0 0 20 0 1 0 199274495 155897856 19542 134679101440 4194304 16488053 140737300985968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 40943616 140737300988949 140737300989026 140737300989026 140737300996043 0
/proc/1062497/statm: 38061 19542 1802 3002 0 21810 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 152244 KiB
Current children cumulated memory: 78168 KiB

[startup+0.700221 s]
/proc/loadavg: 4.08 4.08 4.06 5/260 1062498
/proc/meminfo: memFree=126258280/131524600 swapFree=131071996/131071996
[pid=1062497] ppid=1062494 vsize=244688 memory=170684 CPUtime=0.69 cores=5,7
/proc/1062497/stat : 1062497 (mixed-bag) R 1062494 1062497 1059639 0 -1 4194304 25892 0 0 0 64 5 0 0 20 0 1 0 199274495 250560512 42671 134679101440 4194304 16488053 140737300985968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 40943616 140737300988949 140737300989026 140737300989026 140737300996043 0
/proc/1062497/statm: 61172 42671 3862 3002 0 44921 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 244688 KiB
Current children cumulated memory: 170684 KiB

[startup+1.50019 s]
/proc/loadavg: 4.08 4.08 4.06 5/260 1062498
/proc/meminfo: memFree=126154488/131524600 swapFree=131071996/131071996
[pid=1062497] ppid=1062494 vsize=412928 memory=316348 CPUtime=1.48 cores=5,7
/proc/1062497/stat : 1062497 (mixed-bag) R 1062494 1062497 1059639 0 -1 4194304 57098 0 0 0 138 10 0 0 20 0 1 0 199274495 422838272 79087 134679101440 4194304 16488053 140737300985968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 40943616 140737300988949 140737300989026 140737300989026 140737300996043 0
/proc/1062497/statm: 103232 79087 3966 3002 0 86981 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 412928 KiB
Current children cumulated memory: 316348 KiB

[startup+3.1056 s]
/proc/loadavg: 4.08 4.08 4.06 5/260 1062498
/proc/meminfo: memFree=125988292/131524600 swapFree=131071996/131071996
[pid=1062497] ppid=1062494 vsize=423676 memory=325700 CPUtime=3.08 cores=5,7
/proc/1062497/stat : 1062497 (mixed-bag) R 1062494 1062497 1059639 0 -1 4194304 59423 0 0 0 297 11 0 0 20 0 1 0 199274495 433844224 81425 134679101440 4194304 16488053 140737300985968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 40943616 140737300988949 140737300989026 140737300989026 140737300996043 0
/proc/1062497/statm: 105919 81425 4094 3002 0 89668 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 423676 KiB
Current children cumulated memory: 325700 KiB

[startup+6.3002 s]
/proc/loadavg: 4.07 4.08 4.06 5/260 1062499
/proc/meminfo: memFree=125824740/131524600 swapFree=131071996/131071996
[pid=1062497] ppid=1062494 vsize=567556 memory=467436 CPUtime=6.28 cores=5,7
/proc/1062497/stat : 1062497 (mixed-bag) R 1062494 1062497 1059639 0 -1 4194304 90805 0 0 0 612 16 0 0 20 0 1 0 199274495 581177344 116859 134679101440 4194304 16488053 140737300985968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 40943616 140737300988949 140737300989026 140737300989026 140737300996043 0
/proc/1062497/statm: 141889 116859 4125 3002 0 125638 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 567556 KiB
Current children cumulated memory: 467436 KiB

[startup+12.7002 s]
/proc/loadavg: 4.15 4.10 4.07 5/260 1062499
/proc/meminfo: memFree=125764436/131524600 swapFree=131071996/131071996
[pid=1062497] ppid=1062494 vsize=627824 memory=529168 CPUtime=12.66 cores=5,7
/proc/1062497/stat : 1062497 (mixed-bag) R 1062494 1062497 1059639 0 -1 4194304 101182 0 0 0 1248 18 0 0 20 0 1 0 199274495 642891776 132292 134679101440 4194304 16488053 140737300985968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 40943616 140737300988949 140737300989026 140737300989026 140737300996043 0
/proc/1062497/statm: 156956 132292 4125 3002 0 140705 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 627824 KiB
Current children cumulated memory: 529168 KiB

[startup+25.5002 s]
/proc/loadavg: 4.19 4.11 4.07 5/258 1062547
/proc/meminfo: memFree=126118156/131524600 swapFree=131071996/131071996
[pid=1062497] ppid=1062494 vsize=628388 memory=529880 CPUtime=25.42 cores=5,7
/proc/1062497/stat : 1062497 (mixed-bag) R 1062494 1062497 1059639 0 -1 4194304 101378 0 0 0 2524 18 0 0 20 0 1 0 199274495 643469312 132470 134679101440 4194304 16488053 140737300985968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 40943616 140737300988949 140737300989026 140737300989026 140737300996043 0
/proc/1062497/statm: 157097 132470 4125 3002 0 140846 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 628388 KiB
Current children cumulated memory: 529880 KiB

[startup+51.1056 s]
/proc/loadavg: 4.12 4.10 4.07 5/258 1062551
/proc/meminfo: memFree=126110816/131524600 swapFree=131071996/131071996
[pid=1062497] ppid=1062494 vsize=628520 memory=529892 CPUtime=50.94 cores=5,7
/proc/1062497/stat : 1062497 (mixed-bag) R 1062494 1062497 1059639 0 -1 4194304 101471 0 0 0 5075 19 0 0 20 0 1 0 199274495 643604480 132473 134679101440 4194304 16488053 140737300985968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 40943616 140737300988949 140737300989026 140737300989026 140737300996043 0
/proc/1062497/statm: 157130 132473 4125 3002 0 140879 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 628520 KiB
Current children cumulated memory: 529892 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.10 4.07 5/258 1062560
/proc/meminfo: memFree=126021252/131524600 swapFree=131071996/131071996
[pid=1062497] ppid=1062494 vsize=627768 memory=531456 CPUtime=101.96 cores=5,7
/proc/1062497/stat : 1062497 (mixed-bag) R 1062494 1062497 1059639 0 -1 4194304 116214 0 0 0 10174 22 0 0 20 0 1 0 199274495 642834432 132864 134679101440 4194304 16488053 140737300985968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 40943616 140737300988949 140737300989026 140737300989026 140737300996043 0
/proc/1062497/statm: 156942 132864 4125 3002 0 140691 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 627768 KiB
Current children cumulated memory: 531456 KiB

[startup+162.3 s]
/proc/loadavg: 4.31 4.14 4.09 5/257 1062571
/proc/meminfo: memFree=125887532/131524600 swapFree=131071996/131071996
[pid=1062497] ppid=1062494 vsize=664732 memory=567892 CPUtime=161.78 cores=5,7
/proc/1062497/stat : 1062497 (mixed-bag) R 1062494 1062497 1059639 0 -1 4194304 140390 0 0 0 16150 28 0 0 20 0 1 0 199274495 680685568 141973 134679101440 4194304 16488053 140737300985968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 40943616 140737300988949 140737300989026 140737300989026 140737300996043 0
/proc/1062497/statm: 166183 141973 4125 3002 0 149932 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 664732 KiB
Current children cumulated memory: 567892 KiB

[startup+222.3 s]
/proc/loadavg: 4.30 4.19 4.10 5/259 1062752
/proc/meminfo: memFree=125783688/131524600 swapFree=131071996/131071996
[pid=1062497] ppid=1062494 vsize=674924 memory=577264 CPUtime=221.61 cores=5,7
/proc/1062497/stat : 1062497 (mixed-bag) R 1062494 1062497 1059639 0 -1 4194304 151688 0 0 0 22130 31 0 0 20 0 1 0 199274495 691122176 144316 134679101440 4194304 16488053 140737300985968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 40943616 140737300988949 140737300989026 140737300989026 140737300996043 0
/proc/1062497/statm: 168731 144316 4125 3002 0 152480 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 674924 KiB
Current children cumulated memory: 577264 KiB

[startup+282.3 s]
/proc/loadavg: 4.14 4.16 4.10 5/259 1062762
/proc/meminfo: memFree=125738304/131524600 swapFree=131071996/131071996
[pid=1062497] ppid=1062494 vsize=669492 memory=573220 CPUtime=281.42 cores=5,7
/proc/1062497/stat : 1062497 (mixed-bag) R 1062494 1062497 1059639 0 -1 4194304 197966 0 0 0 28102 40 0 0 20 0 1 0 199274495 685559808 143305 134679101440 4194304 16488053 140737300985968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 40943616 140737300988949 140737300989026 140737300989026 140737300996043 0
/proc/1062497/statm: 167373 143305 4125 3002 0 151122 0
Current children cumulated CPU time: 281.42 s
Current children cumulated vsize: 669492 KiB
Current children cumulated memory: 573220 KiB

[startup+342.3 s]
/proc/loadavg: 4.17 4.16 4.10 5/260 1062835
/proc/meminfo: memFree=125836576/131524600 swapFree=131071996/131071996
[pid=1062497] ppid=1062494 vsize=602148 memory=512768 CPUtime=341.24 cores=5,7
/proc/1062497/stat : 1062497 (mixed-bag) R 1062494 1062497 1059639 0 -1 4194304 227879 0 0 0 34043 81 0 0 20 0 1 0 199274495 616599552 128192 134679101440 4194304 16488053 140737300985968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 40943616 140737300988949 140737300989026 140737300989026 140737300996043 0
/proc/1062497/statm: 150537 128192 4237 3002 0 134286 0
Current children cumulated CPU time: 341.24 s
Current children cumulated vsize: 602148 KiB
Current children cumulated memory: 512768 KiB

[startup+402.3 s]
/proc/loadavg: 4.17 4.16 4.10 5/260 1062845
/proc/meminfo: memFree=125799200/131524600 swapFree=131071996/131071996
[pid=1062497] ppid=1062494 vsize=609328 memory=514032 CPUtime=401.05 cores=5,7
/proc/1062497/stat : 1062497 (mixed-bag) R 1062494 1062497 1059639 0 -1 4194304 228186 0 0 0 39992 113 0 0 20 0 1 0 199274495 623951872 128508 134679101440 4194304 16488053 140737300985968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 40943616 140737300988949 140737300989026 140737300989026 140737300996043 0
/proc/1062497/statm: 152332 128508 4237 3002 0 136081 0
Current children cumulated CPU time: 401.05 s
Current children cumulated vsize: 609328 KiB
Current children cumulated memory: 514032 KiB

[startup+462.3 s]
/proc/loadavg: 4.23 4.18 4.10 5/260 1062856
/proc/meminfo: memFree=125786544/131524600 swapFree=131071996/131071996
[pid=1062497] ppid=1062494 vsize=609328 memory=516840 CPUtime=460.84 cores=5,7
/proc/1062497/stat : 1062497 (mixed-bag) R 1062494 1062497 1059639 0 -1 4194304 228410 0 0 0 45950 134 0 0 20 0 1 0 199274495 623951872 129210 134679101440 4194304 16488053 140737300985968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 40943616 140737300988949 140737300989026 140737300989026 140737300996043 0
/proc/1062497/statm: 152332 129210 4237 3002 0 136081 0

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

Current children cumulated memory: 568868 KiB

[startup+2862.3 s]
/proc/loadavg: 4.15 4.15 4.11 5/257 1063866
/proc/meminfo: memFree=125717312/131524600 swapFree=131071996/131071996
[pid=1062497] ppid=1062494 vsize=639972 memory=568868 CPUtime=2852.95 cores=5,7
/proc/1062497/stat : 1062497 (mixed-bag) R 1062494 1062497 1059639 0 -1 4194304 232408 0 0 0 284769 526 0 0 20 0 1 0 199274495 655331328 142217 134679101440 4194304 16488053 140737300985968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 40943616 140737300988949 140737300989026 140737300989026 140737300996043 0
/proc/1062497/statm: 159993 142217 4237 3002 0 143742 0
Current children cumulated CPU time: 2852.95 s
Current children cumulated vsize: 639972 KiB
Current children cumulated memory: 568868 KiB

[startup+2922.3 s]
/proc/loadavg: 4.12 4.14 4.11 5/257 1063877
/proc/meminfo: memFree=125716704/131524600 swapFree=131071996/131071996
[pid=1062497] ppid=1062494 vsize=639972 memory=568868 CPUtime=2912.76 cores=5,7
/proc/1062497/stat : 1062497 (mixed-bag) R 1062494 1062497 1059639 0 -1 4194304 232492 0 0 0 290743 533 0 0 20 0 1 0 199274495 655331328 142217 134679101440 4194304 16488053 140737300985968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 40943616 140737300988949 140737300989026 140737300989026 140737300996043 0
/proc/1062497/statm: 159993 142217 4237 3002 0 143742 0
Current children cumulated CPU time: 2912.76 s
Current children cumulated vsize: 639972 KiB
Current children cumulated memory: 568868 KiB

[startup+2982.3 s]
/proc/loadavg: 4.23 4.16 4.11 5/257 1063889
/proc/meminfo: memFree=125715524/131524600 swapFree=131071996/131071996
[pid=1062497] ppid=1062494 vsize=639972 memory=568868 CPUtime=2972.57 cores=5,7
/proc/1062497/stat : 1062497 (mixed-bag) R 1062494 1062497 1059639 0 -1 4194304 232576 0 0 0 296717 540 0 0 20 0 1 0 199274495 655331328 142217 134679101440 4194304 16488053 140737300985968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 40943616 140737300988949 140737300989026 140737300989026 140737300996043 0
/proc/1062497/statm: 159993 142217 4237 3002 0 143742 0
Current children cumulated CPU time: 2972.57 s
Current children cumulated vsize: 639972 KiB
Current children cumulated memory: 568868 KiB

[startup+3042.3 s]
/proc/loadavg: 4.14 4.14 4.10 5/255 1063899
/proc/meminfo: memFree=125713552/131524600 swapFree=131071996/131071996
[pid=1062497] ppid=1062494 vsize=639972 memory=568868 CPUtime=3032.38 cores=5,7
/proc/1062497/stat : 1062497 (mixed-bag) R 1062494 1062497 1059639 0 -1 4194304 232659 0 0 0 302693 545 0 0 20 0 1 0 199274495 655331328 142217 134679101440 4194304 16488053 140737300985968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 40943616 140737300988949 140737300989026 140737300989026 140737300996043 0
/proc/1062497/statm: 159993 142217 4237 3002 0 143742 0
Current children cumulated CPU time: 3032.38 s
Current children cumulated vsize: 639972 KiB
Current children cumulated memory: 568868 KiB

[startup+3102.3 s]
/proc/loadavg: 4.09 4.13 4.10 5/254 1063909
/proc/meminfo: memFree=125712816/131524600 swapFree=131071996/131071996
[pid=1062497] ppid=1062494 vsize=639972 memory=568868 CPUtime=3092.19 cores=5,7
/proc/1062497/stat : 1062497 (mixed-bag) R 1062494 1062497 1059639 0 -1 4194304 232745 0 0 0 308669 550 0 0 20 0 1 0 199274495 655331328 142217 134679101440 4194304 16488053 140737300985968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 40943616 140737300988949 140737300989026 140737300989026 140737300996043 0
/proc/1062497/statm: 159993 142217 4237 3002 0 143742 0
Current children cumulated CPU time: 3092.19 s
Current children cumulated vsize: 639972 KiB
Current children cumulated memory: 568868 KiB

[startup+3162.3 s]
/proc/loadavg: 4.18 4.15 4.10 5/254 1063920
/proc/meminfo: memFree=125712304/131524600 swapFree=131071996/131071996
[pid=1062497] ppid=1062494 vsize=639972 memory=568868 CPUtime=3152 cores=5,7
/proc/1062497/stat : 1062497 (mixed-bag) R 1062494 1062497 1059639 0 -1 4194304 232830 0 0 0 314645 555 0 0 20 0 1 0 199274495 655331328 142217 134679101440 4194304 16488053 140737300985968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 40943616 140737300988949 140737300989026 140737300989026 140737300996043 0
/proc/1062497/statm: 159993 142217 4237 3002 0 143742 0
Current children cumulated CPU time: 3152 s
Current children cumulated vsize: 639972 KiB
Current children cumulated memory: 568868 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.13 4.10 5/254 1063931
/proc/meminfo: memFree=125709296/131524600 swapFree=131071996/131071996
[pid=1062497] ppid=1062494 vsize=639972 memory=568868 CPUtime=3211.8 cores=5,7
/proc/1062497/stat : 1062497 (mixed-bag) R 1062494 1062497 1059639 0 -1 4194304 232915 0 0 0 320620 560 0 0 20 0 1 0 199274495 655331328 142217 134679101440 4194304 16488053 140737300985968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 40943616 140737300988949 140737300989026 140737300989026 140737300996043 0
/proc/1062497/statm: 159993 142217 4237 3002 0 143742 0
Current children cumulated CPU time: 3211.8 s
Current children cumulated vsize: 639972 KiB
Current children cumulated memory: 568868 KiB

[startup+3282.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/254 1063941
/proc/meminfo: memFree=125706336/131524600 swapFree=131071996/131071996
[pid=1062497] ppid=1062494 vsize=639972 memory=570916 CPUtime=3271.61 cores=5,7
/proc/1062497/stat : 1062497 (mixed-bag) R 1062494 1062497 1059639 0 -1 4194304 233004 0 0 0 326597 564 0 0 20 0 1 0 199274495 655331328 142729 134679101440 4194304 16488053 140737300985968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 40943616 140737300988949 140737300989026 140737300989026 140737300996043 0
/proc/1062497/statm: 159993 142729 4237 3002 0 143742 0
Current children cumulated CPU time: 3271.61 s
Current children cumulated vsize: 639972 KiB
Current children cumulated memory: 570916 KiB

[startup+3342.3 s]
/proc/loadavg: 4.06 4.11 4.09 5/256 1063956
/proc/meminfo: memFree=125701732/131524600 swapFree=131071996/131071996
[pid=1062497] ppid=1062494 vsize=639972 memory=570916 CPUtime=3331.43 cores=5,7
/proc/1062497/stat : 1062497 (mixed-bag) R 1062494 1062497 1059639 0 -1 4194304 233091 0 0 0 332572 571 0 0 20 0 1 0 199274495 655331328 142729 134679101440 4194304 16488053 140737300985968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 40943616 140737300988949 140737300989026 140737300989026 140737300996043 0
/proc/1062497/statm: 159993 142729 4237 3002 0 143742 0
Current children cumulated CPU time: 3331.43 s
Current children cumulated vsize: 639972 KiB
Current children cumulated memory: 570916 KiB

[startup+3402.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/256 1063966
/proc/meminfo: memFree=125701008/131524600 swapFree=131071996/131071996
[pid=1062497] ppid=1062494 vsize=639972 memory=570916 CPUtime=3391.24 cores=5,7
/proc/1062497/stat : 1062497 (mixed-bag) R 1062494 1062497 1059639 0 -1 4194304 233175 0 0 0 338545 579 0 0 20 0 1 0 199274495 655331328 142729 134679101440 4194304 16488053 140737300985968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 40943616 140737300988949 140737300989026 140737300989026 140737300996043 0
/proc/1062497/statm: 159993 142729 4237 3002 0 143742 0
Current children cumulated CPU time: 3391.24 s
Current children cumulated vsize: 639972 KiB
Current children cumulated memory: 570916 KiB

[startup+3462.3 s]
/proc/loadavg: 4.24 4.14 4.10 5/256 1063976
/proc/meminfo: memFree=125698164/131524600 swapFree=131071996/131071996
[pid=1062497] ppid=1062494 vsize=639972 memory=570916 CPUtime=3451.05 cores=5,7
/proc/1062497/stat : 1062497 (mixed-bag) R 1062494 1062497 1059639 0 -1 4194304 233258 0 0 0 344518 587 0 0 20 0 1 0 199274495 655331328 142729 134679101440 4194304 16488053 140737300985968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 40943616 140737300988949 140737300989026 140737300989026 140737300996043 0
/proc/1062497/statm: 159993 142729 4237 3002 0 143742 0
Current children cumulated CPU time: 3451.05 s
Current children cumulated vsize: 639972 KiB
Current children cumulated memory: 570916 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/256 1063988
/proc/meminfo: memFree=125697420/131524600 swapFree=131071996/131071996
[pid=1062497] ppid=1062494 vsize=639972 memory=570916 CPUtime=3510.85 cores=5,7
/proc/1062497/stat : 1062497 (mixed-bag) R 1062494 1062497 1059639 0 -1 4194304 233341 0 0 0 350492 593 0 0 20 0 1 0 199274495 655331328 142729 134679101440 4194304 16488053 140737300985968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 40943616 140737300988949 140737300989026 140737300989026 140737300996043 0
/proc/1062497/statm: 159993 142729 4237 3002 0 143742 0
Current children cumulated CPU time: 3510.85 s
Current children cumulated vsize: 639972 KiB
Current children cumulated memory: 570916 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/256 1064000
/proc/meminfo: memFree=125696732/131524600 swapFree=131071996/131071996
[pid=1062497] ppid=1062494 vsize=639972 memory=570916 CPUtime=3570.67 cores=5,7
/proc/1062497/stat : 1062497 (mixed-bag) R 1062494 1062497 1059639 0 -1 4194304 233423 0 0 0 356466 601 0 0 20 0 1 0 199274495 655331328 142729 134679101440 4194304 16488053 140737300985968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 40943616 140737300988949 140737300989026 140737300989026 140737300996043 0
/proc/1062497/statm: 159993 142729 4237 3002 0 143742 0
Current children cumulated CPU time: 3570.67 s
Current children cumulated vsize: 639972 KiB
Current children cumulated memory: 570916 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.8 s]
/proc/loadavg: 4.07 4.11 4.09 5/258 1064480
/proc/meminfo: memFree=124759380/131524600 swapFree=131071996/131071996
[pid=1062497] ppid=1062494 vsize=639972 memory=570916 CPUtime=3600.07 cores=5,7
/proc/1062497/stat : 1062497 (mixed-bag) R 1062494 1062497 1059639 0 -1 4194304 233481 0 0 0 359404 603 0 0 20 0 1 0 199274495 655331328 142729 134679101440 4194304 16488053 140737300985968 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 40943616 140737300988949 140737300989026 140737300989026 140737300996043 0
/proc/1062497/statm: 159993 142729 4237 3002 0 143742 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 639972 KiB
Current children cumulated memory: 570916 KiB

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

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

# cumulated CPU time of all completed processes:  user=3594.06 s, system=6.03857 s

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

Child status: 0

Real time (s): 3611.81
CPU time (s): 3600.09
CPU user time (s): 3594.06
CPU system time (s): 6.03857
CPU usage (%): 99.6756
Max. virtual memory (cumulated for all children) (KiB): 693240
Max. memory (cumulated for all children) (KiB): 596992

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.06
system time used= 6.03857
maximum resident set size= 596992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 233525
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= 53
involuntary context switches= 1456


# summary of solver processes directly reported to runsolver:
#   pid: 1062497
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3594.06
#   total CPU system time (s): 6.03857

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.38386 second user time and 16.6491 second system time

The end

Launcher Data 

Begin job on nodeC021 at 2024-07-20 12:25:19
IDJOB=4454742
IDBENCH=147626
IDSOLVER=3083
FILE ID=nodeC021/4454742-1721471107
RUNJOBID= nodeC021-1721467498-1059652
SLURM_JOB_ID= 7545721
Free space on /tmp= 890024 MiB

SOLVER NAME= mixed-bag 2024-07-19
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-4454742-1721471107/watcher-4454742-1721471107 -o /tmp/evaluation-result-4454742-1721471107/solver-4454742-1721471107 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721467498-1059652 --watchdog 3760  mixed-bag HOME/instance-4454742-1721471107.opb

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

MD5SUM BENCH= b48e8711e48bf421c56e401ff58b5422
RANDOM SEED=1368859222

nodeC021.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		: 3665.910
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.42
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		: 3668.439
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.23
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.974
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.42
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		: 3599.988
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.23
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		: 3665.934
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.42
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		: 3663.901
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.23
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.719
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.42
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		: 3669.558
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.23
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        126330776 kB
MemAvailable:   128470136 kB
Buffers:          564784 kB
Cached:          2401876 kB
SwapCached:            0 kB
Active:          1117720 kB
Inactive:        3420072 kB
Active(anon):       1544 kB
Inactive(anon):  1615512 kB
Active(file):    1116176 kB
Inactive(file):  1804560 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             58624 kB
Writeback:             0 kB
AnonPages:       1570468 kB
Mapped:           140768 kB
Shmem:             45912 kB
KReclaimable:     116896 kB
Slab:             232968 kB
SReclaimable:     116896 kB
SUnreclaim:       116072 kB
KernelStack:        4128 kB
PageTables:        12868 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    2056588 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            73376 kB
HardwareCorrupted:     0 kB
AnonHugePages:    952320 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:    25726976 kB
DirectMap1G:    110100480 kB

Free space on /tmp at the end= 889992 MiB
End job on nodeC021 at 2024-07-20 13:25:31