Trace number 4529148

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-10No Cert. 424.891 426.144

DiagnosticValue
AM1LB
LOWERBOUND
NAM1S
NCORES
NEXHAUSTED
NPBCORES
NPBREFORM
NTRIMMED
SCIPUB
SOLVEDBYoll

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat70_4_22_0.opb
MD5SUM26289d562a21d461fc03dcfb0c556d93
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark4241631
Best CPU time to get the best result obtained on this benchmark686.735
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables9940
Total number of constraints14846
Number of constraints which are clauses140
Number of constraints which are cardinality constraints (but not clauses)6
Number of constraints which are nor clauses,nor cardinality constraints14700
Minimum length of a constraint2
Maximum length of a constraint2415
Number of terms in the objective function 9730
Biggest coefficient in the objective function 134217728
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 100330219838
Number of bits of the sum of numbers in the objective function 37
Biggest number in a constraint 134217728
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 100330219838
Number of bits of the biggest sum of numbers37
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
0.00/0.06	c [STEP] preprocessing with Papilo
0.00/0.09	c [STEP] solving with SCIP
299.18/300.14	c [STEP] preprocessing done, loading into solver
299.18/300.15	c [STEP] solving
299.18/300.15	c #variables 4971 #constraints 5188
299.18/300.15	c SMALL=int, LARGE=long long
299.18/300.15	d SCIPUB 2549053
299.18/300.15	c bounds - >= -70 @ 299.156
299.18/300.15	c stratification level: 2519424
389.73/391.00	c #Conflicts:       1000 | #Constraints:       6188
389.73/391.00	c #Conflicts:       2000 | #Constraints:       7188
389.73/391.00	c INPROCESSING
389.73/391.00	c GARBAGE COLLECT
389.73/391.00	c #Conflicts:       3000 | #Constraints:       5188
389.73/391.00	c #Conflicts:       4000 | #Constraints:       6188
389.73/391.00	c INPROCESSING
389.73/391.00	c GARBAGE COLLECT
389.73/391.00	c #Conflicts:       5000 | #Constraints:       5591
389.73/391.00	c #Conflicts:       6000 | #Constraints:       6591
389.73/391.00	c INPROCESSING
389.73/391.00	c GARBAGE COLLECT
389.73/391.00	c #Conflicts:       7000 | #Constraints:       5607
389.73/391.00	c #Conflicts:       8000 | #Constraints:       6607
389.73/391.00	c #Conflicts:       9000 | #Constraints:       7607
389.73/391.00	c INPROCESSING
389.73/391.00	c GARBAGE COLLECT
389.73/391.00	c #Conflicts:      10000 | #Constraints:       6321
389.73/391.00	c #Conflicts:      11000 | #Constraints:       7321
389.73/391.00	c #Conflicts:      12000 | #Constraints:       8321
389.73/391.00	c INPROCESSING
389.73/391.00	c GARBAGE COLLECT
389.73/391.00	c #Conflicts:      13000 | #Constraints:       6786
389.73/391.00	c #Conflicts:      14000 | #Constraints:       7786
389.73/391.00	c #Conflicts:      15000 | #Constraints:       8786
389.73/391.00	c INPROCESSING
389.73/391.00	c GARBAGE COLLECT
389.73/391.00	c #Conflicts:      16000 | #Constraints:       7017
389.73/391.00	c #Conflicts:      17000 | #Constraints:       8017
389.73/391.00	c #Conflicts:      18000 | #Constraints:       9017
389.73/391.00	c INPROCESSING
389.73/391.00	c GARBAGE COLLECT
389.73/391.00	c #Conflicts:      19000 | #Constraints:       7012
389.73/391.00	c #Conflicts:      20000 | #Constraints:       8012
389.73/391.00	c #Conflicts:      21000 | #Constraints:       9012
389.73/391.00	c INPROCESSING
389.73/391.00	c GARBAGE COLLECT
389.73/391.00	c #Conflicts:      22000 | #Constraints:       6807
389.73/391.00	c #Conflicts:      23000 | #Constraints:       7807
389.73/391.00	c #Conflicts:      24000 | #Constraints:       8807
389.73/391.00	c #Conflicts:      25000 | #Constraints:       9807
389.73/391.00	c INPROCESSING
389.73/391.00	c GARBAGE COLLECT
389.73/391.00	c #Conflicts:      26000 | #Constraints:       7405
389.73/391.00	c #Conflicts:      27000 | #Constraints:       8405
389.73/391.00	c #Conflicts:      28000 | #Constraints:       9405
389.73/391.00	c #Conflicts:      29000 | #Constraints:      10405
389.73/391.00	c INPROCESSING
389.73/391.00	c GARBAGE COLLECT
389.73/391.00	c #Conflicts:      30000 | #Constraints:       7825
389.73/391.00	c #Conflicts:      31000 | #Constraints:       8825
389.73/391.00	c #Conflicts:      32000 | #Constraints:       9825
389.73/391.00	c #Conflicts:      33000 | #Constraints:      10825
389.73/391.00	c INPROCESSING
389.73/391.00	c GARBAGE COLLECT
389.73/391.00	c #Conflicts:      34000 | #Constraints:       8047
389.73/391.00	c #Conflicts:      35000 | #Constraints:       9047
389.73/391.00	c #Conflicts:      36000 | #Constraints:      10047
389.73/391.00	c #Conflicts:      37000 | #Constraints:      11047
389.73/391.00	c INPROCESSING
389.73/391.00	c GARBAGE COLLECT
389.73/391.00	c #Conflicts:      38000 | #Constraints:       8047
389.73/391.00	c #Conflicts:      39000 | #Constraints:       9047
389.73/391.00	c #Conflicts:      40000 | #Constraints:      10047
389.73/391.00	c #Conflicts:      41000 | #Constraints:      11047
389.73/391.00	c INPROCESSING
389.73/391.00	c GARBAGE COLLECT
389.73/391.00	c #Conflicts:      42000 | #Constraints:       7843
389.73/391.00	c #Conflicts:      43000 | #Constraints:       8843
389.73/391.00	c #Conflicts:      44000 | #Constraints:       9843
389.73/391.00	c #Conflicts:      45000 | #Constraints:      10843
389.73/391.00	c #Conflicts:      46000 | #Constraints:      11843
389.73/391.00	c INPROCESSING
389.73/391.00	c GARBAGE COLLECT
389.73/391.00	c #Conflicts:      47000 | #Constraints:       8475
389.73/391.00	c #Conflicts:      48000 | #Constraints:       9475
389.73/391.00	c #Conflicts:      49000 | #Constraints:      10475
389.73/391.00	c #Conflicts:      50000 | #Constraints:      11475
389.73/391.00	c #Conflicts:      51000 | #Constraints:      12475
389.73/391.00	c INPROCESSING
389.73/391.00	c GARBAGE COLLECT
389.73/391.00	c #Conflicts:      52000 | #Constraints:       8876
389.73/391.00	c #Conflicts:      53000 | #Constraints:       9876
389.73/391.00	c #Conflicts:      54000 | #Constraints:      10876
389.73/391.00	c #Conflicts:      55000 | #Constraints:      11876
389.73/391.00	c #Conflicts:      56000 | #Constraints:      12876
389.73/391.00	c INPROCESSING
389.73/391.00	c GARBAGE COLLECT
389.73/391.00	c #Conflicts:      57000 | #Constraints:       9080
389.73/391.00	c #Conflicts:      58000 | #Constraints:      10080
389.73/391.00	c #Conflicts:      59000 | #Constraints:      11080
389.73/391.00	c #Conflicts:      60000 | #Constraints:      12080
389.73/391.00	c #Conflicts:      61000 | #Constraints:      13080
389.73/391.00	c INPROCESSING
389.73/391.00	c GARBAGE COLLECT
389.73/391.00	c #Conflicts:      62000 | #Constraints:       9083
389.73/391.00	c #Conflicts:      63000 | #Constraints:      10083
389.73/391.00	c #Conflicts:      64000 | #Constraints:      11083
389.73/391.00	c #Conflicts:      65000 | #Constraints:      12083
389.73/391.00	c #Conflicts:      66000 | #Constraints:      13083
389.73/391.00	c INPROCESSING
389.73/391.00	c GARBAGE COLLECT
389.73/391.00	c #Conflicts:      67000 | #Constraints:       8896
389.73/391.00	c #Conflicts:      68000 | #Constraints:       9896
424.84/426.13	c #Conflicts:      69000 | #Constraints:      10896
424.84/426.13	c #Conflicts:      70000 | #Constraints:      11896
424.84/426.13	c #Conflicts:      71000 | #Constraints:      12896
424.84/426.13	c #Conflicts:      72000 | #Constraints:      13896
424.84/426.13	c INPROCESSING
424.84/426.13	c GARBAGE COLLECT
424.84/426.13	c #Conflicts:      73000 | #Constraints:       9498
424.84/426.13	c #Conflicts:      74000 | #Constraints:      10498
424.84/426.13	c #Conflicts:      75000 | #Constraints:      11498
424.84/426.13	c #Conflicts:      76000 | #Constraints:      12498
424.84/426.13	c #Conflicts:      77000 | #Constraints:      13498
424.84/426.13	c #Conflicts:      78000 | #Constraints:      14498
424.84/426.13	c INPROCESSING
424.84/426.13	c GARBAGE COLLECT
424.84/426.13	c #Conflicts:      79000 | #Constraints:       9907
424.84/426.13	c #Conflicts:      80000 | #Constraints:      10907
424.84/426.13	c #Conflicts:      81000 | #Constraints:      11907
424.84/426.13	c #Conflicts:      82000 | #Constraints:      12907
424.84/426.13	c #Conflicts:      83000 | #Constraints:      13907
424.84/426.13	c #Conflicts:      84000 | #Constraints:      14907
424.84/426.13	c INPROCESSING
424.84/426.13	c GARBAGE COLLECT
424.84/426.13	c #Conflicts:      85000 | #Constraints:      10114
424.84/426.13	c #Conflicts:      86000 | #Constraints:      11114
424.84/426.13	c #Conflicts:      87000 | #Constraints:      12114
424.84/426.13	c #Conflicts:      88000 | #Constraints:      13114
424.84/426.13	c #Conflicts:      89000 | #Constraints:      14114
424.84/426.13	c #Conflicts:      90000 | #Constraints:      15114
424.84/426.13	c INPROCESSING
424.84/426.13	c GARBAGE COLLECT
424.84/426.13	c Input conflict
424.84/426.13	c bounds - >= 2519355 @ 424.198
424.84/426.13	d SOLVEDBY oll
424.84/426.13	c cpu time 424.198 s
424.84/426.13	c deterministic time 10822041203 1.08e+10
424.84/426.13	c optimization time 0.006431 s
424.84/426.13	c total solve time 125.037 s
424.84/426.13	c core-guided solve time 125.037 s
424.84/426.13	c propagation time 56.5999 s
424.84/426.13	c conflict analysis time 65.264 s
424.84/426.13	c propagations 55267543
424.84/426.13	c resolve steps 3857740
424.84/426.13	c decisions 282253
424.84/426.13	c conflicts 90509
424.84/426.13	c restarts 254
424.84/426.13	c inprocessing phases 22
424.84/426.13	c input clauses 2789
424.84/426.13	c input cardinalities 7
424.84/426.13	c input general constraints 2627
424.84/426.13	c input average constraint length 10.51
424.84/426.13	c input average constraint degree 18500869.01
424.84/426.13	c learned clauses 48778
424.84/426.13	c learned cardinalities 145
424.84/426.13	c learned general constraints 41586
424.84/426.13	c learned average constraint length 598.92
424.84/426.13	c learned average constraint degree 58131796.13
424.84/426.13	c watched constraints 24061
424.84/426.13	c counting constraints 20152
424.84/426.13	c gcd simplifications 6662
424.84/426.13	c detected cardinalities 37
424.84/426.13	c weakened non-implied lits 20140171
424.84/426.13	c weakened non-implying lits 95138
424.84/426.13	c original variables 9940
424.84/426.13	c clausal propagations 43708724
424.84/426.13	c cardinality propagations 431522
424.84/426.13	c watched propagations 398549
424.84/426.13	c counting propagations 10588236
424.84/426.13	c watch lookups 2471019931
424.84/426.13	c watch backjump lookups 2360558357
424.84/426.13	c watch checks 3484507204
424.84/426.13	c propagation checks 2072082609
424.84/426.13	c constraint additions 322687475
424.84/426.13	c trail pops 55635830
424.84/426.13	c formula constraints 5188
424.84/426.13	c learned constraints 90509
424.84/426.13	c bound constraints 235
424.84/426.13	c core-guided constraints 0
424.84/426.13	c encountered formula constraints 3304401
424.84/426.13	c encountered learned constraints 634990
424.84/426.13	c encountered bound constraints 8859
424.84/426.13	c encountered core-guided constraints 0
424.84/426.13	c LP total time 0 s
424.84/426.13	c LP solve time 0 s
424.84/426.13	c LP constraints added 0
424.84/426.13	c LP constraints removed 0
424.84/426.13	c LP pivots internal 0
424.84/426.13	c LP pivots root 0
424.84/426.13	c LP calls 0
424.84/426.13	c LP optimalities 0
424.84/426.13	c LP no pivot count 0
424.84/426.13	c LP infeasibilities 0
424.84/426.13	c LP valid Farkas constraints 0
424.84/426.13	c LP learned Farkas constraints 0
424.84/426.13	c LP basis resets 0
424.84/426.13	c LP cycling count 0
424.84/426.13	c LP singular count 0
424.84/426.13	c LP no primal count 0
424.84/426.13	c LP no farkas count 0
424.84/426.13	c LP other issue count 0
424.84/426.13	c LP Gomory cuts 0
424.84/426.13	c LP learned cuts 0
424.84/426.13	c LP deleted cuts 0
424.84/426.13	c LP encountered Gomory constraints 0
424.84/426.13	c LP encountered Farkas constraints 0
424.84/426.13	c LP encountered learned Farkas constraints 0
424.84/426.13	c CG auxiliary variables introduced 0
424.84/426.13	c CG solutions found 0
424.84/426.13	c CG cores constructed 1
424.84/426.13	c CG core cardinality constraints returned 0
424.84/426.13	c CG unit cores 0
424.84/426.13	c CG single cores 1
424.84/426.13	c CG blocks removed during cardinality reduction 0
424.84/426.13	c CG first core best 0
424.84/426.13	c CG decision core best 0
424.84/426.13	c CG core reduction tie 0
424.84/426.13	c CG core degree average 1.00
424.84/426.13	c CG core slack average 3.00
424.84/426.13	c CG exhausted 0
424.84/426.13	c CG exhaust time 0 s
424.84/426.13	c CG trimmed 1
424.84/426.13	c CG trim time 0.002851 s
424.84/426.13	c CG minimized 0
424.84/426.13	c CG minimize time 0 s
424.84/426.13	c CG am1 prop time 3.4e-05 s
424.84/426.13	c CG # am1s reformulated 0
424.84/426.13	c CG lower bound derived from am1s 0
424.84/426.13	c CG # clausal cores 1
424.84/426.13	c CG # cardinality cores 0
424.84/426.13	c CG # pb cores 0
424.84/426.13	c CG # pb reforms 0
424.84/426.13	c CG # cores discarded because of pb reform 0
424.84/426.13	d LOWERBOUND 0
424.84/426.13	d NCORES 1
424.84/426.13	d NPBCORES 0
424.84/426.13	d NPBREFORM 0
424.84/426.13	d NTRIMMED 1
424.84/426.13	d NEXHAUSTED 0
424.84/426.13	d NAM1S 0
424.84/426.13	d AM1LB 0
424.84/426.13	c [Papilo Statistics]
424.84/426.13	c prepro time 0.0268219s
424.84/426.13	c # tsx applied 12355
424.84/426.13	c # tsx conflicts 0
424.84/426.13	c # bound changes 140
424.84/426.13	c # side changes 2415
424.84/426.13	c # coef changes 31395
424.84/426.13	c # rounds 3
424.84/426.13	c # deted vars 4970
424.84/426.13	c # deted constrs 9662
424.84/426.13	c # consecutive rounds of only bound changes 0
424.84/426.13	c [STEP] postprocessing with Papilo
424.84/426.13	c [Papilo ERROR] Postsolving solution failed. Please use debug mode to obtain more information.
424.84/426.13	c ERROR in papilo postprocessing
424.84/426.13	o 0
424.84/426.13	s OPTIMUM FOUND
424.84/426.13	v

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 (59796 MiB free)
  memory of node 1: 64507 MiB (60587 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529148-1752260290/watcher-4529148-1752260290 -o /tmp/evaluation-result-4529148-1752260290/solver-4529148-1752260290 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1752256328-122580 --watchdog 3760 mixed-bag HOME/instance-4529148-1752260290.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=124858, runsolver pid=124855

[startup+0.100059 s]*
/proc/loadavg: 4.19 4.19 4.12 5/264 124859
/proc/meminfo: memFree=123252120/131249996 swapFree=33005016/33010684
[pid=124858] ppid=124855 vsize=115348 memory=44132 CPUtime=0.09 cores=0,2
/proc/124858/stat : 124858 (mixed-bag) R 124855 124858 122570 0 -1 4194304 9764 0 0 0 7 2 0 0 20 0 1 0 141708566 118116352 11033 18446744073709551615 4235264 15840557 140722979836160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 37531648 140722979838362 140722979838439 140722979838439 140722979844043 0
/proc/124858/statm: 28837 11033 3968 2834 0 11042 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 115348 KiB
Current children cumulated memory: 44132 KiB

[startup+0.205691 s]*
/proc/loadavg: 4.19 4.19 4.12 5/264 124859
/proc/meminfo: memFree=123228244/131249996 swapFree=33005016/33010684
[pid=124858] ppid=124855 vsize=140020 memory=67536 CPUtime=0.19 cores=0,2
/proc/124858/stat : 124858 (mixed-bag) R 124855 124858 122570 0 -1 4194304 16612 0 0 0 16 3 0 0 20 0 1 0 141708566 143380480 16884 18446744073709551615 4235264 15840557 140722979836160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 37531648 140722979838362 140722979838439 140722979838439 140722979844043 0
/proc/124858/statm: 35005 16884 4096 2834 0 17210 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 140020 KiB
Current children cumulated memory: 67536 KiB

[startup+0.305511 s]*
/proc/loadavg: 4.19 4.19 4.12 5/264 124859
/proc/meminfo: memFree=123228244/131249996 swapFree=33005016/33010684
[pid=124858] ppid=124855 vsize=140824 memory=68176 CPUtime=0.29 cores=0,2
/proc/124858/stat : 124858 (mixed-bag) R 124855 124858 122570 0 -1 4194304 16777 0 0 0 26 3 0 0 20 0 1 0 141708566 144203776 17044 18446744073709551615 4235264 15840557 140722979836160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 37531648 140722979838362 140722979838439 140722979838439 140722979844043 0
/proc/124858/statm: 35206 17044 4096 2834 0 17411 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 140824 KiB
Current children cumulated memory: 68176 KiB

[startup+0.70016 s]
/proc/loadavg: 4.19 4.19 4.12 5/264 124859
/proc/meminfo: memFree=123190948/131249996 swapFree=33005016/33010684
[pid=124858] ppid=124855 vsize=185972 memory=102952 CPUtime=0.68 cores=0,2
/proc/124858/stat : 124858 (mixed-bag) R 124855 124858 122570 0 -1 4194304 26044 0 0 0 64 4 0 0 20 0 1 0 141708566 190435328 25738 18446744073709551615 4235264 15840557 140722979836160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 37531648 140722979838362 140722979838439 140722979838439 140722979844043 0
/proc/124858/statm: 46493 25738 4288 2834 0 28698 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 185972 KiB
Current children cumulated memory: 102952 KiB

[startup+1.50012 s]
/proc/loadavg: 4.19 4.19 4.12 5/264 124859
/proc/meminfo: memFree=123182884/131249996 swapFree=33005016/33010684
[pid=124858] ppid=124855 vsize=186312 memory=103592 CPUtime=1.48 cores=0,2
/proc/124858/stat : 124858 (mixed-bag) R 124855 124858 122570 0 -1 4194304 26180 0 0 0 143 5 0 0 20 0 1 0 141708566 190783488 25898 18446744073709551615 4235264 15840557 140722979836160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 37531648 140722979838362 140722979838439 140722979838439 140722979844043 0
/proc/124858/statm: 46578 25898 4288 2834 0 28783 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 186312 KiB
Current children cumulated memory: 103592 KiB

[startup+3.10545 s]
/proc/loadavg: 4.17 4.19 4.12 5/264 124859
/proc/meminfo: memFree=123178996/131249996 swapFree=33005016/33010684
[pid=124858] ppid=124855 vsize=193376 memory=110504 CPUtime=3.08 cores=0,2
/proc/124858/stat : 124858 (mixed-bag) R 124855 124858 122570 0 -1 4194304 27929 0 0 0 303 5 0 0 20 0 1 0 141708566 198017024 27626 18446744073709551615 4235264 15840557 140722979836160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 37531648 140722979838362 140722979838439 140722979838439 140722979844043 0
/proc/124858/statm: 48344 27626 4288 2834 0 30549 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 193376 KiB
Current children cumulated memory: 110504 KiB

[startup+6.30016 s]
/proc/loadavg: 4.17 4.19 4.12 5/264 124859
/proc/meminfo: memFree=123172848/131249996 swapFree=33005016/33010684
[pid=124858] ppid=124855 vsize=207740 memory=122408 CPUtime=6.26 cores=0,2
/proc/124858/stat : 124858 (mixed-bag) R 124855 124858 122570 0 -1 4194304 30984 0 0 0 621 5 0 0 20 0 1 0 141708566 212725760 30602 18446744073709551615 4235264 15840557 140722979836160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 37531648 140722979838362 140722979838439 140722979838439 140722979844043 0
/proc/124858/statm: 51935 30602 4288 2834 0 34140 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 207740 KiB
Current children cumulated memory: 122408 KiB

[startup+12.7001 s]
/proc/loadavg: 4.16 4.18 4.12 5/264 124859
/proc/meminfo: memFree=123161568/131249996 swapFree=33005016/33010684
[pid=124858] ppid=124855 vsize=212920 memory=127144 CPUtime=12.65 cores=0,2
/proc/124858/stat : 124858 (mixed-bag) R 124855 124858 122570 0 -1 4194304 32184 0 0 0 1259 6 0 0 20 0 1 0 141708566 218030080 31786 18446744073709551615 4235264 15840557 140722979836160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 37531648 140722979838362 140722979838439 140722979838439 140722979844043 0
/proc/124858/statm: 53230 31786 4288 2834 0 35435 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 212920 KiB
Current children cumulated memory: 127144 KiB

[startup+25.5002 s]
/proc/loadavg: 4.12 4.17 4.12 5/264 124904
/proc/meminfo: memFree=123103032/131249996 swapFree=33005016/33010684
[pid=124858] ppid=124855 vsize=237288 memory=151592 CPUtime=25.41 cores=0,2
/proc/124858/stat : 124858 (mixed-bag) R 124855 124858 122570 0 -1 4194304 38261 0 0 0 2535 6 0 0 20 0 1 0 141708566 242982912 37898 18446744073709551615 4235264 15840557 140722979836160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 37531648 140722979838362 140722979838439 140722979838439 140722979844043 0
/proc/124858/statm: 59322 37898 4320 2834 0 41527 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 237288 KiB
Current children cumulated memory: 151592 KiB

[startup+51.1054 s]
/proc/loadavg: 4.14 4.17 4.12 5/264 124904
/proc/meminfo: memFree=122785932/131249996 swapFree=33005016/33010684
[pid=124858] ppid=124855 vsize=237288 memory=151592 CPUtime=50.94 cores=0,2
/proc/124858/stat : 124858 (mixed-bag) R 124855 124858 122570 0 -1 4194304 38262 0 0 0 5088 6 0 0 20 0 1 0 141708566 242982912 37898 18446744073709551615 4235264 15840557 140722979836160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 37531648 140722979838362 140722979838439 140722979838439 140722979844043 0
/proc/124858/statm: 59322 37898 4320 2834 0 41527 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 237288 KiB
Current children cumulated memory: 151592 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.16 4.12 5/264 124906
/proc/meminfo: memFree=122547864/131249996 swapFree=33005016/33010684
[pid=124858] ppid=124855 vsize=249184 memory=162216 CPUtime=102 cores=0,2
/proc/124858/stat : 124858 (mixed-bag) R 124855 124858 122570 0 -1 4194304 40933 0 0 0 10193 7 0 0 20 0 1 0 141708566 255164416 40554 18446744073709551615 4235264 15840557 140722979836160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 37531648 140722979838362 140722979838439 140722979838439 140722979844043 0
/proc/124858/statm: 62296 40554 4320 2834 0 44501 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 249184 KiB
Current children cumulated memory: 162216 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 4.16 4.12 5/264 124908
/proc/meminfo: memFree=122523952/131249996 swapFree=33005016/33010684
[pid=124858] ppid=124855 vsize=249184 memory=162984 CPUtime=161.82 cores=0,2
/proc/124858/stat : 124858 (mixed-bag) R 124855 124858 122570 0 -1 4194304 41126 0 0 0 16175 7 0 0 20 0 1 0 141708566 255164416 40746 18446744073709551615 4235264 15840557 140722979836160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 37531648 140722979838362 140722979838439 140722979838439 140722979844043 0
/proc/124858/statm: 62296 40746 4320 2834 0 44501 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 249184 KiB
Current children cumulated memory: 162984 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.14 4.11 5/264 124922
/proc/meminfo: memFree=123983876/131249996 swapFree=33005016/33010684
[pid=124858] ppid=124855 vsize=258696 memory=172840 CPUtime=221.63 cores=0,2
/proc/124858/stat : 124858 (mixed-bag) R 124855 124858 122570 0 -1 4194304 43571 0 0 0 22155 8 0 0 20 0 1 0 141708566 264904704 43210 18446744073709551615 4235264 15840557 140722979836160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 37531648 140722979838362 140722979838439 140722979838439 140722979844043 0
/proc/124858/statm: 64674 43210 4320 2834 0 46879 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 258696 KiB
Current children cumulated memory: 172840 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 4.13 4.10 5/263 124924
/proc/meminfo: memFree=123793740/131249996 swapFree=33005016/33010684
[pid=124858] ppid=124855 vsize=271216 memory=185128 CPUtime=281.44 cores=0,2
/proc/124858/stat : 124858 (mixed-bag) R 124855 124858 122570 0 -1 4194304 46568 0 0 0 28136 8 0 0 20 0 1 0 141708566 277725184 46282 18446744073709551615 4235264 15840557 140722979836160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 37531648 140722979838362 140722979838439 140722979838439 140722979844043 0
/proc/124858/statm: 67804 46282 4416 2834 0 50009 0
Current children cumulated CPU time: 281.44 s
Current children cumulated vsize: 271216 KiB
Current children cumulated memory: 185128 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 4.14 4.10 5/263 124926
/proc/meminfo: memFree=123521708/131249996 swapFree=33005016/33010684
[pid=124858] ppid=124855 vsize=280772 memory=202020 CPUtime=341.26 cores=0,2
/proc/124858/stat : 124858 (mixed-bag) R 124855 124858 122570 0 -1 4194304 49345 0 0 0 34095 31 0 0 20 0 1 0 141708566 287510528 50505 18446744073709551615 4235264 15840557 140722979836160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 37531648 140722979838362 140722979838439 140722979838439 140722979844043 0
/proc/124858/statm: 70193 50505 4576 2834 0 52398 0
Current children cumulated CPU time: 341.26 s
Current children cumulated vsize: 280772 KiB
Current children cumulated memory: 202020 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 4.12 4.10 5/263 124929
/proc/meminfo: memFree=123335052/131249996 swapFree=33005016/33010684
[pid=124858] ppid=124855 vsize=280772 memory=206508 CPUtime=401.1 cores=0,2
/proc/124858/stat : 124858 (mixed-bag) R 124855 124858 122570 0 -1 4194304 49431 0 0 0 40052 58 0 0 20 0 1 0 141708566 287510528 51627 18446744073709551615 4235264 15840557 140722979836160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 37531648 140722979838362 140722979838439 140722979838439 140722979844043 0
/proc/124858/statm: 70193 51627 4576 2834 0 52398 0
Current children cumulated CPU time: 401.1 s
Current children cumulated vsize: 280772 KiB
Current children cumulated memory: 206508 KiB

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

# cumulated CPU time of all completed processes:  user=424.203 s, system=0.688002 s

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

[startup+409.6 s]
/proc/loadavg: 4.08 4.12 4.10 5/263 124929
/proc/meminfo: memFree=123290132/131249996 swapFree=33005016/33010684
[pid=124858] ppid=124855 vsize=280772 memory=206508 CPUtime=408.38 cores=0,2
/proc/124858/stat : 124858 (mixed-bag) R 124855 124858 122570 0 -1 4194304 49431 0 0 0 40777 61 0 0 20 0 1 0 141708566 287510528 51627 18446744073709551615 4235264 15840557 140722979836160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 37531648 140722979838362 140722979838439 140722979838439 140722979844043 0
/proc/124858/statm: 70193 51627 4576 2834 0 52398 0
Current children cumulated CPU time: 408.38 s
Current children cumulated vsize: 280772 KiB
Current children cumulated memory: 206508 KiB

[startup+416 s]*
/proc/loadavg: 4.15 4.13 4.10 5/263 124929
/proc/meminfo: memFree=123233552/131249996 swapFree=33005016/33010684
[pid=124858] ppid=124855 vsize=280772 memory=206508 CPUtime=414.77 cores=0,2
/proc/124858/stat : 124858 (mixed-bag) R 124855 124858 122570 0 -1 4194304 49431 0 0 0 41413 64 0 0 20 0 1 0 141708566 287510528 51627 18446744073709551615 4235264 15840557 140722979836160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 37531648 140722979838362 140722979838439 140722979838439 140722979844043 0
/proc/124858/statm: 70193 51627 4576 2834 0 52398 0
Current children cumulated CPU time: 414.77 s
Current children cumulated vsize: 280772 KiB
Current children cumulated memory: 206508 KiB

[startup+422.4 s]
/proc/loadavg: 4.14 4.13 4.10 5/263 124929
/proc/meminfo: memFree=123185036/131249996 swapFree=33005016/33010684
[pid=124858] ppid=124855 vsize=280772 memory=206508 CPUtime=421.15 cores=0,2
/proc/124858/stat : 124858 (mixed-bag) R 124855 124858 122570 0 -1 4194304 49431 0 0 0 42049 66 0 0 20 0 1 0 141708566 287510528 51627 18446744073709551615 4235264 15840557 140722979836160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 37531648 140722979838362 140722979838439 140722979838439 140722979844043 0
/proc/124858/statm: 70193 51627 4576 2834 0 52398 0
Current children cumulated CPU time: 421.15 s
Current children cumulated vsize: 280772 KiB
Current children cumulated memory: 206508 KiB

[startup+424 s]*
/proc/loadavg: 4.13 4.13 4.10 5/263 124930
/proc/meminfo: memFree=123172756/131249996 swapFree=33005016/33010684
[pid=124858] ppid=124855 vsize=280772 memory=206508 CPUtime=422.75 cores=0,2
/proc/124858/stat : 124858 (mixed-bag) R 124855 124858 122570 0 -1 4194304 49435 0 0 0 42208 67 0 0 20 0 1 0 141708566 287510528 51627 18446744073709551615 4235264 15840557 140722979836160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 37531648 140722979838362 140722979838439 140722979838439 140722979844043 0
/proc/124858/statm: 70193 51627 4576 2834 0 52398 0
Current children cumulated CPU time: 422.75 s
Current children cumulated vsize: 280772 KiB
Current children cumulated memory: 206508 KiB

[startup+424.8 s]
/proc/loadavg: 4.13 4.13 4.10 5/263 124930
/proc/meminfo: memFree=123172756/131249996 swapFree=33005016/33010684
[pid=124858] ppid=124855 vsize=280772 memory=206508 CPUtime=423.54 cores=0,2
/proc/124858/stat : 124858 (mixed-bag) R 124855 124858 122570 0 -1 4194304 49435 0 0 0 42287 67 0 0 20 0 1 0 141708566 287510528 51627 18446744073709551615 4235264 15840557 140722979836160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 37531648 140722979838362 140722979838439 140722979838439 140722979844043 0
/proc/124858/statm: 70193 51627 4576 2834 0 52398 0
Current children cumulated CPU time: 423.54 s
Current children cumulated vsize: 280772 KiB
Current children cumulated memory: 206508 KiB

[startup+425.6 s]
/proc/loadavg: 4.13 4.13 4.10 5/263 124930
/proc/meminfo: memFree=123173008/131249996 swapFree=33005016/33010684
[pid=124858] ppid=124855 vsize=280772 memory=206508 CPUtime=424.34 cores=0,2
/proc/124858/stat : 124858 (mixed-bag) R 124855 124858 122570 0 -1 4194304 49435 0 0 0 42367 67 0 0 20 0 1 0 141708566 287510528 51627 18446744073709551615 4235264 15840557 140722979836160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 37531648 140722979838362 140722979838439 140722979838439 140722979844043 0
/proc/124858/statm: 70193 51627 4576 2834 0 52398 0
Current children cumulated CPU time: 424.34 s
Current children cumulated vsize: 280772 KiB
Current children cumulated memory: 206508 KiB

[startup+426 s]*
/proc/loadavg: 4.13 4.13 4.10 5/263 124930
/proc/meminfo: memFree=123168928/131249996 swapFree=33005016/33010684
[pid=124858] ppid=124855 vsize=280772 memory=206508 CPUtime=424.74 cores=0,2
/proc/124858/stat : 124858 (mixed-bag) R 124855 124858 122570 0 -1 4194304 49437 0 0 0 42407 67 0 0 20 0 1 0 141708566 287510528 51627 18446744073709551615 4235264 15840557 140722979836160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 37531648 140722979838362 140722979838439 140722979838439 140722979844043 0
/proc/124858/statm: 70193 51627 4576 2834 0 52398 0
Current children cumulated CPU time: 424.74 s
Current children cumulated vsize: 280772 KiB
Current children cumulated memory: 206508 KiB

[startup+426.105 s]
/proc/loadavg: 4.13 4.13 4.10 5/263 124930
/proc/meminfo: memFree=123168928/131249996 swapFree=33005016/33010684
[pid=124858] ppid=124855 vsize=280772 memory=206508 CPUtime=424.84 cores=0,2
/proc/124858/stat : 124858 (mixed-bag) R 124855 124858 122570 0 -1 4194304 49437 0 0 0 42417 67 0 0 20 0 1 0 141708566 287510528 51627 18446744073709551615 4235264 15840557 140722979836160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 37531648 140722979838362 140722979838439 140722979838439 140722979844043 0
/proc/124858/statm: 70193 51627 4576 2834 0 52398 0
Current children cumulated CPU time: 424.84 s
Current children cumulated vsize: 280772 KiB
Current children cumulated memory: 206508 KiB

Child status: 0

Real time (s): 426.144
CPU time (s): 424.891
CPU user time (s): 424.203
CPU system time (s): 0.688002
CPU usage (%): 99.7058
Max. virtual memory (cumulated for all children) (KiB): 280772
Max. memory (cumulated for all children) (KiB): 206508

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 424.203
system time used= 0.688002
maximum resident set size= 207276
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49518
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= 100
involuntary context switches= 947


# summary of solver processes directly reported to runsolver:
#   pid: 124858
#   total CPU time (s): 424.891
#   total CPU user time (s): 424.203
#   total CPU system time (s): 0.688002

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.776188 second user time and 1.85649 second system time

The end

Launcher Data 

Begin job on nodeC030 at 2025-07-11 20:58:10
IDJOB=4529148
IDBENCH=155636
IDSOLVER=3386
FILE ID=nodeC030/4529148-1752260290
RUNJOBID= nodeC030-1752256328-122580
SLURM_JOB_ID= 9682597
Free space on /tmp= 432436 MiB

SOLVER NAME= mixed-bag-2024 2025-07-10
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat70_4_22_0.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4529148-1752260290/watcher-4529148-1752260290 -o /tmp/evaluation-result-4529148-1752260290/solver-4529148-1752260290 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1752256328-122580 --watchdog 3760  mixed-bag HOME/instance-4529148-1752260290.opb

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

MD5SUM BENCH= 26289d562a21d461fc03dcfb0c556d93
RANDOM SEED=1872558356

nodeC030 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		: 3600.760
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	: 7000.62
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		: 3600.294
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	: 7000.62
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        123272784 kB
MemAvailable:   126364460 kB
Buffers:              16 kB
Cached:          3876148 kB
SwapCached:          216 kB
Active:          3479640 kB
Inactive:        3768680 kB
Active(anon):    3324620 kB
Inactive(anon):    61088 kB
Active(file):     155020 kB
Inactive(file):  3707592 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33005016 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             16352 kB
Writeback:             0 kB
AnonPages:       3371148 kB
Mapped:           134468 kB
Shmem:             13548 kB
KReclaimable:     136204 kB
Slab:             228936 kB
SReclaimable:     136204 kB
SUnreclaim:        92732 kB
KernelStack:        4284 kB
PageTables:        10012 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    4072248 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150552 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1603584 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:      189140 kB
DirectMap2M:     9019392 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432420 MiB
End job on nodeC030 at 2025-07-11 21:05:16