Trace number 4503959

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-SYM 2025-06-09? (TO) 3600.11 3608.54

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat85_4_27_8.opb
MD5SUMb05c4b33f96fbb61e1d4ec7dd116fd00
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 benchmark4167029
Best CPU time to get the best result obtained on this benchmark1098.95
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables14620
Total number of constraints21851
Number of constraints which are clauses170
Number of constraints which are cardinality constraints (but not clauses)6
Number of constraints which are nor clauses,nor cardinality constraints21675
Minimum length of a constraint2
Maximum length of a constraint3570
Number of terms in the objective function 14365
Biggest coefficient in the objective function 137388096
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 102095438945
Number of bits of the sum of numbers in the objective function 37
Biggest number in a constraint 137388096
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 102095438945
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.24	c initialize IPBHS solver
0.00/0.24	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.24	c optimizer = "gurobi"
0.00/0.24	c pbsolver = "roundingsat"
0.00/0.24	c use separate pbsolver for SIS
0.00/0.24	c load symmetries from file ""
0.00/0.24	c set time limit for symmetry computation to 100 seconds.
0.00/0.24	c set interchangeable summation variable limit to 3
0.00/0.24	c enable explicit+compact SCL
0.00/0.24	c set sym compact max subset size to 5
0.00/0.24	c set explicit symmetry matrix usage to 1
0.00/0.24	c sym budget explicit to 100
0.00/0.24	c sym budget explicit lits to 6000
0.00/0.24	c sym budget compact to 100
0.00/0.24	c sym budget compact lits to 6000
0.00/0.24	c sym budget common to 0
0.00/0.24	c sym budget common lits to 0
0.00/0.24	c set sym generation to 's'
0.00/0.24	c set abstraction set creation to 10 iterations without LB change
0.00/0.24	c set abstraction set inputs to 0
0.00/0.24	c set abstraction set cluster min size to 2
0.00/0.24	c set abstraction set cluster max size to 100000000
0.00/0.24	c set abstraction set cluster activation limit to 2
0.00/0.24	c enable abstraction set require equal cost
0.00/0.24	c set abstraction set assumptions to 0
0.00/0.24	c set abstraction set constraint type to 0
0.00/0.24	c set abstract core extraction strategy to b
0.00/0.24	c set core extraction strategy to 2
0.00/0.24	c set core extraction shuffles 10
0.00/0.24	c set cores per iteration to 5
0.00/0.24	c set optimizer bound usage strategy to 2
0.00/0.24	c set optimizer max non-optimal iterations to 1000
0.00/0.24	c set small core cardinality limit to 2
0.00/0.24	c set max coef in cores to 1000000000
0.00/0.24	c set core processing techniques to 4095
0.00/0.24	c set SIS iterations to 5
0.00/0.24	c set SIS budget abs to 1000
0.00/0.24	c set SIS budget rel to 0.05
0.26/0.70	c limit for coefficient in constraints and objective to 1000000000
0.26/0.70	c will solve HOME/instance-4503959-1751442165.opb
0.26/0.70	Searching graph automorphisms with time limit: 100
0.36/0.80	c [0.19] 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: 63708 MiB (60483 MiB free)
  memory of node 1: 64465 MiB (61929 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4503959-1751442165/watcher-4503959-1751442165 -o /tmp/evaluation-result-4503959-1751442165/solver-4503959-1751442165 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751442165-61690 --watchdog 3760 ./ipbhs_gurobi --sym-cores-compact HOME/instance-4503959-1751442165.opb --max-coef 1000000000 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100056 s]*
/proc/loadavg: 0.95 1.06 1.08 2/263 61748
/proc/meminfo: memFree=125346284/131250000 swapFree=33010684/33010684
[pid=61739] ppid=61730 vsize=60240 memory=768 CPUtime=0 cores=4,6
/proc/61739/stat : 61739 (ipbhs_gurobi) D 61730 61739 61679 0 -1 4194304 105 0 4 0 0 0 0 0 20 0 1 0 59895229 61685760 192 18446744073709551615 93851651276800 93851653901853 140728388491248 0 0 0 0 0 0 1 0 0 17 4 0 0 0 0 0 93851654520728 93851654553690 93851679666176 140728388495755 140728388495879 140728388495879 140728388501481 0
/proc/61739/statm: 15060 192 192 641 0 255 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 60240 KiB
Current children cumulated memory: 768 KiB

[startup+0.204593 s]*
/proc/loadavg: 0.95 1.06 1.08 2/265 61750
/proc/meminfo: memFree=125345328/131250000 swapFree=33010684/33010684
[pid=61739] ppid=61730 vsize=61616 memory=4736 CPUtime=0 cores=4,6
/proc/61739/stat : 61739 (ipbhs_gurobi) D 61730 61739 61679 0 -1 4194304 353 0 18 0 0 0 0 0 20 0 1 0 59895229 63094784 1184 18446744073709551615 93851651276800 93851653901853 140728388491248 0 0 0 0 0 0 1 0 0 17 6 0 0 0 0 0 93851654520728 93851654553690 93851679666176 140728388495755 140728388495879 140728388495879 140728388501481 0
/proc/61739/statm: 15404 1184 1024 641 0 161 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 61616 KiB
Current children cumulated memory: 4736 KiB

