Trace number 4503051

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 2025-05-06? (TO) 3600.09 3610.78

DiagnosticValue
AM1LB
LOWERBOUND
NAM1S
NCORES
NEXHAUSTED
NPBCORES
NPBREFORM
NTRIMMED
SCIPUB

General information on the benchmark

NamePB24/normalized-PB11/OPT-LIN/
kullmann/normalized-mul_8_11_shg.opb
MD5SUM1fbef458f61b2221fcf0474a376c4852
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 benchmark64
Best CPU time to get the best result obtained on this benchmark3585.25
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables15008
Total number of constraints65280
Number of constraints which are clauses65280
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint65
Maximum length of a constraint90
Number of terms in the objective function 15008
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 15008
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 15008
Number of bits of the biggest sum of numbers14
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.02	c RoundingSat 2
0.00/0.02	c branch 
0.00/0.02	c commit 
0.00/0.02	c with Papilo
0.00/0.02	c with SCIP
0.00/0.02	c [STEP] parsing instance
3.46/3.55	c [STEP] preprocessing with Papilo
4.16/4.27	c Papilo could not simplify the problem
4.16/4.27	c [STEP] solving with SCIP
304.38/305.38	c [STEP] preprocessing done, loading into solver
305.19/306.19	c [STEP] solving
305.19/306.19	c #variables 15009 #constraints 65280
305.19/306.19	c SMALL=int, LARGE=long long
305.19/306.19	d SCIPUB 80
305.19/306.19	c bounds - >= 0 @ 303.225
305.19/306.19	c stratification level: 0
836.65/839.28	c bounds - >= 1 @ 303.384
836.65/839.28	c bounds - >= 2 @ 303.389
836.65/839.28	c bounds - >= 3 @ 303.394
836.65/839.28	c bounds - >= 4 @ 303.399
836.65/839.28	c bounds - >= 5 @ 303.409
836.65/839.28	c bounds - >= 6 @ 303.411
836.65/839.28	c bounds - >= 7 @ 303.413
836.65/839.28	c bounds - >= 8 @ 303.417
836.65/839.28	c bounds - >= 9 @ 303.424
836.65/839.28	c bounds - >= 10 @ 303.426
836.65/839.28	c bounds - >= 11 @ 303.431
836.65/839.28	c bounds - >= 12 @ 303.436
836.65/839.28	c bounds - >= 13 @ 303.439
836.65/839.28	c bounds - >= 14 @ 303.445
836.65/839.28	c bounds - >= 15 @ 303.449
836.65/839.28	c bounds - >= 16 @ 303.452
836.65/839.28	c bounds - >= 17 @ 303.457
836.65/839.28	c bounds - >= 18 @ 303.469
836.65/839.28	c bounds - >= 19 @ 303.475
836.65/839.28	c bounds - >= 20 @ 303.482
836.65/839.28	c bounds - >= 21 @ 303.486
836.65/839.28	c bounds - >= 22 @ 303.492
836.65/839.28	c bounds - >= 23 @ 303.499
836.65/839.28	c #Conflicts:       1000 | #Constraints:      66303
836.65/839.28	c #Conflicts:       2000 | #Constraints:      67303
836.65/839.28	c INPROCESSING
836.65/839.28	c GARBAGE COLLECT
836.65/839.28	c #Conflicts:       3000 | #Constraints:      67287
836.65/839.28	c #Conflicts:       4000 | #Constraints:      68287
836.65/839.28	c INPROCESSING
836.65/839.28	c GARBAGE COLLECT
836.65/839.28	c #Conflicts:       5000 | #Constraints:      67696
836.65/839.28	c #Conflicts:       6000 | #Constraints:      68696
836.65/839.28	c INPROCESSING
836.65/839.28	c GARBAGE COLLECT
836.65/839.28	c #Conflicts:       7000 | #Constraints:      67700
836.65/839.28	c #Conflicts:       8000 | #Constraints:      68700
836.65/839.28	c #Conflicts:       9000 | #Constraints:      69700
836.65/839.28	c INPROCESSING
836.65/839.28	c GARBAGE COLLECT
836.65/839.28	c #Conflicts:      10000 | #Constraints:      68400
836.65/839.28	c #Conflicts:      11000 | #Constraints:      69400
836.65/839.28	c #Conflicts:      12000 | #Constraints:      70400
836.65/839.28	c INPROCESSING
836.65/839.28	c GARBAGE COLLECT
836.65/839.28	c #Conflicts:      13000 | #Constraints:      68844
836.65/839.28	c #Conflicts:      14000 | #Constraints:      69844
836.65/839.28	c #Conflicts:      15000 | #Constraints:      70844
836.65/839.28	c INPROCESSING
836.65/839.28	c GARBAGE COLLECT
836.65/839.28	c #Conflicts:      16000 | #Constraints:      69075
836.65/839.28	c #Conflicts:      17000 | #Constraints:      70075
836.65/839.28	c #Conflicts:      18000 | #Constraints:      71075
836.65/839.28	c INPROCESSING
836.65/839.28	c GARBAGE COLLECT
836.65/839.28	c #Conflicts:      19000 | #Constraints:      69093
836.65/839.28	c #Conflicts:      20000 | #Constraints:      70093
836.65/839.28	c #Conflicts:      21000 | #Constraints:      71093
836.65/839.28	c INPROCESSING
836.65/839.28	c GARBAGE COLLECT
836.65/839.28	c #Conflicts:      22000 | #Constraints:      68897
836.65/839.28	c #Conflicts:      23000 | #Constraints:      69897
836.65/839.28	c #Conflicts:      24000 | #Constraints:      70897
836.65/839.28	c #Conflicts:      25000 | #Constraints:      71897
836.65/839.28	c INPROCESSING
836.65/839.28	c GARBAGE COLLECT
836.65/839.28	c #Conflicts:      26000 | #Constraints:      69500
836.65/839.28	c #Conflicts:      27000 | #Constraints:      70500
836.65/839.28	c #Conflicts:      28000 | #Constraints:      71500
836.65/839.28	c #Conflicts:      29000 | #Constraints:      72500
836.65/839.28	c INPROCESSING
836.65/839.28	c GARBAGE COLLECT
836.65/839.28	c #Conflicts:      30000 | #Constraints:      69897
836.65/839.28	c #Conflicts:      31000 | #Constraints:      70897
836.65/839.28	c #Conflicts:      32000 | #Constraints:      71897
836.65/839.28	c #Conflicts:      33000 | #Constraints:      72897
836.65/839.28	c INPROCESSING
836.65/839.28	c GARBAGE COLLECT
836.65/839.28	c #Conflicts:      34000 | #Constraints:      70098
836.65/839.28	c #Conflicts:      35000 | #Constraints:      71098
836.65/839.28	c #Conflicts:      36000 | #Constraints:      72098
836.65/839.28	c #Conflicts:      37000 | #Constraints:      73098
836.65/839.28	c INPROCESSING
836.65/839.28	c GARBAGE COLLECT
836.65/839.28	c #Conflicts:      38000 | #Constraints:      70100
836.65/839.28	c #Conflicts:      39000 | #Constraints:      71100
836.65/839.28	c #Conflicts:      40000 | #Constraints:      72100
836.65/839.28	c #Conflicts:      41000 | #Constraints:      73100
836.65/839.28	c INPROCESSING
836.65/839.28	c GARBAGE COLLECT
836.65/839.28	c #Conflicts:      42000 | #Constraints:      69904
836.65/839.28	c #Conflicts:      43000 | #Constraints:      70904
836.65/839.28	c #Conflicts:      44000 | #Constraints:      71904
836.65/839.28	c #Conflicts:      45000 | #Constraints:      72904
836.65/839.28	c #Conflicts:      46000 | #Constraints:      73904
836.65/839.28	c INPROCESSING
836.65/839.28	c GARBAGE COLLECT
836.65/839.28	c #Conflicts:      47000 | #Constraints:      70504
836.65/839.28	c #Conflicts:      48000 | #Constraints:      71504
836.65/839.28	c #Conflicts:      49000 | #Constraints:      72504
836.65/839.28	c #Conflicts:      50000 | #Constraints:      73504
836.65/839.28	c #Conflicts:      51000 | #Constraints:      74504
836.65/839.28	c INPROCESSING
836.65/839.28	c GARBAGE COLLECT
836.65/839.28	c #Conflicts:      52000 | #Constraints:      70900
836.65/839.28	c #Conflicts:      53000 | #Constraints:      71900
836.65/839.28	c #Conflicts:      54000 | #Constraints:      72900
836.65/839.28	c #Conflicts:      55000 | #Constraints:      73900
836.65/839.28	c #Conflicts:      56000 | #Constraints:      74900
836.65/839.28	c INPROCESSING
836.65/839.28	c GARBAGE COLLECT
836.65/839.28	c #Conflicts:      57000 | #Constraints:      71102
1770.72/1776.16	c #Conflicts:      58000 | #Constraints:      72102
1770.72/1776.16	c #Conflicts:      59000 | #Constraints:      73102
1770.72/1776.16	c #Conflicts:      60000 | #Constraints:      74102
1770.72/1776.16	c #Conflicts:      61000 | #Constraints:      75102
1770.72/1776.16	c INPROCESSING
1770.72/1776.16	c GARBAGE COLLECT
1770.72/1776.16	c #Conflicts:      62000 | #Constraints:      71102
1770.72/1776.16	c #Conflicts:      63000 | #Constraints:      72102
1770.72/1776.16	c #Conflicts:      64000 | #Constraints:      73102
1770.72/1776.16	c #Conflicts:      65000 | #Constraints:      74102
1770.72/1776.16	c #Conflicts:      66000 | #Constraints:      75102
1770.72/1776.16	c INPROCESSING
1770.72/1776.16	c GARBAGE COLLECT
1770.72/1776.16	c #Conflicts:      67000 | #Constraints:      70910
1770.72/1776.16	c #Conflicts:      68000 | #Constraints:      71910
1770.72/1776.16	c #Conflicts:      69000 | #Constraints:      72910
1770.72/1776.16	c #Conflicts:      70000 | #Constraints:      73910
1770.72/1776.16	c #Conflicts:      71000 | #Constraints:      74910
1770.72/1776.16	c #Conflicts:      72000 | #Constraints:      75910
1770.72/1776.16	c INPROCESSING
1770.72/1776.16	c GARBAGE COLLECT
1770.72/1776.16	c #Conflicts:      73000 | #Constraints:      71502
1770.72/1776.16	c #Conflicts:      74000 | #Constraints:      72502
1770.72/1776.16	c #Conflicts:      75000 | #Constraints:      73502
1770.72/1776.16	c #Conflicts:      76000 | #Constraints:      74502
1770.72/1776.16	c #Conflicts:      77000 | #Constraints:      75502
1770.72/1776.16	c #Conflicts:      78000 | #Constraints:      76502
1770.72/1776.16	c INPROCESSING
1770.72/1776.16	c GARBAGE COLLECT
1770.72/1776.16	c #Conflicts:      79000 | #Constraints:      71907
1770.72/1776.16	c #Conflicts:      80000 | #Constraints:      72907
1770.72/1776.16	c #Conflicts:      81000 | #Constraints:      73907
1770.72/1776.16	c #Conflicts:      82000 | #Constraints:      74907
1770.72/1776.16	c #Conflicts:      83000 | #Constraints:      75907
1770.72/1776.16	c #Conflicts:      84000 | #Constraints:      76907
1770.72/1776.16	c INPROCESSING
1770.72/1776.16	c GARBAGE COLLECT
1770.72/1776.16	c #Conflicts:      85000 | #Constraints:      72105
1770.72/1776.16	c #Conflicts:      86000 | #Constraints:      73105
1770.72/1776.16	c #Conflicts:      87000 | #Constraints:      74105
1770.72/1776.16	c #Conflicts:      88000 | #Constraints:      75105
1770.72/1776.16	c #Conflicts:      89000 | #Constraints:      76105
1770.72/1776.16	c #Conflicts:      90000 | #Constraints:      77105
1770.72/1776.16	c INPROCESSING
1770.72/1776.16	c GARBAGE COLLECT
1770.72/1776.16	c #Conflicts:      91000 | #Constraints:      72104
1770.72/1776.16	c #Conflicts:      92000 | #Constraints:      73104
1770.72/1776.16	c #Conflicts:      93000 | #Constraints:      74104
1770.72/1776.16	c #Conflicts:      94000 | #Constraints:      75104
1770.72/1776.16	c #Conflicts:      95000 | #Constraints:      76104
1770.72/1776.16	c #Conflicts:      96000 | #Constraints:      77104
1770.72/1776.16	c INPROCESSING
1770.72/1776.16	c GARBAGE COLLECT
1770.72/1776.16	c #Conflicts:      97000 | #Constraints:      71903
1770.72/1776.16	c #Conflicts:      98000 | #Constraints:      72903
1770.72/1776.16	c #Conflicts:      99000 | #Constraints:      73903
1770.72/1776.16	c #Conflicts:     100000 | #Constraints:      74903
1770.72/1776.16	c #Conflicts:     101000 | #Constraints:      75903
1770.72/1776.16	c #Conflicts:     102000 | #Constraints:      76903
1770.72/1776.16	c #Conflicts:     103000 | #Constraints:      77903
1770.72/1776.16	c INPROCESSING
1770.72/1776.16	c GARBAGE COLLECT
1770.72/1776.16	c #Conflicts:     104000 | #Constraints:      72506
1770.72/1776.16	c #Conflicts:     105000 | #Constraints:      73506
1770.72/1776.16	c #Conflicts:     106000 | #Constraints:      74506
1770.72/1776.16	c #Conflicts:     107000 | #Constraints:      75506
1770.72/1776.16	c #Conflicts:     108000 | #Constraints:      76506
1770.72/1776.16	c #Conflicts:     109000 | #Constraints:      77506
1770.72/1776.16	c #Conflicts:     110000 | #Constraints:      78506
1770.72/1776.16	c INPROCESSING
1770.72/1776.16	c GARBAGE COLLECT
1770.72/1776.16	c #Conflicts:     111000 | #Constraints:      72912
1770.72/1776.16	c #Conflicts:     112000 | #Constraints:      73912
1770.72/1776.16	c #Conflicts:     113000 | #Constraints:      74912
1770.72/1776.16	c #Conflicts:     114000 | #Constraints:      75912
1770.72/1776.16	c #Conflicts:     115000 | #Constraints:      76912
1770.72/1776.16	c #Conflicts:     116000 | #Constraints:      77912
1770.72/1776.16	c #Conflicts:     117000 | #Constraints:      78912
1770.72/1776.16	c INPROCESSING
1770.72/1776.16	c GARBAGE COLLECT
1770.72/1776.16	c #Conflicts:     118000 | #Constraints:      73106
1770.72/1776.16	c #Conflicts:     119000 | #Constraints:      74106
1770.72/1776.16	c #Conflicts:     120000 | #Constraints:      75106
1770.72/1776.16	c #Conflicts:     121000 | #Constraints:      76106
1770.72/1776.16	c #Conflicts:     122000 | #Constraints:      77106
1770.72/1776.16	c #Conflicts:     123000 | #Constraints:      78106
1770.72/1776.16	c #Conflicts:     124000 | #Constraints:      79106
1770.72/1776.16	c INPROCESSING
1770.72/1776.16	c GARBAGE COLLECT
1770.72/1776.16	c #Conflicts:     125000 | #Constraints:      73101
1770.72/1776.16	c #Conflicts:     126000 | #Constraints:      74101
1770.72/1776.16	c #Conflicts:     127000 | #Constraints:      75101
1770.72/1776.16	c #Conflicts:     128000 | #Constraints:      76101
1770.72/1776.16	c #Conflicts:     129000 | #Constraints:      77101
2861.59/2870.28	c #Conflicts:     130000 | #Constraints:      78101
2861.59/2870.28	c #Conflicts:     131000 | #Constraints:      79101
2861.59/2870.28	c INPROCESSING
2861.59/2870.28	c GARBAGE COLLECT
2861.59/2870.28	c #Conflicts:     132000 | #Constraints:      72907
2861.59/2870.28	c #Conflicts:     133000 | #Constraints:      73907
2861.59/2870.28	c #Conflicts:     134000 | #Constraints:      74907
2861.59/2870.28	c #Conflicts:     135000 | #Constraints:      75907
2861.59/2870.28	c #Conflicts:     136000 | #Constraints:      76907
2861.59/2870.28	c #Conflicts:     137000 | #Constraints:      77907
2861.59/2870.28	c #Conflicts:     138000 | #Constraints:      78907
2861.59/2870.28	c #Conflicts:     139000 | #Constraints:      79907
2861.59/2870.28	c INPROCESSING
2861.59/2870.28	c GARBAGE COLLECT
2861.59/2870.28	c #Conflicts:     140000 | #Constraints:      73506
2861.59/2870.28	c #Conflicts:     141000 | #Constraints:      74506
2861.59/2870.28	c #Conflicts:     142000 | #Constraints:      75506
2861.59/2870.28	c #Conflicts:     143000 | #Constraints:      76506
2861.59/2870.28	c #Conflicts:     144000 | #Constraints:      77506
2861.59/2870.28	c #Conflicts:     145000 | #Constraints:      78506
2861.59/2870.28	c #Conflicts:     146000 | #Constraints:      79506
2861.59/2870.28	c #Conflicts:     147000 | #Constraints:      80506
2861.59/2870.28	c INPROCESSING
2861.59/2870.28	c GARBAGE COLLECT
2861.59/2870.28	c #Conflicts:     148000 | #Constraints:      73908
2861.59/2870.28	c #Conflicts:     149000 | #Constraints:      74908
2861.59/2870.28	c #Conflicts:     150000 | #Constraints:      75908
2861.59/2870.28	c #Conflicts:     151000 | #Constraints:      76908
2861.59/2870.28	c #Conflicts:     152000 | #Constraints:      77908
2861.59/2870.28	c #Conflicts:     153000 | #Constraints:      78908
2861.59/2870.28	c #Conflicts:     154000 | #Constraints:      79908
2861.59/2870.28	c #Conflicts:     155000 | #Constraints:      80908
2861.59/2870.28	c INPROCESSING
2861.59/2870.28	c GARBAGE COLLECT
2861.59/2870.28	c #Conflicts:     156000 | #Constraints:      74115
2861.59/2870.28	c #Conflicts:     157000 | #Constraints:      75115
2861.59/2870.28	c #Conflicts:     158000 | #Constraints:      76115
2861.59/2870.28	c #Conflicts:     159000 | #Constraints:      77115
2861.59/2870.28	c #Conflicts:     160000 | #Constraints:      78115
2861.59/2870.28	c #Conflicts:     161000 | #Constraints:      79115
2861.59/2870.28	c #Conflicts:     162000 | #Constraints:      80115
2861.59/2870.28	c #Conflicts:     163000 | #Constraints:      81115
2861.59/2870.28	c INPROCESSING
2861.59/2870.28	c GARBAGE COLLECT
2861.59/2870.28	c #Conflicts:     164000 | #Constraints:      74107
2861.59/2870.28	c #Conflicts:     165000 | #Constraints:      75107
2861.59/2870.28	c #Conflicts:     166000 | #Constraints:      76107
2861.59/2870.28	c #Conflicts:     167000 | #Constraints:      77107
2861.59/2870.28	c #Conflicts:     168000 | #Constraints:      78107
2861.59/2870.28	c #Conflicts:     169000 | #Constraints:      79107
2861.59/2870.28	c #Conflicts:     170000 | #Constraints:      80107
2861.59/2870.28	c #Conflicts:     171000 | #Constraints:      81107
2861.59/2870.28	c INPROCESSING
2861.59/2870.28	c GARBAGE COLLECT
2861.59/2870.28	c #Conflicts:     172000 | #Constraints:      73903
2861.59/2870.28	c #Conflicts:     173000 | #Constraints:      74903
2861.59/2870.28	c #Conflicts:     174000 | #Constraints:      75903
2861.59/2870.28	c #Conflicts:     175000 | #Constraints:      76903
2861.59/2870.28	c #Conflicts:     176000 | #Constraints:      77903
2861.59/2870.28	c #Conflicts:     177000 | #Constraints:      78903
2861.59/2870.28	c #Conflicts:     178000 | #Constraints:      79903
2861.59/2870.28	c #Conflicts:     179000 | #Constraints:      80903
2861.59/2870.28	c #Conflicts:     180000 | #Constraints:      81903
2861.59/2870.28	c INPROCESSING
2861.59/2870.28	c GARBAGE COLLECT
2861.59/2870.28	c #Conflicts:     181000 | #Constraints:      74505
2861.59/2870.28	c #Conflicts:     182000 | #Constraints:      75505
2861.59/2870.28	c #Conflicts:     183000 | #Constraints:      76505
2861.59/2870.28	c #Conflicts:     184000 | #Constraints:      77505
2861.59/2870.28	c #Conflicts:     185000 | #Constraints:      78505
2861.59/2870.28	c #Conflicts:     186000 | #Constraints:      79505
2861.59/2870.28	c #Conflicts:     187000 | #Constraints:      80505
2861.59/2870.28	c #Conflicts:     188000 | #Constraints:      81505
2861.59/2870.28	c #Conflicts:     189000 | #Constraints:      82505
2861.59/2870.28	c INPROCESSING
2861.59/2870.28	c GARBAGE COLLECT
2861.59/2870.28	c #Conflicts:     190000 | #Constraints:      74903
2861.59/2870.28	c #Conflicts:     191000 | #Constraints:      75903
2861.59/2870.28	c #Conflicts:     192000 | #Constraints:      76903
2861.59/2870.28	c #Conflicts:     193000 | #Constraints:      77903
2861.59/2870.28	c #Conflicts:     194000 | #Constraints:      78903
2861.59/2870.28	c #Conflicts:     195000 | #Constraints:      79903
2861.59/2870.28	c #Conflicts:     196000 | #Constraints:      80903
2861.59/2870.28	c #Conflicts:     197000 | #Constraints:      81903
2861.59/2870.28	c #Conflicts:     198000 | #Constraints:      82903
2861.59/2870.28	c INPROCESSING
2861.59/2870.28	c GARBAGE COLLECT
2861.59/2870.28	c #Conflicts:     199000 | #Constraints:      75105
2861.59/2870.28	c #Conflicts:     200000 | #Constraints:      76105
2861.59/2870.28	c #Conflicts:     201000 | #Constraints:      77105
2861.59/2870.28	c #Conflicts:     202000 | #Constraints:      78105
3600.00/3610.70	c #Conflicts:     203000 | #Constraints:      79105
3600.00/3610.70	c #Conflicts:     204000 | #Constraints:      80105
3600.00/3610.70	c #Conflicts:     205000 | #Constraints:      81105
3600.00/3610.70	c #Conflicts:     206000 | #Constraints:      82105
3600.00/3610.70	c #Conflicts:     207000 | #Constraints:      83105
3600.00/3610.70	c INPROCESSING
3600.00/3610.70	c GARBAGE COLLECT
3600.00/3610.70	c #Conflicts:     208000 | #Constraints:      75105
3600.00/3610.70	c #Conflicts:     209000 | #Constraints:      76105
3600.00/3610.70	c #Conflicts:     210000 | #Constraints:      77105
3600.00/3610.70	c #Conflicts:     211000 | #Constraints:      78105
3600.00/3610.70	c #Conflicts:     212000 | #Constraints:      79105
3600.00/3610.70	c #Conflicts:     213000 | #Constraints:      80105
3600.00/3610.70	c #Conflicts:     214000 | #Constraints:      81105
3600.00/3610.70	c #Conflicts:     215000 | #Constraints:      82105
3600.00/3610.70	c #Conflicts:     216000 | #Constraints:      83105
3600.00/3610.70	c INPROCESSING
3600.00/3610.70	c GARBAGE COLLECT
3600.00/3610.70	c #Conflicts:     217000 | #Constraints:      74904
3600.00/3610.70	c #Conflicts:     218000 | #Constraints:      75904
3600.00/3610.70	c #Conflicts:     219000 | #Constraints:      76904
3600.00/3610.70	c #Conflicts:     220000 | #Constraints:      77904
3600.00/3610.70	c #Conflicts:     221000 | #Constraints:      78904
3600.00/3610.70	c #Conflicts:     222000 | #Constraints:      79904
3600.00/3610.70	c #Conflicts:     223000 | #Constraints:      80904
3600.00/3610.70	c #Conflicts:     224000 | #Constraints:      81904
3600.00/3610.70	c #Conflicts:     225000 | #Constraints:      82904
3600.00/3610.70	c #Conflicts:     226000 | #Constraints:      83904
3600.00/3610.70	c INPROCESSING
3600.00/3610.70	c GARBAGE COLLECT
3600.00/3610.70	c #Conflicts:     227000 | #Constraints:      75506
3600.00/3610.70	c #Conflicts:     228000 | #Constraints:      76506
3600.00/3610.70	c #Conflicts:     229000 | #Constraints:      77506
3600.00/3610.70	c #Conflicts:     230000 | #Constraints:      78506
3600.00/3610.70	c #Conflicts:     231000 | #Constraints:      79506
3600.00/3610.70	c #Conflicts:     232000 | #Constraints:      80506
3600.00/3610.70	c #Conflicts:     233000 | #Constraints:      81506
3600.00/3610.70	c #Conflicts:     234000 | #Constraints:      82506
3600.00/3610.70	c #Conflicts:     235000 | #Constraints:      83506
3600.00/3610.70	c #Conflicts:     236000 | #Constraints:      84506
3600.00/3610.70	c INPROCESSING
3600.00/3610.70	c GARBAGE COLLECT
3600.00/3610.70	c #Conflicts:     237000 | #Constraints:      75903
3600.00/3610.70	c #Conflicts:     238000 | #Constraints:      76903
3600.00/3610.70	c #Conflicts:     239000 | #Constraints:      77903
3600.00/3610.70	c #Conflicts:     240000 | #Constraints:      78903
3600.00/3610.70	c #Conflicts:     241000 | #Constraints:      79903
3600.00/3610.70	c #Conflicts:     242000 | #Constraints:      80903
3600.00/3610.70	c #Conflicts:     243000 | #Constraints:      81903
3600.00/3610.70	c #Conflicts:     244000 | #Constraints:      82903
3600.00/3610.70	c #Conflicts:     245000 | #Constraints:      83903
3600.00/3610.70	c #Conflicts:     246000 | #Constraints:      84903
3600.00/3610.70	c INPROCESSING
3600.00/3610.70	c GARBAGE COLLECT
3600.00/3610.70	c Program interrupted by user.
3600.00/3610.70	c cpu time 3547.39 s
3600.00/3610.70	c deterministic time 150829927325 1.51e+11
3600.00/3610.70	c optimization time 1.87019 s
3600.00/3610.70	c total solve time 3242.3 s
3600.00/3610.70	c core-guided solve time 3242.3 s
3600.00/3610.70	c propagation time 2119.74 s
3600.00/3610.70	c conflict analysis time 789.742 s
3600.00/3610.70	c propagations 240647462
3600.00/3610.70	c resolve steps 780613
3600.00/3610.70	c decisions 67131083
3600.00/3610.70	c conflicts 246138
3600.00/3610.70	c restarts 572
3600.00/3610.70	c inprocessing phases 41
3600.00/3610.70	c input clauses 65281
3600.00/3610.70	c input cardinalities 23
3600.00/3610.70	c input general constraints 0
3600.00/3610.70	c input average constraint length 87.81
3600.00/3610.70	c input average constraint degree 1.23
3600.00/3610.70	c learned clauses 4048
3600.00/3610.70	c learned cardinalities 117
3600.00/3610.70	c learned general constraints 241972
3600.00/3610.70	c learned average constraint length 13638.81
3600.00/3610.70	c learned average constraint degree 5240927.09
3600.00/3610.70	c watched constraints 1211
3600.00/3610.70	c counting constraints 240761
3600.00/3610.70	c gcd simplifications 414
3600.00/3610.70	c detected cardinalities 0
3600.00/3610.70	c weakened non-implied lits 42201768
3600.00/3610.70	c weakened non-implying lits 2490
3600.00/3610.70	c original variables 15008
3600.00/3610.70	c clausal propagations 3685603
3600.00/3610.70	c cardinality propagations 13463
3600.00/3610.70	c watched propagations 83651
3600.00/3610.70	c counting propagations 236620190
3600.00/3610.70	c watch lookups 26927404977
3600.00/3610.70	c watch backjump lookups 26870051310
3600.00/3610.70	c watch checks 1625590017
3600.00/3610.70	c propagation checks 88357426982
3600.00/3610.70	c constraint additions 6433665288
3600.00/3610.70	c trail pops 308010205
3600.00/3610.70	c formula constraints 65280
3600.00/3610.70	c learned constraints 246137
3600.00/3610.70	c bound constraints 24
3600.00/3610.70	c core-guided constraints 0
3600.00/3610.70	c encountered formula constraints 576321
3600.00/3610.70	c encountered learned constraints 450408
3600.00/3610.70	c encountered bound constraints 22
3600.00/3610.70	c encountered core-guided constraints 0
3600.00/3610.70	c LP total time 0 s
3600.00/3610.70	c LP solve time 0 s
3600.00/3610.70	c LP constraints added 0
3600.00/3610.70	c LP constraints removed 0
3600.00/3610.70	c LP pivots internal 0
3600.00/3610.70	c LP pivots root 0
3600.00/3610.70	c LP calls 0
3600.00/3610.70	c LP optimalities 0
3600.00/3610.70	c LP no pivot count 0
3600.00/3610.70	c LP infeasibilities 0
3600.00/3610.70	c LP valid Farkas constraints 0
3600.00/3610.70	c LP learned Farkas constraints 0
3600.00/3610.70	c LP basis resets 0
3600.00/3610.70	c LP cycling count 0
3600.00/3610.70	c LP singular count 0
3600.00/3610.70	c LP no primal count 0
3600.00/3610.70	c LP no farkas count 0
3600.00/3610.70	c LP other issue count 0
3600.00/3610.70	c LP Gomory cuts 0
3600.00/3610.70	c LP learned cuts 0
3600.00/3610.70	c LP deleted cuts 0
3600.00/3610.70	c LP encountered Gomory constraints 0
3600.00/3610.70	c LP encountered Farkas constraints 0
3600.00/3610.70	c LP encountered learned Farkas constraints 0
3600.00/3610.70	c CG auxiliary variables introduced 0
3600.00/3610.70	c CG solutions found 0
3600.00/3610.70	c CG cores constructed 23
3600.00/3610.70	c CG core cardinality constraints returned 0
3600.00/3610.70	c CG unit cores 0
3600.00/3610.70	c CG single cores 23
3600.00/3610.70	c CG blocks removed during cardinality reduction 0
3600.00/3610.70	c CG first core best 0
3600.00/3610.70	c CG decision core best 0
3600.00/3610.70	c CG core reduction tie 0
3600.00/3610.70	c CG core degree average 1.00
3600.00/3610.70	c CG core slack average 79.74
3600.00/3610.70	c CG exhausted 0
3600.00/3610.70	c CG exhaust time 0 s
3600.00/3610.70	c CG trimmed 0
3600.00/3610.70	c CG trim time 0.001644 s
3600.00/3610.70	c CG minimized 0
3600.00/3610.70	c CG minimize time 0 s
3600.00/3610.70	c CG am1 prop time 0.026746 s
3600.00/3610.70	c CG # am1s reformulated 0
3600.00/3610.70	c CG lower bound derived from am1s 0
3600.00/3610.70	c CG # clausal cores 23
3600.00/3610.70	c CG # cardinality cores 0
3600.00/3610.70	c CG # pb cores 0
3600.00/3610.70	c CG # pb reforms 0
3600.00/3610.70	c CG # cores discarded because of pb reform 0
3600.00/3610.70	d LOWERBOUND 23
3600.00/3610.70	d NCORES 23
3600.00/3610.70	d NPBCORES 0
3600.00/3610.70	d NPBREFORM 0
3600.00/3610.70	d NTRIMMED 0
3600.00/3610.70	d NEXHAUSTED 0
3600.00/3610.70	d NAM1S 0
3600.00/3610.70	d AM1LB 0
3600.00/3610.70	c [Papilo Statistics]
3600.00/3610.70	c prepro time 0.71055s
3600.00/3610.70	c # tsx applied 0
3600.00/3610.70	c # tsx conflicts 0
3600.00/3610.70	c # bound changes 0
3600.00/3610.70	c # side changes 0
3600.00/3610.70	c # coef changes 0
3600.00/3610.70	c # rounds 1
3600.00/3610.70	c # deted vars 0
3600.00/3610.70	c # deted constrs 0
3600.00/3610.70	c # consecutive rounds of only bound changes 0
3600.00/3610.75	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: 63708 MiB (62701 MiB free)
  memory of node 1: 64465 MiB (62918 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4503051-1751447326/watcher-4503051-1751447326 -o /tmp/evaluation-result-4503051-1751447326/solver-4503051-1751447326 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751447326-63809 --watchdog 3760 mixed-bag HOME/instance-4503051-1751447326.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=63863, runsolver pid=63852
Current StackSize limit: 8192 KiB


[startup+0.100059 s]*
/proc/loadavg: 1.07 1.18 1.52 5/264 63868
/proc/meminfo: memFree=128566084/131249996 swapFree=33005272/33010684
[pid=63863] ppid=63852 vsize=95976 memory=17244 CPUtime=0.07 cores=0,2
/proc/63863/stat : 63863 (mixed-bag) R 63852 63863 63799 0 -1 4194304 3417 0 0 0 7 0 0 0 20 0 1 0 60410476 98279424 4311 18446744073709551615 4235264 15874749 140733693926080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 53772288 140733693933980 140733693934057 140733693934057 140733693939659 0
/proc/63863/statm: 23994 4311 2144 2842 0 6227 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 95976 KiB
Current children cumulated memory: 17244 KiB

[startup+0.205703 s]*
/proc/loadavg: 1.07 1.18 1.52 5/264 63868
/proc/meminfo: memFree=128505916/131249996 swapFree=33005272/33010684
[pid=63863] ppid=63852 vsize=104168 memory=23468 CPUtime=0.18 cores=0,2
/proc/63863/stat : 63863 (mixed-bag) R 63852 63863 63799 0 -1 4194304 3964 0 0 0 18 0 0 0 20 0 1 0 60410476 106668032 5867 18446744073709551615 4235264 15874749 140733693926080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 53772288 140733693933980 140733693934057 140733693934057 140733693939659 0
/proc/63863/statm: 26042 5867 2144 2842 0 8275 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 104168 KiB
Current children cumulated memory: 23468 KiB

[startup+0.305513 s]*
/proc/loadavg: 1.07 1.18 1.52 5/264 63868
/proc/meminfo: memFree=128458288/131249996 swapFree=33005272/33010684
[pid=63863] ppid=63852 vsize=104168 memory=29176 CPUtime=0.28 cores=0,2
/proc/63863/stat : 63863 (mixed-bag) R 63852 63863 63799 0 -1 4194304 4387 0 0 0 27 1 0 0 20 0 1 0 60410476 106668032 7294 18446744073709551615 4235264 15874749 140733693926080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 53772288 140733693933980 140733693934057 140733693934057 140733693939659 0
/proc/63863/statm: 26042 7294 2144 2842 0 8275 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 104168 KiB
Current children cumulated memory: 29176 KiB

[startup+0.700136 s]
/proc/loadavg: 1.07 1.18 1.52 6/264 63868
/proc/meminfo: memFree=128397552/131249996 swapFree=33005272/33010684
[pid=63863] ppid=63852 vsize=153320 memory=52684 CPUtime=0.66 cores=0,2
/proc/63863/stat : 63863 (mixed-bag) R 63852 63863 63799 0 -1 4194304 5155 0 0 0 64 2 0 0 20 0 1 0 60410476 156999680 13171 18446744073709551615 4235264 15874749 140733693926080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 53772288 140733693933980 140733693934057 140733693934057 140733693939659 0
/proc/63863/statm: 38330 13171 2144 2842 0 20563 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 153320 KiB
Current children cumulated memory: 52684 KiB

[startup+1.50015 s]
/proc/loadavg: 1.07 1.18 1.52 5/264 63868
/proc/meminfo: memFree=128362144/131249996 swapFree=33005272/33010684
[pid=63863] ppid=63852 vsize=218856 memory=98576 CPUtime=1.47 cores=0,2
/proc/63863/stat : 63863 (mixed-bag) R 63852 63863 63799 0 -1 4194304 5930 0 0 0 142 5 0 0 20 0 1 0 60410476 224108544 24644 18446744073709551615 4235264 15874749 140733693926080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 53772288 140733693933980 140733693934057 140733693934057 140733693939659 0
/proc/63863/statm: 54714 24644 2144 2842 0 36947 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 218856 KiB
Current children cumulated memory: 98576 KiB

[startup+3.10523 s]
/proc/loadavg: 1.39 1.24 1.54 5/264 63868
/proc/meminfo: memFree=128187604/131249996 swapFree=33005272/33010684
[pid=63863] ppid=63852 vsize=349928 memory=184112 CPUtime=3.07 cores=0,2
/proc/63863/stat : 63863 (mixed-bag) R 63852 63863 63799 0 -1 4194304 6996 0 0 0 298 9 0 0 20 0 1 0 60410476 358326272 46028 18446744073709551615 4235264 15874749 140733693926080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 53772288 140733693933980 140733693934057 140733693934057 140733693939659 0
/proc/63863/statm: 87482 46028 2144 2842 0 69715 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 349928 KiB
Current children cumulated memory: 184112 KiB

[startup+6.30017 s]
/proc/loadavg: 1.39 1.24 1.54 5/264 63868
/proc/meminfo: memFree=127061696/131249996 swapFree=33005272/33010684
[pid=63863] ppid=63852 vsize=1523876 memory=1261520 CPUtime=6.25 cores=0,2
/proc/63863/stat : 63863 (mixed-bag) R 63852 63863 63799 0 -1 4194304 211619 0 0 0 569 56 0 0 20 0 1 0 60410476 1560449024 315380 18446744073709551615 4235264 15874749 140733693926080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 53772288 140733693933980 140733693934057 140733693934057 140733693939659 0
/proc/63863/statm: 380969 315380 4064 2842 0 362663 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 1523876 KiB
Current children cumulated memory: 1261520 KiB

[startup+12.7002 s]
/proc/loadavg: 1.79 1.33 1.57 5/264 63868
/proc/meminfo: memFree=126018428/131249996 swapFree=33005272/33010684
[pid=63863] ppid=63852 vsize=1916384 memory=1737548 CPUtime=12.64 cores=0,2
/proc/63863/stat : 63863 (mixed-bag) R 63852 63863 63799 0 -1 4194304 322781 0 0 0 1169 95 0 0 20 0 1 0 60410476 1962377216 434387 18446744073709551615 4235264 15874749 140733693926080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 53772288 140733693933980 140733693934057 140733693934057 140733693939659 0
/proc/63863/statm: 479096 434387 4096 2842 0 460790 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1916384 KiB
Current children cumulated memory: 1737548 KiB

[startup+25.5002 s]
/proc/loadavg: 2.13 1.42 1.59 6/264 63868
/proc/meminfo: memFree=123492688/131249996 swapFree=33005272/33010684
[pid=63863] ppid=63852 vsize=5418048 memory=4817256 CPUtime=25.4 cores=0,2
/proc/63863/stat : 63863 (mixed-bag) R 63852 63863 63799 0 -1 4194304 354963 0 0 0 2377 163 0 0 20 0 1 0 60410476 5548081152 1204314 18446744073709551615 4235264 15874749 140733693926080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 53772288 140733693933980 140733693934057 140733693934057 140733693939659 0
/proc/63863/statm: 1354512 1204314 4096 2842 0 1336206 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 5418048 KiB
Current children cumulated memory: 4817256 KiB

[startup+51.1056 s]
/proc/loadavg: 2.85 1.64 1.66 5/264 63868
/proc/meminfo: memFree=123548396/131249996 swapFree=33005272/33010684
[pid=63863] ppid=63852 vsize=5265840 memory=4715876 CPUtime=50.94 cores=0,2
/proc/63863/stat : 63863 (mixed-bag) R 63852 63863 63799 0 -1 4194304 451534 0 0 0 4899 195 0 0 20 0 1 0 60410476 5392220160 1178969 18446744073709551615 4235264 15874749 140733693926080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 53772288 140733693933980 140733693934057 140733693934057 140733693939659 0
/proc/63863/statm: 1316460 1178969 4256 2842 0 1298154 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 5265840 KiB
Current children cumulated memory: 4715876 KiB

[startup+102.3 s]
/proc/loadavg: 3.61 2.06 1.81 5/260 63911
/proc/meminfo: memFree=123613508/131249996 swapFree=33005272/33010684
[pid=63863] ppid=63852 vsize=5265840 memory=4716388 CPUtime=101.98 cores=0,2
/proc/63863/stat : 63863 (mixed-bag) R 63852 63863 63799 0 -1 4194304 451676 0 0 0 10002 196 0 0 20 0 1 0 60410476 5392220160 1179097 18446744073709551615 4235264 15874749 140733693926080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 53772288 140733693933980 140733693934057 140733693934057 140733693939659 0
/proc/63863/statm: 1316460 1179097 4256 2842 0 1298154 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 5265840 KiB
Current children cumulated memory: 4716388 KiB

[startup+162.3 s]
/proc/loadavg: 3.90 2.43 1.95 5/264 63917
/proc/meminfo: memFree=123426728/131249996 swapFree=33005272/33010684
[pid=63863] ppid=63852 vsize=5265840 memory=4716516 CPUtime=161.82 cores=0,2
/proc/63863/stat : 63863 (mixed-bag) R 63852 63863 63799 0 -1 4194304 451678 0 0 0 15986 196 0 0 20 0 1 0 60410476 5392220160 1179129 18446744073709551615 4235264 15874749 140733693926080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 53772288 140733693933980 140733693934057 140733693934057 140733693939659 0
/proc/63863/statm: 1316460 1179129 4288 2842 0 1298154 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 5265840 KiB
Current children cumulated memory: 4716516 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 2.75 2.09 5/264 63963
/proc/meminfo: memFree=123288968/131249996 swapFree=33005272/33010684
[pid=63863] ppid=63852 vsize=5265840 memory=4716516 CPUtime=221.64 cores=0,2
/proc/63863/stat : 63863 (mixed-bag) R 63852 63863 63799 0 -1 4194304 451759 0 0 0 21968 196 0 0 20 0 1 0 60410476 5392220160 1179129 18446744073709551615 4235264 15874749 140733693926080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 53772288 140733693933980 140733693934057 140733693934057 140733693939659 0
/proc/63863/statm: 1316460 1179129 4288 2842 0 1298154 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 5265840 KiB
Current children cumulated memory: 4716516 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 3.00 2.22 5/262 63965
/proc/meminfo: memFree=123241092/131249996 swapFree=33005272/33010684
[pid=63863] ppid=63852 vsize=5265840 memory=4716516 CPUtime=281.46 cores=0,2
/proc/63863/stat : 63863 (mixed-bag) R 63852 63863 63799 0 -1 4194304 451760 0 0 0 27950 196 0 0 20 0 1 0 60410476 5392220160 1179129 18446744073709551615 4235264 15874749 140733693926080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 53772288 140733693933980 140733693934057 140733693934057 140733693939659 0
/proc/63863/statm: 1316460 1179129 4288 2842 0 1298154 0
Current children cumulated CPU time: 281.46 s
Current children cumulated vsize: 5265840 KiB
Current children cumulated memory: 4716516 KiB

[startup+342.3 s]
/proc/loadavg: 4.15 3.21 2.34 5/263 63968
/proc/meminfo: memFree=126312508/131249996 swapFree=33005272/33010684
[pid=63863] ppid=63852 vsize=1813632 memory=1610008 CPUtime=341.27 cores=0,2
/proc/63863/stat : 63863 (mixed-bag) R 63852 63863 63799 0 -1 4194304 457674 0 0 0 33792 335 0 0 20 0 1 0 60410476 1857159168 402502 18446744073709551615 4235264 15874749 140733693926080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 53772288 140733693933980 140733693934057 140733693934057 140733693939659 0
/proc/63863/statm: 453408 402502 4448 2842 0 435102 0
Current children cumulated CPU time: 341.27 s
Current children cumulated vsize: 1813632 KiB
Current children cumulated memory: 1610008 KiB

[startup+402.3 s]
/proc/loadavg: 4.12 3.37 2.46 5/263 63970
/proc/meminfo: memFree=126159800/131249996 swapFree=33005272/33010684
[pid=63863] ppid=63852 vsize=1813632 memory=1723764 CPUtime=401.08 cores=0,2
/proc/63863/stat : 63863 (mixed-bag) R 63852 63863 63799 0 -1 4194304 458086 0 0 0 39650 458 0 0 20 0 1 0 60410476 1857159168 430941 18446744073709551615 4235264 15874749 140733693926080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 53772288 140733693933980 140733693934057 140733693934057 140733693939659 0
/proc/63863/statm: 453408 430941 4448 2842 0 435102 0
Current children cumulated CPU time: 401.08 s
Current children cumulated vsize: 1813632 KiB
Current children cumulated memory: 1723764 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 3.51 2.56 5/264 63977
/proc/meminfo: memFree=125919744/131249996 swapFree=33005272/33010684
[pid=63863] ppid=63852 vsize=2186212 memory=1853776 CPUtime=460.9 cores=0,2
/proc/63863/stat : 63863 (mixed-bag) R 63852 63863 63799 0 -1 4194304 464569 0 0 0 45505 585 0 0 20 0 1 0 60410476 2238681088 463444 18446744073709551615 4235264 15874749 140733693926080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 53772288 140733693933980 140733693934057 140733693934057 140733693939659 0
/proc/63863/statm: 546553 463444 4448 2842 0 528247 0
Current children cumulated CPU time: 460.9 s

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

Current children cumulated memory: 4766084 KiB

[startup+2922.3 s]
/proc/loadavg: 4.08 4.09 4.01 5/264 64110
/proc/meminfo: memFree=121658848/131249996 swapFree=33005272/33010684
[pid=63863] ppid=63852 vsize=5996512 memory=4766084 CPUtime=2913.53 cores=0,2
/proc/63863/stat : 63863 (mixed-bag) R 63852 63863 63799 0 -1 4194304 827482 0 0 0 286843 4510 0 0 20 0 1 0 60410476 6140428288 1191521 18446744073709551615 4235264 15874749 140733693926080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 53772288 140733693933980 140733693934057 140733693934057 140733693939659 0
/proc/63863/statm: 1499128 1191521 4448 2842 0 1480822 0
Current children cumulated CPU time: 2913.53 s
Current children cumulated vsize: 5996512 KiB
Current children cumulated memory: 4766084 KiB

[startup+2982.3 s]
/proc/loadavg: 4.13 4.10 4.01 5/264 64113
/proc/meminfo: memFree=121588560/131249996 swapFree=33005272/33010684
[pid=63863] ppid=63852 vsize=6073060 memory=4825096 CPUtime=2973.36 cores=0,2
/proc/63863/stat : 63863 (mixed-bag) R 63852 63863 63799 0 -1 4194304 840313 0 0 0 292753 4583 0 0 20 0 1 0 60410476 6218813440 1206274 18446744073709551615 4235264 15874749 140733693926080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 53772288 140733693933980 140733693934057 140733693934057 140733693939659 0
/proc/63863/statm: 1518265 1206274 4448 2842 0 1499959 0
Current children cumulated CPU time: 2973.36 s
Current children cumulated vsize: 6073060 KiB
Current children cumulated memory: 4825096 KiB

[startup+3042.3 s]
/proc/loadavg: 4.27 4.15 4.04 5/264 64117
/proc/meminfo: memFree=121556828/131249996 swapFree=33005272/33010684
[pid=63863] ppid=63852 vsize=6073060 memory=4825096 CPUtime=3033.19 cores=0,2
/proc/63863/stat : 63863 (mixed-bag) R 63852 63863 63799 0 -1 4194304 840583 0 0 0 298692 4627 0 0 20 0 1 0 60410476 6218813440 1206274 18446744073709551615 4235264 15874749 140733693926080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 53772288 140733693933980 140733693934057 140733693934057 140733693939659 0
/proc/63863/statm: 1518265 1206274 4448 2842 0 1499959 0
Current children cumulated CPU time: 3033.19 s
Current children cumulated vsize: 6073060 KiB
Current children cumulated memory: 4825096 KiB

[startup+3102.3 s]
/proc/loadavg: 4.21 4.15 4.04 5/264 64119
/proc/meminfo: memFree=121562056/131249996 swapFree=33005272/33010684
[pid=63863] ppid=63852 vsize=6073060 memory=4825352 CPUtime=3093.01 cores=0,2
/proc/63863/stat : 63863 (mixed-bag) R 63852 63863 63799 0 -1 4194304 840805 0 0 0 304642 4659 0 0 20 0 1 0 60410476 6218813440 1206338 18446744073709551615 4235264 15874749 140733693926080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 53772288 140733693933980 140733693934057 140733693934057 140733693939659 0
/proc/63863/statm: 1518265 1206338 4448 2842 0 1499959 0
Current children cumulated CPU time: 3093.01 s
Current children cumulated vsize: 6073060 KiB
Current children cumulated memory: 4825352 KiB

[startup+3162.3 s]
/proc/loadavg: 4.14 4.14 4.04 5/264 64132
/proc/meminfo: memFree=121402508/131249996 swapFree=33005272/33010684
[pid=63863] ppid=63852 vsize=6241264 memory=4987528 CPUtime=3152.84 cores=0,2
/proc/63863/stat : 63863 (mixed-bag) R 63852 63863 63799 0 -1 4194304 867212 0 0 0 310559 4725 0 0 20 0 1 0 60410476 6391054336 1246882 18446744073709551615 4235264 15874749 140733693926080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 53772288 140733693933980 140733693934057 140733693934057 140733693939659 0
/proc/63863/statm: 1560316 1246882 4448 2842 0 1542010 0
Current children cumulated CPU time: 3152.84 s
Current children cumulated vsize: 6241264 KiB
Current children cumulated memory: 4987528 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.13 4.04 5/264 64134
/proc/meminfo: memFree=121407352/131249996 swapFree=33005272/33010684
[pid=63863] ppid=63852 vsize=6241264 memory=4987528 CPUtime=3212.67 cores=0,2
/proc/63863/stat : 63863 (mixed-bag) R 63852 63863 63799 0 -1 4194304 867911 0 0 0 316500 4767 0 0 20 0 1 0 60410476 6391054336 1246882 18446744073709551615 4235264 15874749 140733693926080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 53772288 140733693933980 140733693934057 140733693934057 140733693939659 0
/proc/63863/statm: 1560316 1246882 4448 2842 0 1542010 0
Current children cumulated CPU time: 3212.67 s
Current children cumulated vsize: 6241264 KiB
Current children cumulated memory: 4987528 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.13 4.05 5/264 64136
/proc/meminfo: memFree=121267040/131249996 swapFree=33005272/33010684
[pid=63863] ppid=63852 vsize=6350612 memory=5126448 CPUtime=3272.51 cores=0,2
/proc/63863/stat : 63863 (mixed-bag) R 63852 63863 63799 0 -1 4194304 889478 0 0 0 322428 4823 0 0 20 0 1 0 60410476 6503026688 1281612 18446744073709551615 4235264 15874749 140733693926080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 53772288 140733693933980 140733693934057 140733693934057 140733693939659 0
/proc/63863/statm: 1587653 1281612 4448 2842 0 1569347 0
Current children cumulated CPU time: 3272.51 s
Current children cumulated vsize: 6350612 KiB
Current children cumulated memory: 5126448 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.12 4.05 5/264 64139
/proc/meminfo: memFree=121238856/131249996 swapFree=33005272/33010684
[pid=63863] ppid=63852 vsize=6354168 memory=5131408 CPUtime=3332.34 cores=0,2
/proc/63863/stat : 63863 (mixed-bag) R 63852 63863 63799 0 -1 4194304 890212 0 0 0 328353 4881 0 0 20 0 1 0 60410476 6506668032 1282852 18446744073709551615 4235264 15874749 140733693926080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 53772288 140733693933980 140733693934057 140733693934057 140733693939659 0
/proc/63863/statm: 1588542 1282852 4448 2842 0 1570236 0
Current children cumulated CPU time: 3332.34 s
Current children cumulated vsize: 6354168 KiB
Current children cumulated memory: 5131408 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.13 4.05 5/264 64141
/proc/meminfo: memFree=121239696/131249996 swapFree=33005272/33010684
[pid=63863] ppid=63852 vsize=6354168 memory=5131408 CPUtime=3392.18 cores=0,2
/proc/63863/stat : 63863 (mixed-bag) R 63852 63863 63799 0 -1 4194304 890214 0 0 0 334240 4978 0 0 20 0 1 0 60410476 6506668032 1282852 18446744073709551615 4235264 15874749 140733693926080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 53772288 140733693933980 140733693934057 140733693934057 140733693939659 0
/proc/63863/statm: 1588542 1282852 4448 2842 0 1570236 0
Current children cumulated CPU time: 3392.18 s
Current children cumulated vsize: 6354168 KiB
Current children cumulated memory: 5131408 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.12 4.05 5/264 64148
/proc/meminfo: memFree=121192208/131249996 swapFree=33005272/33010684
[pid=63863] ppid=63852 vsize=6385400 memory=5176484 CPUtime=3452.02 cores=0,2
/proc/63863/stat : 63863 (mixed-bag) R 63852 63863 63799 0 -1 4194304 899105 0 0 0 340151 5051 0 0 20 0 1 0 60410476 6538649600 1294121 18446744073709551615 4235264 15874749 140733693926080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 53772288 140733693933980 140733693934057 140733693934057 140733693939659 0
/proc/63863/statm: 1596350 1294121 4448 2842 0 1578044 0
Current children cumulated CPU time: 3452.02 s
Current children cumulated vsize: 6385400 KiB
Current children cumulated memory: 5176484 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.12 4.06 5/264 64150
/proc/meminfo: memFree=121193348/131249996 swapFree=33005272/33010684
[pid=63863] ppid=63852 vsize=6385400 memory=5176484 CPUtime=3511.84 cores=0,2
/proc/63863/stat : 63863 (mixed-bag) R 63852 63863 63799 0 -1 4194304 899206 0 0 0 346052 5132 0 0 20 0 1 0 60410476 6538649600 1294121 18446744073709551615 4235264 15874749 140733693926080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 53772288 140733693933980 140733693934057 140733693934057 140733693939659 0
/proc/63863/statm: 1596350 1294121 4448 2842 0 1578044 0
Current children cumulated CPU time: 3511.84 s
Current children cumulated vsize: 6385400 KiB
Current children cumulated memory: 5176484 KiB

[startup+3582.3 s]
/proc/loadavg: 4.16 4.13 4.06 5/264 64152
/proc/meminfo: memFree=121199500/131249996 swapFree=33005272/33010684
[pid=63863] ppid=63852 vsize=6385400 memory=5176484 CPUtime=3571.68 cores=0,2
/proc/63863/stat : 63863 (mixed-bag) R 63852 63863 63799 0 -1 4194304 899866 0 0 0 351949 5219 0 0 20 0 1 0 60410476 6538649600 1294121 18446744073709551615 4235264 15874749 140733693926080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 53772288 140733693933980 140733693934057 140733693934057 140733693939659 0
/proc/63863/statm: 1596350 1294121 4448 2842 0 1578044 0
Current children cumulated CPU time: 3571.68 s
Current children cumulated vsize: 6385400 KiB
Current children cumulated memory: 5176484 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.7 s]
/proc/loadavg: 4.10 4.12 4.06 5/260 64163
/proc/meminfo: memFree=121716700/131249996 swapFree=33005272/33010684
[pid=63863] ppid=63852 vsize=6447356 memory=5289488 CPUtime=3600 cores=0,2
/proc/63863/stat : 63863 (mixed-bag) R 63852 63863 63799 0 -1 4194304 913849 0 0 0 354739 5261 0 0 20 0 1 0 60410476 6602092544 1322372 18446744073709551615 4235264 15874749 140733693926080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 53772288 140733693933980 140733693934057 140733693934057 140733693939659 0
/proc/63863/statm: 1611839 1322372 4448 2842 0 1593533 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 6447356 KiB
Current children cumulated memory: 5289488 KiB

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

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

