Trace number 4502821

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.15 3611.26

DiagnosticValue
AM1LB
LOWERBOUND
NAM1S
NCORES
NEXHAUSTED
NPBCORES
NPBREFORM
NTRIMMED
SCIPUB

General information on the benchmark

NamePB24/normalized-PB11/OPT-LIN/
kullmann/normalized-mul_8_13_shg.opb
MD5SUMa008918ff26f135f427f5632a2cbbc59
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 benchmark60
Best CPU time to get the best result obtained on this benchmark3585.34
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables15312
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 constraint64
Maximum length of a constraint92
Number of terms in the objective function 15312
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 15312
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 15312
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
4.56/4.61	c [STEP] preprocessing with Papilo
5.24/5.33	c Papilo could not simplify the problem
5.24/5.33	c [STEP] solving with SCIP
305.22/306.46	c [STEP] preprocessing done, loading into solver
306.02/307.27	c [STEP] solving
306.02/307.27	c #variables 15313 #constraints 65280
306.02/307.27	c SMALL=int, LARGE=long long
306.02/307.28	d SCIPUB 80
306.02/307.28	c bounds - >= 0 @ 303.959
306.02/307.28	c stratification level: 0
846.65/849.65	c bounds - >= 1 @ 304.13
846.65/849.65	c bounds - >= 2 @ 304.134
846.65/849.65	c bounds - >= 3 @ 304.143
846.65/849.65	c bounds - >= 4 @ 304.148
846.65/849.65	c bounds - >= 5 @ 304.157
846.65/849.65	c bounds - >= 6 @ 304.162
846.65/849.65	c bounds - >= 7 @ 304.165
846.65/849.65	c bounds - >= 8 @ 304.171
846.65/849.65	c bounds - >= 9 @ 304.173
846.65/849.65	c bounds - >= 10 @ 304.179
846.65/849.65	c bounds - >= 11 @ 304.188
846.65/849.65	c bounds - >= 12 @ 304.191
846.65/849.65	c bounds - >= 13 @ 304.197
846.65/849.65	c bounds - >= 14 @ 304.213
846.65/849.65	c bounds - >= 15 @ 304.219
846.65/849.65	c bounds - >= 16 @ 304.228
846.65/849.65	c bounds - >= 17 @ 304.234
846.65/849.65	c bounds - >= 18 @ 304.243
846.65/849.65	c bounds - >= 19 @ 304.253
846.65/849.65	c bounds - >= 20 @ 304.26
846.65/849.65	c #Conflicts:       1000 | #Constraints:      66300
846.65/849.65	c #Conflicts:       2000 | #Constraints:      67300
846.65/849.65	c INPROCESSING
846.65/849.65	c GARBAGE COLLECT
846.65/849.65	c #Conflicts:       3000 | #Constraints:      67294
846.65/849.65	c #Conflicts:       4000 | #Constraints:      68294
846.65/849.65	c INPROCESSING
846.65/849.65	c GARBAGE COLLECT
846.65/849.65	c #Conflicts:       5000 | #Constraints:      67692
846.65/849.65	c #Conflicts:       6000 | #Constraints:      68692
846.65/849.65	c INPROCESSING
846.65/849.65	c GARBAGE COLLECT
846.65/849.65	c #Conflicts:       7000 | #Constraints:      67692
846.65/849.65	c #Conflicts:       8000 | #Constraints:      68692
846.65/849.65	c #Conflicts:       9000 | #Constraints:      69692
846.65/849.65	c INPROCESSING
846.65/849.65	c GARBAGE COLLECT
846.65/849.65	c #Conflicts:      10000 | #Constraints:      68394
846.65/849.65	c #Conflicts:      11000 | #Constraints:      69394
846.65/849.65	c #Conflicts:      12000 | #Constraints:      70394
846.65/849.65	c INPROCESSING
846.65/849.65	c GARBAGE COLLECT
846.65/849.65	c #Conflicts:      13000 | #Constraints:      68846
846.65/849.65	c #Conflicts:      14000 | #Constraints:      69846
846.65/849.65	c #Conflicts:      15000 | #Constraints:      70846
846.65/849.65	c INPROCESSING
846.65/849.65	c GARBAGE COLLECT
846.65/849.65	c #Conflicts:      16000 | #Constraints:      69075
846.65/849.65	c #Conflicts:      17000 | #Constraints:      70075
846.65/849.65	c #Conflicts:      18000 | #Constraints:      71075
846.65/849.65	c INPROCESSING
846.65/849.65	c GARBAGE COLLECT
846.65/849.65	c #Conflicts:      19000 | #Constraints:      69083
846.65/849.65	c #Conflicts:      20000 | #Constraints:      70083
846.65/849.65	c #Conflicts:      21000 | #Constraints:      71083
846.65/849.65	c INPROCESSING
846.65/849.65	c GARBAGE COLLECT
846.65/849.65	c #Conflicts:      22000 | #Constraints:      68895
846.65/849.65	c #Conflicts:      23000 | #Constraints:      69895
846.65/849.65	c #Conflicts:      24000 | #Constraints:      70895
846.65/849.65	c #Conflicts:      25000 | #Constraints:      71895
846.65/849.65	c INPROCESSING
846.65/849.65	c GARBAGE COLLECT
846.65/849.65	c #Conflicts:      26000 | #Constraints:      69497
846.65/849.65	c #Conflicts:      27000 | #Constraints:      70497
846.65/849.65	c #Conflicts:      28000 | #Constraints:      71497
846.65/849.65	c #Conflicts:      29000 | #Constraints:      72497
846.65/849.65	c INPROCESSING
846.65/849.65	c GARBAGE COLLECT
846.65/849.65	c #Conflicts:      30000 | #Constraints:      69901
846.65/849.65	c #Conflicts:      31000 | #Constraints:      70901
846.65/849.65	c #Conflicts:      32000 | #Constraints:      71901
846.65/849.65	c #Conflicts:      33000 | #Constraints:      72901
846.65/849.65	c INPROCESSING
846.65/849.65	c GARBAGE COLLECT
846.65/849.65	c #Conflicts:      34000 | #Constraints:      70103
846.65/849.65	c #Conflicts:      35000 | #Constraints:      71103
846.65/849.65	c #Conflicts:      36000 | #Constraints:      72103
846.65/849.65	c #Conflicts:      37000 | #Constraints:      73103
846.65/849.65	c INPROCESSING
846.65/849.65	c GARBAGE COLLECT
846.65/849.65	c #Conflicts:      38000 | #Constraints:      70104
846.65/849.65	c #Conflicts:      39000 | #Constraints:      71104
846.65/849.65	c #Conflicts:      40000 | #Constraints:      72104
846.65/849.65	c #Conflicts:      41000 | #Constraints:      73104
846.65/849.65	c INPROCESSING
846.65/849.65	c GARBAGE COLLECT
846.65/849.65	c #Conflicts:      42000 | #Constraints:      69904
846.65/849.65	c #Conflicts:      43000 | #Constraints:      70904
846.65/849.65	c #Conflicts:      44000 | #Constraints:      71904
846.65/849.65	c #Conflicts:      45000 | #Constraints:      72904
846.65/849.65	c #Conflicts:      46000 | #Constraints:      73904
846.65/849.65	c INPROCESSING
846.65/849.65	c GARBAGE COLLECT
846.65/849.65	c #Conflicts:      47000 | #Constraints:      70503
846.65/849.65	c #Conflicts:      48000 | #Constraints:      71503
846.65/849.65	c #Conflicts:      49000 | #Constraints:      72503
846.65/849.65	c #Conflicts:      50000 | #Constraints:      73503
846.65/849.65	c #Conflicts:      51000 | #Constraints:      74503
846.65/849.65	c INPROCESSING
846.65/849.65	c GARBAGE COLLECT
846.65/849.65	c #Conflicts:      52000 | #Constraints:      70901
846.65/849.65	c #Conflicts:      53000 | #Constraints:      71901
846.65/849.65	c #Conflicts:      54000 | #Constraints:      72901
846.65/849.65	c #Conflicts:      55000 | #Constraints:      73901
846.65/849.65	c #Conflicts:      56000 | #Constraints:      74901
846.65/849.65	c INPROCESSING
846.65/849.65	c GARBAGE COLLECT
846.65/849.65	c #Conflicts:      57000 | #Constraints:      71101
846.65/849.65	c #Conflicts:      58000 | #Constraints:      72101
846.65/849.65	c #Conflicts:      59000 | #Constraints:      73101
1759.18/1764.99	c #Conflicts:      60000 | #Constraints:      74101
1759.18/1764.99	c #Conflicts:      61000 | #Constraints:      75101
1759.18/1764.99	c INPROCESSING
1759.18/1764.99	c GARBAGE COLLECT
1759.18/1764.99	c #Conflicts:      62000 | #Constraints:      71101
1759.18/1764.99	c #Conflicts:      63000 | #Constraints:      72101
1759.18/1764.99	c #Conflicts:      64000 | #Constraints:      73101
1759.18/1764.99	c #Conflicts:      65000 | #Constraints:      74101
1759.18/1764.99	c #Conflicts:      66000 | #Constraints:      75101
1759.18/1764.99	c INPROCESSING
1759.18/1764.99	c GARBAGE COLLECT
1759.18/1764.99	c #Conflicts:      67000 | #Constraints:      70900
1759.18/1764.99	c #Conflicts:      68000 | #Constraints:      71900
1759.18/1764.99	c #Conflicts:      69000 | #Constraints:      72900
1759.18/1764.99	c #Conflicts:      70000 | #Constraints:      73900
1759.18/1764.99	c #Conflicts:      71000 | #Constraints:      74900
1759.18/1764.99	c #Conflicts:      72000 | #Constraints:      75900
1759.18/1764.99	c INPROCESSING
1759.18/1764.99	c GARBAGE COLLECT
1759.18/1764.99	c #Conflicts:      73000 | #Constraints:      71497
1759.18/1764.99	c #Conflicts:      74000 | #Constraints:      72497
1759.18/1764.99	c #Conflicts:      75000 | #Constraints:      73497
1759.18/1764.99	c #Conflicts:      76000 | #Constraints:      74497
1759.18/1764.99	c #Conflicts:      77000 | #Constraints:      75497
1759.18/1764.99	c #Conflicts:      78000 | #Constraints:      76497
1759.18/1764.99	c INPROCESSING
1759.18/1764.99	c GARBAGE COLLECT
1759.18/1764.99	c #Conflicts:      79000 | #Constraints:      71898
1759.18/1764.99	c #Conflicts:      80000 | #Constraints:      72898
1759.18/1764.99	c #Conflicts:      81000 | #Constraints:      73898
1759.18/1764.99	c #Conflicts:      82000 | #Constraints:      74898
1759.18/1764.99	c #Conflicts:      83000 | #Constraints:      75898
1759.18/1764.99	c #Conflicts:      84000 | #Constraints:      76898
1759.18/1764.99	c INPROCESSING
1759.18/1764.99	c GARBAGE COLLECT
1759.18/1764.99	c #Conflicts:      85000 | #Constraints:      72101
1759.18/1764.99	c #Conflicts:      86000 | #Constraints:      73101
1759.18/1764.99	c #Conflicts:      87000 | #Constraints:      74101
1759.18/1764.99	c #Conflicts:      88000 | #Constraints:      75101
1759.18/1764.99	c #Conflicts:      89000 | #Constraints:      76101
1759.18/1764.99	c #Conflicts:      90000 | #Constraints:      77101
1759.18/1764.99	c INPROCESSING
1759.18/1764.99	c GARBAGE COLLECT
1759.18/1764.99	c #Conflicts:      91000 | #Constraints:      72103
1759.18/1764.99	c #Conflicts:      92000 | #Constraints:      73103
1759.18/1764.99	c #Conflicts:      93000 | #Constraints:      74103
1759.18/1764.99	c #Conflicts:      94000 | #Constraints:      75103
1759.18/1764.99	c #Conflicts:      95000 | #Constraints:      76103
1759.18/1764.99	c #Conflicts:      96000 | #Constraints:      77103
1759.18/1764.99	c INPROCESSING
1759.18/1764.99	c GARBAGE COLLECT
1759.18/1764.99	c #Conflicts:      97000 | #Constraints:      71902
1759.18/1764.99	c #Conflicts:      98000 | #Constraints:      72902
1759.18/1764.99	c #Conflicts:      99000 | #Constraints:      73902
1759.18/1764.99	c #Conflicts:     100000 | #Constraints:      74902
1759.18/1764.99	c #Conflicts:     101000 | #Constraints:      75902
1759.18/1764.99	c #Conflicts:     102000 | #Constraints:      76902
1759.18/1764.99	c #Conflicts:     103000 | #Constraints:      77902
1759.18/1764.99	c INPROCESSING
1759.18/1764.99	c GARBAGE COLLECT
1759.18/1764.99	c #Conflicts:     104000 | #Constraints:      72505
1759.18/1764.99	c #Conflicts:     105000 | #Constraints:      73505
1759.18/1764.99	c #Conflicts:     106000 | #Constraints:      74505
1759.18/1764.99	c #Conflicts:     107000 | #Constraints:      75505
1759.18/1764.99	c #Conflicts:     108000 | #Constraints:      76505
1759.18/1764.99	c #Conflicts:     109000 | #Constraints:      77505
1759.18/1764.99	c #Conflicts:     110000 | #Constraints:      78505
1759.18/1764.99	c INPROCESSING
1759.18/1764.99	c GARBAGE COLLECT
1759.18/1764.99	c #Conflicts:     111000 | #Constraints:      72906
1759.18/1764.99	c #Conflicts:     112000 | #Constraints:      73906
1759.18/1764.99	c #Conflicts:     113000 | #Constraints:      74906
1759.18/1764.99	c #Conflicts:     114000 | #Constraints:      75906
1759.18/1764.99	c #Conflicts:     115000 | #Constraints:      76906
1759.18/1764.99	c #Conflicts:     116000 | #Constraints:      77906
1759.18/1764.99	c #Conflicts:     117000 | #Constraints:      78906
1759.18/1764.99	c INPROCESSING
1759.18/1764.99	c GARBAGE COLLECT
1759.18/1764.99	c #Conflicts:     118000 | #Constraints:      73103
1759.18/1764.99	c #Conflicts:     119000 | #Constraints:      74103
1759.18/1764.99	c #Conflicts:     120000 | #Constraints:      75103
1759.18/1764.99	c #Conflicts:     121000 | #Constraints:      76103
1759.18/1764.99	c #Conflicts:     122000 | #Constraints:      77103
1759.18/1764.99	c #Conflicts:     123000 | #Constraints:      78103
1759.18/1764.99	c #Conflicts:     124000 | #Constraints:      79103
1759.18/1764.99	c INPROCESSING
1759.18/1764.99	c GARBAGE COLLECT
1759.18/1764.99	c #Conflicts:     125000 | #Constraints:      73104
1759.18/1764.99	c #Conflicts:     126000 | #Constraints:      74104
1759.18/1764.99	c #Conflicts:     127000 | #Constraints:      75104
1759.18/1764.99	c #Conflicts:     128000 | #Constraints:      76104
1759.18/1764.99	c #Conflicts:     129000 | #Constraints:      77104
1759.18/1764.99	c #Conflicts:     130000 | #Constraints:      78104
1759.18/1764.99	c #Conflicts:     131000 | #Constraints:      79104
2725.82/2734.44	c INPROCESSING
2725.82/2734.44	c GARBAGE COLLECT
2725.82/2734.44	c #Conflicts:     132000 | #Constraints:      72903
2725.82/2734.44	c #Conflicts:     133000 | #Constraints:      73903
2725.82/2734.44	c #Conflicts:     134000 | #Constraints:      74903
2725.82/2734.44	c #Conflicts:     135000 | #Constraints:      75903
2725.82/2734.44	c #Conflicts:     136000 | #Constraints:      76903
2725.82/2734.44	c #Conflicts:     137000 | #Constraints:      77903
2725.82/2734.44	c #Conflicts:     138000 | #Constraints:      78903
2725.82/2734.44	c #Conflicts:     139000 | #Constraints:      79903
2725.82/2734.44	c INPROCESSING
2725.82/2734.44	c GARBAGE COLLECT
2725.82/2734.44	c #Conflicts:     140000 | #Constraints:      73501
2725.82/2734.44	c #Conflicts:     141000 | #Constraints:      74501
2725.82/2734.44	c #Conflicts:     142000 | #Constraints:      75501
2725.82/2734.44	c #Conflicts:     143000 | #Constraints:      76501
2725.82/2734.44	c #Conflicts:     144000 | #Constraints:      77501
2725.82/2734.44	c #Conflicts:     145000 | #Constraints:      78501
2725.82/2734.44	c #Conflicts:     146000 | #Constraints:      79501
2725.82/2734.44	c #Conflicts:     147000 | #Constraints:      80501
2725.82/2734.44	c INPROCESSING
2725.82/2734.44	c GARBAGE COLLECT
2725.82/2734.44	c #Conflicts:     148000 | #Constraints:      73906
2725.82/2734.44	c #Conflicts:     149000 | #Constraints:      74906
2725.82/2734.44	c #Conflicts:     150000 | #Constraints:      75906
2725.82/2734.44	c #Conflicts:     151000 | #Constraints:      76906
2725.82/2734.44	c #Conflicts:     152000 | #Constraints:      77906
2725.82/2734.44	c #Conflicts:     153000 | #Constraints:      78906
2725.82/2734.44	c #Conflicts:     154000 | #Constraints:      79906
2725.82/2734.44	c #Conflicts:     155000 | #Constraints:      80906
2725.82/2734.44	c INPROCESSING
2725.82/2734.44	c GARBAGE COLLECT
2725.82/2734.44	c #Conflicts:     156000 | #Constraints:      74106
2725.82/2734.44	c #Conflicts:     157000 | #Constraints:      75106
2725.82/2734.44	c #Conflicts:     158000 | #Constraints:      76106
2725.82/2734.44	c #Conflicts:     159000 | #Constraints:      77106
2725.82/2734.44	c #Conflicts:     160000 | #Constraints:      78106
2725.82/2734.44	c #Conflicts:     161000 | #Constraints:      79106
2725.82/2734.44	c #Conflicts:     162000 | #Constraints:      80106
2725.82/2734.44	c #Conflicts:     163000 | #Constraints:      81106
2725.82/2734.44	c INPROCESSING
2725.82/2734.44	c GARBAGE COLLECT
2725.82/2734.44	c #Conflicts:     164000 | #Constraints:      74111
2725.82/2734.44	c #Conflicts:     165000 | #Constraints:      75111
2725.82/2734.44	c #Conflicts:     166000 | #Constraints:      76111
2725.82/2734.44	c #Conflicts:     167000 | #Constraints:      77111
2725.82/2734.44	c #Conflicts:     168000 | #Constraints:      78111
2725.82/2734.44	c #Conflicts:     169000 | #Constraints:      79111
2725.82/2734.44	c #Conflicts:     170000 | #Constraints:      80111
2725.82/2734.44	c #Conflicts:     171000 | #Constraints:      81111
2725.82/2734.44	c INPROCESSING
2725.82/2734.44	c GARBAGE COLLECT
2725.82/2734.44	c #Conflicts:     172000 | #Constraints:      73911
2725.82/2734.44	c #Conflicts:     173000 | #Constraints:      74911
2725.82/2734.44	c #Conflicts:     174000 | #Constraints:      75911
2725.82/2734.44	c #Conflicts:     175000 | #Constraints:      76911
2725.82/2734.44	c #Conflicts:     176000 | #Constraints:      77911
2725.82/2734.44	c #Conflicts:     177000 | #Constraints:      78911
2725.82/2734.44	c #Conflicts:     178000 | #Constraints:      79911
2725.82/2734.44	c #Conflicts:     179000 | #Constraints:      80911
2725.82/2734.44	c #Conflicts:     180000 | #Constraints:      81911
2725.82/2734.44	c INPROCESSING
2725.82/2734.44	c GARBAGE COLLECT
2725.82/2734.44	c #Conflicts:     181000 | #Constraints:      74512
2725.82/2734.44	c #Conflicts:     182000 | #Constraints:      75512
2725.82/2734.44	c #Conflicts:     183000 | #Constraints:      76512
2725.82/2734.44	c #Conflicts:     184000 | #Constraints:      77512
2725.82/2734.44	c #Conflicts:     185000 | #Constraints:      78512
2725.82/2734.44	c #Conflicts:     186000 | #Constraints:      79512
2725.82/2734.44	c #Conflicts:     187000 | #Constraints:      80512
2725.82/2734.44	c #Conflicts:     188000 | #Constraints:      81512
2725.82/2734.44	c #Conflicts:     189000 | #Constraints:      82512
2725.82/2734.44	c INPROCESSING
2725.82/2734.44	c GARBAGE COLLECT
2725.82/2734.44	c #Conflicts:     190000 | #Constraints:      74910
2725.82/2734.44	c #Conflicts:     191000 | #Constraints:      75910
2725.82/2734.44	c #Conflicts:     192000 | #Constraints:      76910
2725.82/2734.44	c #Conflicts:     193000 | #Constraints:      77910
2725.82/2734.44	c #Conflicts:     194000 | #Constraints:      78910
2725.82/2734.44	c #Conflicts:     195000 | #Constraints:      79910
2725.82/2734.44	c #Conflicts:     196000 | #Constraints:      80910
2725.82/2734.44	c #Conflicts:     197000 | #Constraints:      81910
2725.82/2734.44	c #Conflicts:     198000 | #Constraints:      82910
2725.82/2734.44	c INPROCESSING
2725.82/2734.44	c GARBAGE COLLECT
2725.82/2734.44	c #Conflicts:     199000 | #Constraints:      75115
2725.82/2734.44	c #Conflicts:     200000 | #Constraints:      76115
2725.82/2734.44	c #Conflicts:     201000 | #Constraints:      77115
2725.82/2734.44	c #Conflicts:     202000 | #Constraints:      78115
2725.82/2734.44	c #Conflicts:     203000 | #Constraints:      79115
2725.82/2734.44	c #Conflicts:     204000 | #Constraints:      80115
3600.08/3611.20	c #Conflicts:     205000 | #Constraints:      81115
3600.08/3611.20	c #Conflicts:     206000 | #Constraints:      82115
3600.08/3611.20	c #Conflicts:     207000 | #Constraints:      83115
3600.08/3611.20	c INPROCESSING
3600.08/3611.20	c GARBAGE COLLECT
3600.08/3611.20	c #Conflicts:     208000 | #Constraints:      75111
3600.08/3611.20	c #Conflicts:     209000 | #Constraints:      76111
3600.08/3611.20	c #Conflicts:     210000 | #Constraints:      77111
3600.08/3611.20	c #Conflicts:     211000 | #Constraints:      78111
3600.08/3611.20	c #Conflicts:     212000 | #Constraints:      79111
3600.08/3611.20	c #Conflicts:     213000 | #Constraints:      80111
3600.08/3611.20	c #Conflicts:     214000 | #Constraints:      81111
3600.08/3611.20	c #Conflicts:     215000 | #Constraints:      82111
3600.08/3611.20	c #Conflicts:     216000 | #Constraints:      83111
3600.08/3611.20	c INPROCESSING
3600.08/3611.20	c GARBAGE COLLECT
3600.08/3611.20	c #Conflicts:     217000 | #Constraints:      74906
3600.08/3611.20	c #Conflicts:     218000 | #Constraints:      75906
3600.08/3611.20	c #Conflicts:     219000 | #Constraints:      76906
3600.08/3611.20	c #Conflicts:     220000 | #Constraints:      77906
3600.08/3611.20	c #Conflicts:     221000 | #Constraints:      78906
3600.08/3611.20	c #Conflicts:     222000 | #Constraints:      79906
3600.08/3611.20	c #Conflicts:     223000 | #Constraints:      80906
3600.08/3611.20	c #Conflicts:     224000 | #Constraints:      81906
3600.08/3611.20	c #Conflicts:     225000 | #Constraints:      82906
3600.08/3611.20	c #Conflicts:     226000 | #Constraints:      83906
3600.08/3611.20	c INPROCESSING
3600.08/3611.20	c GARBAGE COLLECT
3600.08/3611.20	c #Conflicts:     227000 | #Constraints:      75509
3600.08/3611.20	c #Conflicts:     228000 | #Constraints:      76509
3600.08/3611.20	c #Conflicts:     229000 | #Constraints:      77509
3600.08/3611.20	c #Conflicts:     230000 | #Constraints:      78509
3600.08/3611.20	c #Conflicts:     231000 | #Constraints:      79509
3600.08/3611.20	c #Conflicts:     232000 | #Constraints:      80509
3600.08/3611.20	c #Conflicts:     233000 | #Constraints:      81509
3600.08/3611.20	c #Conflicts:     234000 | #Constraints:      82509
3600.08/3611.20	c #Conflicts:     235000 | #Constraints:      83509
3600.08/3611.20	c #Conflicts:     236000 | #Constraints:      84509
3600.08/3611.20	c INPROCESSING
3600.08/3611.20	c GARBAGE COLLECT
3600.08/3611.20	c #Conflicts:     237000 | #Constraints:      75904
3600.08/3611.20	c #Conflicts:     238000 | #Constraints:      76904
3600.08/3611.20	c #Conflicts:     239000 | #Constraints:      77904
3600.08/3611.20	c #Conflicts:     240000 | #Constraints:      78904
3600.08/3611.20	c #Conflicts:     241000 | #Constraints:      79904
3600.08/3611.20	c #Conflicts:     242000 | #Constraints:      80904
3600.08/3611.20	c #Conflicts:     243000 | #Constraints:      81904
3600.08/3611.20	c #Conflicts:     244000 | #Constraints:      82904
3600.08/3611.20	c #Conflicts:     245000 | #Constraints:      83904
3600.08/3611.20	c #Conflicts:     246000 | #Constraints:      84904
3600.08/3611.20	c INPROCESSING
3600.08/3611.20	c GARBAGE COLLECT
3600.08/3611.20	c #Conflicts:     247000 | #Constraints:      76103
3600.08/3611.20	c #Conflicts:     248000 | #Constraints:      77103
3600.08/3611.20	c #Conflicts:     249000 | #Constraints:      78103
3600.08/3611.20	c #Conflicts:     250000 | #Constraints:      79103
3600.08/3611.20	c #Conflicts:     251000 | #Constraints:      80103
3600.08/3611.20	c #Conflicts:     252000 | #Constraints:      81103
3600.08/3611.20	c #Conflicts:     253000 | #Constraints:      82103
3600.08/3611.20	c #Conflicts:     254000 | #Constraints:      83103
3600.08/3611.20	c #Conflicts:     255000 | #Constraints:      84103
3600.08/3611.20	c #Conflicts:     256000 | #Constraints:      85103
3600.08/3611.20	c INPROCESSING
3600.08/3611.20	c GARBAGE COLLECT
3600.08/3611.20	c #Conflicts:     257000 | #Constraints:      76106
3600.08/3611.20	c #Conflicts:     258000 | #Constraints:      77106
3600.08/3611.20	c #Conflicts:     259000 | #Constraints:      78106
3600.08/3611.20	c #Conflicts:     260000 | #Constraints:      79106
3600.08/3611.20	c #Conflicts:     261000 | #Constraints:      80106
3600.08/3611.20	c #Conflicts:     262000 | #Constraints:      81106
3600.08/3611.20	c #Conflicts:     263000 | #Constraints:      82106
3600.08/3611.20	c #Conflicts:     264000 | #Constraints:      83106
3600.08/3611.20	c #Conflicts:     265000 | #Constraints:      84106
3600.08/3611.20	c Program interrupted by user.
3600.08/3611.20	c cpu time 3552.27 s
3600.08/3611.20	c deterministic time 178117923764 1.78e+11
3600.08/3611.20	c optimization time 122.39 s
3600.08/3611.20	c total solve time 3125.92 s
3600.08/3611.20	c core-guided solve time 3125.92 s
3600.08/3611.20	c propagation time 1900 s
3600.08/3611.20	c conflict analysis time 986.677 s
3600.08/3611.20	c propagations 239352735
3600.08/3611.20	c resolve steps 1026017
3600.08/3611.20	c decisions 58663954
3600.08/3611.20	c conflicts 265522
3600.08/3611.20	c restarts 636
3600.08/3611.20	c inprocessing phases 42
3600.08/3611.20	c input clauses 65281
3600.08/3611.20	c input cardinalities 20
3600.08/3611.20	c input general constraints 0
3600.08/3611.20	c input average constraint length 86.22
3600.08/3611.20	c input average constraint degree 1.24
3600.08/3611.20	c learned clauses 9084
3600.08/3611.20	c learned cardinalities 46
3600.08/3611.20	c learned general constraints 256391
3600.08/3611.20	c learned average constraint length 13546.80
3600.08/3611.20	c learned average constraint degree 3517822.62
3600.08/3611.20	c watched constraints 5053
3600.08/3611.20	c counting constraints 251338
3600.08/3611.20	c gcd simplifications 1174
3600.08/3611.20	c detected cardinalities 0
3600.08/3611.20	c weakened non-implied lits 95063594
3600.08/3611.20	c weakened non-implying lits 11343
3600.08/3611.20	c original variables 15312
3600.08/3611.20	c clausal propagations 3573007
3600.08/3611.20	c cardinality propagations 4352
3600.08/3611.20	c watched propagations 399154
3600.08/3611.20	c counting propagations 235097742
3600.08/3611.20	c watch lookups 25459262678
3600.08/3611.20	c watch backjump lookups 25424777633
3600.08/3611.20	c watch checks 8828394393
3600.08/3611.20	c propagation checks 109156859434
3600.08/3611.20	c constraint additions 8652345799
3600.08/3611.20	c trail pops 298267137
3600.08/3611.20	c formula constraints 65280
3600.08/3611.20	c learned constraints 265521
3600.08/3611.20	c bound constraints 21
3600.08/3611.20	c core-guided constraints 0
3600.08/3611.20	c encountered formula constraints 694646
3600.08/3611.20	c encountered learned constraints 596824
3600.08/3611.20	c encountered bound constraints 69
3600.08/3611.20	c encountered core-guided constraints 0
3600.08/3611.20	c LP total time 0 s
3600.08/3611.20	c LP solve time 0 s
3600.08/3611.20	c LP constraints added 0
3600.08/3611.20	c LP constraints removed 0
3600.08/3611.20	c LP pivots internal 0
3600.08/3611.20	c LP pivots root 0
3600.08/3611.20	c LP calls 0
3600.08/3611.20	c LP optimalities 0
3600.08/3611.20	c LP no pivot count 0
3600.08/3611.20	c LP infeasibilities 0
3600.08/3611.20	c LP valid Farkas constraints 0
3600.08/3611.20	c LP learned Farkas constraints 0
3600.08/3611.20	c LP basis resets 0
3600.08/3611.20	c LP cycling count 0
3600.08/3611.20	c LP singular count 0
3600.08/3611.20	c LP no primal count 0
3600.08/3611.20	c LP no farkas count 0
3600.08/3611.20	c LP other issue count 0
3600.08/3611.20	c LP Gomory cuts 0
3600.08/3611.20	c LP learned cuts 0
3600.08/3611.20	c LP deleted cuts 0
3600.08/3611.20	c LP encountered Gomory constraints 0
3600.08/3611.20	c LP encountered Farkas constraints 0
3600.08/3611.20	c LP encountered learned Farkas constraints 0
3600.08/3611.20	c CG auxiliary variables introduced 0
3600.08/3611.20	c CG solutions found 0
3600.08/3611.20	c CG cores constructed 20
3600.08/3611.20	c CG core cardinality constraints returned 0
3600.08/3611.20	c CG unit cores 0
3600.08/3611.20	c CG single cores 20
3600.08/3611.20	c CG blocks removed during cardinality reduction 0
3600.08/3611.20	c CG first core best 0
3600.08/3611.20	c CG decision core best 0
3600.08/3611.20	c CG core reduction tie 0
3600.08/3611.20	c CG core degree average 1.00
3600.08/3611.20	c CG core slack average 76.65
3600.08/3611.20	c CG exhausted 0
3600.08/3611.20	c CG exhaust time 0 s
3600.08/3611.20	c CG trimmed 0
3600.08/3611.20	c CG trim time 0.00182 s
3600.08/3611.20	c CG minimized 0
3600.08/3611.20	c CG minimize time 0 s
3600.08/3611.20	c CG am1 prop time 0.03181 s
3600.08/3611.20	c CG # am1s reformulated 0
3600.08/3611.20	c CG lower bound derived from am1s 0
3600.08/3611.20	c CG # clausal cores 20
3600.08/3611.20	c CG # cardinality cores 0
3600.08/3611.20	c CG # pb cores 0
3600.08/3611.20	c CG # pb reforms 0
3600.08/3611.20	c CG # cores discarded because of pb reform 0
3600.08/3611.20	d LOWERBOUND 20
3600.08/3611.20	d NCORES 20
3600.08/3611.20	d NPBCORES 0
3600.08/3611.20	d NPBREFORM 0
3600.08/3611.20	d NTRIMMED 0
3600.08/3611.20	d NEXHAUSTED 0
3600.08/3611.20	d NAM1S 0
3600.08/3611.20	d AM1LB 0
3600.08/3611.20	c [Papilo Statistics]
3600.08/3611.20	c prepro time 0.720517s
3600.08/3611.20	c # tsx applied 0
3600.08/3611.20	c # tsx conflicts 0
3600.08/3611.20	c # bound changes 0
3600.08/3611.20	c # side changes 0
3600.08/3611.20	c # coef changes 0
3600.08/3611.20	c # rounds 1
3600.08/3611.20	c # deted vars 0
3600.08/3611.20	c # deted constrs 0
3600.08/3611.20	c # consecutive rounds of only bound changes 0
3600.08/3611.25	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: 63794 MiB (62770 MiB free)
  memory of node 1: 64507 MiB (57314 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4502821-1751469855/watcher-4502821-1751469855 -o /tmp/evaluation-result-4502821-1751469855/solver-4502821-1751469855 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751466235-69389 --watchdog 3760 mixed-bag HOME/instance-4502821-1751469855.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=69854, runsolver pid=69851
Current StackSize limit: 8192 KiB


[startup+0.100068 s]*
/proc/loadavg: 4.12 4.09 4.03 5/251 69855
/proc/meminfo: memFree=122963188/131382116 swapFree=33010684/33010684
[pid=69854] ppid=69851 vsize=89888 memory=14824 CPUtime=0.07 cores=1,3
/proc/69854/stat : 69854 (mixed-bag) R 69851 69854 69377 0 -1 4194304 2837 0 0 0 6 1 0 0 20 0 1 0 62665334 92045312 3706 18446744073709551615 4235264 15874749 140722343886128 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 18096864 18107984 55812096 140722343889308 140722343889385 140722343889385 140722343894987 0
/proc/69854/statm: 22472 3706 2144 2842 0 4705 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 89888 KiB
Current children cumulated memory: 14824 KiB

[startup+0.209375 s]*
/proc/loadavg: 4.12 4.09 4.03 5/251 69855
/proc/meminfo: memFree=122963188/131382116 swapFree=33010684/33010684
[pid=69854] ppid=69851 vsize=96032 memory=19808 CPUtime=0.18 cores=1,3
/proc/69854/stat : 69854 (mixed-bag) R 69851 69854 69377 0 -1 4194304 3574 0 0 0 17 1 0 0 20 0 1 0 62665334 98336768 4952 18446744073709551615 4235264 15874749 140722343886128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 55812096 140722343889308 140722343889385 140722343889385 140722343894987 0
/proc/69854/statm: 24008 4952 2144 2842 0 6241 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 96032 KiB
Current children cumulated memory: 19808 KiB

[startup+0.308847 s]*
/proc/loadavg: 4.12 4.09 4.03 5/251 69855
/proc/meminfo: memFree=122963188/131382116 swapFree=33010684/33010684
[pid=69854] ppid=69851 vsize=96032 memory=20320 CPUtime=0.28 cores=1,3
/proc/69854/stat : 69854 (mixed-bag) R 69851 69854 69377 0 -1 4194304 3698 0 0 0 27 1 0 0 20 0 1 0 62665334 98336768 5080 18446744073709551615 4235264 15874749 140722343886128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 55812096 140722343889308 140722343889385 140722343889385 140722343894987 0
/proc/69854/statm: 24008 5080 2144 2842 0 6241 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 96032 KiB
Current children cumulated memory: 20320 KiB

[startup+0.700322 s]
/proc/loadavg: 4.12 4.09 4.03 5/251 69855
/proc/meminfo: memFree=122963552/131382116 swapFree=33010684/33010684
[pid=69854] ppid=69851 vsize=104224 memory=28848 CPUtime=0.66 cores=1,3
/proc/69854/stat : 69854 (mixed-bag) R 69851 69854 69377 0 -1 4194304 4307 0 0 0 64 2 0 0 20 0 1 0 62665334 106725376 7212 18446744073709551615 4235264 15874749 140722343886128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 55812096 140722343889308 140722343889385 140722343889385 140722343894987 0
/proc/69854/statm: 26056 7212 2144 2842 0 8289 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 104224 KiB
Current children cumulated memory: 28848 KiB

[startup+1.50038 s]
/proc/loadavg: 4.12 4.09 4.03 5/251 69855
/proc/meminfo: memFree=122963432/131382116 swapFree=33010684/33010684
[pid=69854] ppid=69851 vsize=153376 memory=55344 CPUtime=1.46 cores=1,3
/proc/69854/stat : 69854 (mixed-bag) R 69851 69854 69377 0 -1 4194304 5320 0 0 0 142 4 0 0 20 0 1 0 62665334 157057024 13836 18446744073709551615 4235264 15874749 140722343886128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 55812096 140722343889308 140722343889385 140722343889385 140722343894987 0
/proc/69854/statm: 38344 13836 2144 2842 0 20577 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 153376 KiB
Current children cumulated memory: 55344 KiB

[startup+3.11266 s]
/proc/loadavg: 4.11 4.09 4.03 5/251 69855
/proc/meminfo: memFree=122879716/131382116 swapFree=33010684/33010684
[pid=69854] ppid=69851 vsize=218912 memory=132548 CPUtime=3.06 cores=1,3
/proc/69854/stat : 69854 (mixed-bag) R 69851 69854 69377 0 -1 4194304 6293 0 0 0 299 7 0 0 20 0 1 0 62665334 224165888 33137 18446744073709551615 4235264 15874749 140722343886128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 55812096 140722343889308 140722343889385 140722343889385 140722343894987 0
/proc/69854/statm: 54728 33137 2144 2842 0 36961 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 218912 KiB
Current children cumulated memory: 132548 KiB

[startup+6.30036 s]
/proc/loadavg: 4.11 4.09 4.03 5/251 69855
/proc/meminfo: memFree=122138216/131382116 swapFree=33010684/33010684
[pid=69854] ppid=69851 vsize=1210172 memory=1037616 CPUtime=6.25 cores=1,3
/proc/69854/stat : 69854 (mixed-bag) R 69851 69854 69377 0 -1 4194304 167748 0 0 0 568 57 0 0 20 0 1 0 62665334 1239216128 259372 18446744073709551615 4235264 15874749 140722343886128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 55812096 140722343889308 140722343889385 140722343889385 140722343894987 0
/proc/69854/statm: 302543 259372 3968 2842 0 284237 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 1210172 KiB
Current children cumulated memory: 1037616 KiB

[startup+12.7003 s]
/proc/loadavg: 4.10 4.09 4.03 5/251 69856
/proc/meminfo: memFree=120518304/131382116 swapFree=33010684/33010684
[pid=69854] ppid=69851 vsize=1884948 memory=1702884 CPUtime=12.63 cores=1,3
/proc/69854/stat : 69854 (mixed-bag) R 69851 69854 69377 0 -1 4194304 315030 0 0 0 1157 106 0 0 20 0 1 0 62665334 1930186752 425721 18446744073709551615 4235264 15874749 140722343886128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 55812096 140722343889308 140722343889385 140722343889385 140722343894987 0
/proc/69854/statm: 471237 425721 4032 2842 0 452931 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 1884948 KiB
Current children cumulated memory: 1702884 KiB

[startup+25.5004 s]
/proc/loadavg: 4.15 4.10 4.03 5/251 69856
/proc/meminfo: memFree=117975316/131382116 swapFree=33010684/33010684
[pid=69854] ppid=69851 vsize=5393376 memory=4807496 CPUtime=25.39 cores=1,3
/proc/69854/stat : 69854 (mixed-bag) R 69851 69854 69377 0 -1 4194304 350326 0 0 0 2365 174 0 0 20 0 1 0 62665334 5522817024 1201874 18446744073709551615 4235264 15874749 140722343886128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 55812096 140722343889308 140722343889385 140722343889385 140722343894987 0
/proc/69854/statm: 1348344 1201874 4064 2842 0 1330038 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 5393376 KiB
Current children cumulated memory: 4807496 KiB

[startup+51.1129 s]
/proc/loadavg: 4.10 4.09 4.03 5/250 69856
/proc/meminfo: memFree=117807840/131382116 swapFree=33010684/33010684
[pid=69854] ppid=69851 vsize=5204644 memory=4678076 CPUtime=50.91 cores=1,3
/proc/69854/stat : 69854 (mixed-bag) R 69851 69854 69377 0 -1 4194304 432250 0 0 0 4886 205 0 0 20 0 1 0 62665334 5329555456 1169519 18446744073709551615 4235264 15874749 140722343886128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 55812096 140722343889308 140722343889385 140722343889385 140722343894987 0
/proc/69854/statm: 1301161 1169519 4224 2842 0 1282855 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 5204644 KiB
Current children cumulated memory: 4678076 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.09 4.03 5/250 69902
/proc/meminfo: memFree=119331360/131382116 swapFree=33010684/33010684
[pid=69854] ppid=69851 vsize=5204644 memory=4678204 CPUtime=101.91 cores=1,3
/proc/69854/stat : 69854 (mixed-bag) R 69851 69854 69377 0 -1 4194304 432331 0 0 0 9986 205 0 0 20 0 1 0 62665334 5329555456 1169551 18446744073709551615 4235264 15874749 140722343886128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 55812096 140722343889308 140722343889385 140722343889385 140722343894987 0
/proc/69854/statm: 1301161 1169551 4256 2842 0 1282855 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 5204644 KiB
Current children cumulated memory: 4678204 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.10 4.04 5/250 70042
/proc/meminfo: memFree=118424340/131382116 swapFree=33010684/33010684
[pid=69854] ppid=69851 vsize=5204644 memory=4678204 CPUtime=161.67 cores=1,3
/proc/69854/stat : 69854 (mixed-bag) R 69851 69854 69377 0 -1 4194304 432331 0 0 0 15961 206 0 0 20 0 1 0 62665334 5329555456 1169551 18446744073709551615 4235264 15874749 140722343886128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 55812096 140722343889308 140722343889385 140722343889385 140722343894987 0
/proc/69854/statm: 1301161 1169551 4256 2842 0 1282855 0
Current children cumulated CPU time: 161.67 s
Current children cumulated vsize: 5204644 KiB
Current children cumulated memory: 4678204 KiB

[startup+222.3 s]
/proc/loadavg: 4.05 4.08 4.03 5/250 70044
/proc/meminfo: memFree=117447040/131382116 swapFree=33010684/33010684
[pid=69854] ppid=69851 vsize=5204644 memory=4678204 CPUtime=221.43 cores=1,3
/proc/69854/stat : 69854 (mixed-bag) R 69851 69854 69377 0 -1 4194304 432331 0 0 0 21937 206 0 0 20 0 1 0 62665334 5329555456 1169551 18446744073709551615 4235264 15874749 140722343886128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 55812096 140722343889308 140722343889385 140722343889385 140722343894987 0
/proc/69854/statm: 1301161 1169551 4256 2842 0 1282855 0
Current children cumulated CPU time: 221.43 s
Current children cumulated vsize: 5204644 KiB
Current children cumulated memory: 4678204 KiB

[startup+282.3 s]
/proc/loadavg: 4.20 4.11 4.04 5/250 70046
/proc/meminfo: memFree=116114484/131382116 swapFree=33010684/33010684
[pid=69854] ppid=69851 vsize=5204644 memory=4678204 CPUtime=281.21 cores=1,3
/proc/69854/stat : 69854 (mixed-bag) R 69851 69854 69377 0 -1 4194304 432411 0 0 0 27914 207 0 0 20 0 1 0 62665334 5329555456 1169551 18446744073709551615 4235264 15874749 140722343886128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 55812096 140722343889308 140722343889385 140722343889385 140722343894987 0
/proc/69854/statm: 1301161 1169551 4256 2842 0 1282855 0
Current children cumulated CPU time: 281.21 s
Current children cumulated vsize: 5204644 KiB
Current children cumulated memory: 4678204 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 4.10 4.04 5/250 70048
/proc/meminfo: memFree=118535740/131382116 swapFree=33010684/33010684
[pid=69854] ppid=69851 vsize=2234468 memory=1961636 CPUtime=340.99 cores=1,3
/proc/69854/stat : 69854 (mixed-bag) R 69851 69854 69377 0 -1 4194304 437653 0 0 0 33771 328 0 0 20 0 1 0 62665334 2288095232 490409 18446744073709551615 4235264 15874749 140722343886128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 55812096 140722343889308 140722343889385 140722343889385 140722343894987 0
/proc/69854/statm: 558617 490409 4416 2842 0 540311 0
Current children cumulated CPU time: 340.99 s
Current children cumulated vsize: 2234468 KiB
Current children cumulated memory: 1961636 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 4.10 4.04 5/251 70056
/proc/meminfo: memFree=118301112/131382116 swapFree=33010684/33010684
[pid=69854] ppid=69851 vsize=2234468 memory=2150512 CPUtime=400.79 cores=1,3
/proc/69854/stat : 69854 (mixed-bag) R 69851 69854 69377 0 -1 4194304 438378 0 0 0 39611 468 0 0 20 0 1 0 62665334 2288095232 537628 18446744073709551615 4235264 15874749 140722343886128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 55812096 140722343889308 140722343889385 140722343889385 140722343894987 0
/proc/69854/statm: 558617 537628 4416 2842 0 540311 0
Current children cumulated CPU time: 400.79 s
Current children cumulated vsize: 2234468 KiB
Current children cumulated memory: 2150512 KiB

[startup+462.3 s]
/proc/loadavg: 4.21 4.13 4.05 5/250 70058
/proc/meminfo: memFree=117813792/131382116 swapFree=33010684/33010684
[pid=69854] ppid=69851 vsize=2583716 memory=2250324 CPUtime=460.58 cores=1,3
/proc/69854/stat : 69854 (mixed-bag) R 69851 69854 69377 0 -1 4194304 439450 0 0 0 45458 600 0 0 20 0 1 0 62665334 2645725184 562581 18446744073709551615 4235264 15874749 140722343886128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 55812096 140722343889308 140722343889385 140722343889385 140722343894987 0
/proc/69854/statm: 645929 562581 4416 2842 0 627623 0
Current children cumulated CPU time: 460.58 s

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

Current children cumulated memory: 4929716 KiB

[startup+2862.3 s]
/proc/loadavg: 4.57 4.38 4.22 5/250 70184
/proc/meminfo: memFree=110605480/131382116 swapFree=33010684/33010684
[pid=69854] ppid=69851 vsize=6087828 memory=4929716 CPUtime=2853.37 cores=1,3
/proc/69854/stat : 69854 (mixed-bag) R 69851 69854 69377 0 -1 4194304 753280 0 0 0 281328 4009 0 0 20 0 1 0 62665334 6233935872 1232429 18446744073709551615 4235264 15874749 140722343886128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 55812096 140722343889308 140722343889385 140722343889385 140722343894987 0
/proc/69854/statm: 1521957 1232429 4416 2842 0 1503651 0
Current children cumulated CPU time: 2853.37 s
Current children cumulated vsize: 6087828 KiB
Current children cumulated memory: 4929716 KiB

[startup+2922.3 s]
/proc/loadavg: 4.27 4.33 4.20 5/251 70187
/proc/meminfo: memFree=110483024/131382116 swapFree=33010684/33010684
[pid=69854] ppid=69851 vsize=6202552 memory=5021468 CPUtime=2913.2 cores=1,3
/proc/69854/stat : 69854 (mixed-bag) R 69851 69854 69377 0 -1 4194304 770760 0 0 0 287280 4040 0 0 20 0 1 0 62665334 6351413248 1255367 18446744073709551615 4235264 15874749 140722343886128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 55812096 140722343889308 140722343889385 140722343889385 140722343894987 0
/proc/69854/statm: 1550638 1255367 4416 2842 0 1532332 0
Current children cumulated CPU time: 2913.2 s
Current children cumulated vsize: 6202552 KiB
Current children cumulated memory: 5021468 KiB

[startup+2982.3 s]
/proc/loadavg: 4.14 4.28 4.19 5/251 70189
/proc/meminfo: memFree=110040704/131382116 swapFree=33010684/33010684
[pid=69854] ppid=69851 vsize=6296480 memory=5118312 CPUtime=2973.03 cores=1,3
/proc/69854/stat : 69854 (mixed-bag) R 69851 69854 69377 0 -1 4194304 786998 0 0 0 293195 4108 0 0 20 0 1 0 62665334 6447595520 1279578 18446744073709551615 4235264 15874749 140722343886128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 55812096 140722343889308 140722343889385 140722343889385 140722343894987 0
/proc/69854/statm: 1574120 1279578 4416 2842 0 1555814 0
Current children cumulated CPU time: 2973.03 s
Current children cumulated vsize: 6296480 KiB
Current children cumulated memory: 5118312 KiB

[startup+3042.3 s]
/proc/loadavg: 4.08 4.24 4.18 5/251 70191
/proc/meminfo: memFree=110019372/131382116 swapFree=33010684/33010684
[pid=69854] ppid=69851 vsize=6296480 memory=5118440 CPUtime=3032.87 cores=1,3
/proc/69854/stat : 69854 (mixed-bag) R 69851 69854 69377 0 -1 4194304 787248 0 0 0 299146 4141 0 0 20 0 1 0 62665334 6447595520 1279610 18446744073709551615 4235264 15874749 140722343886128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 55812096 140722343889308 140722343889385 140722343889385 140722343894987 0
/proc/69854/statm: 1574120 1279610 4416 2842 0 1555814 0
Current children cumulated CPU time: 3032.87 s
Current children cumulated vsize: 6296480 KiB
Current children cumulated memory: 5118440 KiB

[startup+3102.3 s]
/proc/loadavg: 4.11 4.22 4.18 5/251 70193
/proc/meminfo: memFree=109991756/131382116 swapFree=33010684/33010684
[pid=69854] ppid=69851 vsize=6332068 memory=5147972 CPUtime=3092.7 cores=1,3
/proc/69854/stat : 69854 (mixed-bag) R 69851 69854 69377 0 -1 4194304 794022 0 0 0 305085 4185 0 0 20 0 1 0 62665334 6484037632 1286993 18446744073709551615 4235264 15874749 140722343886128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 55812096 140722343889308 140722343889385 140722343889385 140722343894987 0
/proc/69854/statm: 1583017 1286993 4416 2842 0 1564711 0
Current children cumulated CPU time: 3092.7 s
Current children cumulated vsize: 6332068 KiB
Current children cumulated memory: 5147972 KiB

[startup+3162.3 s]
/proc/loadavg: 4.16 4.21 4.18 5/252 70199
/proc/meminfo: memFree=109983556/131382116 swapFree=33010684/33010684
[pid=69854] ppid=69851 vsize=6332068 memory=5147972 CPUtime=3152.54 cores=1,3
/proc/69854/stat : 69854 (mixed-bag) R 69851 69854 69377 0 -1 4194304 794496 0 0 0 311010 4244 0 0 20 0 1 0 62665334 6484037632 1286993 18446744073709551615 4235264 15874749 140722343886128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 55812096 140722343889308 140722343889385 140722343889385 140722343894987 0
/proc/69854/statm: 1583017 1286993 4416 2842 0 1564711 0
Current children cumulated CPU time: 3152.54 s
Current children cumulated vsize: 6332068 KiB
Current children cumulated memory: 5147972 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.19 4.17 5/253 70202
/proc/meminfo: memFree=109829016/131382116 swapFree=33010684/33010684
[pid=69854] ppid=69851 vsize=6433888 memory=5279692 CPUtime=3212.37 cores=1,3
/proc/69854/stat : 69854 (mixed-bag) R 69851 69854 69377 0 -1 4194304 814265 0 0 0 316915 4322 0 0 20 0 1 0 62665334 6588301312 1319923 18446744073709551615 4235264 15874749 140722343886128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 55812096 140722343889308 140722343889385 140722343889385 140722343894987 0
/proc/69854/statm: 1608472 1319923 4416 2842 0 1590166 0
Current children cumulated CPU time: 3212.37 s
Current children cumulated vsize: 6433888 KiB
Current children cumulated memory: 5279692 KiB

[startup+3282.3 s]
/proc/loadavg: 4.04 4.15 4.16 5/252 70203
/proc/meminfo: memFree=109824468/131382116 swapFree=33010684/33010684
[pid=69854] ppid=69851 vsize=6433888 memory=5279692 CPUtime=3272.21 cores=1,3
/proc/69854/stat : 69854 (mixed-bag) R 69851 69854 69377 0 -1 4194304 815050 0 0 0 322820 4401 0 0 20 0 1 0 62665334 6588301312 1319923 18446744073709551615 4235264 15874749 140722343886128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 55812096 140722343889308 140722343889385 140722343889385 140722343894987 0
/proc/69854/statm: 1608472 1319923 4416 2842 0 1590166 0
Current children cumulated CPU time: 3272.21 s
Current children cumulated vsize: 6433888 KiB
Current children cumulated memory: 5279692 KiB

[startup+3342.3 s]
/proc/loadavg: 4.18 4.17 4.17 5/252 70205
/proc/meminfo: memFree=109804784/131382116 swapFree=33010684/33010684
[pid=69854] ppid=69851 vsize=6443976 memory=5304168 CPUtime=3332.04 cores=1,3
/proc/69854/stat : 69854 (mixed-bag) R 69851 69854 69377 0 -1 4194304 818066 0 0 0 328737 4467 0 0 20 0 1 0 62665334 6598631424 1326042 18446744073709551615 4235264 15874749 140722343886128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 55812096 140722343889308 140722343889385 140722343889385 140722343894987 0
/proc/69854/statm: 1610994 1326042 4416 2842 0 1592688 0
Current children cumulated CPU time: 3332.04 s
Current children cumulated vsize: 6443976 KiB
Current children cumulated memory: 5304168 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.16 4.17 5/252 70207
/proc/meminfo: memFree=109743924/131382116 swapFree=33010684/33010684
[pid=69854] ppid=69851 vsize=6457700 memory=5333940 CPUtime=3391.85 cores=1,3
/proc/69854/stat : 69854 (mixed-bag) R 69851 69854 69377 0 -1 4194304 822138 0 0 0 334649 4536 0 0 20 0 1 0 62665334 6612684800 1333485 18446744073709551615 4235264 15874749 140722343886128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 55812096 140722343889308 140722343889385 140722343889385 140722343894987 0
/proc/69854/statm: 1614425 1333485 4416 2842 0 1596119 0
Current children cumulated CPU time: 3391.85 s
Current children cumulated vsize: 6457700 KiB
Current children cumulated memory: 5333940 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.15 4.16 5/252 70213
/proc/meminfo: memFree=109734068/131382116 swapFree=33010684/33010684
[pid=69854] ppid=69851 vsize=6457700 memory=5333940 CPUtime=3451.66 cores=1,3
/proc/69854/stat : 69854 (mixed-bag) R 69851 69854 69377 0 -1 4194304 822344 0 0 0 340558 4608 0 0 20 0 1 0 62665334 6612684800 1333485 18446744073709551615 4235264 15874749 140722343886128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 55812096 140722343889308 140722343889385 140722343889385 140722343894987 0
/proc/69854/statm: 1614425 1333485 4416 2842 0 1596119 0
Current children cumulated CPU time: 3451.66 s
Current children cumulated vsize: 6457700 KiB
Current children cumulated memory: 5333940 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.13 4.15 5/252 70215
/proc/meminfo: memFree=109696052/131382116 swapFree=33010684/33010684
[pid=69854] ppid=69851 vsize=6478508 memory=5377112 CPUtime=3511.47 cores=1,3
/proc/69854/stat : 69854 (mixed-bag) R 69851 69854 69377 0 -1 4194304 829250 0 0 0 346471 4676 0 0 20 0 1 0 62665334 6633992192 1344278 18446744073709551615 4235264 15874749 140722343886128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 55812096 140722343889308 140722343889385 140722343889385 140722343894987 0
/proc/69854/statm: 1619627 1344278 4416 2842 0 1601321 0
Current children cumulated CPU time: 3511.47 s
Current children cumulated vsize: 6478508 KiB
Current children cumulated memory: 5377112 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.12 4.15 5/252 70218
/proc/meminfo: memFree=109667328/131382116 swapFree=33010684/33010684
[pid=69854] ppid=69851 vsize=6478508 memory=5377112 CPUtime=3571.29 cores=1,3
/proc/69854/stat : 69854 (mixed-bag) R 69851 69854 69377 0 -1 4194304 829482 0 0 0 352373 4756 0 0 20 0 1 0 62665334 6633992192 1344278 18446744073709551615 4235264 15874749 140722343886128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 55812096 140722343889308 140722343889385 140722343889385 140722343894987 0
/proc/69854/statm: 1619627 1344278 4416 2842 0 1601321 0
Current children cumulated CPU time: 3571.29 s
Current children cumulated vsize: 6478508 KiB
Current children cumulated memory: 5377112 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.2 s]
/proc/loadavg: 4.10 4.12 4.15 5/252 70264
/proc/meminfo: memFree=110117696/131382116 swapFree=33010684/33010684
[pid=69854] ppid=69851 vsize=6478508 memory=5377112 CPUtime=3600.08 cores=1,3
/proc/69854/stat : 69854 (mixed-bag) R 69851 69854 69377 0 -1 4194304 829583 0 0 0 355227 4781 0 0 20 0 1 0 62665334 6633992192 1344278 18446744073709551615 4235264 15874749 140722343886128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 55812096 140722343889308 140722343889385 140722343889385 140722343894987 0
/proc/69854/statm: 1619627 1344278 4416 2842 0 1601321 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 6478508 KiB
Current children cumulated memory: 5377112 KiB

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

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