[startup+0.304485 s]*
/proc/loadavg: 0.95 1.06 1.08 6/265 61750
/proc/meminfo: memFree=125286040/131250000 swapFree=33010684/33010684
[pid=61739] ppid=61730 vsize=84928 memory=22068 CPUtime=0.05 cores=4,6
/proc/61739/stat : 61739 (ipbhs_gurobi) R 61730 61739 61679 0 -1 4194304 4662 0 23 0 5 0 0 0 20 0 1 0 59895229 86966272 5517 18446744073709551615 93851651276800 93851653901853 140728388491248 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 93851654520728 93851654553690 93851679666176 140728388495755 140728388495879 140728388495879 140728388501481 0
/proc/61739/statm: 21232 5517 1728 641 0 5989 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 84928 KiB
Current children cumulated memory: 22068 KiB

[startup+0.70023 s]
/proc/loadavg: 0.95 1.06 1.08 2/265 61750
/proc/meminfo: memFree=125234504/131250000 swapFree=33010684/33010684
[pid=61739] ppid=61730 vsize=141052 memory=67824 CPUtime=0.26 cores=4,6
/proc/61739/stat : 61739 (ipbhs_gurobi) R 61730 61739 61679 0 -1 4194304 14412 0 46 0 21 5 0 0 20 0 2 0 59895229 144437248 16956 18446744073709551615 93851651276800 93851653901853 140728388491248 0 0 0 0 4096 0 0 0 0 17 6 0 0 0 0 0 93851654520728 93851654553690 93851679666176 140728388495755 140728388495879 140728388495879 140728388501481 0
/proc/61739/statm: 35263 16956 2240 641 0 17746 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 141052 KiB
Current children cumulated memory: 67824 KiB

[startup+1.50014 s]
/proc/loadavg: 0.95 1.06 1.08 6/269 61754
/proc/meminfo: memFree=125109864/131250000 swapFree=33010684/33010684
[pid=61739] ppid=61730 vsize=179252 memory=96456 CPUtime=1.03 cores=4,6
/proc/61739/stat : 61739 (ipbhs_gurobi) R 61730 61739 61679 0 -1 4194304 21330 0 89 0 91 12 0 0 20 0 2 0 59895229 183554048 24114 18446744073709551615 93851651276800 93851653901853 140728388491248 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93851654520728 93851654553690 93851679666176 140728388495755 140728388495879 140728388495879 140728388501481 0
/proc/61739/statm: 44813 24114 3296 641 0 27296 0
[pid=61739/tid=61751] ppid=61730 vsize=179252 memory=0 CPUtime=0 cores=4,6
/proc/61739/task/61751/stat : 61751 (ipbhs_gurobi) S 61730 61739 61679 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 2 0 59895287 183554048 24114 18446744073709551615 93851651276800 93851653901853 140728388491248 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93851654520728 93851654553690 93851679666176 140728388495755 140728388495879 140728388495879 140728388501481 0
Current children cumulated CPU time: 1.03 s
Current children cumulated vsize: 179252 KiB
Current children cumulated memory: 96456 KiB

[startup+3.10446 s]
/proc/loadavg: 1.19 1.11 1.09 6/269 61754
/proc/meminfo: memFree=124914196/131250000 swapFree=33010684/33010684
[pid=61739] ppid=61730 vsize=195736 memory=115548 CPUtime=2.63 cores=4,6
/proc/61739/stat : 61739 (ipbhs_gurobi) R 61730 61739 61679 0 -1 4194304 30720 0 89 0 245 18 0 0 20 0 2 0 59895229 200433664 28887 18446744073709551615 93851651276800 93851653901853 140728388491248 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93851654520728 93851654553690 93851679666176 140728388495755 140728388495879 140728388495879 140728388501481 0
/proc/61739/statm: 48934 28887 3584 641 0 31417 0
[pid=61739/tid=61751] ppid=61730 vsize=195736 memory=71076 CPUtime=0 cores=4,6
/proc/61739/task/61751/stat : 61751 (ipbhs_gurobi) S 61730 61739 61679 0 -1 4194368 2 0 0 0 0 0 0 0 20 0 2 0 59895287 200433664 28887 18446744073709551615 93851651276800 93851653901853 140728388491248 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93851654520728 93851654553690 93851679666176 140728388495755 140728388495879 140728388495879 140728388501481 0
Current children cumulated CPU time: 2.63 s
Current children cumulated vsize: 195736 KiB
Current children cumulated memory: 115548 KiB

