Trace number 4529119

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-07-10? (TO) 3600.13 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_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.01	c RoundingSat 2
0.00/0.01	c branch 
0.00/0.01	c commit 
0.00/0.01	c with Papilo
0.00/0.01	c with SCIP
0.00/0.01	c [STEP] parsing instance
3.47/3.52	c [STEP] preprocessing with Papilo
4.17/4.22	c Papilo could not simplify the problem
4.17/4.22	c [STEP] solving with SCIP
304.32/305.26	c [STEP] preprocessing done, loading into solver
305.13/306.04	c [STEP] solving
305.13/306.04	c #variables 15313 #constraints 65280
305.13/306.04	c SMALL=int, LARGE=long long
305.13/306.05	d SCIPUB 80
305.13/306.05	c bounds - >= 0 @ 303.111
305.13/306.05	c stratification level: 0
777.23/779.50	c bounds - >= 1 @ 303.275
777.23/779.50	c bounds - >= 2 @ 303.279
777.23/779.50	c bounds - >= 3 @ 303.286
777.23/779.50	c bounds - >= 4 @ 303.29
777.23/779.50	c bounds - >= 5 @ 303.295
777.23/779.50	c bounds - >= 6 @ 303.3
777.23/779.50	c bounds - >= 7 @ 303.306
777.23/779.50	c bounds - >= 8 @ 303.312
777.23/779.50	c bounds - >= 9 @ 303.317
777.23/779.50	c bounds - >= 10 @ 303.323
777.23/779.50	c bounds - >= 11 @ 303.332
777.23/779.50	c bounds - >= 12 @ 303.338
777.23/779.50	c bounds - >= 13 @ 303.342
777.23/779.50	c bounds - >= 14 @ 303.362
777.23/779.50	c bounds - >= 15 @ 303.367
777.23/779.50	c bounds - >= 16 @ 303.372
777.23/779.50	c bounds - >= 17 @ 303.378
777.23/779.50	c bounds - >= 18 @ 303.383
777.23/779.50	c bounds - >= 19 @ 303.389
777.23/779.50	c bounds - >= 20 @ 303.396
777.23/779.50	c #Conflicts:       1000 | #Constraints:      66300
777.23/779.50	c #Conflicts:       2000 | #Constraints:      67300
777.23/779.50	c INPROCESSING
777.23/779.50	c GARBAGE COLLECT
777.23/779.50	c #Conflicts:       3000 | #Constraints:      67294
777.23/779.50	c #Conflicts:       4000 | #Constraints:      68294
777.23/779.50	c INPROCESSING
777.23/779.50	c GARBAGE COLLECT
777.23/779.50	c #Conflicts:       5000 | #Constraints:      67692
777.23/779.50	c #Conflicts:       6000 | #Constraints:      68692
777.23/779.50	c INPROCESSING
777.23/779.50	c GARBAGE COLLECT
777.23/779.50	c #Conflicts:       7000 | #Constraints:      67692
777.23/779.50	c #Conflicts:       8000 | #Constraints:      68692
777.23/779.50	c #Conflicts:       9000 | #Constraints:      69692
777.23/779.50	c INPROCESSING
777.23/779.50	c GARBAGE COLLECT
777.23/779.50	c #Conflicts:      10000 | #Constraints:      68394
777.23/779.50	c #Conflicts:      11000 | #Constraints:      69394
777.23/779.50	c #Conflicts:      12000 | #Constraints:      70394
777.23/779.50	c INPROCESSING
777.23/779.50	c GARBAGE COLLECT
777.23/779.50	c #Conflicts:      13000 | #Constraints:      68846
777.23/779.50	c #Conflicts:      14000 | #Constraints:      69846
777.23/779.50	c #Conflicts:      15000 | #Constraints:      70846
777.23/779.50	c INPROCESSING
777.23/779.50	c GARBAGE COLLECT
777.23/779.50	c #Conflicts:      16000 | #Constraints:      69075
777.23/779.50	c #Conflicts:      17000 | #Constraints:      70075
777.23/779.50	c #Conflicts:      18000 | #Constraints:      71075
777.23/779.50	c INPROCESSING
777.23/779.50	c GARBAGE COLLECT
777.23/779.50	c #Conflicts:      19000 | #Constraints:      69083
777.23/779.50	c #Conflicts:      20000 | #Constraints:      70083
777.23/779.50	c #Conflicts:      21000 | #Constraints:      71083
777.23/779.50	c INPROCESSING
777.23/779.50	c GARBAGE COLLECT
777.23/779.50	c #Conflicts:      22000 | #Constraints:      68895
777.23/779.50	c #Conflicts:      23000 | #Constraints:      69895
777.23/779.50	c #Conflicts:      24000 | #Constraints:      70895
777.23/779.50	c #Conflicts:      25000 | #Constraints:      71895
777.23/779.50	c INPROCESSING
777.23/779.50	c GARBAGE COLLECT
777.23/779.50	c #Conflicts:      26000 | #Constraints:      69497
777.23/779.50	c #Conflicts:      27000 | #Constraints:      70497
777.23/779.50	c #Conflicts:      28000 | #Constraints:      71497
777.23/779.50	c #Conflicts:      29000 | #Constraints:      72497
777.23/779.50	c INPROCESSING
777.23/779.50	c GARBAGE COLLECT
777.23/779.50	c #Conflicts:      30000 | #Constraints:      69901
777.23/779.50	c #Conflicts:      31000 | #Constraints:      70901
777.23/779.50	c #Conflicts:      32000 | #Constraints:      71901
777.23/779.50	c #Conflicts:      33000 | #Constraints:      72901
777.23/779.50	c INPROCESSING
777.23/779.50	c GARBAGE COLLECT
777.23/779.50	c #Conflicts:      34000 | #Constraints:      70103
777.23/779.50	c #Conflicts:      35000 | #Constraints:      71103
777.23/779.50	c #Conflicts:      36000 | #Constraints:      72103
777.23/779.50	c #Conflicts:      37000 | #Constraints:      73103
777.23/779.50	c INPROCESSING
777.23/779.50	c GARBAGE COLLECT
777.23/779.50	c #Conflicts:      38000 | #Constraints:      70104
777.23/779.50	c #Conflicts:      39000 | #Constraints:      71104
777.23/779.50	c #Conflicts:      40000 | #Constraints:      72104
777.23/779.50	c #Conflicts:      41000 | #Constraints:      73104
777.23/779.50	c INPROCESSING
777.23/779.50	c GARBAGE COLLECT
777.23/779.50	c #Conflicts:      42000 | #Constraints:      69904
777.23/779.50	c #Conflicts:      43000 | #Constraints:      70904
777.23/779.50	c #Conflicts:      44000 | #Constraints:      71904
777.23/779.50	c #Conflicts:      45000 | #Constraints:      72904
777.23/779.50	c #Conflicts:      46000 | #Constraints:      73904
777.23/779.50	c INPROCESSING
777.23/779.50	c GARBAGE COLLECT
777.23/779.50	c #Conflicts:      47000 | #Constraints:      70503
777.23/779.50	c #Conflicts:      48000 | #Constraints:      71503
777.23/779.50	c #Conflicts:      49000 | #Constraints:      72503
777.23/779.50	c #Conflicts:      50000 | #Constraints:      73503
777.23/779.50	c #Conflicts:      51000 | #Constraints:      74503
777.23/779.50	c INPROCESSING
777.23/779.50	c GARBAGE COLLECT
777.23/779.50	c #Conflicts:      52000 | #Constraints:      70901
777.23/779.50	c #Conflicts:      53000 | #Constraints:      71901
777.23/779.50	c #Conflicts:      54000 | #Constraints:      72901
777.23/779.50	c #Conflicts:      55000 | #Constraints:      73901
777.23/779.50	c #Conflicts:      56000 | #Constraints:      74901
777.23/779.50	c INPROCESSING
777.23/779.50	c GARBAGE COLLECT
777.23/779.50	c #Conflicts:      57000 | #Constraints:      71101
777.23/779.50	c #Conflicts:      58000 | #Constraints:      72101
777.23/779.50	c #Conflicts:      59000 | #Constraints:      73101
1619.64/1624.46	c #Conflicts:      60000 | #Constraints:      74101
1619.64/1624.46	c #Conflicts:      61000 | #Constraints:      75101
1619.64/1624.46	c INPROCESSING
1619.64/1624.46	c GARBAGE COLLECT
1619.64/1624.46	c #Conflicts:      62000 | #Constraints:      71101
1619.64/1624.46	c #Conflicts:      63000 | #Constraints:      72101
1619.64/1624.46	c #Conflicts:      64000 | #Constraints:      73101
1619.64/1624.46	c #Conflicts:      65000 | #Constraints:      74101
1619.64/1624.46	c #Conflicts:      66000 | #Constraints:      75101
1619.64/1624.46	c INPROCESSING
1619.64/1624.46	c GARBAGE COLLECT
1619.64/1624.46	c #Conflicts:      67000 | #Constraints:      70900
1619.64/1624.46	c #Conflicts:      68000 | #Constraints:      71900
1619.64/1624.46	c #Conflicts:      69000 | #Constraints:      72900
1619.64/1624.46	c #Conflicts:      70000 | #Constraints:      73900
1619.64/1624.46	c #Conflicts:      71000 | #Constraints:      74900
1619.64/1624.46	c #Conflicts:      72000 | #Constraints:      75900
1619.64/1624.46	c INPROCESSING
1619.64/1624.46	c GARBAGE COLLECT
1619.64/1624.46	c #Conflicts:      73000 | #Constraints:      71497
1619.64/1624.46	c #Conflicts:      74000 | #Constraints:      72497
1619.64/1624.46	c #Conflicts:      75000 | #Constraints:      73497
1619.64/1624.46	c #Conflicts:      76000 | #Constraints:      74497
1619.64/1624.46	c #Conflicts:      77000 | #Constraints:      75497
1619.64/1624.46	c #Conflicts:      78000 | #Constraints:      76497
1619.64/1624.46	c INPROCESSING
1619.64/1624.46	c GARBAGE COLLECT
1619.64/1624.46	c #Conflicts:      79000 | #Constraints:      71898
1619.64/1624.46	c #Conflicts:      80000 | #Constraints:      72898
1619.64/1624.46	c #Conflicts:      81000 | #Constraints:      73898
1619.64/1624.46	c #Conflicts:      82000 | #Constraints:      74898
1619.64/1624.46	c #Conflicts:      83000 | #Constraints:      75898
1619.64/1624.46	c #Conflicts:      84000 | #Constraints:      76898
1619.64/1624.46	c INPROCESSING
1619.64/1624.46	c GARBAGE COLLECT
1619.64/1624.46	c #Conflicts:      85000 | #Constraints:      72101
1619.64/1624.46	c #Conflicts:      86000 | #Constraints:      73101
1619.64/1624.46	c #Conflicts:      87000 | #Constraints:      74101
1619.64/1624.46	c #Conflicts:      88000 | #Constraints:      75101
1619.64/1624.46	c #Conflicts:      89000 | #Constraints:      76101
1619.64/1624.46	c #Conflicts:      90000 | #Constraints:      77101
1619.64/1624.46	c INPROCESSING
1619.64/1624.46	c GARBAGE COLLECT
1619.64/1624.46	c #Conflicts:      91000 | #Constraints:      72103
1619.64/1624.46	c #Conflicts:      92000 | #Constraints:      73103
1619.64/1624.46	c #Conflicts:      93000 | #Constraints:      74103
1619.64/1624.46	c #Conflicts:      94000 | #Constraints:      75103
1619.64/1624.46	c #Conflicts:      95000 | #Constraints:      76103
1619.64/1624.46	c #Conflicts:      96000 | #Constraints:      77103
1619.64/1624.46	c INPROCESSING
1619.64/1624.46	c GARBAGE COLLECT
1619.64/1624.46	c #Conflicts:      97000 | #Constraints:      71902
1619.64/1624.46	c #Conflicts:      98000 | #Constraints:      72902
1619.64/1624.46	c #Conflicts:      99000 | #Constraints:      73902
1619.64/1624.46	c #Conflicts:     100000 | #Constraints:      74902
1619.64/1624.46	c #Conflicts:     101000 | #Constraints:      75902
1619.64/1624.46	c #Conflicts:     102000 | #Constraints:      76902
1619.64/1624.46	c #Conflicts:     103000 | #Constraints:      77902
1619.64/1624.46	c INPROCESSING
1619.64/1624.46	c GARBAGE COLLECT
1619.64/1624.46	c #Conflicts:     104000 | #Constraints:      72505
1619.64/1624.46	c #Conflicts:     105000 | #Constraints:      73505
1619.64/1624.46	c #Conflicts:     106000 | #Constraints:      74505
1619.64/1624.46	c #Conflicts:     107000 | #Constraints:      75505
1619.64/1624.46	c #Conflicts:     108000 | #Constraints:      76505
1619.64/1624.46	c #Conflicts:     109000 | #Constraints:      77505
1619.64/1624.46	c #Conflicts:     110000 | #Constraints:      78505
1619.64/1624.46	c INPROCESSING
1619.64/1624.46	c GARBAGE COLLECT
1619.64/1624.46	c #Conflicts:     111000 | #Constraints:      72906
1619.64/1624.46	c #Conflicts:     112000 | #Constraints:      73906
1619.64/1624.46	c #Conflicts:     113000 | #Constraints:      74906
1619.64/1624.46	c #Conflicts:     114000 | #Constraints:      75906
1619.64/1624.46	c #Conflicts:     115000 | #Constraints:      76906
1619.64/1624.46	c #Conflicts:     116000 | #Constraints:      77906
1619.64/1624.46	c #Conflicts:     117000 | #Constraints:      78906
1619.64/1624.46	c INPROCESSING
1619.64/1624.46	c GARBAGE COLLECT
1619.64/1624.46	c #Conflicts:     118000 | #Constraints:      73103
1619.64/1624.46	c #Conflicts:     119000 | #Constraints:      74103
1619.64/1624.46	c #Conflicts:     120000 | #Constraints:      75103
1619.64/1624.46	c #Conflicts:     121000 | #Constraints:      76103
1619.64/1624.46	c #Conflicts:     122000 | #Constraints:      77103
1619.64/1624.46	c #Conflicts:     123000 | #Constraints:      78103
1619.64/1624.46	c #Conflicts:     124000 | #Constraints:      79103
1619.64/1624.46	c INPROCESSING
1619.64/1624.46	c GARBAGE COLLECT
1619.64/1624.46	c #Conflicts:     125000 | #Constraints:      73104
1619.64/1624.46	c #Conflicts:     126000 | #Constraints:      74104
1619.64/1624.46	c #Conflicts:     127000 | #Constraints:      75104
1619.64/1624.46	c #Conflicts:     128000 | #Constraints:      76104
1619.64/1624.46	c #Conflicts:     129000 | #Constraints:      77104
1619.64/1624.46	c #Conflicts:     130000 | #Constraints:      78104
1619.64/1624.46	c #Conflicts:     131000 | #Constraints:      79104
2595.28/2603.10	c INPROCESSING
2595.28/2603.10	c GARBAGE COLLECT
2595.28/2603.10	c #Conflicts:     132000 | #Constraints:      72903
2595.28/2603.10	c #Conflicts:     133000 | #Constraints:      73903
2595.28/2603.10	c #Conflicts:     134000 | #Constraints:      74903
2595.28/2603.10	c #Conflicts:     135000 | #Constraints:      75903
2595.28/2603.10	c #Conflicts:     136000 | #Constraints:      76903
2595.28/2603.10	c #Conflicts:     137000 | #Constraints:      77903
2595.28/2603.10	c #Conflicts:     138000 | #Constraints:      78903
2595.28/2603.10	c #Conflicts:     139000 | #Constraints:      79903
2595.28/2603.10	c INPROCESSING
2595.28/2603.10	c GARBAGE COLLECT
2595.28/2603.10	c #Conflicts:     140000 | #Constraints:      73501
2595.28/2603.10	c #Conflicts:     141000 | #Constraints:      74501
2595.28/2603.10	c #Conflicts:     142000 | #Constraints:      75501
2595.28/2603.10	c #Conflicts:     143000 | #Constraints:      76501
2595.28/2603.10	c #Conflicts:     144000 | #Constraints:      77501
2595.28/2603.10	c #Conflicts:     145000 | #Constraints:      78501
2595.28/2603.10	c #Conflicts:     146000 | #Constraints:      79501
2595.28/2603.10	c #Conflicts:     147000 | #Constraints:      80501
2595.28/2603.10	c INPROCESSING
2595.28/2603.10	c GARBAGE COLLECT
2595.28/2603.10	c #Conflicts:     148000 | #Constraints:      73906
2595.28/2603.10	c #Conflicts:     149000 | #Constraints:      74906
2595.28/2603.10	c #Conflicts:     150000 | #Constraints:      75906
2595.28/2603.10	c #Conflicts:     151000 | #Constraints:      76906
2595.28/2603.10	c #Conflicts:     152000 | #Constraints:      77906
2595.28/2603.10	c #Conflicts:     153000 | #Constraints:      78906
2595.28/2603.10	c #Conflicts:     154000 | #Constraints:      79906
2595.28/2603.10	c #Conflicts:     155000 | #Constraints:      80906
2595.28/2603.10	c INPROCESSING
2595.28/2603.10	c GARBAGE COLLECT
2595.28/2603.10	c #Conflicts:     156000 | #Constraints:      74106
2595.28/2603.10	c #Conflicts:     157000 | #Constraints:      75106
2595.28/2603.10	c #Conflicts:     158000 | #Constraints:      76106
2595.28/2603.10	c #Conflicts:     159000 | #Constraints:      77106
2595.28/2603.10	c #Conflicts:     160000 | #Constraints:      78106
2595.28/2603.10	c #Conflicts:     161000 | #Constraints:      79106
2595.28/2603.10	c #Conflicts:     162000 | #Constraints:      80106
2595.28/2603.10	c #Conflicts:     163000 | #Constraints:      81106
2595.28/2603.10	c INPROCESSING
2595.28/2603.10	c GARBAGE COLLECT
2595.28/2603.10	c #Conflicts:     164000 | #Constraints:      74111
2595.28/2603.10	c #Conflicts:     165000 | #Constraints:      75111
2595.28/2603.10	c #Conflicts:     166000 | #Constraints:      76111
2595.28/2603.10	c #Conflicts:     167000 | #Constraints:      77111
2595.28/2603.10	c #Conflicts:     168000 | #Constraints:      78111
2595.28/2603.10	c #Conflicts:     169000 | #Constraints:      79111
2595.28/2603.10	c #Conflicts:     170000 | #Constraints:      80111
2595.28/2603.10	c #Conflicts:     171000 | #Constraints:      81111
2595.28/2603.10	c INPROCESSING
2595.28/2603.10	c GARBAGE COLLECT
2595.28/2603.10	c #Conflicts:     172000 | #Constraints:      73911
2595.28/2603.10	c #Conflicts:     173000 | #Constraints:      74911
2595.28/2603.10	c #Conflicts:     174000 | #Constraints:      75911
2595.28/2603.10	c #Conflicts:     175000 | #Constraints:      76911
2595.28/2603.10	c #Conflicts:     176000 | #Constraints:      77911
2595.28/2603.10	c #Conflicts:     177000 | #Constraints:      78911
2595.28/2603.10	c #Conflicts:     178000 | #Constraints:      79911
2595.28/2603.10	c #Conflicts:     179000 | #Constraints:      80911
2595.28/2603.10	c #Conflicts:     180000 | #Constraints:      81911
2595.28/2603.10	c INPROCESSING
2595.28/2603.10	c GARBAGE COLLECT
2595.28/2603.10	c #Conflicts:     181000 | #Constraints:      74512
2595.28/2603.10	c #Conflicts:     182000 | #Constraints:      75512
2595.28/2603.10	c #Conflicts:     183000 | #Constraints:      76512
2595.28/2603.10	c #Conflicts:     184000 | #Constraints:      77512
2595.28/2603.10	c #Conflicts:     185000 | #Constraints:      78512
2595.28/2603.10	c #Conflicts:     186000 | #Constraints:      79512
2595.28/2603.10	c #Conflicts:     187000 | #Constraints:      80512
2595.28/2603.10	c #Conflicts:     188000 | #Constraints:      81512
2595.28/2603.10	c #Conflicts:     189000 | #Constraints:      82512
2595.28/2603.10	c INPROCESSING
2595.28/2603.10	c GARBAGE COLLECT
2595.28/2603.10	c #Conflicts:     190000 | #Constraints:      74910
2595.28/2603.10	c #Conflicts:     191000 | #Constraints:      75910
2595.28/2603.10	c #Conflicts:     192000 | #Constraints:      76910
2595.28/2603.10	c #Conflicts:     193000 | #Constraints:      77910
2595.28/2603.10	c #Conflicts:     194000 | #Constraints:      78910
2595.28/2603.10	c #Conflicts:     195000 | #Constraints:      79910
2595.28/2603.10	c #Conflicts:     196000 | #Constraints:      80910
2595.28/2603.10	c #Conflicts:     197000 | #Constraints:      81910
2595.28/2603.10	c #Conflicts:     198000 | #Constraints:      82910
2595.28/2603.10	c INPROCESSING
2595.28/2603.10	c GARBAGE COLLECT
2595.28/2603.10	c #Conflicts:     199000 | #Constraints:      75115
2595.28/2603.10	c #Conflicts:     200000 | #Constraints:      76115
2595.28/2603.10	c #Conflicts:     201000 | #Constraints:      77115
2595.28/2603.10	c #Conflicts:     202000 | #Constraints:      78115
2595.28/2603.10	c #Conflicts:     203000 | #Constraints:      79115
2595.28/2603.10	c #Conflicts:     204000 | #Constraints:      80115
3600.04/3610.70	c #Conflicts:     205000 | #Constraints:      81115
3600.04/3610.70	c #Conflicts:     206000 | #Constraints:      82115
3600.04/3610.70	c #Conflicts:     207000 | #Constraints:      83115
3600.04/3610.70	c INPROCESSING
3600.04/3610.70	c GARBAGE COLLECT
3600.04/3610.70	c #Conflicts:     208000 | #Constraints:      75111
3600.04/3610.70	c #Conflicts:     209000 | #Constraints:      76111
3600.04/3610.70	c #Conflicts:     210000 | #Constraints:      77111
3600.04/3610.70	c #Conflicts:     211000 | #Constraints:      78111
3600.04/3610.70	c #Conflicts:     212000 | #Constraints:      79111
3600.04/3610.70	c #Conflicts:     213000 | #Constraints:      80111
3600.04/3610.70	c #Conflicts:     214000 | #Constraints:      81111
3600.04/3610.70	c #Conflicts:     215000 | #Constraints:      82111
3600.04/3610.70	c #Conflicts:     216000 | #Constraints:      83111
3600.04/3610.70	c INPROCESSING
3600.04/3610.70	c GARBAGE COLLECT
3600.04/3610.70	c #Conflicts:     217000 | #Constraints:      74906
3600.04/3610.70	c #Conflicts:     218000 | #Constraints:      75906
3600.04/3610.70	c #Conflicts:     219000 | #Constraints:      76906
3600.04/3610.70	c #Conflicts:     220000 | #Constraints:      77906
3600.04/3610.70	c #Conflicts:     221000 | #Constraints:      78906
3600.04/3610.70	c #Conflicts:     222000 | #Constraints:      79906
3600.04/3610.70	c #Conflicts:     223000 | #Constraints:      80906
3600.04/3610.70	c #Conflicts:     224000 | #Constraints:      81906
3600.04/3610.70	c #Conflicts:     225000 | #Constraints:      82906
3600.04/3610.70	c #Conflicts:     226000 | #Constraints:      83906
3600.04/3610.70	c INPROCESSING
3600.04/3610.70	c GARBAGE COLLECT
3600.04/3610.70	c #Conflicts:     227000 | #Constraints:      75509
3600.04/3610.70	c #Conflicts:     228000 | #Constraints:      76509
3600.04/3610.70	c #Conflicts:     229000 | #Constraints:      77509
3600.04/3610.70	c #Conflicts:     230000 | #Constraints:      78509
3600.04/3610.70	c #Conflicts:     231000 | #Constraints:      79509
3600.04/3610.70	c #Conflicts:     232000 | #Constraints:      80509
3600.04/3610.70	c #Conflicts:     233000 | #Constraints:      81509
3600.04/3610.70	c #Conflicts:     234000 | #Constraints:      82509
3600.04/3610.70	c #Conflicts:     235000 | #Constraints:      83509
3600.04/3610.70	c #Conflicts:     236000 | #Constraints:      84509
3600.04/3610.70	c INPROCESSING
3600.04/3610.70	c GARBAGE COLLECT
3600.04/3610.70	c #Conflicts:     237000 | #Constraints:      75904
3600.04/3610.70	c #Conflicts:     238000 | #Constraints:      76904
3600.04/3610.70	c #Conflicts:     239000 | #Constraints:      77904
3600.04/3610.70	c #Conflicts:     240000 | #Constraints:      78904
3600.04/3610.70	c #Conflicts:     241000 | #Constraints:      79904
3600.04/3610.70	c #Conflicts:     242000 | #Constraints:      80904
3600.04/3610.70	c #Conflicts:     243000 | #Constraints:      81904
3600.04/3610.70	c #Conflicts:     244000 | #Constraints:      82904
3600.04/3610.70	c #Conflicts:     245000 | #Constraints:      83904
3600.04/3610.70	c #Conflicts:     246000 | #Constraints:      84904
3600.04/3610.70	c INPROCESSING
3600.04/3610.70	c GARBAGE COLLECT
3600.04/3610.70	c #Conflicts:     247000 | #Constraints:      76103
3600.04/3610.70	c #Conflicts:     248000 | #Constraints:      77103
3600.04/3610.70	c #Conflicts:     249000 | #Constraints:      78103
3600.04/3610.70	c #Conflicts:     250000 | #Constraints:      79103
3600.04/3610.70	c #Conflicts:     251000 | #Constraints:      80103
3600.04/3610.70	c #Conflicts:     252000 | #Constraints:      81103
3600.04/3610.70	c #Conflicts:     253000 | #Constraints:      82103
3600.04/3610.70	c #Conflicts:     254000 | #Constraints:      83103
3600.04/3610.70	c #Conflicts:     255000 | #Constraints:      84103
3600.04/3610.70	c #Conflicts:     256000 | #Constraints:      85103
3600.04/3610.70	c INPROCESSING
3600.04/3610.70	c GARBAGE COLLECT
3600.04/3610.70	c #Conflicts:     257000 | #Constraints:      76106
3600.04/3610.70	c #Conflicts:     258000 | #Constraints:      77106
3600.04/3610.70	c #Conflicts:     259000 | #Constraints:      78106
3600.04/3610.70	c #Conflicts:     260000 | #Constraints:      79106
3600.04/3610.70	c #Conflicts:     261000 | #Constraints:      80106
3600.04/3610.70	c #Conflicts:     262000 | #Constraints:      81106
3600.04/3610.70	c #Conflicts:     263000 | #Constraints:      82106
3600.04/3610.70	c #Conflicts:     264000 | #Constraints:      83106
3600.04/3610.70	c #Conflicts:     265000 | #Constraints:      84106
3600.04/3610.70	c #Conflicts:     266000 | #Constraints:      85106
3600.04/3610.70	c INPROCESSING
3600.04/3610.70	c GARBAGE COLLECT
3600.04/3610.70	c #Conflicts:     267000 | #Constraints:      75910
3600.04/3610.70	c #Conflicts:     268000 | #Constraints:      76910
3600.04/3610.70	c #Conflicts:     269000 | #Constraints:      77910
3600.04/3610.70	c #Conflicts:     270000 | #Constraints:      78910
3600.04/3610.70	c #Conflicts:     271000 | #Constraints:      79910
3600.04/3610.70	c #Conflicts:     272000 | #Constraints:      80910
3600.04/3610.70	c #Conflicts:     273000 | #Constraints:      81910
3600.04/3610.70	c #Conflicts:     274000 | #Constraints:      82910
3600.04/3610.70	c #Conflicts:     275000 | #Constraints:      83910
3600.04/3610.70	c #Conflicts:     276000 | #Constraints:      84910
3600.04/3610.70	c Program interrupted by user.
3600.04/3610.70	c cpu time 3554.01 s
3600.04/3610.70	c deterministic time 189443912727 1.89e+11
3600.04/3610.70	c optimization time 132.793 s
3600.04/3610.70	c total solve time 3118.11 s
3600.04/3610.70	c core-guided solve time 3118.11 s
3600.04/3610.70	c propagation time 1878.13 s
3600.04/3610.70	c conflict analysis time 994.199 s
3600.04/3610.70	c propagations 249646418
3600.04/3610.70	c resolve steps 1076826
3600.04/3610.70	c decisions 60080599
3600.04/3610.70	c conflicts 276310
3600.04/3610.70	c restarts 645
3600.04/3610.70	c inprocessing phases 43
3600.04/3610.70	c input clauses 65281
3600.04/3610.70	c input cardinalities 20
3600.04/3610.70	c input general constraints 0
3600.04/3610.70	c input average constraint length 86.22
3600.04/3610.70	c input average constraint degree 1.24
3600.04/3610.70	c learned clauses 9725
3600.04/3610.70	c learned cardinalities 46
3600.04/3610.70	c learned general constraints 266538
3600.04/3610.70	c learned average constraint length 13541.16
3600.04/3610.70	c learned average constraint degree 3660414.18
3600.04/3610.70	c watched constraints 5514
3600.04/3610.70	c counting constraints 261024
3600.04/3610.70	c gcd simplifications 1268
3600.04/3610.70	c detected cardinalities 0
3600.04/3610.70	c weakened non-implied lits 101435406
3600.04/3610.70	c weakened non-implying lits 12054
3600.04/3610.70	c original variables 15312
3600.04/3610.70	c clausal propagations 3713671
3600.04/3610.70	c cardinality propagations 4352
3600.04/3610.70	c watched propagations 451706
3600.04/3610.70	c counting propagations 245191279
3600.04/3610.70	c watch lookups 26872913061
3600.04/3610.70	c watch backjump lookups 26837019170
3600.04/3610.70	c watch checks 9622657777
3600.04/3610.70	c propagation checks 116407791743
3600.04/3610.70	c constraint additions 9083815369
3600.04/3610.70	c trail pops 309988589
3600.04/3610.70	c formula constraints 65280
3600.04/3610.70	c learned constraints 276309
3600.04/3610.70	c bound constraints 21
3600.04/3610.70	c core-guided constraints 0
3600.04/3610.70	c encountered formula constraints 726266
3600.04/3610.70	c encountered learned constraints 626801
3600.04/3610.70	c encountered bound constraints 69
3600.04/3610.70	c encountered core-guided constraints 0
3600.04/3610.70	c LP total time 0 s
3600.04/3610.70	c LP solve time 0 s
3600.04/3610.70	c LP constraints added 0
3600.04/3610.70	c LP constraints removed 0
3600.04/3610.70	c LP pivots internal 0
3600.04/3610.70	c LP pivots root 0
3600.04/3610.70	c LP calls 0
3600.04/3610.70	c LP optimalities 0
3600.04/3610.70	c LP no pivot count 0
3600.04/3610.70	c LP infeasibilities 0
3600.04/3610.70	c LP valid Farkas constraints 0
3600.04/3610.70	c LP learned Farkas constraints 0
3600.04/3610.70	c LP basis resets 0
3600.04/3610.70	c LP cycling count 0
3600.04/3610.70	c LP singular count 0
3600.04/3610.70	c LP no primal count 0
3600.04/3610.70	c LP no farkas count 0
3600.04/3610.70	c LP other issue count 0
3600.04/3610.70	c LP Gomory cuts 0
3600.04/3610.70	c LP learned cuts 0
3600.04/3610.70	c LP deleted cuts 0
3600.04/3610.70	c LP encountered Gomory constraints 0
3600.04/3610.70	c LP encountered Farkas constraints 0
3600.04/3610.70	c LP encountered learned Farkas constraints 0
3600.04/3610.70	c CG auxiliary variables introduced 0
3600.04/3610.70	c CG solutions found 0
3600.04/3610.70	c CG cores constructed 20
3600.04/3610.70	c CG core cardinality constraints returned 0
3600.04/3610.70	c CG unit cores 0
3600.04/3610.70	c CG single cores 20
3600.04/3610.70	c CG blocks removed during cardinality reduction 0
3600.04/3610.70	c CG first core best 0
3600.04/3610.70	c CG decision core best 0
3600.04/3610.70	c CG core reduction tie 0
3600.04/3610.70	c CG core degree average 1.00
3600.04/3610.70	c CG core slack average 76.65
3600.04/3610.70	c CG exhausted 0
3600.04/3610.70	c CG exhaust time 0 s
3600.04/3610.70	c CG trimmed 0
3600.04/3610.70	c CG trim time 0.001327 s
3600.04/3610.70	c CG minimized 0
3600.04/3610.70	c CG minimize time 0 s
3600.04/3610.70	c CG am1 prop time 0.027023 s
3600.04/3610.70	c CG # am1s reformulated 0
3600.04/3610.70	c CG lower bound derived from am1s 0
3600.04/3610.70	c CG # clausal cores 20
3600.04/3610.70	c CG # cardinality cores 0
3600.04/3610.70	c CG # pb cores 0
3600.04/3610.70	c CG # pb reforms 0
3600.04/3610.70	c CG # cores discarded because of pb reform 0
3600.04/3610.70	d LOWERBOUND 20
3600.04/3610.70	d NCORES 20
3600.04/3610.70	d NPBCORES 0
3600.04/3610.70	d NPBREFORM 0
3600.04/3610.70	d NTRIMMED 0
3600.04/3610.70	d NEXHAUSTED 0
3600.04/3610.70	d NAM1S 0
3600.04/3610.70	d AM1LB 0
3600.04/3610.70	c [Papilo Statistics]
3600.04/3610.70	c prepro time 0.703233s
3600.04/3610.70	c # tsx applied 0
3600.04/3610.70	c # tsx conflicts 0
3600.04/3610.70	c # bound changes 0
3600.04/3610.70	c # side changes 0
3600.04/3610.70	c # coef changes 0
3600.04/3610.70	c # rounds 1
3600.04/3610.70	c # deted vars 0
3600.04/3610.70	c # deted constrs 0
3600.04/3610.70	c # consecutive rounds of only bound changes 0
3600.04/3610.76	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: 63665 MiB (61365 MiB free)
  memory of node 1: 64507 MiB (56233 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529119-1752260154/watcher-4529119-1752260154 -o /tmp/evaluation-result-4529119-1752260154/solver-4529119-1752260154 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1752256448-119450 --watchdog 3760 mixed-bag HOME/instance-4529119-1752260154.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=120091, runsolver pid=120088
Current StackSize limit: 8192 KiB


[startup+0.100062 s]*
/proc/loadavg: 4.37 4.16 4.11 5/262 120092
/proc/meminfo: memFree=120420992/131249996 swapFree=33010416/33010684
[pid=120091] ppid=120088 vsize=93868 memory=19604 CPUtime=0.09 cores=0,2
/proc/120091/stat : 120091 (mixed-bag) R 120088 120091 119440 0 -1 4194304 3541 0 0 0 9 0 0 0 20 0 1 0 141693204 96120832 4901 18446744073709551615 4235264 15840557 140730234225872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 35414016 140730234231194 140730234231271 140730234231271 140730234236875 0
/proc/120091/statm: 23467 4901 2112 2834 0 6219 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 93868 KiB
Current children cumulated memory: 19604 KiB

[startup+0.20539 s]*
/proc/loadavg: 4.37 4.16 4.11 5/262 120092
/proc/meminfo: memFree=120420740/131249996 swapFree=33010416/33010684
[pid=120091] ppid=120088 vsize=102060 memory=25916 CPUtime=0.19 cores=0,2
/proc/120091/stat : 120091 (mixed-bag) R 120088 120091 119440 0 -1 4194304 4091 0 0 0 19 0 0 0 20 0 1 0 141693204 104509440 6479 18446744073709551615 4235264 15840557 140730234225872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 35414016 140730234231194 140730234231271 140730234231271 140730234236875 0
/proc/120091/statm: 25515 6479 2112 2834 0 8267 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 102060 KiB
Current children cumulated memory: 25916 KiB

[startup+0.305328 s]*
/proc/loadavg: 4.37 4.16 4.11 5/262 120092
/proc/meminfo: memFree=120414596/131249996 swapFree=33010416/33010684
[pid=120091] ppid=120088 vsize=118444 memory=30116 CPUtime=0.29 cores=0,2
/proc/120091/stat : 120091 (mixed-bag) R 120088 120091 119440 0 -1 4194304 4639 0 0 0 28 1 0 0 20 0 1 0 141693204 121286656 7529 18446744073709551615 4235264 15840557 140730234225872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 35414016 140730234231194 140730234231271 140730234231271 140730234236875 0
/proc/120091/statm: 29611 7529 2112 2834 0 12363 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 118444 KiB
Current children cumulated memory: 30116 KiB

[startup+0.700166 s]
/proc/loadavg: 4.37 4.16 4.11 5/262 120092
/proc/meminfo: memFree=120406404/131249996 swapFree=33010416/33010684
[pid=120091] ppid=120088 vsize=151212 memory=53044 CPUtime=0.68 cores=0,2
/proc/120091/stat : 120091 (mixed-bag) R 120088 120091 119440 0 -1 4194304 5283 0 0 0 66 2 0 0 20 0 1 0 141693204 154841088 13261 18446744073709551615 4235264 15840557 140730234225872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 35414016 140730234231194 140730234231271 140730234231271 140730234236875 0
/proc/120091/statm: 37803 13261 2112 2834 0 20555 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 151212 KiB
Current children cumulated memory: 53044 KiB

[startup+1.50015 s]
/proc/loadavg: 4.37 4.16 4.11 5/262 120092
/proc/meminfo: memFree=120381860/131249996 swapFree=33010416/33010684
[pid=120091] ppid=120088 vsize=216748 memory=98956 CPUtime=1.48 cores=0,2
/proc/120091/stat : 120091 (mixed-bag) R 120088 120091 119440 0 -1 4194304 6058 0 0 0 143 5 0 0 20 0 1 0 141693204 221949952 24739 18446744073709551615 4235264 15840557 140730234225872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 35414016 140730234231194 140730234231271 140730234231271 140730234236875 0
/proc/120091/statm: 54187 24739 2112 2834 0 36939 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 216748 KiB
Current children cumulated memory: 98956 KiB

[startup+3.10525 s]
/proc/loadavg: 4.43 4.17 4.11 5/262 120092
/proc/meminfo: memFree=120267500/131249996 swapFree=33010416/33010684
[pid=120091] ppid=120088 vsize=475816 memory=299860 CPUtime=3.08 cores=0,2
/proc/120091/stat : 120091 (mixed-bag) R 120088 120091 119440 0 -1 4194304 8337 0 0 0 295 13 0 0 20 0 1 0 141693204 487235584 74965 18446744073709551615 4235264 15840557 140730234225872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 35414016 140730234231194 140730234231271 140730234231271 140730234236875 0
/proc/120091/statm: 118954 74965 2144 2834 0 101706 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 475816 KiB
Current children cumulated memory: 299860 KiB

[startup+6.30016 s]
/proc/loadavg: 4.43 4.17 4.11 5/262 120092
/proc/meminfo: memFree=119236844/131249996 swapFree=33010416/33010684
[pid=120091] ppid=120088 vsize=1486744 memory=1303024 CPUtime=6.26 cores=0,2
/proc/120091/stat : 120091 (mixed-bag) R 120088 120091 119440 0 -1 4194304 203950 0 0 0 568 58 0 0 20 0 1 0 141693204 1522425856 325234 18446744073709551615 4235264 15840557 140730234225872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 35414016 140730234231194 140730234231271 140730234231271 140730234236875 0
/proc/120091/statm: 371686 325756 3968 2834 0 353891 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 1486744 KiB
Current children cumulated memory: 1303024 KiB

[startup+12.7002 s]
/proc/loadavg: 4.51 4.20 4.12 5/262 120092
/proc/meminfo: memFree=118197888/131249996 swapFree=33010416/33010684
[pid=120091] ppid=120088 vsize=2186248 memory=1949336 CPUtime=12.64 cores=0,2
/proc/120091/stat : 120091 (mixed-bag) R 120088 120091 119440 0 -1 4194304 323571 0 0 0 1162 102 0 0 20 0 1 0 141693204 2238717952 487334 18446744073709551615 4235264 15840557 140730234225872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 35414016 140730234231194 140730234231271 140730234231271 140730234236875 0
/proc/120091/statm: 546562 487334 4032 2834 0 528767 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 2186248 KiB
Current children cumulated memory: 1949336 KiB

[startup+25.5002 s]
/proc/loadavg: 4.43 4.19 4.12 5/262 120093
/proc/meminfo: memFree=115617888/131249996 swapFree=33010416/33010684
[pid=120091] ppid=120088 vsize=5392280 memory=4809440 CPUtime=25.41 cores=0,2
/proc/120091/stat : 120091 (mixed-bag) R 120088 120091 119440 0 -1 4194304 350895 0 0 0 2375 166 0 0 20 0 1 0 141693204 5521694720 1202360 18446744073709551615 4235264 15840557 140730234225872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 35414016 140730234231194 140730234231271 140730234231271 140730234236875 0
/proc/120091/statm: 1348070 1202360 4064 2834 0 1330275 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 5392280 KiB
Current children cumulated memory: 4809440 KiB

[startup+51.1054 s]
/proc/loadavg: 4.36 4.19 4.12 5/263 120094
/proc/meminfo: memFree=115352384/131249996 swapFree=33010416/33010684
[pid=120091] ppid=120088 vsize=5205584 memory=4677512 CPUtime=50.94 cores=0,2
/proc/120091/stat : 120091 (mixed-bag) R 120088 120091 119440 0 -1 4194304 431913 0 0 0 4899 195 0 0 20 0 1 0 141693204 5330518016 1169378 18446744073709551615 4235264 15840557 140730234225872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 35414016 140730234231194 140730234231271 140730234231271 140730234236875 0
/proc/120091/statm: 1301396 1169378 4224 2834 0 1283601 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 5205584 KiB
Current children cumulated memory: 4677512 KiB

[startup+102.3 s]
/proc/loadavg: 4.20 4.17 4.12 5/263 120096
/proc/meminfo: memFree=115290392/131249996 swapFree=33010416/33010684
[pid=120091] ppid=120088 vsize=5205584 memory=4677512 CPUtime=101.98 cores=0,2
/proc/120091/stat : 120091 (mixed-bag) R 120088 120091 119440 0 -1 4194304 431993 0 0 0 10003 195 0 0 20 0 1 0 141693204 5330518016 1169378 18446744073709551615 4235264 15840557 140730234225872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 35414016 140730234231194 140730234231271 140730234231271 140730234236875 0
/proc/120091/statm: 1301396 1169378 4224 2834 0 1283601 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 5205584 KiB
Current children cumulated memory: 4677512 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.16 4.11 5/263 120143
/proc/meminfo: memFree=115284268/131249996 swapFree=33010416/33010684
[pid=120091] ppid=120088 vsize=5205584 memory=4677512 CPUtime=161.81 cores=0,2
/proc/120091/stat : 120091 (mixed-bag) R 120088 120091 119440 0 -1 4194304 431993 0 0 0 15985 196 0 0 20 0 1 0 141693204 5330518016 1169378 18446744073709551615 4235264 15840557 140730234225872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 35414016 140730234231194 140730234231271 140730234231271 140730234236875 0
/proc/120091/statm: 1301396 1169378 4224 2834 0 1283601 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 5205584 KiB
Current children cumulated memory: 4677512 KiB

[startup+222.3 s]
/proc/loadavg: 4.18 4.17 4.12 5/264 120196
/proc/meminfo: memFree=113779904/131249996 swapFree=33010416/33010684
[pid=120091] ppid=120088 vsize=5205584 memory=4677512 CPUtime=221.63 cores=0,2
/proc/120091/stat : 120091 (mixed-bag) R 120088 120091 119440 0 -1 4194304 431993 0 0 0 21966 197 0 0 20 0 1 0 141693204 5330518016 1169378 18446744073709551615 4235264 15840557 140730234225872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 35414016 140730234231194 140730234231271 140730234231271 140730234236875 0
/proc/120091/statm: 1301396 1169378 4224 2834 0 1283601 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 5205584 KiB
Current children cumulated memory: 4677512 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 4.15 4.11 5/264 120198
/proc/meminfo: memFree=111629720/131249996 swapFree=33010416/33010684
[pid=120091] ppid=120088 vsize=5205584 memory=4677512 CPUtime=281.48 cores=0,2
/proc/120091/stat : 120091 (mixed-bag) R 120088 120091 119440 0 -1 4194304 432072 0 0 0 27950 198 0 0 20 0 1 0 141693204 5330518016 1169378 18446744073709551615 4235264 15840557 140730234225872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 35414016 140730234231194 140730234231271 140730234231271 140730234236875 0
/proc/120091/statm: 1301396 1169378 4224 2834 0 1283601 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 5205584 KiB
Current children cumulated memory: 4677512 KiB

[startup+342.3 s]
/proc/loadavg: 4.16 4.15 4.11 5/264 120213
/proc/meminfo: memFree=112947548/131249996 swapFree=33010416/33010684
[pid=120091] ppid=120088 vsize=2372636 memory=2174260 CPUtime=341.33 cores=0,2
/proc/120091/stat : 120091 (mixed-bag) R 120088 120091 119440 0 -1 4194304 438643 0 0 0 33800 333 0 0 20 0 1 0 141693204 2429579264 543565 18446744073709551615 4235264 15840557 140730234225872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 35414016 140730234231194 140730234231271 140730234231271 140730234236875 0
/proc/120091/statm: 593159 543565 4416 2834 0 575364 0
Current children cumulated CPU time: 341.33 s
Current children cumulated vsize: 2372636 KiB
Current children cumulated memory: 2174260 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 4.14 4.11 5/263 120215
/proc/meminfo: memFree=110557520/131249996 swapFree=33010416/33010684
[pid=120091] ppid=120088 vsize=2721884 memory=2339228 CPUtime=401.15 cores=0,2
/proc/120091/stat : 120091 (mixed-bag) R 120088 120091 119440 0 -1 4194304 440116 0 0 0 39635 480 0 0 20 0 1 0 141693204 2787209216 584807 18446744073709551615 4235264 15840557 140730234225872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 35414016 140730234231194 140730234231271 140730234231271 140730234236875 0
/proc/120091/statm: 680471 584807 4416 2834 0 662676 0
Current children cumulated CPU time: 401.15 s
Current children cumulated vsize: 2721884 KiB
Current children cumulated memory: 2339228 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 4.13 4.10 5/264 120218
/proc/meminfo: memFree=109411092/131249996 swapFree=33010416/33010684
[pid=120091] ppid=120088 vsize=2721884 memory=2423292 CPUtime=460.97 cores=0,2
/proc/120091/stat : 120091 (mixed-bag) R 120088 120091 119440 0 -1 4194304 440197 0 0 0 45473 624 0 0 20 0 1 0 141693204 2787209216 605823 18446744073709551615 4235264 15840557 140730234225872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 35414016 140730234231194 140730234231271 140730234231271 140730234236875 0
/proc/120091/statm: 680471 605823 4416 2834 0 662676 0

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

Current children cumulated memory: 5119096 KiB

[startup+2922.3 s]
/proc/loadavg: 4.07 4.12 4.10 5/261 120329
/proc/meminfo: memFree=96080044/131249996 swapFree=33010416/33010684
[pid=120091] ppid=120088 vsize=6331980 memory=5153020 CPUtime=2913.65 cores=0,2
/proc/120091/stat : 120091 (mixed-bag) R 120088 120091 119440 0 -1 4194304 771767 0 0 0 287472 3893 0 0 20 0 1 0 141693204 6483947520 1288255 18446744073709551615 4235264 15840557 140730234225872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 35414016 140730234231194 140730234231271 140730234231271 140730234236875 0
/proc/120091/statm: 1582995 1288255 4416 2834 0 1565200 0
Current children cumulated CPU time: 2913.65 s
Current children cumulated vsize: 6331980 KiB
Current children cumulated memory: 5153020 KiB

[startup+2982.3 s]
/proc/loadavg: 4.19 4.14 4.11 5/261 120331
/proc/meminfo: memFree=96078196/131249996 swapFree=33010416/33010684
[pid=120091] ppid=120088 vsize=6331980 memory=5153020 CPUtime=2973.48 cores=0,2
/proc/120091/stat : 120091 (mixed-bag) R 120088 120091 119440 0 -1 4194304 771767 0 0 0 293403 3945 0 0 20 0 1 0 141693204 6483947520 1288255 18446744073709551615 4235264 15840557 140730234225872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 35414016 140730234231194 140730234231271 140730234231271 140730234236875 0
/proc/120091/statm: 1582995 1288255 4416 2834 0 1565200 0
Current children cumulated CPU time: 2973.48 s
Current children cumulated vsize: 6331980 KiB
Current children cumulated memory: 5153020 KiB

[startup+3042.3 s]
/proc/loadavg: 4.11 4.13 4.10 5/261 120333
/proc/meminfo: memFree=96085792/131249996 swapFree=33010416/33010684
[pid=120091] ppid=120088 vsize=6331980 memory=5153148 CPUtime=3033.3 cores=0,2
/proc/120091/stat : 120091 (mixed-bag) R 120088 120091 119440 0 -1 4194304 772341 0 0 0 299324 4006 0 0 20 0 1 0 141693204 6483947520 1288287 18446744073709551615 4235264 15840557 140730234225872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 35414016 140730234231194 140730234231271 140730234231271 140730234236875 0
/proc/120091/statm: 1582995 1288287 4416 2834 0 1565200 0
Current children cumulated CPU time: 3033.3 s
Current children cumulated vsize: 6331980 KiB
Current children cumulated memory: 5153148 KiB

[startup+3102.3 s]
/proc/loadavg: 4.15 4.13 4.10 5/262 120336
/proc/meminfo: memFree=95954784/131249996 swapFree=33010416/33010684
[pid=120091] ppid=120088 vsize=6435408 memory=5282856 CPUtime=3093.12 cores=0,2
/proc/120091/stat : 120091 (mixed-bag) R 120088 120091 119440 0 -1 4194304 792244 0 0 0 305234 4078 0 0 20 0 1 0 141693204 6589857792 1320714 18446744073709551615 4235264 15840557 140730234225872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 35414016 140730234231194 140730234231271 140730234231271 140730234236875 0
/proc/120091/statm: 1608852 1320714 4416 2834 0 1591057 0
Current children cumulated CPU time: 3093.12 s
Current children cumulated vsize: 6435408 KiB
Current children cumulated memory: 5282856 KiB

[startup+3162.3 s]
/proc/loadavg: 4.11 4.12 4.10 5/262 120338
/proc/meminfo: memFree=95926772/131249996 swapFree=33010416/33010684
[pid=120091] ppid=120088 vsize=6435408 memory=5282856 CPUtime=3152.95 cores=0,2
/proc/120091/stat : 120091 (mixed-bag) R 120088 120091 119440 0 -1 4194304 792244 0 0 0 311137 4158 0 0 20 0 1 0 141693204 6589857792 1320714 18446744073709551615 4235264 15840557 140730234225872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 35414016 140730234231194 140730234231271 140730234231271 140730234236875 0
/proc/120091/statm: 1608852 1320714 4416 2834 0 1591057 0
Current children cumulated CPU time: 3152.95 s
Current children cumulated vsize: 6435408 KiB
Current children cumulated memory: 5282856 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/263 120341
/proc/meminfo: memFree=95870132/131249996 swapFree=33010416/33010684
[pid=120091] ppid=120088 vsize=6459216 memory=5332896 CPUtime=3212.77 cores=0,2
/proc/120091/stat : 120091 (mixed-bag) R 120088 120091 119440 0 -1 4194304 800281 0 0 0 317056 4221 0 0 20 0 1 0 141693204 6614237184 1333224 18446744073709551615 4235264 15840557 140730234225872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 35414016 140730234231194 140730234231271 140730234231271 140730234236875 0
/proc/120091/statm: 1614804 1333224 4416 2834 0 1597009 0
Current children cumulated CPU time: 3212.77 s
Current children cumulated vsize: 6459216 KiB
Current children cumulated memory: 5332896 KiB

[startup+3282.3 s]
/proc/loadavg: 4.40 4.20 4.12 5/263 120349
/proc/meminfo: memFree=95880940/131249996 swapFree=33010416/33010684
[pid=120091] ppid=120088 vsize=6459216 memory=5332896 CPUtime=3272.6 cores=0,2
/proc/120091/stat : 120091 (mixed-bag) R 120088 120091 119440 0 -1 4194304 800404 0 0 0 322968 4292 0 0 20 0 1 0 141693204 6614237184 1333224 18446744073709551615 4235264 15840557 140730234225872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 35414016 140730234231194 140730234231271 140730234231271 140730234236875 0
/proc/120091/statm: 1614804 1333224 4416 2834 0 1597009 0
Current children cumulated CPU time: 3272.6 s
Current children cumulated vsize: 6459216 KiB
Current children cumulated memory: 5332896 KiB

[startup+3342.3 s]
/proc/loadavg: 4.20 4.17 4.12 5/263 120351
/proc/meminfo: memFree=95819764/131249996 swapFree=33010416/33010684
[pid=120091] ppid=120088 vsize=6481932 memory=5376500 CPUtime=3332.43 cores=0,2
/proc/120091/stat : 120091 (mixed-bag) R 120088 120091 119440 0 -1 4194304 806973 0 0 0 328886 4357 0 0 20 0 1 0 141693204 6637498368 1344125 18446744073709551615 4235264 15840557 140730234225872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 35414016 140730234231194 140730234231271 140730234231271 140730234236875 0
/proc/120091/statm: 1620483 1344125 4416 2834 0 1602688 0
Current children cumulated CPU time: 3332.43 s
Current children cumulated vsize: 6481932 KiB
Current children cumulated memory: 5376500 KiB

[startup+3402.3 s]
/proc/loadavg: 4.19 4.17 4.12 5/263 120354
/proc/meminfo: memFree=95797132/131249996 swapFree=33010416/33010684
[pid=120091] ppid=120088 vsize=6481932 memory=5376500 CPUtime=3392.25 cores=0,2
/proc/120091/stat : 120091 (mixed-bag) R 120088 120091 119440 0 -1 4194304 807481 0 0 0 334791 4434 0 0 20 0 1 0 141693204 6637498368 1344125 18446744073709551615 4235264 15840557 140730234225872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 35414016 140730234231194 140730234231271 140730234231271 140730234236875 0
/proc/120091/statm: 1620483 1344125 4416 2834 0 1602688 0
Current children cumulated CPU time: 3392.25 s
Current children cumulated vsize: 6481932 KiB
Current children cumulated memory: 5376500 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.15 4.11 5/263 120356
/proc/meminfo: memFree=95276516/131249996 swapFree=33010416/33010684
[pid=120091] ppid=120088 vsize=6481932 memory=5376628 CPUtime=3452.07 cores=0,2
/proc/120091/stat : 120091 (mixed-bag) R 120088 120091 119440 0 -1 4194304 807721 0 0 0 340715 4492 0 0 20 0 1 0 141693204 6637498368 1344157 18446744073709551615 4235264 15840557 140730234225872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 35414016 140730234231194 140730234231271 140730234231271 140730234236875 0
/proc/120091/statm: 1620483 1344157 4416 2834 0 1602688 0
Current children cumulated CPU time: 3452.07 s
Current children cumulated vsize: 6481932 KiB
Current children cumulated memory: 5376628 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.14 4.10 5/263 120448
/proc/meminfo: memFree=95757868/131249996 swapFree=33010416/33010684
[pid=120091] ppid=120088 vsize=6519380 memory=5458744 CPUtime=3511.9 cores=0,2
/proc/120091/stat : 120091 (mixed-bag) R 120088 120091 119440 0 -1 4194304 817091 0 0 0 346649 4541 0 0 20 0 1 0 141693204 6675845120 1364686 18446744073709551615 4235264 15840557 140730234225872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 35414016 140730234231194 140730234231271 140730234231271 140730234236875 0
/proc/120091/statm: 1629845 1364686 4416 2834 0 1612050 0
Current children cumulated CPU time: 3511.9 s
Current children cumulated vsize: 6519380 KiB
Current children cumulated memory: 5458744 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.14 4.10 5/263 120493
/proc/meminfo: memFree=95238468/131249996 swapFree=33010416/33010684
[pid=120091] ppid=120088 vsize=6519380 memory=5458744 CPUtime=3571.72 cores=0,2
/proc/120091/stat : 120091 (mixed-bag) R 120088 120091 119440 0 -1 4194304 817310 0 0 0 352595 4577 0 0 20 0 1 0 141693204 6675845120 1364686 18446744073709551615 4235264 15840557 140730234225872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 35414016 140730234231194 140730234231271 140730234231271 140730234236875 0
/proc/120091/statm: 1629845 1364686 4416 2834 0 1612050 0
Current children cumulated CPU time: 3571.72 s
Current children cumulated vsize: 6519380 KiB
Current children cumulated memory: 5458744 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.7 s]
/proc/loadavg: 4.16 4.14 4.10 5/263 120495
/proc/meminfo: memFree=95254800/131249996 swapFree=33010416/33010684
[pid=120091] ppid=120088 vsize=6526324 memory=5462840 CPUtime=3600.04 cores=0,2
/proc/120091/stat : 120091 (mixed-bag) R 120088 120091 119440 0 -1 4194304 818383 0 0 0 355400 4604 0 0 20 0 1 0 141693204 6682955776 1365710 18446744073709551615 4235264 15840557 140730234225872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 35414016 140730234231194 140730234231271 140730234231271 140730234236875 0
/proc/120091/statm: 1631581 1365710 4416 2834 0 1613786 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 6526324 KiB
Current children cumulated memory: 5462840 KiB

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

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