# cumulated CPU time of all completed processes:  user=3547.4 s, system=52.6893 s

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

[startup+3610.7 s]
/proc/loadavg: 4.10 4.12 4.06 5/260 64163
/proc/meminfo: memFree=121716700/131249996 swapFree=33005272/33010684
[pid=63863] ppid=63852 vsize=6447356 memory=5289488 CPUtime=3600 cores=0,2
/proc/63863/stat : 63863 (mixed-bag) R 63852 63863 63799 0 -1 4194304 913849 0 0 0 354739 5261 0 0 20 0 1 0 60410476 6602092544 1322372 18446744073709551615 4235264 15874749 140733693926080 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 53772288 140733693933980 140733693934057 140733693934057 140733693939659 0
/proc/63863/statm: 1611839 1322372 4448 2842 0 1593533 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 6447356 KiB
Current children cumulated memory: 5289488 KiB

Child status: 0

Real time (s): 3610.78
CPU time (s): 3600.09
CPU user time (s): 3547.4
CPU system time (s): 52.6893
CPU usage (%): 99.704
Max. virtual memory (cumulated for all children) (KiB): 6447356
Max. memory (cumulated for all children) (KiB): 5289488

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3547.4
system time used= 52.6893
maximum resident set size= 5290000
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 913879
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= 484
involuntary context switches= 7968