[startup+6.30013 s]
/proc/loadavg: 1.19 1.11 1.09 6/269 61754
/proc/meminfo: memFree=124902860/131250000 swapFree=33010684/33010684
[pid=61739] ppid=61730 vsize=195736 memory=115548 CPUtime=5.82 cores=4,6
/proc/61739/stat : 61739 (ipbhs_gurobi) R 61730 61739 61679 0 -1 4194304 33676 0 89 0 535 47 0 0 20 0 2 0 59895229 200433664 28887 18446744073709551615 93851651276800 93851653901853 140728388491248 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93851654520728 93851654553690 93851679666176 140728388495755 140728388495879 140728388495879 140728388501481 0
/proc/61739/statm: 48934 28887 3584 641 0 31417 0
[pid=61739/tid=61751] ppid=61730 vsize=195736 memory=18304 CPUtime=0 cores=4,6
/proc/61739/task/61751/stat : 61751 (ipbhs_gurobi) S 61730 61739 61679 0 -1 4194368 5 0 0 0 0 0 0 0 20 0 2 0 59895287 200433664 28887 18446744073709551615 93851651276800 93851653901853 140728388491248 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93851654520728 93851654553690 93851679666176 140728388495755 140728388495879 140728388495879 140728388501481 0
Current children cumulated CPU time: 5.82 s
Current children cumulated vsize: 195736 KiB
Current children cumulated memory: 115548 KiB

[startup+12.7001 s]
/proc/loadavg: 1.42 1.15 1.11 6/269 61754
/proc/meminfo: memFree=124903020/131250000 swapFree=33010684/33010684
[pid=61739] ppid=61730 vsize=198456 memory=116572 CPUtime=12.2 cores=4,6
/proc/61739/stat : 61739 (ipbhs_gurobi) R 61730 61739 61679 0 -1 4194304 39378 0 89 0 1119 101 0 0 20 0 2 0 59895229 203218944 29143 18446744073709551615 93851651276800 93851653901853 140728388491248 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93851654520728 93851654553690 93851679666176 140728388495755 140728388495879 140728388495879 140728388501481 0
/proc/61739/statm: 49614 29143 3584 641 0 32097 0
[pid=61739/tid=61751] ppid=61730 vsize=198456 memory=116444 CPUtime=0 cores=4,6
/proc/61739/task/61751/stat : 61751 (ipbhs_gurobi) S 61730 61739 61679 0 -1 4194368 7 0 0 0 0 0 0 0 20 0 2 0 59895287 203218944 29143 18446744073709551615 93851651276800 93851653901853 140728388491248 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93851654520728 93851654553690 93851679666176 140728388495755 140728388495879 140728388495879 140728388501481 0
Current children cumulated CPU time: 12.2 s
Current children cumulated vsize: 198456 KiB
Current children cumulated memory: 116572 KiB

[startup+25.5001 s]
/proc/loadavg: 1.99 1.29 1.16 6/269 61754
/proc/meminfo: memFree=124898316/131250000 swapFree=33010684/33010684
[pid=61739] ppid=61730 vsize=202876 memory=121812 CPUtime=24.98 cores=4,6
/proc/61739/stat : 61739 (ipbhs_gurobi) R 61730 61739 61679 0 -1 4194304 41570 0 89 0 2288 210 0 0 20 0 2 0 59895229 207745024 30453 18446744073709551615 93851651276800 93851653901853 140728388491248 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93851654520728 93851654553690 93851679666176 140728388495755 140728388495879 140728388495879 140728388501481 0
/proc/61739/statm: 50719 30453 3584 641 0 33202 0
[pid=61739/tid=61751] ppid=61730 vsize=202876 memory=121812 CPUtime=0 cores=4,6
/proc/61739/task/61751/stat : 61751 (ipbhs_gurobi) S 61730 61739 61679 0 -1 4194368 8 0 0 0 0 0 0 0 20 0 2 0 59895287 207745024 30453 18446744073709551615 93851651276800 93851653901853 140728388491248 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93851654520728 93851654553690 93851679666176 140728388495755 140728388495879 140728388495879 140728388501481 0
Current children cumulated CPU time: 24.98 s
Current children cumulated vsize: 202876 KiB
Current children cumulated memory: 121812 KiB

[startup+51.1046 s]
/proc/loadavg: 2.74 1.53 1.24 6/269 61755
/proc/meminfo: memFree=124878540/131250000 swapFree=33010684/33010684
[pid=61739] ppid=61730 vsize=210056 memory=130872 CPUtime=50.54 cores=4,6
/proc/61739/stat : 61739 (ipbhs_gurobi) R 61730 61739 61679 0 -1 4194304 44259 0 89 0 4638 416 0 0 20 0 2 0 59895229 215097344 32718 18446744073709551615 93851651276800 93851653901853 140728388491248 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93851654520728 93851654553690 93851679666176 140728388495755 140728388495879 140728388495879 140728388501481 0
/proc/61739/statm: 52514 32718 3584 641 0 34997 0
[pid=61739/tid=61751] ppid=61730 vsize=210056 memory=14720 CPUtime=0 cores=4,6
/proc/61739/task/61751/stat : 61751 (ipbhs_gurobi) S 61730 61739 61679 0 -1 4194368 9 0 0 0 0 0 0 0 20 0 2 0 59895287 215097344 32718 18446744073709551615 93851651276800 93851653901853 140728388491248 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93851654520728 93851654553690 93851679666176 140728388495755 140728388495879 140728388495879 140728388501481 0
Current children cumulated CPU time: 50.54 s
Current children cumulated vsize: 210056 KiB
Current children cumulated memory: 130872 KiB