# cumulated CPU time of all completed processes:  user=3554.02 s, system=46.112 s

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

[startup+3610.7 s]
/proc/loadavg: 4.16 4.14 4.10 5/263 120495
/proc/meminfo: memFree=95254800/131249996 swapFree=33010416/33010684
[pid=120091] ppid=120088 vsize=6526324 memory=5462840 CPUtime=3600.04 cores=0,2
/proc/120091/stat : 120091 (mixed-bag) R 120088 120091 119440 0 -1 4194304 818383 0 0 0 355400 4604 0 0 20 0 1 0 141693204 6682955776 1365710 18446744073709551615 4235264 15840557 140730234225872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 35414016 140730234231194 140730234231271 140730234231271 140730234236875 0
/proc/120091/statm: 1631581 1365710 4416 2834 0 1613786 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 6526324 KiB
Current children cumulated memory: 5462840 KiB

Child status: 0

Real time (s): 3610.78
CPU time (s): 3600.13
CPU user time (s): 3554.02
CPU system time (s): 46.112
CPU usage (%): 99.705
Max. virtual memory (cumulated for all children) (KiB): 6526324
Max. memory (cumulated for all children) (KiB): 5462840

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3554.02
system time used= 46.112
maximum resident set size= 5463352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 818413
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= 725
involuntary context switches= 7950