# cumulated CPU time of all completed processes:  user=3552.28 s, system=47.8664 s

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

Child status: 0

Real time (s): 3611.26
CPU time (s): 3600.15
CPU user time (s): 3552.28
CPU system time (s): 47.8664
CPU usage (%): 99.6922
Max. virtual memory (cumulated for all children) (KiB): 6478508
Max. memory (cumulated for all children) (KiB): 5377112

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3552.28
system time used= 47.8664
maximum resident set size= 5377752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 829615
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= 767
involuntary context switches= 1976


# summary of solver processes directly reported to runsolver:
#   pid: 69854
#   total CPU time (s): 3600.15
#   total CPU user time (s): 3552.28
#   total CPU system time (s): 47.8664

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.4871 second user time and 33.0749 second system time

The end

Launcher Data 

Begin job on nodeC011 at 2025-07-02 17:24:16
IDJOB=4502821
IDBENCH=155399
IDSOLVER=3340
FILE ID=nodeC011/4502821-1751469855
RUNJOBID= nodeC011-1751466235-69389
SLURM_JOB_ID= 9598483
Free space on /tmp= 430680 MiB

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

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

MD5SUM BENCH= a008918ff26f135f427f5632a2cbbc59
RANDOM SEED=1938049780

nodeC011 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	: 0xb00001f
cpu MHz		: 3662.594
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6984.20
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	: 0xb00001f
cpu MHz		: 1197.278
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6984.20
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	: 0xb00001f
cpu MHz		: 1197.942
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6984.20
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	: 0xb00001f
cpu MHz		: 3700.000
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6984.20
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	: 0xb00001f
cpu MHz		: 3662.498
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6984.20
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	: 0xb00001f
cpu MHz		: 3492.102
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6984.20
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	: 0xb00001f
cpu MHz		: 3700.000
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6984.20
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	: 0xb00001f
cpu MHz		: 3700.000
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6984.20
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        122966968 kB
MemAvailable:   124654228 kB
Buffers:            3276 kB
Cached:          2490296 kB
SwapCached:            0 kB
Active:          5704056 kB
Inactive:        2062460 kB
Active(anon):    5288800 kB
Inactive(anon):     2104 kB
Active(file):     415256 kB
Inactive(file):  2060356 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             97828 kB
Writeback:             4 kB
AnonPages:       5273580 kB
Mapped:           136168 kB
Shmem:             17960 kB
KReclaimable:     102168 kB
Slab:             187020 kB
SReclaimable:     102168 kB
SUnreclaim:        84852 kB
KernelStack:        4048 kB
PageTables:        13644 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    6157960 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149368 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1005568 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:      191304 kB
DirectMap2M:     8099840 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 430532 MiB
End job on nodeC011 at 2025-07-02 18:24:28