[startup+102.3 s]
/proc/loadavg: 3.51 1.93 1.39 6/269 61757
/proc/meminfo: memFree=124772416/131250000 swapFree=33010684/33010684
[pid=61739] ppid=61730 vsize=256028 memory=166288 CPUtime=101.65 cores=4,6
/proc/61739/stat : 61739 (ipbhs_gurobi) R 61730 61739 61679 0 -1 4194304 64173 0 89 0 9386 779 0 0 20 0 2 0 59895229 262172672 41572 18446744073709551615 93851651276800 93851653901853 140728388491248 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93851654520728 93851654553690 93851679666176 140728388495755 140728388495879 140728388495879 140728388501481 0
/proc/61739/statm: 64007 41572 3584 641 0 46490 0
[pid=61739/tid=61751] ppid=61730 vsize=256028 memory=161048 CPUtime=0.01 cores=4,6
/proc/61739/task/61751/stat : 61751 (ipbhs_gurobi) S 61730 61739 61679 0 -1 4194368 11 0 0 0 0 1 0 0 20 0 2 0 59895287 262172672 41572 18446744073709551615 93851651276800 93851653901853 140728388491248 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93851654520728 93851654553690 93851679666176 140728388495755 140728388495879 140728388495879 140728388501481 0
Current children cumulated CPU time: 101.65 s
Current children cumulated vsize: 256028 KiB
Current children cumulated memory: 166288 KiB

[startup+162.3 s]
/proc/loadavg: 3.89 2.32 1.56 6/270 61760
/proc/meminfo: memFree=124550376/131250000 swapFree=33010684/33010684
[pid=61739] ppid=61730 vsize=285592 memory=208140 CPUtime=161.52 cores=4,6
/proc/61739/stat : 61739 (ipbhs_gurobi) R 61730 61739 61679 0 -1 4194304 72000 0 89 0 14972 1180 0 0 20 0 2 0 59895229 292446208 52035 18446744073709551615 93851651276800 93851653901853 140728388491248 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93851654520728 93851654553690 93851679666176 140728388495755 140728388495879 140728388495879 140728388501481 0
/proc/61739/statm: 71398 52035 3584 641 0 53881 0
[pid=61739/tid=61751] ppid=61730 vsize=285592 memory=178948 CPUtime=0.04 cores=4,6
/proc/61739/task/61751/stat : 61751 (ipbhs_gurobi) S 61730 61739 61679 0 -1 4194368 12 0 0 0 1 3 0 0 20 0 2 0 59895287 292446208 52035 18446744073709551615 93851651276800 93851653901853 140728388491248 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93851654520728 93851654553690 93851679666176 140728388495755 140728388495879 140728388495879 140728388501481 0
Current children cumulated CPU time: 161.52 s
Current children cumulated vsize: 285592 KiB
Current children cumulated memory: 208140 KiB

[startup+222.3 s]
/proc/loadavg: 4.02 2.65 1.72 6/270 61762
/proc/meminfo: memFree=124254612/131250000 swapFree=33010684/33010684
[pid=61739] ppid=61730 vsize=356012 memory=266160 CPUtime=221.39 cores=4,6
/proc/61739/stat : 61739 (ipbhs_gurobi) R 61730 61739 61679 0 -1 4194304 110209 0 89 0 20597 1542 0 0 20 0 2 0 59895229 364556288 66540 18446744073709551615 93851651276800 93851653901853 140728388491248 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93851654520728 93851654553690 93851679666176 140728388495755 140728388495879 140728388495879 140728388501481 0
/proc/61739/statm: 89003 66540 3584 641 0 71486 0
[pid=61739/tid=61751] ppid=61730 vsize=356012 memory=258040 CPUtime=0.06 cores=4,6
/proc/61739/task/61751/stat : 61751 (ipbhs_gurobi) S 61730 61739 61679 0 -1 4194368 16 0 0 0 2 4 0 0 20 0 2 0 59895287 364556288 66540 18446744073709551615 93851651276800 93851653901853 140728388491248 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93851654520728 93851654553690 93851679666176 140728388495755 140728388495879 140728388495879 140728388501481 0
Current children cumulated CPU time: 221.39 s
Current children cumulated vsize: 356012 KiB
Current children cumulated memory: 266160 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 2.93 1.88 6/270 61764
/proc/meminfo: memFree=123870800/131250000 swapFree=33010684/33010684
[pid=61739] ppid=61730 vsize=472456 memory=374664 CPUtime=281.24 cores=4,6
/proc/61739/stat : 61739 (ipbhs_gurobi) R 61730 61739 61679 0 -1 4194304 127661 0 89 0 26303 1821 0 0 20 0 2 0 59895229 483794944 93666 18446744073709551615 93851651276800 93851653901853 140728388491248 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93851654520728 93851654553690 93851679666176 140728388495755 140728388495879 140728388495879 140728388501481 0
/proc/61739/statm: 118114 93666 3584 641 0 100597 0
[pid=61739/tid=61751] ppid=61730 vsize=472456 memory=339872 CPUtime=0.09 cores=4,6
/proc/61739/task/61751/stat : 61751 (ipbhs_gurobi) S 61730 61739 61679 0 -1 4194368 17 0 0 0 3 6 0 0 20 0 2 0 59895287 483794944 93666 18446744073709551615 93851651276800 93851653901853 140728388491248 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93851654520728 93851654553690 93851679666176 140728388495755 140728388495879 140728388495879 140728388501481 0
Current children cumulated CPU time: 281.24 s
Current children cumulated vsize: 472456 KiB
Current children cumulated memory: 374664 KiB