# summary of solver processes directly reported to runsolver:
#   pid: 63863
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3547.4
#   total CPU system time (s): 52.6893

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.84851 second user time and 15.1217 second system time

The end

Launcher Data 

Begin job on nodeC023 at 2025-07-02 11:08:46
IDJOB=4503051
IDBENCH=155404
IDSOLVER=3340
FILE ID=nodeC023/4503051-1751447326
RUNJOBID= nodeC023-1751447326-63809
SLURM_JOB_ID= 9598425
Free space on /tmp= 431860 MiB

SOLVER NAME= mixed-bag-2024 2025-05-06
BENCH NAME= PB24/normalized-PB11/OPT-LIN/kullmann/normalized-mul_8_11_shg.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4503051-1751447326/watcher-4503051-1751447326 -o /tmp/evaluation-result-4503051-1751447326/solver-4503051-1751447326 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751447326-63809 --watchdog 3760  mixed-bag HOME/instance-4503051-1751447326.opb

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

MD5SUM BENCH= 1fbef458f61b2221fcf0474a376c4852
RANDOM SEED=1057297440

nodeC023 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/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		: 3599.850
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.78
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		: 1199.875
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.083
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.78
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.938
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.78
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		: 3611.632
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.78
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		: 3599.909
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.78
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.887
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.889
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        128620460 kB
MemAvailable:   129765768 kB
Buffers:            1328 kB
Cached:          1942908 kB
SwapCached:          372 kB
Active:           252516 kB
Inactive:        1772216 kB
Active(anon):      39460 kB
Inactive(anon):    54520 kB
Active(file):     213056 kB
Inactive(file):  1717696 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33005272 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            111744 kB
Writeback:             0 kB
AnonPages:         83200 kB
Mapped:            99036 kB
Shmem:             13440 kB
KReclaimable:     107588 kB
Slab:             196356 kB
SReclaimable:     107588 kB
SUnreclaim:        88768 kB
KernelStack:        3956 kB
PageTables:         2480 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     343896 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150376 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     24576 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      197332 kB
DirectMap2M:     9011200 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 431844 MiB
End job on nodeC023 at 2025-07-02 12:08:57