Trace number 4522166

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
IPBHS-GUROBI 2025-06-09? (TO) 3600.06 3606.61

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/
MIPLIB01/opt/miplib2017/normalized-2club200v15p5scn.opb
MD5SUM052b56f2871560e549ba2a2e5aff1011
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 benchmark-70
Best CPU time to get the best result obtained on this benchmark3535.65
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables200
Total number of constraints17013
Number of constraints which are clauses17013
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 constraint2
Maximum length of a constraint16
Number of terms in the objective function 200
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 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
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 initialize IPBHS solver
0.00/0.01	c IPBHS 0.0.0 beta (8d0f613-dirty, Jun  3 2025 11:30:33), compiled with satsolvers: , optimizers: , GreedyOptimizer, Gurobi 12.0.2, RoundingSat 2, , , pbsolvers: RoundingSat 2, BreakID 0.0.0
0.00/0.01	c optimizer = "gurobi"
0.00/0.01	c pbsolver = "roundingsat"
0.00/0.01	c use separate pbsolver for SIS
0.00/0.01	c load symmetries from file ""
0.00/0.01	c set time limit for symmetry computation to 100 seconds.
0.00/0.01	c set interchangeable summation variable limit to 3
0.00/0.01	c set sym compact max subset size to 5
0.00/0.01	c set explicit symmetry matrix usage to 1
0.00/0.01	c sym budget explicit to 100
0.00/0.01	c sym budget explicit lits to 6000
0.00/0.01	c sym budget compact to 100
0.00/0.01	c sym budget compact lits to 6000
0.00/0.01	c sym budget common to 0
0.00/0.01	c sym budget common lits to 0
0.00/0.01	c set sym generation to 's'
0.00/0.01	c set abstraction set creation to 10 iterations without LB change
0.00/0.01	c set abstraction set inputs to 0
0.00/0.01	c set abstraction set cluster min size to 2
0.00/0.01	c set abstraction set cluster max size to 100000000
0.00/0.01	c set abstraction set cluster activation limit to 2
0.00/0.01	c enable abstraction set require equal cost
0.00/0.01	c set abstraction set assumptions to 0
0.00/0.01	c set abstraction set constraint type to 0
0.00/0.01	c set abstract core extraction strategy to b
0.00/0.01	c set core extraction strategy to 2
0.00/0.01	c set core extraction shuffles 10
0.00/0.01	c set cores per iteration to 5
0.00/0.01	c set optimizer bound usage strategy to 2
0.00/0.01	c set optimizer max non-optimal iterations to 1000
0.00/0.01	c set small core cardinality limit to 2
0.00/0.01	c set max coef in cores to 1000000000
0.00/0.01	c set core processing techniques to 4095
0.00/0.01	c set SIS iterations to 5
0.00/0.01	c set SIS budget abs to 1000
0.00/0.01	c set SIS budget rel to 0.05
0.50/0.54	c limit for coefficient in constraints and objective to 1000000000
0.50/0.54	c will solve HOME/instance-4522166-1751577800.opb
0.50/0.54	c [0] will start solving

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63794 MiB (62252 MiB free)
  memory of node 1: 64507 MiB (54504 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4522166-1751577800/watcher-4522166-1751577800 -o /tmp/evaluation-result-4522166-1751577800/solver-4522166-1751577800 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751570052-85951 --watchdog 3760 ./ipbhs_gurobi HOME/instance-4522166-1751577800.opb --max-coef 1000000000 

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=87835, runsolver pid=87832

[startup+0.100069 s]*
/proc/loadavg: 4.05 4.10 4.13 5/256 87836
/proc/meminfo: memFree=119316924/131382116 swapFree=33010684/33010684
[pid=87835] ppid=87832 vsize=911288 memory=286408 CPUtime=0.09 cores=0,2
/proc/87835/stat : 87835 (ipbhs_gurobi) R 87832 87835 85941 0 -1 4194304 698 0 0 0 3 6 0 0 20 0 1 0 73459784 933158912 71602 18446744073709551615 94404231147520 94404233772573 140735132161824 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94404234391448 94404234424410 94404242067456 140735132170655 140735132170759 140735132170759 140735132176361 0
/proc/87835/statm: 227822 71602 1600 641 0 212579 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 911288 KiB
Current children cumulated memory: 286408 KiB

[startup+0.213427 s]*
/proc/loadavg: 4.05 4.10 4.13 5/256 87836
/proc/meminfo: memFree=118993340/131382116 swapFree=33010684/33010684
[pid=87835] ppid=87832 vsize=911288 memory=626376 CPUtime=0.21 cores=0,2
/proc/87835/stat : 87835 (ipbhs_gurobi) R 87832 87835 85941 0 -1 4194304 864 0 0 0 7 14 0 0 20 0 1 0 73459784 933158912 156594 18446744073709551615 94404231147520 94404233772573 140735132161824 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94404234391448 94404234424410 94404242067456 140735132170655 140735132170759 140735132170759 140735132176361 0
/proc/87835/statm: 227822 156594 1600 641 0 212579 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 911288 KiB
Current children cumulated memory: 626376 KiB

[startup+0.313334 s]*
/proc/loadavg: 4.05 4.10 4.13 5/256 87836
/proc/meminfo: memFree=118718716/131382116 swapFree=33010684/33010684
[pid=87835] ppid=87832 vsize=912408 memory=849224 CPUtime=0.31 cores=0,2
/proc/87835/stat : 87835 (ipbhs_gurobi) R 87832 87835 85941 0 -1 4194304 1437 0 0 0 12 19 0 0 20 0 1 0 73459784 934305792 212306 18446744073709551615 94404231147520 94404233772573 140735132161824 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94404234391448 94404234424410 94404242067456 140735132170655 140735132170759 140735132170759 140735132176361 0
/proc/87835/statm: 228102 212306 1600 641 0 212859 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 912408 KiB
Current children cumulated memory: 849224 KiB

[startup+0.700256 s]
/proc/loadavg: 4.05 4.10 4.13 5/256 87836
/proc/meminfo: memFree=118746916/131382116 swapFree=33010684/33010684
[pid=87835] ppid=87832 vsize=939676 memory=864752 CPUtime=0.67 cores=0,2
/proc/87835/stat : 87835 (ipbhs_gurobi) R 87832 87835 85941 0 -1 4194304 4579 0 0 0 37 30 0 0 20 0 2 0 73459784 962228224 216188 18446744073709551615 94404231147520 94404233772573 140735132161824 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 94404234391448 94404234424410 94404242067456 140735132170655 140735132170759 140735132170759 140735132176361 0
/proc/87835/statm: 234919 216188 2272 641 0 217402 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 939676 KiB
Current children cumulated memory: 864752 KiB

[startup+1.50034 s]
/proc/loadavg: 4.05 4.10 4.13 5/257 87837
/proc/meminfo: memFree=118714600/131382116 swapFree=33010684/33010684
[pid=87835] ppid=87832 vsize=995572 memory=906460 CPUtime=1.47 cores=0,2
/proc/87835/stat : 87835 (ipbhs_gurobi) R 87832 87835 85941 0 -1 4194304 15716 0 0 0 110 37 0 0 20 0 2 0 73459784 1019465728 226615 18446744073709551615 94404231147520 94404233772573 140735132161824 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 94404234391448 94404234424410 94404242067456 140735132170655 140735132170759 140735132170759 140735132176361 0
/proc/87835/statm: 248893 226615 3264 641 0 231376 0
[pid=87835/tid=87837] ppid=87832 vsize=995572 memory=0 CPUtime=0 cores=0,2
/proc/87835/task/87837/stat : 87837 (ipbhs_gurobi) S 87832 87835 85941 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 2 0 73459838 1019465728 226615 18446744073709551615 94404231147520 94404233772573 140735132161824 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 94404234391448 94404234424410 94404242067456 140735132170655 140735132170759 140735132170759 140735132176361 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 995572 KiB
Current children cumulated memory: 906460 KiB

[startup+3.11403 s]
/proc/loadavg: 4.05 4.10 4.13 5/257 87837
/proc/meminfo: memFree=118635088/131382116 swapFree=33010684/33010684
[pid=87835] ppid=87832 vsize=1038660 memory=945352 CPUtime=3.08 cores=0,2
/proc/87835/stat : 87835 (ipbhs_gurobi) R 87832 87835 85941 0 -1 4194304 52540 0 0 0 265 43 0 0 20 0 2 0 73459784 1063587840 236338 18446744073709551615 94404231147520 94404233772573 140735132161824 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 94404234391448 94404234424410 94404242067456 140735132170655 140735132170759 140735132170759 140735132176361 0
/proc/87835/statm: 259665 236338 3648 641 0 242148 0
[pid=87835/tid=87837] ppid=87832 vsize=1038660 memory=866928 CPUtime=0 cores=0,2
/proc/87835/task/87837/stat : 87837 (ipbhs_gurobi) S 87832 87835 85941 0 -1 4194368 4 0 0 0 0 0 0 0 20 0 2 0 73459838 1063587840 236338 18446744073709551615 94404231147520 94404233772573 140735132161824 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 94404234391448 94404234424410 94404242067456 140735132170655 140735132170759 140735132170759 140735132176361 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 1038660 KiB
Current children cumulated memory: 945352 KiB

[startup+6.30037 s]
/proc/loadavg: 4.05 4.10 4.13 5/257 87837
/proc/meminfo: memFree=118632680/131382116 swapFree=33010684/33010684
[pid=87835] ppid=87832 vsize=1044800 memory=953112 CPUtime=6.26 cores=0,2
/proc/87835/stat : 87835 (ipbhs_gurobi) R 87832 87835 85941 0 -1 4194304 73130 0 0 0 582 44 0 0 20 0 2 0 73459784 1069875200 238278 18446744073709551615 94404231147520 94404233772573 140735132161824 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 94404234391448 94404234424410 94404242067456 140735132170655 140735132170759 140735132170759 140735132176361 0
/proc/87835/statm: 261200 238278 3680 641 0 243683 0
[pid=87835/tid=87837] ppid=87832 vsize=1044800 memory=18816 CPUtime=0 cores=0,2
/proc/87835/task/87837/stat : 87837 (ipbhs_gurobi) S 87832 87835 85941 0 -1 4194368 7 0 0 0 0 0 0 0 20 0 2 0 73459838 1069875200 238278 18446744073709551615 94404231147520 94404233772573 140735132161824 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 94404234391448 94404234424410 94404242067456 140735132170655 140735132170759 140735132170759 140735132176361 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 1044800 KiB
Current children cumulated memory: 953112 KiB

[startup+12.7003 s]
/proc/loadavg: 4.05 4.10 4.13 5/257 87837
/proc/meminfo: memFree=118627348/131382116 swapFree=33010684/33010684
[pid=87835] ppid=87832 vsize=1064248 memory=966220 CPUtime=12.65 cores=0,2
/proc/87835/stat : 87835 (ipbhs_gurobi) R 87832 87835 85941 0 -1 4194304 96617 0 0 0 1218 47 0 0 20 0 2 0 73459784 1089789952 241555 18446744073709551615 94404231147520 94404233772573 140735132161824 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 94404234391448 94404234424410 94404242067456 140735132170655 140735132170759 140735132170759 140735132176361 0
/proc/87835/statm: 266062 241555 3680 641 0 248545 0
[pid=87835/tid=87837] ppid=87832 vsize=1064248 memory=966220 CPUtime=0.01 cores=0,2
/proc/87835/task/87837/stat : 87837 (ipbhs_gurobi) S 87832 87835 85941 0 -1 4194368 11 0 0 0 0 1 0 0 20 0 2 0 73459838 1089789952 241555 18446744073709551615 94404231147520 94404233772573 140735132161824 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 94404234391448 94404234424410 94404242067456 140735132170655 140735132170759 140735132170759 140735132176361 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1064248 KiB
Current children cumulated memory: 966220 KiB

[startup+25.5003 s]
/proc/loadavg: 4.04 4.09 4.13 5/257 87838
/proc/meminfo: memFree=118600584/131382116 swapFree=33010684/33010684
[pid=87835] ppid=87832 vsize=1096668 memory=980744 CPUtime=25.42 cores=0,2
/proc/87835/stat : 87835 (ipbhs_gurobi) R 87832 87835 85941 0 -1 4194304 130314 0 0 0 2492 50 0 0 20 0 2 0 73459784 1122988032 245186 18446744073709551615 94404231147520 94404233772573 140735132161824 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 94404234391448 94404234424410 94404242067456 140735132170655 140735132170759 140735132170759 140735132176361 0
/proc/87835/statm: 274167 245186 3680 641 0 256650 0
[pid=87835/tid=87837] ppid=87832 vsize=1096668 memory=972660 CPUtime=0.02 cores=0,2
/proc/87835/task/87837/stat : 87837 (ipbhs_gurobi) S 87832 87835 85941 0 -1 4194368 14 0 0 0 0 2 0 0 20 0 2 0 73459838 1122988032 245186 18446744073709551615 94404231147520 94404233772573 140735132161824 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 94404234391448 94404234424410 94404242067456 140735132170655 140735132170759 140735132170759 140735132176361 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 1096668 KiB
Current children cumulated memory: 980744 KiB

[startup+51.1131 s]
/proc/loadavg: 4.10 4.10 4.13 5/257 87838
/proc/meminfo: memFree=118553788/131382116 swapFree=33010684/33010684
[pid=87835] ppid=87832 vsize=1097740 memory=993996 CPUtime=50.99 cores=0,2
/proc/87835/stat : 87835 (ipbhs_gurobi) R 87832 87835 85941 0 -1 4194304 150493 0 0 0 5046 53 0 0 20 0 2 0 73459784 1124085760 248499 18446744073709551615 94404231147520 94404233772573 140735132161824 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 94404234391448 94404234424410 94404242067456 140735132170655 140735132170759 140735132170759 140735132176361 0
/proc/87835/statm: 274435 248499 3680 641 0 256918 0
[pid=87835/tid=87837] ppid=87832 vsize=1097740 memory=993388 CPUtime=0.04 cores=0,2
/proc/87835/task/87837/stat : 87837 (ipbhs_gurobi) S 87832 87835 85941 0 -1 4194368 17 0 0 0 0 4 0 0 20 0 2 0 73459838 1124085760 248499 18446744073709551615 94404231147520 94404233772573 140735132161824 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 94404234391448 94404234424410 94404242067456 140735132170655 140735132170759 140735132170759 140735132176361 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 1097740 KiB
Current children cumulated memory: 993996 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.10 4.12 5/257 87840
/proc/meminfo: memFree=118569008/131382116 swapFree=33010684/33010684
[pid=87835] ppid=87832 vsize=1079604 memory=990760 CPUtime=102.08 cores=0,2
/proc/87835/stat : 87835 (ipbhs_gurobi) R 87832 87835 85941 0 -1 4194304 164875 0 0 0 10150 58 0 0 20 0 2 0 73459784 1105514496 247690 18446744073709551615 94404231147520 94404233772573 140735132161824 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 94404234391448 94404234424410 94404242067456 140735132170655 140735132170759 140735132170759 140735132176361 0
/proc/87835/statm: 269901 247690 3680 641 0 252384 0
[pid=87835/tid=87837] ppid=87832 vsize=1079604 memory=-7387154158064531391 CPUtime=0.09 cores=0,2
/proc/87835/task/87837/stat : 87837 (ipbhs_gurobi) S 87832 87835 85941 0 -1 4194368 19 0 0 0 1 8 0 0 20 0 2 0 73459838 1105514496 247690 18446744073709551615 94404231147520 94404233772573 140735132161824 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 94404234391448 94404234424410 94404242067456 140735132170655 140735132170759 140735132170759 140735132176361 0
Current children cumulated CPU time: 102.08 s
Current children cumulated vsize: 1079604 KiB
Current children cumulated memory: 990760 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.09 4.12 5/255 87846
/proc/meminfo: memFree=118562328/131382116 swapFree=33010684/33010684
[pid=87835] ppid=87832 vsize=1080332 memory=991656 CPUtime=161.98 cores=0,2
/proc/87835/stat : 87835 (ipbhs_gurobi) R 87832 87835 85941 0 -1 4194304 166925 0 0 0 16138 60 0 0 20 0 2 0 73459784 1106259968 247914 18446744073709551615 94404231147520 94404233772573 140735132161824 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 94404234391448 94404234424410 94404242067456 140735132170655 140735132170759 140735132170759 140735132176361 0
/proc/87835/statm: 270083 247914 3680 641 0 252566 0
[pid=87835/tid=87837] ppid=87832 vsize=1080332 memory=991400 CPUtime=0.15 cores=0,2
/proc/87835/task/87837/stat : 87837 (ipbhs_gurobi) S 87832 87835 85941 0 -1 4194368 19 0 0 0 2 13 0 0 20 0 2 0 73459838 1106259968 247914 18446744073709551615 94404231147520 94404233772573 140735132161824 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 94404234391448 94404234424410 94404242067456 140735132170655 140735132170759 140735132170759 140735132176361 0
Current children cumulated CPU time: 161.98 s
Current children cumulated vsize: 1080332 KiB
Current children cumulated memory: 991656 KiB

[startup+222.3 s]
/proc/loadavg: 4.18 4.12 4.12 5/254 87848
/proc/meminfo: memFree=118505760/131382116 swapFree=33010684/33010684
[pid=87835] ppid=87832 vsize=1109020 memory=1002916 CPUtime=221.87 cores=0,2
/proc/87835/stat : 87835 (ipbhs_gurobi) R 87832 87835 85941 0 -1 4194304 172486 0 0 0 22124 63 0 0 20 0 2 0 73459784 1135636480 250729 18446744073709551615 94404231147520 94404233772573 140735132161824 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 94404234391448 94404234424410 94404242067456 140735132170655 140735132170759 140735132170759 140735132176361 0
/proc/87835/statm: 277255 250729 3680 641 0 259738 0
[pid=87835/tid=87837] ppid=87832 vsize=1109020 memory=997068 CPUtime=0.21 cores=0,2
/proc/87835/task/87837/stat : 87837 (ipbhs_gurobi) S 87832 87835 85941 0 -1 4194368 19 0 0 0 2 19 0 0 20 0 2 0 73459838 1135636480 250729 18446744073709551615 94404231147520 94404233772573 140735132161824 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 94404234391448 94404234424410 94404242067456 140735132170655 140735132170759 140735132170759 140735132176361 0
Current children cumulated CPU time: 221.87 s
Current children cumulated vsize: 1109020 KiB
Current children cumulated memory: 1002916 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 4.11 4.12 5/255 87853
/proc/meminfo: memFree=118402576/131382116 swapFree=33010684/33010684
[pid=87835] ppid=87832 vsize=1092328 memory=995536 CPUtime=281.76 cores=0,2
/proc/87835/stat : 87835 (ipbhs_gurobi) R 87832 87835 85941 0 -1 4194304 172963 0 0 0 28111 65 0 0 20 0 2 0 73459784 1118543872 248884 18446744073709551615 94404231147520 94404233772573 140735132161824 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 94404234391448 94404234424410 94404242067456 140735132170655 140735132170759 140735132170759 140735132176361 0
/proc/87835/statm: 273082 248884 3680 641 0 255565 0
[pid=87835/tid=87837] ppid=87832 vsize=1092328 memory=995408 CPUtime=0.27 cores=0,2
/proc/87835/task/87837/stat : 87837 (ipbhs_gurobi) S 87832 87835 85941 0 -1 4194368 19 0 0 0 3 24 0 0 20 0 2 0 73459838 1118543872 248884 18446744073709551615 94404231147520 94404233772573 140735132161824 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 94404234391448 94404234424410 94404242067456 140735132170655 140735132170759 140735132170759 140735132176361 0
Current children cumulated CPU time: 281.76 s
Current children cumulated vsize: 1092328 KiB
Current children cumulated memory: 995536 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 4.10 4.11 5/255 87855
/proc/meminfo: memFree=118382692/131382116 swapFree=33010684/33010684
[pid=87835] ppid=87832 vsize=1101940 memory=1003580 CPUtime=341.64 cores=0,2
/proc/87835/stat : 87835 (ipbhs_gurobi) R 87832 87835 85941 0 -1 4194304 191601 0 0 0 34094 70 0 0 20 0 2 0 73459784 1128386560 250895 18446744073709551615 94404231147520 94404233772573 140735132161824 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 94404234391448 94404234424410 94404242067456 140735132170655 140735132170759 140735132170759 140735132176361 0
/proc/87835/statm: 275485 250895 3680 641 0 257968 0
[pid=87835/tid=87837] ppid=87832 vsize=1101940 memory=995408 CPUtime=0.33 cores=0,2

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

/proc/meminfo: memFree=124206712/131382116 swapFree=33010684/33010684
[pid=87835] ppid=87832 vsize=1253040 memory=1155080 CPUtime=2976.56 cores=0,2
/proc/87835/stat : 87835 (ipbhs_gurobi) R 87832 87835 85941 0 -1 4194304 429688 0 0 0 297478 178 0 0 20 0 2 0 73459784 1283112960 288770 18446744073709551615 94404231147520 94404233772573 140735132161824 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 94404234391448 94404234424410 94404242067456 140735132170655 140735132170759 140735132170759 140735132176361 0
/proc/87835/statm: 313260 288770 3680 641 0 295743 0
[pid=87835/tid=87837] ppid=87832 vsize=1253040 memory=1155080 CPUtime=2.85 cores=0,2
/proc/87835/task/87837/stat : 87837 (ipbhs_gurobi) S 87832 87835 85941 0 -1 4194368 39 0 0 0 56 229 0 0 20 0 2 0 73459838 1283112960 288770 18446744073709551615 94404231147520 94404233772573 140735132161824 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 94404234391448 94404234424410 94404242067456 140735132170655 140735132170759 140735132170759 140735132176361 0
Current children cumulated CPU time: 2976.56 s
Current children cumulated vsize: 1253040 KiB
Current children cumulated memory: 1155080 KiB

[startup+3042.3 s]
/proc/loadavg: 2.18 2.93 3.53 3/241 88114
/proc/meminfo: memFree=124467464/131382116 swapFree=33010684/33010684
[pid=87835] ppid=87832 vsize=1253040 memory=1155208 CPUtime=3036.48 cores=0,2
/proc/87835/stat : 87835 (ipbhs_gurobi) R 87832 87835 85941 0 -1 4194304 430064 0 0 0 303466 182 0 0 20 0 2 0 73459784 1283112960 288802 18446744073709551615 94404231147520 94404233772573 140735132161824 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 94404234391448 94404234424410 94404242067456 140735132170655 140735132170759 140735132170759 140735132176361 0
/proc/87835/statm: 313260 288802 3680 641 0 295743 0
[pid=87835/tid=87837] ppid=87832 vsize=1253040 memory=1155208 CPUtime=2.92 cores=0,2
/proc/87835/task/87837/stat : 87837 (ipbhs_gurobi) S 87832 87835 85941 0 -1 4194368 40 0 0 0 57 235 0 0 20 0 2 0 73459838 1283112960 288802 18446744073709551615 94404231147520 94404233772573 140735132161824 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 94404234391448 94404234424410 94404242067456 140735132170655 140735132170759 140735132170759 140735132176361 0
Current children cumulated CPU time: 3036.48 s
Current children cumulated vsize: 1253040 KiB
Current children cumulated memory: 1155208 KiB

[startup+3102.3 s]
/proc/loadavg: 2.18 2.79 3.44 3/241 88116
/proc/meminfo: memFree=124425720/131382116 swapFree=33010684/33010684
[pid=87835] ppid=87832 vsize=1253460 memory=1155464 CPUtime=3096.4 cores=0,2
/proc/87835/stat : 87835 (ipbhs_gurobi) R 87832 87835 85941 0 -1 4194304 430372 0 0 0 309454 186 0 0 20 0 2 0 73459784 1283543040 288866 18446744073709551615 94404231147520 94404233772573 140735132161824 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 94404234391448 94404234424410 94404242067456 140735132170655 140735132170759 140735132170759 140735132176361 0
/proc/87835/statm: 313365 288866 3680 641 0 295848 0
[pid=87835/tid=87837] ppid=87832 vsize=1253460 memory=1155208 CPUtime=2.98 cores=0,2
/proc/87835/task/87837/stat : 87837 (ipbhs_gurobi) S 87832 87835 85941 0 -1 4194368 41 0 0 0 60 238 0 0 20 0 2 0 73459838 1283543040 288866 18446744073709551615 94404231147520 94404233772573 140735132161824 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 94404234391448 94404234424410 94404242067456 140735132170655 140735132170759 140735132170759 140735132176361 0
Current children cumulated CPU time: 3096.4 s
Current children cumulated vsize: 1253460 KiB
Current children cumulated memory: 1155464 KiB

[startup+3162.3 s]
/proc/loadavg: 2.13 2.66 3.35 3/240 88118
/proc/meminfo: memFree=124197300/131382116 swapFree=33010684/33010684
[pid=87835] ppid=87832 vsize=1261984 memory=1168516 CPUtime=3156.32 cores=0,2
/proc/87835/stat : 87835 (ipbhs_gurobi) R 87832 87835 85941 0 -1 4194304 431829 0 0 0 315442 190 0 0 20 0 2 0 73459784 1292271616 292129 18446744073709551615 94404231147520 94404233772573 140735132161824 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 94404234391448 94404234424410 94404242067456 140735132170655 140735132170759 140735132170759 140735132176361 0
/proc/87835/statm: 315496 292129 3680 641 0 297979 0
[pid=87835/tid=87837] ppid=87832 vsize=1261984 memory=1155208 CPUtime=3.04 cores=0,2
/proc/87835/task/87837/stat : 87837 (ipbhs_gurobi) S 87832 87835 85941 0 -1 4194368 42 0 0 0 62 242 0 0 20 0 2 0 73459838 1292271616 292129 18446744073709551615 94404231147520 94404233772573 140735132161824 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 94404234391448 94404234424410 94404242067456 140735132170655 140735132170759 140735132170759 140735132176361 0
Current children cumulated CPU time: 3156.32 s
Current children cumulated vsize: 1261984 KiB
Current children cumulated memory: 1168516 KiB

[startup+3222.3 s]
/proc/loadavg: 2.68 2.72 3.33 3/240 88125
/proc/meminfo: memFree=124028560/131382116 swapFree=33010684/33010684
[pid=87835] ppid=87832 vsize=1261984 memory=1168516 CPUtime=3216.25 cores=0,2
/proc/87835/stat : 87835 (ipbhs_gurobi) R 87832 87835 85941 0 -1 4194304 431998 0 0 0 321430 195 0 0 20 0 2 0 73459784 1292271616 292129 18446744073709551615 94404231147520 94404233772573 140735132161824 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 94404234391448 94404234424410 94404242067456 140735132170655 140735132170759 140735132170759 140735132176361 0
/proc/87835/statm: 315496 292129 3680 641 0 297979 0
[pid=87835/tid=87837] ppid=87832 vsize=1261984 memory=1155208 CPUtime=3.09 cores=0,2
/proc/87835/task/87837/stat : 87837 (ipbhs_gurobi) S 87832 87835 85941 0 -1 4194368 43 0 0 0 63 246 0 0 20 0 2 0 73459838 1292271616 292129 18446744073709551615 94404231147520 94404233772573 140735132161824 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 94404234391448 94404234424410 94404242067456 140735132170655 140735132170759 140735132170759 140735132176361 0
Current children cumulated CPU time: 3216.25 s
Current children cumulated vsize: 1261984 KiB
Current children cumulated memory: 1168516 KiB

[startup+3282.3 s]
/proc/loadavg: 2.40 2.63 3.26 3/240 88127
/proc/meminfo: memFree=124042628/131382116 swapFree=33010684/33010684
[pid=87835] ppid=87832 vsize=1264052 memory=1170180 CPUtime=3276.17 cores=0,2
/proc/87835/stat : 87835 (ipbhs_gurobi) R 87832 87835 85941 0 -1 4194304 432444 0 0 0 327418 199 0 0 20 0 2 0 73459784 1294389248 292545 18446744073709551615 94404231147520 94404233772573 140735132161824 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 94404234391448 94404234424410 94404242067456 140735132170655 140735132170759 140735132170759 140735132176361 0
/proc/87835/statm: 316013 292545 3680 641 0 298496 0
[pid=87835/tid=87837] ppid=87832 vsize=1264052 memory=1170180 CPUtime=3.16 cores=0,2
/proc/87835/task/87837/stat : 87837 (ipbhs_gurobi) S 87832 87835 85941 0 -1 4194368 43 0 0 0 64 252 0 0 20 0 2 0 73459838 1294389248 292545 18446744073709551615 94404231147520 94404233772573 140735132161824 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 94404234391448 94404234424410 94404242067456 140735132170655 140735132170759 140735132170759 140735132176361 0
Current children cumulated CPU time: 3276.17 s
Current children cumulated vsize: 1264052 KiB
Current children cumulated memory: 1170180 KiB

[startup+3342.3 s]
/proc/loadavg: 2.20 2.53 3.18 3/241 88132
/proc/meminfo: memFree=124432932/131382116 swapFree=33010684/33010684
[pid=87835] ppid=87832 vsize=1270568 memory=1172612 CPUtime=3336.1 cores=0,2
/proc/87835/stat : 87835 (ipbhs_gurobi) R 87832 87835 85941 0 -1 4194304 433591 0 0 0 333406 204 0 0 20 0 2 0 73459784 1301061632 293153 18446744073709551615 94404231147520 94404233772573 140735132161824 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 94404234391448 94404234424410 94404242067456 140735132170655 140735132170759 140735132170759 140735132176361 0
/proc/87835/statm: 317642 293153 3680 641 0 300125 0
[pid=87835/tid=87837] ppid=87832 vsize=1270568 memory=1172612 CPUtime=3.22 cores=0,2
/proc/87835/task/87837/stat : 87837 (ipbhs_gurobi) S 87832 87835 85941 0 -1 4194368 43 0 0 0 65 257 0 0 20 0 2 0 73459838 1301061632 293153 18446744073709551615 94404231147520 94404233772573 140735132161824 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 94404234391448 94404234424410 94404242067456 140735132170655 140735132170759 140735132170759 140735132176361 0
Current children cumulated CPU time: 3336.1 s
Current children cumulated vsize: 1270568 KiB
Current children cumulated memory: 1172612 KiB

[startup+3402.3 s]
/proc/loadavg: 2.19 2.46 3.11 3/241 88134
/proc/meminfo: memFree=124388136/131382116 swapFree=33010684/33010684
[pid=87835] ppid=87832 vsize=1277888 memory=1178632 CPUtime=3396.02 cores=0,2
/proc/87835/stat : 87835 (ipbhs_gurobi) R 87832 87835 85941 0 -1 4194304 434401 0 0 0 339393 209 0 0 20 0 2 0 73459784 1308557312 294658 18446744073709551615 94404231147520 94404233772573 140735132161824 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 94404234391448 94404234424410 94404242067456 140735132170655 140735132170759 140735132170759 140735132176361 0
/proc/87835/statm: 319472 294658 3680 641 0 301955 0
[pid=87835/tid=87837] ppid=87832 vsize=1277888 memory=1172612 CPUtime=3.28 cores=0,2
/proc/87835/task/87837/stat : 87837 (ipbhs_gurobi) S 87832 87835 85941 0 -1 4194368 43 0 0 0 67 261 0 0 20 0 2 0 73459838 1308557312 294658 18446744073709551615 94404231147520 94404233772573 140735132161824 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 94404234391448 94404234424410 94404242067456 140735132170655 140735132170759 140735132170759 140735132176361 0
Current children cumulated CPU time: 3396.02 s
Current children cumulated vsize: 1277888 KiB
Current children cumulated memory: 1178632 KiB

[startup+3462.3 s]
/proc/loadavg: 2.12 2.39 3.05 3/241 88136
/proc/meminfo: memFree=124175024/131382116 swapFree=33010684/33010684
[pid=87835] ppid=87832 vsize=1277888 memory=1178632 CPUtime=3455.93 cores=0,2
/proc/87835/stat : 87835 (ipbhs_gurobi) R 87832 87835 85941 0 -1 4194304 434416 0 0 0 345381 212 0 0 20 0 2 0 73459784 1308557312 294658 18446744073709551615 94404231147520 94404233772573 140735132161824 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 94404234391448 94404234424410 94404242067456 140735132170655 140735132170759 140735132170759 140735132176361 0
/proc/87835/statm: 319472 294658 3680 641 0 301955 0
[pid=87835/tid=87837] ppid=87832 vsize=1277888 memory=1172612 CPUtime=3.34 cores=0,2
/proc/87835/task/87837/stat : 87837 (ipbhs_gurobi) S 87832 87835 85941 0 -1 4194368 43 0 0 0 70 264 0 0 20 0 2 0 73459838 1308557312 294658 18446744073709551615 94404231147520 94404233772573 140735132161824 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 94404234391448 94404234424410 94404242067456 140735132170655 140735132170759 140735132170759 140735132176361 0
Current children cumulated CPU time: 3455.93 s
Current children cumulated vsize: 1277888 KiB
Current children cumulated memory: 1178632 KiB

[startup+3522.3 s]
/proc/loadavg: 2.09 2.33 2.98 3/240 88138
/proc/meminfo: memFree=124351820/131382116 swapFree=33010684/33010684
[pid=87835] ppid=87832 vsize=1277888 memory=1178760 CPUtime=3515.86 cores=0,2
/proc/87835/stat : 87835 (ipbhs_gurobi) R 87832 87835 85941 0 -1 4194304 434446 0 0 0 351368 218 0 0 20 0 2 0 73459784 1308557312 294690 18446744073709551615 94404231147520 94404233772573 140735132161824 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 94404234391448 94404234424410 94404242067456 140735132170655 140735132170759 140735132170759 140735132176361 0
/proc/87835/statm: 319472 294690 3680 641 0 301955 0
[pid=87835/tid=87837] ppid=87832 vsize=1277888 memory=1178760 CPUtime=3.41 cores=0,2
/proc/87835/task/87837/stat : 87837 (ipbhs_gurobi) S 87832 87835 85941 0 -1 4194368 43 0 0 0 71 270 0 0 20 0 2 0 73459838 1308557312 294690 18446744073709551615 94404231147520 94404233772573 140735132161824 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 94404234391448 94404234424410 94404242067456 140735132170655 140735132170759 140735132170759 140735132176361 0
Current children cumulated CPU time: 3515.86 s
Current children cumulated vsize: 1277888 KiB
Current children cumulated memory: 1178760 KiB

[startup+3582.3 s]
/proc/loadavg: 2.14 2.30 2.93 3/240 88140
/proc/meminfo: memFree=124429020/131382116 swapFree=33010684/33010684
[pid=87835] ppid=87832 vsize=1280008 memory=1180680 CPUtime=3575.78 cores=0,2
/proc/87835/stat : 87835 (ipbhs_gurobi) R 87832 87835 85941 0 -1 4194304 436557 0 0 0 357356 222 0 0 20 0 2 0 73459784 1310728192 295170 18446744073709551615 94404231147520 94404233772573 140735132161824 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 94404234391448 94404234424410 94404242067456 140735132170655 140735132170759 140735132170759 140735132176361 0
/proc/87835/statm: 320002 295170 3680 641 0 302485 0
[pid=87835/tid=87837] ppid=87832 vsize=1280008 memory=1180680 CPUtime=3.46 cores=0,2
/proc/87835/task/87837/stat : 87837 (ipbhs_gurobi) S 87832 87835 85941 0 -1 4194368 43 0 0 0 73 273 0 0 20 0 2 0 73459838 1310728192 295170 18446744073709551615 94404231147520 94404233772573 140735132161824 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 94404234391448 94404234424410 94404242067456 140735132170655 140735132170759 140735132170759 140735132176361 0
Current children cumulated CPU time: 3575.78 s
Current children cumulated vsize: 1280008 KiB
Current children cumulated memory: 1180680 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3606.6 s]
/proc/loadavg: 2.09 2.28 2.90 3/240 88140
/proc/meminfo: memFree=124417048/131382116 swapFree=33010684/33010684
[pid=87835] ppid=87832 vsize=1281192 memory=1181960 CPUtime=3600.04 cores=0,2
/proc/87835/stat : 87835 (ipbhs_gurobi) R 87832 87835 85941 0 -1 4194304 438106 0 0 0 359781 223 0 0 20 0 2 0 73459784 1311940608 295490 18446744073709551615 94404231147520 94404233772573 140735132161824 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 94404234391448 94404234424410 94404242067456 140735132170655 140735132170759 140735132170759 140735132176361 0
/proc/87835/statm: 320298 295490 3680 641 0 302781 0
[pid=87835/tid=87837] ppid=87832 vsize=1281192 memory=1180808 CPUtime=3.48 cores=0,2
/proc/87835/task/87837/stat : 87837 (ipbhs_gurobi) S 87832 87835 85941 0 -1 4194368 43 0 0 0 73 275 0 0 20 0 2 0 73459838 1311940608 295490 18446744073709551615 94404231147520 94404233772573 140735132161824 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 94404234391448 94404234424410 94404242067456 140735132170655 140735132170759 140735132170759 140735132176361 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1281192 KiB
Current children cumulated memory: 1181960 KiB

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