[startup+342.3 s]
/proc/loadavg: 4.14 3.15 2.03 6/268 61765
/proc/meminfo: memFree=123497076/131250000 swapFree=33010684/33010684
[pid=61739] ppid=61730 vsize=616784 memory=468284 CPUtime=341.1 cores=4,6
/proc/61739/stat : 61739 (ipbhs_gurobi) R 61730 61739 61679 0 -1 4194304 164672 0 89 0 32043 2067 0 0 20 0 2 0 59895229 631586816 117071 18446744073709551615 93851651276800 93851653901853 140728388491248 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93851654520728 93851654553690 93851679666176 140728388495755 140728388495879 140728388495879 140728388501481 0
/proc/61739/statm: 154196 117071 3584 641 0 136679 0
[pid=61739/tid=61751] ppid=61730 vsize=616784 memory=339872 CPUtime=0.12 cores=4,6

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

/proc/meminfo: memFree=118216936/131250000 swapFree=33010684/33010684
[pid=61739] ppid=61730 vsize=2126444 memory=1880208 CPUtime=3035.2 cores=4,6
/proc/61739/stat : 61739 (ipbhs_gurobi) R 61730 61739 61679 0 -1 4194304 671045 0 89 0 293645 9875 0 0 20 0 2 0 59895229 2177478656 470052 18446744073709551615 93851651276800 93851653901853 140728388491248 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93851654520728 93851654553690 93851679666176 140728388495755 140728388495879 140728388495879 140728388501481 0
/proc/61739/statm: 531611 470052 3584 641 0 514094 0
[pid=61739/tid=61751] ppid=61730 vsize=2126444 memory=1867536 CPUtime=1.55 cores=4,6
/proc/61739/task/61751/stat : 61751 (ipbhs_gurobi) S 61730 61739 61679 0 -1 4194368 39 0 0 0 50 105 0 0 20 0 2 0 59895287 2177478656 470052 18446744073709551615 93851651276800 93851653901853 140728388491248 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93851654520728 93851654553690 93851679666176 140728388495755 140728388495879 140728388495879 140728388501481 0
Current children cumulated CPU time: 3035.2 s
Current children cumulated vsize: 2126444 KiB
Current children cumulated memory: 1880208 KiB

