Trace number 4486270

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.05 3607.91

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-circ8_3.opb
MD5SUM82a224b9434e58ca22c331a9d6eb0d67
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 benchmark136
Best CPU time to get the best result obtained on this benchmark3586.51
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1344
Total number of constraints16096
Number of constraints which are clauses8208
Number of constraints which are cardinality constraints (but not clauses)496
Number of constraints which are nor clauses,nor cardinality constraints7392
Minimum length of a constraint2
Maximum length of a constraint28
Number of terms in the objective function 448
Biggest coefficient in the objective function 4
Number of bits for the biggest coefficient in the objective function 3
Sum of the numbers in the objective function 1024
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 24
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 1024
Number of bits of the biggest sum of numbers11
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.00	c initialize IPBHS solver
0.00/0.00	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.00	c optimizer = "gurobi"
0.00/0.00	c pbsolver = "roundingsat"
0.00/0.00	c use separate pbsolver for SIS
0.00/0.00	c load symmetries from file ""
0.00/0.00	c set time limit for symmetry computation to 100 seconds.
0.00/0.00	c set interchangeable summation variable limit to 3
0.00/0.00	c set sym compact max subset size to 5
0.00/0.00	c set explicit symmetry matrix usage to 1
0.00/0.00	c sym budget explicit to 100
0.00/0.00	c sym budget explicit lits to 6000
0.00/0.00	c sym budget compact to 100
0.00/0.00	c sym budget compact lits to 6000
0.00/0.00	c sym budget common to 0
0.00/0.00	c sym budget common lits to 0
0.00/0.00	c set sym generation to 's'
0.00/0.00	c set abstraction set creation to 10 iterations without LB change
0.00/0.00	c set abstraction set inputs to 0
0.00/0.00	c set abstraction set cluster min size to 2
0.00/0.00	c set abstraction set cluster max size to 100000000
0.00/0.00	c set abstraction set cluster activation limit to 2
0.00/0.00	c enable abstraction set require equal cost
0.00/0.00	c set abstraction set assumptions to 0
0.00/0.00	c set abstraction set constraint type to 0
0.00/0.00	c set abstract core extraction strategy to b
0.00/0.00	c set core extraction strategy to 2
0.00/0.00	c set core extraction shuffles 10
0.00/0.00	c set cores per iteration to 5
0.00/0.00	c set optimizer bound usage strategy to 2
0.00/0.00	c set optimizer max non-optimal iterations to 1000
0.00/0.00	c set small core cardinality limit to 2
0.00/0.00	c set max coef in cores to 1000000000
0.00/0.00	c set core processing techniques to 4095
0.00/0.00	c set SIS iterations to 5
0.00/0.00	c set SIS budget abs to 1000
0.00/0.00	c set SIS budget rel to 0.05
0.30/0.35	c limit for coefficient in constraints and objective to 1000000000
0.30/0.35	c will solve HOME/instance-4486270-1751305767.opb
0.30/0.35	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: 63708 MiB (61360 MiB free)
  memory of node 1: 64465 MiB (63202 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4486270-1751305767/watcher-4486270-1751305767 -o /tmp/evaluation-result-4486270-1751305767/solver-4486270-1751305767 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751302134-48267 --watchdog 3760 ./ipbhs_gurobi HOME/instance-4486270-1751305767.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=49430, runsolver pid=49427
Current StackSize limit: 8192 KiB


[startup+0.10006 s]*
/proc/loadavg: 4.08 4.10 4.09 6/268 49431
/proc/meminfo: memFree=127465468/131250000 swapFree=33010684/33010684
[pid=49430] ppid=49427 vsize=1232668 memory=438008 CPUtime=0.09 cores=4,6
/proc/49430/stat : 49430 (ipbhs_gurobi) R 49427 49430 48256 0 -1 4194304 785 0 0 0 1 8 0 0 20 0 1 0 46254223 1262252032 109502 18446744073709551615 94443191308288 94443193933341 140733199828176 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94443194552216 94443194585178 94443225866240 140733199829407 140733199829511 140733199829511 140733199835113 0
/proc/49430/statm: 308167 109502 1600 641 0 292924 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 1232668 KiB
Current children cumulated memory: 438008 KiB

[startup+0.205554 s]*
/proc/loadavg: 4.08 4.10 4.09 5/268 49431
/proc/meminfo: memFree=126997516/131250000 swapFree=33010684/33010684
[pid=49430] ppid=49427 vsize=1232668 memory=904952 CPUtime=0.2 cores=4,6
/proc/49430/stat : 49430 (ipbhs_gurobi) R 49427 49430 48256 0 -1 4194304 1013 0 0 0 3 17 0 0 20 0 1 0 46254223 1262252032 226238 18446744073709551615 94443191308288 94443193933341 140733199828176 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94443194552216 94443194585178 94443225866240 140733199829407 140733199829511 140733199829511 140733199835113 0
/proc/49430/statm: 308167 226238 1600 641 0 292924 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 1232668 KiB
Current children cumulated memory: 904952 KiB

[startup+0.305496 s]*
/proc/loadavg: 4.08 4.10 4.09 5/268 49431
/proc/meminfo: memFree=126704748/131250000 swapFree=33010684/33010684
[pid=49430] ppid=49427 vsize=1236924 memory=1174612 CPUtime=0.3 cores=4,6
/proc/49430/stat : 49430 (ipbhs_gurobi) R 49427 49430 48256 0 -1 4194304 2537 0 0 0 7 23 0 0 20 0 1 0 46254223 1266610176 293653 18446744073709551615 94443191308288 94443193933341 140733199828176 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94443194552216 94443194585178 94443225866240 140733199829407 140733199829511 140733199829511 140733199835113 0
/proc/49430/statm: 309231 293653 1728 641 0 293988 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 1236924 KiB
Current children cumulated memory: 1174612 KiB

[startup+0.700166 s]
/proc/loadavg: 4.15 4.12 4.09 5/269 49432
/proc/meminfo: memFree=126694884/131250000 swapFree=33010684/33010684
[pid=49430] ppid=49427 vsize=1257832 memory=1191752 CPUtime=0.68 cores=4,6
/proc/49430/stat : 49430 (ipbhs_gurobi) R 49427 49430 48256 0 -1 4194304 4200 0 0 0 39 29 0 0 20 0 2 0 46254223 1288019968 297938 18446744073709551615 94443191308288 94443193933341 140733199828176 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94443194552216 94443194585178 94443225866240 140733199829407 140733199829511 140733199829511 140733199835113 0
/proc/49430/statm: 314458 297938 3520 641 0 296941 0
[pid=49430/tid=49432] ppid=49427 vsize=1257832 memory=10624 CPUtime=0 cores=4,6
/proc/49430/task/49432/stat : 49432 (ipbhs_gurobi) S 49427 49430 48256 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 2 0 46254259 1288019968 297938 18446744073709551615 94443191308288 94443193933341 140733199828176 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94443194552216 94443194585178 94443225866240 140733199829407 140733199829511 140733199829511 140733199835113 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 1257832 KiB
Current children cumulated memory: 1191752 KiB

[startup+1.50016 s]
/proc/loadavg: 4.15 4.12 4.09 5/269 49432
/proc/meminfo: memFree=126677684/131250000 swapFree=33010684/33010684
[pid=49430] ppid=49427 vsize=1258792 memory=1192648 CPUtime=1.48 cores=4,6
/proc/49430/stat : 49430 (ipbhs_gurobi) R 49427 49430 48256 0 -1 4194304 5293 0 0 0 117 31 0 0 20 0 2 0 46254223 1289003008 298162 18446744073709551615 94443191308288 94443193933341 140733199828176 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94443194552216 94443194585178 94443225866240 140733199829407 140733199829511 140733199829511 140733199835113 0
/proc/49430/statm: 314698 298162 3520 641 0 297181 0
[pid=49430/tid=49432] ppid=49427 vsize=1258792 memory=10624 CPUtime=0 cores=4,6
/proc/49430/task/49432/stat : 49432 (ipbhs_gurobi) S 49427 49430 48256 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 46254259 1289003008 298162 18446744073709551615 94443191308288 94443193933341 140733199828176 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94443194552216 94443194585178 94443225866240 140733199829407 140733199829511 140733199829511 140733199835113 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 1258792 KiB
Current children cumulated memory: 1192648 KiB

[startup+3.10523 s]
/proc/loadavg: 4.15 4.12 4.09 5/269 49432
/proc/meminfo: memFree=126655452/131250000 swapFree=33010684/33010684
[pid=49430] ppid=49427 vsize=1259056 memory=1193160 CPUtime=3.09 cores=4,6
/proc/49430/stat : 49430 (ipbhs_gurobi) R 49427 49430 48256 0 -1 4194304 7925 0 0 0 274 35 0 0 20 0 2 0 46254223 1289273344 298290 18446744073709551615 94443191308288 94443193933341 140733199828176 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94443194552216 94443194585178 94443225866240 140733199829407 140733199829511 140733199829511 140733199835113 0
/proc/49430/statm: 314764 298290 3520 641 0 297247 0
[pid=49430/tid=49432] ppid=49427 vsize=1259056 memory=0 CPUtime=0 cores=4,6
/proc/49430/task/49432/stat : 49432 (ipbhs_gurobi) S 49427 49430 48256 0 -1 4194368 4 0 0 0 0 0 0 0 20 0 2 0 46254259 1289273344 298290 18446744073709551615 94443191308288 94443193933341 140733199828176 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94443194552216 94443194585178 94443225866240 140733199829407 140733199829511 140733199829511 140733199835113 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 1259056 KiB
Current children cumulated memory: 1193160 KiB

[startup+6.30012 s]
/proc/loadavg: 4.14 4.12 4.09 5/269 49432
/proc/meminfo: memFree=126643292/131250000 swapFree=33010684/33010684
[pid=49430] ppid=49427 vsize=1259320 memory=1194184 CPUtime=6.27 cores=4,6
/proc/49430/stat : 49430 (ipbhs_gurobi) R 49427 49430 48256 0 -1 4194304 12612 0 0 0 587 40 0 0 20 0 2 0 46254223 1289543680 298546 18446744073709551615 94443191308288 94443193933341 140733199828176 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94443194552216 94443194585178 94443225866240 140733199829407 140733199829511 140733199829511 140733199835113 0
/proc/49430/statm: 314830 298546 3520 641 0 297313 0
[pid=49430/tid=49432] ppid=49427 vsize=1259320 memory=14432 CPUtime=0 cores=4,6
/proc/49430/task/49432/stat : 49432 (ipbhs_gurobi) S 49427 49430 48256 0 -1 4194368 5 0 0 0 0 0 0 0 20 0 2 0 46254259 1289543680 298546 18446744073709551615 94443191308288 94443193933341 140733199828176 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94443194552216 94443194585178 94443225866240 140733199829407 140733199829511 140733199829511 140733199835113 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1259320 KiB
Current children cumulated memory: 1194184 KiB

[startup+12.7001 s]
/proc/loadavg: 4.13 4.11 4.09 5/269 49432
/proc/meminfo: memFree=126639540/131250000 swapFree=33010684/33010684
[pid=49430] ppid=49427 vsize=1262840 memory=1196616 CPUtime=12.66 cores=4,6
/proc/49430/stat : 49430 (ipbhs_gurobi) R 49427 49430 48256 0 -1 4194304 19059 0 0 0 1215 51 0 0 20 0 2 0 46254223 1293148160 299154 18446744073709551615 94443191308288 94443193933341 140733199828176 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94443194552216 94443194585178 94443225866240 140733199829407 140733199829511 140733199829511 140733199835113 0
/proc/49430/statm: 315710 299154 3520 641 0 298193 0
[pid=49430/tid=49432] ppid=49427 vsize=1262840 memory=1196616 CPUtime=0 cores=4,6
/proc/49430/task/49432/stat : 49432 (ipbhs_gurobi) S 49427 49430 48256 0 -1 4194368 5 0 0 0 0 0 0 0 20 0 2 0 46254259 1293148160 299154 18446744073709551615 94443191308288 94443193933341 140733199828176 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94443194552216 94443194585178 94443225866240 140733199829407 140733199829511 140733199829511 140733199835113 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 1262840 KiB
Current children cumulated memory: 1196616 KiB

[startup+25.5001 s]
/proc/loadavg: 4.11 4.11 4.09 5/263 49468
/proc/meminfo: memFree=126978648/131250000 swapFree=33010684/33010684
[pid=49430] ppid=49427 vsize=1267728 memory=1199432 CPUtime=25.43 cores=4,6
/proc/49430/stat : 49430 (ipbhs_gurobi) R 49427 49430 48256 0 -1 4194304 24455 0 0 0 2478 65 0 0 20 0 2 0 46254223 1298153472 299858 18446744073709551615 94443191308288 94443193933341 140733199828176 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94443194552216 94443194585178 94443225866240 140733199829407 140733199829511 140733199829511 140733199835113 0
/proc/49430/statm: 316932 299858 3520 641 0 299415 0
[pid=49430/tid=49432] ppid=49427 vsize=1267728 memory=14432 CPUtime=0 cores=4,6
/proc/49430/task/49432/stat : 49432 (ipbhs_gurobi) S 49427 49430 48256 0 -1 4194368 6 0 0 0 0 0 0 0 20 0 2 0 46254259 1298153472 299858 18446744073709551615 94443191308288 94443193933341 140733199828176 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94443194552216 94443194585178 94443225866240 140733199829407 140733199829511 140733199829511 140733199835113 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 1267728 KiB
Current children cumulated memory: 1199432 KiB

[startup+51.1053 s]
/proc/loadavg: 4.14 4.12 4.09 5/269 49479
/proc/meminfo: memFree=126248156/131250000 swapFree=33010684/33010684
[pid=49430] ppid=49427 vsize=1268416 memory=1202280 CPUtime=50.98 cores=4,6
/proc/49430/stat : 49430 (ipbhs_gurobi) R 49427 49430 48256 0 -1 4194304 30539 0 0 0 5005 93 0 0 20 0 2 0 46254223 1298857984 300570 18446744073709551615 94443191308288 94443193933341 140733199828176 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94443194552216 94443194585178 94443225866240 140733199829407 140733199829511 140733199829511 140733199835113 0
/proc/49430/statm: 317104 300570 3520 641 0 299587 0
[pid=49430/tid=49432] ppid=49427 vsize=1268416 memory=14432 CPUtime=0 cores=4,6
/proc/49430/task/49432/stat : 49432 (ipbhs_gurobi) S 49427 49430 48256 0 -1 4194368 9 0 0 0 0 0 0 0 20 0 2 0 46254259 1298857984 300570 18446744073709551615 94443191308288 94443193933341 140733199828176 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94443194552216 94443194585178 94443225866240 140733199829407 140733199829511 140733199829511 140733199835113 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 1268416 KiB
Current children cumulated memory: 1202280 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/269 49481
/proc/meminfo: memFree=126242736/131250000 swapFree=33010684/33010684
[pid=49430] ppid=49427 vsize=1278404 memory=1208040 CPUtime=102.06 cores=4,6
/proc/49430/stat : 49430 (ipbhs_gurobi) R 49427 49430 48256 0 -1 4194304 34023 0 0 0 10057 149 0 0 20 0 2 0 46254223 1309085696 302010 18446744073709551615 94443191308288 94443193933341 140733199828176 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94443194552216 94443194585178 94443225866240 140733199829407 140733199829511 140733199829511 140733199835113 0
/proc/49430/statm: 319601 302010 3744 641 0 302084 0
[pid=49430/tid=49432] ppid=49427 vsize=1278404 memory=14432 CPUtime=0.01 cores=4,6
/proc/49430/task/49432/stat : 49432 (ipbhs_gurobi) S 49427 49430 48256 0 -1 4194368 11 0 0 0 1 0 0 0 20 0 2 0 46254259 1309085696 302010 18446744073709551615 94443191308288 94443193933341 140733199828176 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94443194552216 94443194585178 94443225866240 140733199829407 140733199829511 140733199829511 140733199835113 0
Current children cumulated CPU time: 102.06 s
Current children cumulated vsize: 1278404 KiB
Current children cumulated memory: 1208040 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/271 49486
/proc/meminfo: memFree=126215328/131250000 swapFree=33010684/33010684
[pid=49430] ppid=49427 vsize=1279320 memory=1213216 CPUtime=161.94 cores=4,6
/proc/49430/stat : 49430 (ipbhs_gurobi) R 49427 49430 48256 0 -1 4194304 34320 0 0 0 15987 207 0 0 20 0 2 0 46254223 1310023680 303304 18446744073709551615 94443191308288 94443193933341 140733199828176 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94443194552216 94443194585178 94443225866240 140733199829407 140733199829511 140733199829511 140733199835113 0
/proc/49430/statm: 319830 303304 3744 641 0 302313 0
[pid=49430/tid=49432] ppid=49427 vsize=1279320 memory=1213216 CPUtime=0.02 cores=4,6
/proc/49430/task/49432/stat : 49432 (ipbhs_gurobi) S 49427 49430 48256 0 -1 4194368 12 0 0 0 1 1 0 0 20 0 2 0 46254259 1310023680 303304 18446744073709551615 94443191308288 94443193933341 140733199828176 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94443194552216 94443194585178 94443225866240 140733199829407 140733199829511 140733199829511 140733199835113 0
Current children cumulated CPU time: 161.94 s
Current children cumulated vsize: 1279320 KiB
Current children cumulated memory: 1213216 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/271 49495
/proc/meminfo: memFree=126181436/131250000 swapFree=33010684/33010684
[pid=49430] ppid=49427 vsize=1292044 memory=1218304 CPUtime=221.8 cores=4,6
/proc/49430/stat : 49430 (ipbhs_gurobi) R 49427 49430 48256 0 -1 4194304 44567 0 0 0 21921 259 0 0 20 0 2 0 46254223 1323053056 304576 18446744073709551615 94443191308288 94443193933341 140733199828176 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94443194552216 94443194585178 94443225866240 140733199829407 140733199829511 140733199829511 140733199835113 0
/proc/49430/statm: 323011 304576 3744 641 0 305494 0
[pid=49430/tid=49432] ppid=49427 vsize=1292044 memory=1218048 CPUtime=0.03 cores=4,6
/proc/49430/task/49432/stat : 49432 (ipbhs_gurobi) S 49427 49430 48256 0 -1 4194368 14 0 0 0 1 2 0 0 20 0 2 0 46254259 1323053056 304576 18446744073709551615 94443191308288 94443193933341 140733199828176 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94443194552216 94443194585178 94443225866240 140733199829407 140733199829511 140733199829511 140733199835113 0
Current children cumulated CPU time: 221.8 s
Current children cumulated vsize: 1292044 KiB
Current children cumulated memory: 1218304 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/272 49499
/proc/meminfo: memFree=126194508/131250000 swapFree=33010684/33010684
[pid=49430] ppid=49427 vsize=1292468 memory=1218688 CPUtime=281.68 cores=4,6
/proc/49430/stat : 49430 (ipbhs_gurobi) R 49427 49430 48256 0 -1 4194304 45228 0 0 0 27855 313 0 0 20 0 2 0 46254223 1323487232 304672 18446744073709551615 94443191308288 94443193933341 140733199828176 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94443194552216 94443194585178 94443225866240 140733199829407 140733199829511 140733199829511 140733199835113 0
/proc/49430/statm: 323117 304672 3744 641 0 305600 0
[pid=49430/tid=49432] ppid=49427 vsize=1292468 memory=1218560 CPUtime=0.05 cores=4,6
/proc/49430/task/49432/stat : 49432 (ipbhs_gurobi) S 49427 49430 48256 0 -1 4194368 15 0 0 0 2 3 0 0 20 0 2 0 46254259 1323487232 304672 18446744073709551615 94443191308288 94443193933341 140733199828176 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94443194552216 94443194585178 94443225866240 140733199829407 140733199829511 140733199829511 140733199835113 0
Current children cumulated CPU time: 281.68 s
Current children cumulated vsize: 1292468 KiB
Current children cumulated memory: 1218688 KiB

[startup+342.3 s]
/proc/loadavg: 4.24 4.14 4.10 5/271 49501
/proc/meminfo: memFree=126160876/131250000 swapFree=33010684/33010684
[pid=49430] ppid=49427 vsize=1293844 memory=1222132 CPUtime=341.54 cores=4,6

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

/proc/meminfo: memFree=126063484/131250000 swapFree=33010684/33010684
[pid=49430] ppid=49427 vsize=1357812 memory=1279516 CPUtime=3035.46 cores=4,6
/proc/49430/stat : 49430 (ipbhs_gurobi) R 49427 49430 48256 0 -1 4194304 93246 0 0 0 301538 2008 0 0 20 0 2 0 46254223 1390399488 319879 18446744073709551615 94443191308288 94443193933341 140733199828176 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94443194552216 94443194585178 94443225866240 140733199829407 140733199829511 140733199829511 140733199835113 0
/proc/49430/statm: 339453 319879 3744 641 0 321936 0
[pid=49430/tid=49432] ppid=49427 vsize=1357812 memory=1277120 CPUtime=0.96 cores=4,6
/proc/49430/task/49432/stat : 49432 (ipbhs_gurobi) S 49427 49430 48256 0 -1 4194368 35 0 0 0 30 66 0 0 20 0 2 0 46254259 1390399488 319879 18446744073709551615 94443191308288 94443193933341 140733199828176 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94443194552216 94443194585178 94443225866240 140733199829407 140733199829511 140733199829511 140733199835113 0
Current children cumulated CPU time: 3035.46 s
Current children cumulated vsize: 1357812 KiB
Current children cumulated memory: 1279516 KiB

[startup+3102.3 s]
/proc/loadavg: 4.22 4.12 4.10 5/268 49695
/proc/meminfo: memFree=126063556/131250000 swapFree=33010684/33010684
[pid=49430] ppid=49427 vsize=1357812 memory=1279644 CPUtime=3095.34 cores=4,6
/proc/49430/stat : 49430 (ipbhs_gurobi) R 49427 49430 48256 0 -1 4194304 93579 0 0 0 307501 2033 0 0 20 0 2 0 46254223 1390399488 319911 18446744073709551615 94443191308288 94443193933341 140733199828176 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94443194552216 94443194585178 94443225866240 140733199829407 140733199829511 140733199829511 140733199835113 0
/proc/49430/statm: 339453 319911 3744 641 0 321936 0
[pid=49430/tid=49432] ppid=49427 vsize=1357812 memory=1279644 CPUtime=0.99 cores=4,6
/proc/49430/task/49432/stat : 49432 (ipbhs_gurobi) S 49427 49430 48256 0 -1 4194368 35 0 0 0 31 68 0 0 20 0 2 0 46254259 1390399488 319911 18446744073709551615 94443191308288 94443193933341 140733199828176 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94443194552216 94443194585178 94443225866240 140733199829407 140733199829511 140733199829511 140733199835113 0
Current children cumulated CPU time: 3095.34 s
Current children cumulated vsize: 1357812 KiB
Current children cumulated memory: 1279644 KiB

[startup+3162.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/268 49697
/proc/meminfo: memFree=126074364/131250000 swapFree=33010684/33010684
[pid=49430] ppid=49427 vsize=1358184 memory=1284020 CPUtime=3155.24 cores=4,6
/proc/49430/stat : 49430 (ipbhs_gurobi) R 49427 49430 48256 0 -1 4194304 95465 0 0 0 313468 2056 0 0 20 0 2 0 46254223 1390780416 321005 18446744073709551615 94443191308288 94443193933341 140733199828176 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94443194552216 94443194585178 94443225866240 140733199829407 140733199829511 140733199829511 140733199835113 0
/proc/49430/statm: 339546 321005 3744 641 0 322029 0
[pid=49430/tid=49432] ppid=49427 vsize=1358184 memory=1279644 CPUtime=1.02 cores=4,6
/proc/49430/task/49432/stat : 49432 (ipbhs_gurobi) S 49427 49430 48256 0 -1 4194368 36 0 0 0 32 70 0 0 20 0 2 0 46254259 1390780416 321005 18446744073709551615 94443191308288 94443193933341 140733199828176 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94443194552216 94443194585178 94443225866240 140733199829407 140733199829511 140733199829511 140733199835113 0
Current children cumulated CPU time: 3155.24 s
Current children cumulated vsize: 1358184 KiB
Current children cumulated memory: 1284020 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/269 49706
/proc/meminfo: memFree=126073448/131250000 swapFree=33010684/33010684
[pid=49430] ppid=49427 vsize=1358556 memory=1284404 CPUtime=3215.13 cores=4,6
/proc/49430/stat : 49430 (ipbhs_gurobi) R 49427 49430 48256 0 -1 4194304 95610 0 0 0 319432 2081 0 0 20 0 2 0 46254223 1391161344 321101 18446744073709551615 94443191308288 94443193933341 140733199828176 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94443194552216 94443194585178 94443225866240 140733199829407 140733199829511 140733199829511 140733199835113 0
/proc/49430/statm: 339639 321101 3744 641 0 322122 0
[pid=49430/tid=49432] ppid=49427 vsize=1358556 memory=14432 CPUtime=1.05 cores=4,6
/proc/49430/task/49432/stat : 49432 (ipbhs_gurobi) S 49427 49430 48256 0 -1 4194368 36 0 0 0 33 72 0 0 20 0 2 0 46254259 1391161344 321101 18446744073709551615 94443191308288 94443193933341 140733199828176 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94443194552216 94443194585178 94443225866240 140733199829407 140733199829511 140733199829511 140733199835113 0
Current children cumulated CPU time: 3215.13 s
Current children cumulated vsize: 1358556 KiB
Current children cumulated memory: 1284404 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/270 49710
/proc/meminfo: memFree=126078780/131250000 swapFree=33010684/33010684
[pid=49430] ppid=49427 vsize=1358768 memory=1284532 CPUtime=3275.03 cores=4,6
/proc/49430/stat : 49430 (ipbhs_gurobi) R 49427 49430 48256 0 -1 4194304 95684 0 0 0 325400 2103 0 0 20 0 2 0 46254223 1391378432 321133 18446744073709551615 94443191308288 94443193933341 140733199828176 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94443194552216 94443194585178 94443225866240 140733199829407 140733199829511 140733199829511 140733199835113 0
/proc/49430/statm: 339692 321133 3744 641 0 322175 0
[pid=49430/tid=49432] ppid=49427 vsize=1358768 memory=1284532 CPUtime=1.08 cores=4,6
/proc/49430/task/49432/stat : 49432 (ipbhs_gurobi) S 49427 49430 48256 0 -1 4194368 36 0 0 0 34 74 0 0 20 0 2 0 46254259 1391378432 321133 18446744073709551615 94443191308288 94443193933341 140733199828176 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94443194552216 94443194585178 94443225866240 140733199829407 140733199829511 140733199829511 140733199835113 0
Current children cumulated CPU time: 3275.03 s
Current children cumulated vsize: 1358768 KiB
Current children cumulated memory: 1284532 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/270 49712
/proc/meminfo: memFree=126078652/131250000 swapFree=33010684/33010684
[pid=49430] ppid=49427 vsize=1359184 memory=1285044 CPUtime=3334.92 cores=4,6
/proc/49430/stat : 49430 (ipbhs_gurobi) R 49427 49430 48256 0 -1 4194304 95801 0 0 0 331371 2121 0 0 20 0 2 0 46254223 1391804416 321261 18446744073709551615 94443191308288 94443193933341 140733199828176 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94443194552216 94443194585178 94443225866240 140733199829407 140733199829511 140733199829511 140733199835113 0
/proc/49430/statm: 339796 321261 3744 641 0 322279 0
[pid=49430/tid=49432] ppid=49427 vsize=1359184 memory=1285044 CPUtime=1.1 cores=4,6
/proc/49430/task/49432/stat : 49432 (ipbhs_gurobi) S 49427 49430 48256 0 -1 4194368 37 0 0 0 34 76 0 0 20 0 2 0 46254259 1391804416 321261 18446744073709551615 94443191308288 94443193933341 140733199828176 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94443194552216 94443194585178 94443225866240 140733199829407 140733199829511 140733199829511 140733199835113 0
Current children cumulated CPU time: 3334.92 s
Current children cumulated vsize: 1359184 KiB
Current children cumulated memory: 1285044 KiB

[startup+3402.3 s]
/proc/loadavg: 4.50 4.20 4.12 5/270 49714
/proc/meminfo: memFree=126074668/131250000 swapFree=33010684/33010684
[pid=49430] ppid=49427 vsize=1360196 memory=1292092 CPUtime=3394.8 cores=4,6
/proc/49430/stat : 49430 (ipbhs_gurobi) R 49427 49430 48256 0 -1 4194304 96845 0 0 0 337337 2143 0 0 20 0 2 0 46254223 1392840704 323023 18446744073709551615 94443191308288 94443193933341 140733199828176 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94443194552216 94443194585178 94443225866240 140733199829407 140733199829511 140733199829511 140733199835113 0
/proc/49430/statm: 340049 323023 3744 641 0 322532 0
[pid=49430/tid=49432] ppid=49427 vsize=1360196 memory=1285044 CPUtime=1.13 cores=4,6
/proc/49430/task/49432/stat : 49432 (ipbhs_gurobi) S 49427 49430 48256 0 -1 4194368 37 0 0 0 35 78 0 0 20 0 2 0 46254259 1392840704 323023 18446744073709551615 94443191308288 94443193933341 140733199828176 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94443194552216 94443194585178 94443225866240 140733199829407 140733199829511 140733199829511 140733199835113 0
Current children cumulated CPU time: 3394.8 s
Current children cumulated vsize: 1360196 KiB
Current children cumulated memory: 1292092 KiB

[startup+3462.3 s]
/proc/loadavg: 4.27 4.19 4.12 5/270 49716
/proc/meminfo: memFree=126055132/131250000 swapFree=33010684/33010684
[pid=49430] ppid=49427 vsize=1360440 memory=1292348 CPUtime=3454.7 cores=4,6
/proc/49430/stat : 49430 (ipbhs_gurobi) R 49427 49430 48256 0 -1 4194304 97745 0 0 0 343304 2166 0 0 20 0 2 0 46254223 1393090560 323087 18446744073709551615 94443191308288 94443193933341 140733199828176 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94443194552216 94443194585178 94443225866240 140733199829407 140733199829511 140733199829511 140733199835113 0
/proc/49430/statm: 340110 323087 3744 641 0 322593 0
[pid=49430/tid=49432] ppid=49427 vsize=1360440 memory=1285044 CPUtime=1.16 cores=4,6
/proc/49430/task/49432/stat : 49432 (ipbhs_gurobi) S 49427 49430 48256 0 -1 4194368 37 0 0 0 36 80 0 0 20 0 2 0 46254259 1393090560 323087 18446744073709551615 94443191308288 94443193933341 140733199828176 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94443194552216 94443194585178 94443225866240 140733199829407 140733199829511 140733199829511 140733199835113 0
Current children cumulated CPU time: 3454.7 s
Current children cumulated vsize: 1360440 KiB
Current children cumulated memory: 1292348 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.17 4.11 5/270 49718
/proc/meminfo: memFree=126045080/131250000 swapFree=33010684/33010684
[pid=49430] ppid=49427 vsize=1360440 memory=1292476 CPUtime=3514.58 cores=4,6
/proc/49430/stat : 49430 (ipbhs_gurobi) R 49427 49430 48256 0 -1 4194304 97841 0 0 0 349271 2187 0 0 20 0 2 0 46254223 1393090560 323119 18446744073709551615 94443191308288 94443193933341 140733199828176 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94443194552216 94443194585178 94443225866240 140733199829407 140733199829511 140733199829511 140733199835113 0
/proc/49430/statm: 340110 323119 3744 641 0 322593 0
[pid=49430/tid=49432] ppid=49427 vsize=1360440 memory=1292476 CPUtime=1.19 cores=4,6
/proc/49430/task/49432/stat : 49432 (ipbhs_gurobi) S 49427 49430 48256 0 -1 4194368 38 0 0 0 37 82 0 0 20 0 2 0 46254259 1393090560 323119 18446744073709551615 94443191308288 94443193933341 140733199828176 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94443194552216 94443194585178 94443225866240 140733199829407 140733199829511 140733199829511 140733199835113 0
Current children cumulated CPU time: 3514.58 s
Current children cumulated vsize: 1360440 KiB
Current children cumulated memory: 1292476 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.17 4.11 5/268 49721
/proc/meminfo: memFree=126060848/131250000 swapFree=33010684/33010684
[pid=49430] ppid=49427 vsize=1360724 memory=1292732 CPUtime=3574.48 cores=4,6
/proc/49430/stat : 49430 (ipbhs_gurobi) R 49427 49430 48256 0 -1 4194304 98755 0 0 0 355238 2210 0 0 20 0 2 0 46254223 1393381376 323183 18446744073709551615 94443191308288 94443193933341 140733199828176 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94443194552216 94443194585178 94443225866240 140733199829407 140733199829511 140733199829511 140733199835113 0
/proc/49430/statm: 340181 323183 3744 641 0 322664 0
[pid=49430/tid=49432] ppid=49427 vsize=1360724 memory=14432 CPUtime=1.21 cores=4,6
/proc/49430/task/49432/stat : 49432 (ipbhs_gurobi) S 49427 49430 48256 0 -1 4194368 38 0 0 0 38 83 0 0 20 0 2 0 46254259 1393381376 323183 18446744073709551615 94443191308288 94443193933341 140733199828176 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94443194552216 94443194585178 94443225866240 140733199829407 140733199829511 140733199829511 140733199835113 0
Current children cumulated CPU time: 3574.48 s
Current children cumulated vsize: 1360724 KiB
Current children cumulated memory: 1292732 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3607.9 s]
/proc/loadavg: 4.10 4.15 4.11 5/268 49905
/proc/meminfo: memFree=125762228/131250000 swapFree=33010684/33010684
[pid=49430] ppid=49427 vsize=1361056 memory=1292860 CPUtime=3600.04 cores=4,6
/proc/49430/stat : 49430 (ipbhs_gurobi) R 49427 49430 48256 0 -1 4194304 99402 0 0 0 357779 2225 0 0 20 0 2 0 46254223 1393721344 323215 18446744073709551615 94443191308288 94443193933341 140733199828176 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94443194552216 94443194585178 94443225866240 140733199829407 140733199829511 140733199829511 140733199835113 0
/proc/49430/statm: 340264 323215 3776 641 0 322747 0
[pid=49430/tid=49432] ppid=49427 vsize=1361056 memory=1292476 CPUtime=1.22 cores=4,6
/proc/49430/task/49432/stat : 49432 (ipbhs_gurobi) S 49427 49430 48256 0 -1 4194368 39 0 0 0 38 84 0 0 20 0 2 0 46254259 1393721344 323215 18446744073709551615 94443191308288 94443193933341 140733199828176 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94443194552216 94443194585178 94443225866240 140733199829407 140733199829511 140733199829511 140733199835113 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1361056 KiB
Current children cumulated memory: 1292860 KiB

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

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

# cumulated CPU time of all completed processes:  user=3577.8 s, system=22.254 s

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

[startup+3607.9 s]
/proc/loadavg: 4.10 4.15 4.11 5/268 49905
/proc/meminfo: memFree=125762228/131250000 swapFree=33010684/33010684
[pid=49430] ppid=49427 vsize=1361056 memory=1292860 CPUtime=3600.04 cores=4,6
/proc/49430/stat : 49430 (ipbhs_gurobi) R 49427 49430 48256 0 -1 4194304 99402 0 0 0 357779 2225 0 0 20 0 2 0 46254223 1393721344 323215 18446744073709551615 94443191308288 94443193933341 140733199828176 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94443194552216 94443194585178 94443225866240 140733199829407 140733199829511 140733199829511 140733199835113 0
/proc/49430/statm: 340264 323215 3776 641 0 322747 0
[pid=49430/tid=49432] ppid=49427 vsize=1361056 memory=1292476 CPUtime=1.22 cores=4,6
/proc/49430/task/49432/stat : 49432 (ipbhs_gurobi) S 49427 49430 48256 0 -1 4194368 39 0 0 0 38 84 0 0 20 0 2 0 46254259 1393721344 323215 18446744073709551615 94443191308288 94443193933341 140733199828176 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94443194552216 94443194585178 94443225866240 140733199829407 140733199829511 140733199829511 140733199835113 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1361056 KiB
Current children cumulated memory: 1292860 KiB

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3607.91
CPU time (s): 3600.05
CPU user time (s): 3577.8
CPU system time (s): 22.254
CPU usage (%): 99.7822
Max. virtual memory (cumulated for all children) (KiB): 1361056
Max. memory (cumulated for all children) (KiB): 1292860

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3577.8
system time used= 22.254
maximum resident set size= 1292860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 99402
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= 358912
involuntary context switches= 2600


# summary of solver processes directly reported to runsolver:
#   pid: 49430
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3577.8
#   total CPU system time (s): 22.254

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.6241 second user time and 14.9684 second system time

The end

Launcher Data 

Begin job on nodeC016 at 2025-06-30 19:49:27
IDJOB=4486270
IDBENCH=147017
IDSOLVER=3333
FILE ID=nodeC016/4486270-1751305767
RUNJOBID= nodeC016-1751302134-48267
SLURM_JOB_ID= 9594282
Free space on /tmp= 432884 MiB

SOLVER NAME= IPBHS-GUROBI 2025-06-09
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ttp/normalized-circ8_3.opb
COMMAND LINE= ./ipbhs_gurobi BENCHNAME --max-coef 1000000000
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4486270-1751305767/watcher-4486270-1751305767 -o /tmp/evaluation-result-4486270-1751305767/solver-4486270-1751305767 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751302134-48267 --watchdog 3760  ./ipbhs_gurobi HOME/instance-4486270-1751305767.opb --max-coef 1000000000

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

MD5SUM BENCH= 82a224b9434e58ca22c331a9d6eb0d67
RANDOM SEED=1884570063

nodeC016 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.740
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.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        127552240 kB
MemAvailable:   128639760 kB
Buffers:            3280 kB
Cached:          1890912 kB
SwapCached:            0 kB
Active:          1167668 kB
Inactive:        1622544 kB
Active(anon):     914092 kB
Inactive(anon):        0 kB
Active(file):     253576 kB
Inactive(file):  1622544 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             60088 kB
Writeback:            20 kB
AnonPages:        899256 kB
Mapped:           118660 kB
Shmem:             18072 kB
KReclaimable:     101276 kB
Slab:             188836 kB
SReclaimable:     101276 kB
SUnreclaim:        87560 kB
KernelStack:        4320 kB
PageTables:         4948 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    1308004 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150584 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    673792 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:      201428 kB
DirectMap2M:     7958528 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432828 MiB
End job on nodeC016 at 2025-06-30 20:49:35