# summary of solver processes directly reported to runsolver:
#   pid: 120091
#   total CPU time (s): 3600.13
#   total CPU user time (s): 3554.02
#   total CPU system time (s): 46.112

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.55449 second user time and 15.5807 second system time

The end

Launcher Data 

Begin job on nodeC022 at 2025-07-11 20:55:54
IDJOB=4529119
IDBENCH=155399
IDSOLVER=3386
FILE ID=nodeC022/4529119-1752260154
RUNJOBID= nodeC022-1752256448-119450
SLURM_JOB_ID= 9682600
Free space on /tmp= 432052 MiB

SOLVER NAME= mixed-bag-2024 2025-07-10
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-4529119-1752260154/watcher-4529119-1752260154 -o /tmp/evaluation-result-4529119-1752260154/solver-4529119-1752260154 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1752256448-119450 --watchdog 3760  mixed-bag HOME/instance-4529119-1752260154.opb

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

MD5SUM BENCH= a008918ff26f135f427f5632a2cbbc59
RANDOM SEED=645382185

nodeC022 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.715
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.44
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		: 3599.800
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.44
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		: 3598.701
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.44
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		: 3600.772
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.44
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		: 3599.772
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.44
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.708
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.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        120420992 kB
MemAvailable:   128559812 kB
Buffers:            2128 kB
Cached:          8887048 kB
SwapCached:           32 kB
Active:          1783144 kB
Inactive:        8230240 kB
Active(anon):    1140112 kB
Inactive(anon):     2124 kB
Active(file):     643032 kB
Inactive(file):  8228116 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             79180 kB
Writeback:             4 kB
AnonPages:       1127324 kB
Mapped:           138852 kB
Shmem:             18028 kB
KReclaimable:     213420 kB
Slab:             307604 kB
SReclaimable:     213420 kB
SUnreclaim:        94184 kB
KernelStack:        4224 kB
PageTables:         5568 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    1584588 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150520 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:    172032 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:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 431988 MiB
End job on nodeC022 at 2025-07-11 21:56:05