[startup+3102.3 s]
/proc/loadavg: 4.11 4.12 4.05 6/267 61910
/proc/meminfo: memFree=118176732/131250000 swapFree=33010684/33010684
[pid=61739] ppid=61730 vsize=2150560 memory=1904400 CPUtime=3095.05 cores=4,6
/proc/61739/stat : 61739 (ipbhs_gurobi) R 61730 61739 61679 0 -1 4194304 678619 0 89 0 299422 10083 0 0 20 0 2 0 59895229 2202173440 476100 18446744073709551615 93851651276800 93851653901853 140728388491248 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93851654520728 93851654553690 93851679666176 140728388495755 140728388495879 140728388495879 140728388501481 0
/proc/61739/statm: 537640 476100 3584 641 0 520123 0
[pid=61739/tid=61751] ppid=61730 vsize=2150560 memory=1895440 CPUtime=1.58 cores=4,6
/proc/61739/task/61751/stat : 61751 (ipbhs_gurobi) S 61730 61739 61679 0 -1 4194368 39 0 0 0 51 107 0 0 20 0 2 0 59895287 2202173440 476100 18446744073709551615 93851651276800 93851653901853 140728388491248 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93851654520728 93851654553690 93851679666176 140728388495755 140728388495879 140728388495879 140728388501481 0
Current children cumulated CPU time: 3095.05 s
Current children cumulated vsize: 2150560 KiB
Current children cumulated memory: 1904400 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.11 4.05 6/268 61913
/proc/meminfo: memFree=118093860/131250000 swapFree=33010684/33010684
[pid=61739] ppid=61730 vsize=2167332 memory=1921168 CPUtime=3154.92 cores=4,6
/proc/61739/stat : 61739 (ipbhs_gurobi) R 61730 61739 61679 0 -1 4194304 692807 0 89 0 305228 10264 0 0 20 0 2 0 59895229 2219347968 480292 18446744073709551615 93851651276800 93851653901853 140728388491248 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93851654520728 93851654553690 93851679666176 140728388495755 140728388495879 140728388495879 140728388501481 0
/proc/61739/statm: 541833 480292 3584 641 0 524316 0
[pid=61739/tid=61751] ppid=61730 vsize=2167332 memory=1895440 CPUtime=1.61 cores=4,6
/proc/61739/task/61751/stat : 61751 (ipbhs_gurobi) S 61730 61739 61679 0 -1 4194368 39 0 0 0 52 109 0 0 20 0 2 0 59895287 2219347968 480292 18446744073709551615 93851651276800 93851653901853 140728388491248 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93851654520728 93851654553690 93851679666176 140728388495755 140728388495879 140728388495879 140728388501481 0
Current children cumulated CPU time: 3154.92 s
Current children cumulated vsize: 2167332 KiB
Current children cumulated memory: 1921168 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.10 4.05 6/269 61916
/proc/meminfo: memFree=118064144/131250000 swapFree=33010684/33010684
[pid=61739] ppid=61730 vsize=2179212 memory=1933072 CPUtime=3214.77 cores=4,6
/proc/61739/stat : 61739 (ipbhs_gurobi) R 61730 61739 61679 0 -1 4194304 707530 0 89 0 311049 10428 0 0 20 0 2 0 59895229 2231513088 483268 18446744073709551615 93851651276800 93851653901853 140728388491248 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93851654520728 93851654553690 93851679666176 140728388495755 140728388495879 140728388495879 140728388501481 0
/proc/61739/statm: 544803 483268 3584 641 0 527286 0
[pid=61739/tid=61751] ppid=61730 vsize=2179212 memory=1895440 CPUtime=1.64 cores=4,6
/proc/61739/task/61751/stat : 61751 (ipbhs_gurobi) S 61730 61739 61679 0 -1 4194368 40 0 0 0 53 111 0 0 20 0 2 0 59895287 2231513088 483268 18446744073709551615 93851651276800 93851653901853 140728388491248 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93851654520728 93851654553690 93851679666176 140728388495755 140728388495879 140728388495879 140728388501481 0
Current children cumulated CPU time: 3214.77 s
Current children cumulated vsize: 2179212 KiB
Current children cumulated memory: 1933072 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.11 4.06 6/269 61918
/proc/meminfo: memFree=118005392/131250000 swapFree=33010684/33010684
[pid=61739] ppid=61730 vsize=2189728 memory=1943568 CPUtime=3274.63 cores=4,6
/proc/61739/stat : 61739 (ipbhs_gurobi) R 61730 61739 61679 0 -1 4194304 711202 0 89 0 316873 10590 0 0 20 0 2 0 59895229 2242281472 485892 18446744073709551615 93851651276800 93851653901853 140728388491248 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93851654520728 93851654553690 93851679666176 140728388495755 140728388495879 140728388495879 140728388501481 0
/proc/61739/statm: 547432 485892 3584 641 0 529915 0
[pid=61739/tid=61751] ppid=61730 vsize=2189728 memory=14720 CPUtime=1.68 cores=4,6
/proc/61739/task/61751/stat : 61751 (ipbhs_gurobi) S 61730 61739 61679 0 -1 4194368 40 0 0 0 55 113 0 0 20 0 2 0 59895287 2242281472 485892 18446744073709551615 93851651276800 93851653901853 140728388491248 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93851654520728 93851654553690 93851679666176 140728388495755 140728388495879 140728388495879 140728388501481 0
Current children cumulated CPU time: 3274.63 s
Current children cumulated vsize: 2189728 KiB
Current children cumulated memory: 1943568 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.11 4.06 6/269 61920
/proc/meminfo: memFree=117974772/131250000 swapFree=33010684/33010684
[pid=61739] ppid=61730 vsize=2204508 memory=1958416 CPUtime=3334.5 cores=4,6
/proc/61739/stat : 61739 (ipbhs_gurobi) R 61730 61739 61679 0 -1 4194304 715981 0 89 0 322718 10732 0 0 20 0 2 0 59895229 2257416192 489604 18446744073709551615 93851651276800 93851653901853 140728388491248 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93851654520728 93851654553690 93851679666176 140728388495755 140728388495879 140728388495879 140728388501481 0
/proc/61739/statm: 551127 489604 3584 641 0 533610 0
[pid=61739/tid=61751] ppid=61730 vsize=2204508 memory=14720 CPUtime=1.7 cores=4,6
/proc/61739/task/61751/stat : 61751 (ipbhs_gurobi) S 61730 61739 61679 0 -1 4194368 40 0 0 0 56 114 0 0 20 0 2 0 59895287 2257416192 489604 18446744073709551615 93851651276800 93851653901853 140728388491248 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93851654520728 93851654553690 93851679666176 140728388495755 140728388495879 140728388495879 140728388501481 0
Current children cumulated CPU time: 3334.5 s
Current children cumulated vsize: 2204508 KiB
Current children cumulated memory: 1958416 KiB