[startup+3606.61 s]
# the end of solver process 87835 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=3597.82 s, system=2.2436 s

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

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3606.61
CPU time (s): 3600.06
CPU user time (s): 3597.82
CPU system time (s): 2.2436
CPU usage (%): 99.8185
Max. virtual memory (cumulated for all children) (KiB): 1281192
Max. memory (cumulated for all children) (KiB): 1181960

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.82
system time used= 2.2436
maximum resident set size= 1181960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 438106
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= 357838
involuntary context switches= 7929


# summary of solver processes directly reported to runsolver:
#   pid: 87835
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3597.82
#   total CPU system time (s): 2.2436

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.2311 second user time and 32.6197 second system time

The end

Launcher Data 

Begin job on nodeC011 at 2025-07-03 23:23:20
IDJOB=4522166
IDBENCH=178624
IDSOLVER=3333
FILE ID=nodeC011/4522166-1751577800
RUNJOBID= nodeC011-1751570052-85951
SLURM_JOB_ID= 9598789
Free space on /tmp= 430252 MiB

SOLVER NAME= IPBHS-GUROBI 2025-06-09
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/opt/miplib2017/normalized-2club200v15p5scn.opb
COMMAND LINE= ./ipbhs_gurobi BENCHNAME --max-coef 1000000000
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4522166-1751577800/watcher-4522166-1751577800 -o /tmp/evaluation-result-4522166-1751577800/solver-4522166-1751577800 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751570052-85951 --watchdog 3760  ./ipbhs_gurobi HOME/instance-4522166-1751577800.opb --max-coef 1000000000

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

MD5SUM BENCH= 052b56f2871560e549ba2a2e5aff1011
RANDOM SEED=1203827559

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

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.563
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6984.20
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3691.684
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6984.20
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.282
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6984.20
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.414
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6984.20
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3661.674
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6984.20
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3593.621
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6984.20
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3700.000
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6984.20
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3700.000
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6984.20
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        119559040 kB
MemAvailable:   122545028 kB
Buffers:            3276 kB
Cached:          3781580 kB
SwapCached:            0 kB
Active:          7863464 kB
Inactive:        3339932 kB
Active(anon):    7434400 kB
Inactive(anon):     2104 kB
Active(file):     429064 kB
Inactive(file):  3337828 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             60092 kB
Writeback:            68 kB
AnonPages:       7421620 kB
Mapped:           119408 kB
Shmem:             17960 kB
KReclaimable:     117060 kB
Slab:             203124 kB
SReclaimable:     117060 kB
SUnreclaim:        86064 kB
KernelStack:        4128 kB
PageTables:        17848 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    8606644 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149480 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5904384 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      191304 kB
DirectMap2M:     8099840 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 430352 MiB
End job on nodeC011 at 2025-07-04 00:23:27