[startup+3402.3 s]
/proc/loadavg: 4.06 4.10 4.06 6/269 61922
/proc/meminfo: memFree=117926620/131250000 swapFree=33010684/33010684
[pid=61739] ppid=61730 vsize=2216960 memory=1970832 CPUtime=3394.35 cores=4,6
/proc/61739/stat : 61739 (ipbhs_gurobi) R 61730 61739 61679 0 -1 4194304 719591 0 89 0 328570 10865 0 0 20 0 2 0 59895229 2270167040 492708 18446744073709551615 93851651276800 93851653901853 140728388491248 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93851654520728 93851654553690 93851679666176 140728388495755 140728388495879 140728388495879 140728388501481 0
/proc/61739/statm: 554240 492708 3584 641 0 536723 0
[pid=61739/tid=61751] ppid=61730 vsize=2216960 memory=1964944 CPUtime=1.73 cores=4,6
/proc/61739/task/61751/stat : 61751 (ipbhs_gurobi) S 61730 61739 61679 0 -1 4194368 41 0 0 0 57 116 0 0 20 0 2 0 59895287 2270167040 492708 18446744073709551615 93851651276800 93851653901853 140728388491248 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93851654520728 93851654553690 93851679666176 140728388495755 140728388495879 140728388495879 140728388501481 0
Current children cumulated CPU time: 3394.35 s
Current children cumulated vsize: 2216960 KiB
Current children cumulated memory: 1970832 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.09 4.06 6/267 61926
/proc/meminfo: memFree=117869544/131250000 swapFree=33010684/33010684
[pid=61739] ppid=61730 vsize=2228572 memory=1982480 CPUtime=3454.21 cores=4,6
/proc/61739/stat : 61739 (ipbhs_gurobi) R 61730 61739 61679 0 -1 4194304 726371 0 89 0 334428 10993 0 0 20 0 2 0 59895229 2282057728 495620 18446744073709551615 93851651276800 93851653901853 140728388491248 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93851654520728 93851654553690 93851679666176 140728388495755 140728388495879 140728388495879 140728388501481 0
/proc/61739/statm: 557143 495620 3584 641 0 539626 0
[pid=61739/tid=61751] ppid=61730 vsize=2228572 memory=1964944 CPUtime=1.76 cores=4,6
/proc/61739/task/61751/stat : 61751 (ipbhs_gurobi) S 61730 61739 61679 0 -1 4194368 41 0 0 0 58 118 0 0 20 0 2 0 59895287 2282057728 495620 18446744073709551615 93851651276800 93851653901853 140728388491248 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93851654520728 93851654553690 93851679666176 140728388495755 140728388495879 140728388495879 140728388501481 0
Current children cumulated CPU time: 3454.21 s
Current children cumulated vsize: 2228572 KiB
Current children cumulated memory: 1982480 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.10 4.06 6/267 61933
/proc/meminfo: memFree=117822240/131250000 swapFree=33010684/33010684
[pid=61739] ppid=61730 vsize=2241076 memory=1994896 CPUtime=3514.07 cores=4,6
/proc/61739/stat : 61739 (ipbhs_gurobi) R 61730 61739 61679 0 -1 4194304 741488 0 89 0 340286 11121 0 0 20 0 2 0 59895229 2294861824 498724 18446744073709551615 93851651276800 93851653901853 140728388491248 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93851654520728 93851654553690 93851679666176 140728388495755 140728388495879 140728388495879 140728388501481 0
/proc/61739/statm: 560269 498724 3584 641 0 542752 0
[pid=61739/tid=61751] ppid=61730 vsize=2241076 memory=1992464 CPUtime=1.79 cores=4,6
/proc/61739/task/61751/stat : 61751 (ipbhs_gurobi) S 61730 61739 61679 0 -1 4194368 41 0 0 0 59 120 0 0 20 0 2 0 59895287 2294861824 498724 18446744073709551615 93851651276800 93851653901853 140728388491248 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93851654520728 93851654553690 93851679666176 140728388495755 140728388495879 140728388495879 140728388501481 0
Current children cumulated CPU time: 3514.07 s
Current children cumulated vsize: 2241076 KiB
Current children cumulated memory: 1994896 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.10 4.06 6/267 61935
/proc/meminfo: memFree=117796740/131250000 swapFree=33010684/33010684
[pid=61739] ppid=61730 vsize=2257044 memory=2010896 CPUtime=3573.93 cores=4,6
/proc/61739/stat : 61739 (ipbhs_gurobi) R 61730 61739 61679 0 -1 4194304 757888 0 89 0 346145 11248 0 0 20 0 2 0 59895229 2311213056 502724 18446744073709551615 93851651276800 93851653901853 140728388491248 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93851654520728 93851654553690 93851679666176 140728388495755 140728388495879 140728388495879 140728388501481 0
/proc/61739/statm: 564261 502724 3584 641 0 546744 0
[pid=61739/tid=61751] ppid=61730 vsize=2257044 memory=18304 CPUtime=1.82 cores=4,6
/proc/61739/task/61751/stat : 61751 (ipbhs_gurobi) S 61730 61739 61679 0 -1 4194368 42 0 0 0 60 122 0 0 20 0 2 0 59895287 2311213056 502724 18446744073709551615 93851651276800 93851653901853 140728388491248 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93851654520728 93851654553690 93851679666176 140728388495755 140728388495879 140728388495879 140728388501481 0
Current children cumulated CPU time: 3573.93 s
Current children cumulated vsize: 2257044 KiB
Current children cumulated memory: 2010896 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.5 s]
/proc/loadavg: 4.07 4.09 4.06 4/259 61945
/proc/meminfo: memFree=121182816/131250000 swapFree=33010684/33010684
[pid=61739] ppid=61730 vsize=2275604 memory=2029328 CPUtime=3600.06 cores=4,6
/proc/61739/stat : 61739 (ipbhs_gurobi) R 61730 61739 61679 0 -1 4194304 763266 0 89 0 348705 11301 0 0 20 0 2 0 59895229 2330218496 507332 18446744073709551615 93851651276800 93851653901853 140728388491248 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93851654520728 93851654553690 93851679666176 140728388495755 140728388495879 140728388495879 140728388501481 0
/proc/61739/statm: 568901 507332 3584 641 0 551384 0
[pid=61739/tid=61751] ppid=61730 vsize=2275604 memory=2013840 CPUtime=1.84 cores=4,6
/proc/61739/task/61751/stat : 61751 (ipbhs_gurobi) S 61730 61739 61679 0 -1 4194368 42 0 0 0 61 123 0 0 20 0 2 0 59895287 2330218496 507332 18446744073709551615 93851651276800 93851653901853 140728388491248 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93851654520728 93851654553690 93851679666176 140728388495755 140728388495879 140728388495879 140728388501481 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 2275604 KiB
Current children cumulated memory: 2029328 KiB

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

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

# cumulated CPU time of all completed processes:  user=3487.06 s, system=113.053 s

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

[startup+3608.5 s]
/proc/loadavg: 4.07 4.09 4.06 4/259 61945
/proc/meminfo: memFree=121182816/131250000 swapFree=33010684/33010684
[pid=61739] ppid=61730 vsize=2275604 memory=2029328 CPUtime=3600.06 cores=4,6
/proc/61739/stat : 61739 (ipbhs_gurobi) R 61730 61739 61679 0 -1 4194304 763266 0 89 0 348705 11301 0 0 20 0 2 0 59895229 2330218496 507332 18446744073709551615 93851651276800 93851653901853 140728388491248 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93851654520728 93851654553690 93851679666176 140728388495755 140728388495879 140728388495879 140728388501481 0
/proc/61739/statm: 568901 507332 3584 641 0 551384 0
[pid=61739/tid=61751] ppid=61730 vsize=2275604 memory=2013840 CPUtime=1.84 cores=4,6
/proc/61739/task/61751/stat : 61751 (ipbhs_gurobi) S 61730 61739 61679 0 -1 4194368 42 0 0 0 61 123 0 0 20 0 2 0 59895287 2330218496 507332 18446744073709551615 93851651276800 93851653901853 140728388491248 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93851654520728 93851654553690 93851679666176 140728388495755 140728388495879 140728388495879 140728388501481 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 2275604 KiB
Current children cumulated memory: 2029328 KiB

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3608.54
CPU time (s): 3600.11
CPU user time (s): 3487.06
CPU system time (s): 113.053
CPU usage (%): 99.7665
Max. virtual memory (cumulated for all children) (KiB): 2275604
Max. memory (cumulated for all children) (KiB): 2029328

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3487.06
system time used= 113.053
maximum resident set size= 2029328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 763266
page faults= 89
swaps= 0
block input operations= 8560
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 359019
involuntary context switches= 5156


# summary of solver processes directly reported to runsolver:
#   pid: 61739
#   total CPU time (s): 3600.11
#   total CPU user time (s): 3487.06
#   total CPU system time (s): 113.053

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.41516 second user time and 14.287 second system time

The end

Launcher Data 

Begin job on nodeC026 at 2025-07-02 09:42:45
IDJOB=4503959
IDBENCH=155622
IDSOLVER=3334
FILE ID=nodeC026/4503959-1751442165
RUNJOBID= nodeC026-1751442165-61690
SLURM_JOB_ID= 9598409
Free space on /tmp= 431368 MiB

SOLVER NAME= IPBHS-GUROBI-SYM 2025-06-09
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat85_4_27_8.opb
COMMAND LINE= ./ipbhs_gurobi --sym-cores-compact BENCHNAME --max-coef 1000000000
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4503959-1751442165/watcher-4503959-1751442165 -o /tmp/evaluation-result-4503959-1751442165/solver-4503959-1751442165 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751442165-61690 --watchdog 3760  ./ipbhs_gurobi --sym-cores-compact HOME/instance-4503959-1751442165.opb --max-coef 1000000000

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

MD5SUM BENCH= b05c4b33f96fbb61e1d4ec7dd116fd00
RANDOM SEED=840775118

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        125342608 kB
MemAvailable:   129756524 kB
Buffers:            3280 kB
Cached:          5208940 kB
SwapCached:            0 kB
Active:           329196 kB
Inactive:        4949456 kB
Active(anon):      84512 kB
Inactive(anon):        0 kB
Active(file):     244684 kB
Inactive(file):  4949456 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            241344 kB
Writeback:            16 kB
AnonPages:         69576 kB
Mapped:           103712 kB
Shmem:             18080 kB
KReclaimable:     118028 kB
Slab:             207672 kB
SReclaimable:     118028 kB
SUnreclaim:        89644 kB
KernelStack:        3972 kB
PageTables:         2544 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     330524 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150344 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 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:      187092 kB
DirectMap2M:     9021440 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 431136 MiB
End job on nodeC026 at 2025-07-02 10:42:55