Trace number 4486501

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.07 3604.53

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/ttp/normalized-data6_3.opb
MD5SUM9e6692c80f11b0068f23fe5849cf8b25
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 benchmark23916
Best CPU time to get the best result obtained on this benchmark3585.75
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables540
Total number of constraints4476
Number of constraints which are clauses2532
Number of constraints which are cardinality constraints (but not clauses)264
Number of constraints which are nor clauses,nor cardinality constraints1680
Minimum length of a constraint2
Maximum length of a constraint20
Number of terms in the objective function 180
Biggest coefficient in the objective function 1380
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 116904
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 1380
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 116904
Number of bits of the biggest sum of numbers17
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.28	c initialize IPBHS solver
0.00/0.28	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.28	c optimizer = "gurobi"
0.00/0.28	c pbsolver = "roundingsat"
0.00/0.28	c use separate pbsolver for SIS
0.00/0.28	c load symmetries from file ""
0.00/0.28	c set time limit for symmetry computation to 100 seconds.
0.00/0.28	c set interchangeable summation variable limit to 3
0.00/0.28	c enable explicit+compact SCL
0.00/0.28	c set sym compact max subset size to 5
0.00/0.28	c set explicit symmetry matrix usage to 1
0.00/0.28	c sym budget explicit to 100
0.00/0.28	c sym budget explicit lits to 6000
0.00/0.28	c sym budget compact to 100
0.00/0.28	c sym budget compact lits to 6000
0.00/0.28	c sym budget common to 0
0.00/0.28	c sym budget common lits to 0
0.00/0.28	c set sym generation to 's'
0.00/0.28	c set abstraction set creation to 10 iterations without LB change
0.00/0.28	c set abstraction set inputs to 0
0.00/0.28	c set abstraction set cluster min size to 2
0.00/0.28	c set abstraction set cluster max size to 100000000
0.00/0.28	c set abstraction set cluster activation limit to 2
0.00/0.28	c enable abstraction set require equal cost
0.00/0.28	c set abstraction set assumptions to 0
0.00/0.28	c set abstraction set constraint type to 0
0.00/0.28	c set abstract core extraction strategy to b
0.00/0.28	c set core extraction strategy to 2
0.00/0.28	c set core extraction shuffles 10
0.00/0.28	c set cores per iteration to 5
0.00/0.28	c set optimizer bound usage strategy to 2
0.00/0.28	c set optimizer max non-optimal iterations to 1000
0.00/0.28	c set small core cardinality limit to 2
0.00/0.28	c set max coef in cores to 1000000000
0.00/0.28	c set core processing techniques to 4095
0.00/0.28	c set SIS iterations to 5
0.00/0.28	c set SIS budget abs to 1000
0.00/0.28	c set SIS budget rel to 0.05
0.06/0.60	c limit for coefficient in constraints and objective to 1000000000
0.06/0.60	c will solve HOME/instance-4486501-1751324935.opb
0.06/0.60	Searching graph automorphisms with time limit: 100
0.11/0.66	c [0.09] 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: 63837 MiB (63216 MiB free)
  memory of node 1: 64465 MiB (63837 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=41239, runsolver pid=41231

[startup+0.100103 s]*
/proc/loadavg: 0.82 1.96 3.15 2/251 41250
/proc/meminfo: memFree=130090064/131382120 swapFree=33010416/33010684
[pid=41239] ppid=41231 vsize=60240 memory=768 CPUtime=0 cores=0,2
/proc/41239/stat : 41239 (ipbhs_gurobi) D 41231 41239 41181 0 -1 4194304 102 0 4 0 0 0 0 0 20 0 1 0 48172366 61685760 192 18446744073709551615 94848171868160 94848174493213 140724081982240 0 0 0 0 0 0 1 0 0 17 0 0 0 0 0 0 94848175112088 94848175145050 94848182042624 140724081990027 140724081990151 140724081990151 140724081995753 0
/proc/41239/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.213672 s]*
/proc/loadavg: 0.82 1.96 3.15 2/251 41250
/proc/meminfo: memFree=130087844/131382120 swapFree=33010416/33010684
[pid=41239] ppid=41231 vsize=61524 memory=2944 CPUtime=0 cores=0,2
/proc/41239/stat : 41239 (ipbhs_gurobi) D 41231 41239 41181 0 -1 4194304 295 0 14 0 0 0 0 0 20 0 1 0 48172366 63000576 736 18446744073709551615 94848171868160 94848174493213 140724081982240 0 0 0 0 0 0 1 0 0 17 2 0 0 0 0 0 94848175112088 94848175145050 94848182042624 140724081990027 140724081990151 140724081990151 140724081995753 0
/proc/41239/statm: 15381 736 576 641 0 249 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 61524 KiB
Current children cumulated memory: 2944 KiB

[startup+0.313243 s]*
/proc/loadavg: 0.82 1.96 3.15 6/252 41251
/proc/meminfo: memFree=129978892/131382120 swapFree=33010416/33010684
[pid=41239] ppid=41231 vsize=72148 memory=9200 CPUtime=0.04 cores=0,2
/proc/41239/stat : 41239 (ipbhs_gurobi) R 41231 41239 41181 0 -1 4194304 886 0 22 0 3 1 0 0 20 0 1 0 48172366 73879552 2300 18446744073709551615 94848171868160 94848174493213 140724081982240 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94848175112088 94848175145050 94848182042624 140724081990027 140724081990151 140724081990151 140724081995753 0
/proc/41239/statm: 18037 2300 1664 641 0 2794 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 72148 KiB
Current children cumulated memory: 9200 KiB

[startup+0.700388 s]
/proc/loadavg: 0.82 1.96 3.15 5/252 41251
/proc/meminfo: memFree=129068008/131382120 swapFree=33010416/33010684
[pid=41239] ppid=41231 vsize=94648 memory=20296 CPUtime=0.18 cores=0,2
/proc/41239/stat : 41239 (ipbhs_gurobi) D 41231 41239 41181 0 -1 4194304 2417 0 52 0 14 4 0 0 20 0 2 0 48172366 96919552 5074 18446744073709551615 94848171868160 94848174493213 140724081982240 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 94848175112088 94848175145050 94848182042624 140724081990027 140724081990151 140724081990151 140724081995753 0
/proc/41239/statm: 23662 5074 2528 641 0 6145 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 94648 KiB
Current children cumulated memory: 20296 KiB

[startup+1.50034 s]
/proc/loadavg: 0.82 1.96 3.15 6/256 41255
/proc/meminfo: memFree=127888744/131382120 swapFree=33010416/33010684
[pid=41239] ppid=41231 vsize=94648 memory=24392 CPUtime=0.91 cores=0,2
/proc/41239/stat : 41239 (ipbhs_gurobi) R 41231 41239 41181 0 -1 4194304 2478 0 108 0 66 25 0 0 20 0 2 0 48172366 96919552 6098 18446744073709551615 94848171868160 94848174493213 140724081982240 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 94848175112088 94848175145050 94848182042624 140724081990027 140724081990151 140724081990151 140724081995753 0
/proc/41239/statm: 23662 6098 3552 641 0 6145 0
[pid=41239/tid=41252] ppid=41231 vsize=94648 memory=0 CPUtime=0 cores=0,2
/proc/41239/task/41252/stat : 41252 (ipbhs_gurobi) S 41231 41239 41181 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 2 0 48172423 96919552 6098 18446744073709551615 94848171868160 94848174493213 140724081982240 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 94848175112088 94848175145050 94848182042624 140724081990027 140724081990151 140724081990151 140724081995753 0
Current children cumulated CPU time: 0.91 s
Current children cumulated vsize: 94648 KiB
Current children cumulated memory: 24392 KiB

[startup+3.11276 s]
/proc/loadavg: 1.08 1.99 3.15 6/251 41263
/proc/meminfo: memFree=128812428/131382120 swapFree=33010416/33010684
[pid=41239] ppid=41231 vsize=94648 memory=24904 CPUtime=2.52 cores=0,2
/proc/41239/stat : 41239 (ipbhs_gurobi) R 41231 41239 41181 0 -1 4194304 3446 0 108 0 212 40 0 0 20 0 2 0 48172366 96919552 6226 18446744073709551615 94848171868160 94848174493213 140724081982240 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 94848175112088 94848175145050 94848182042624 140724081990027 140724081990151 140724081990151 140724081995753 0
/proc/41239/statm: 23662 6226 3552 641 0 6145 0
[pid=41239/tid=41252] ppid=41231 vsize=94648 memory=24392 CPUtime=0 cores=0,2
/proc/41239/task/41252/stat : 41252 (ipbhs_gurobi) S 41231 41239 41181 0 -1 4194368 2 0 0 0 0 0 0 0 20 0 2 0 48172423 96919552 6226 18446744073709551615 94848171868160 94848174493213 140724081982240 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 94848175112088 94848175145050 94848182042624 140724081990027 140724081990151 140724081990151 140724081995753 0
Current children cumulated CPU time: 2.52 s
Current children cumulated vsize: 94648 KiB
Current children cumulated memory: 24904 KiB

[startup+6.30027 s]
/proc/loadavg: 1.08 1.99 3.15 6/255 41301
/proc/meminfo: memFree=128836972/131382120 swapFree=33010416/33010684
[pid=41239] ppid=41231 vsize=94648 memory=27272 CPUtime=5.7 cores=0,2
/proc/41239/stat : 41239 (ipbhs_gurobi) R 41231 41239 41181 0 -1 4194304 4773 0 108 0 512 58 0 0 20 0 2 0 48172366 96919552 6818 18446744073709551615 94848171868160 94848174493213 140724081982240 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 94848175112088 94848175145050 94848182042624 140724081990027 140724081990151 140724081990151 140724081995753 0
/proc/41239/statm: 23662 6818 3552 641 0 6145 0
[pid=41239/tid=41252] ppid=41231 vsize=94648 memory=27272 CPUtime=0 cores=0,2
/proc/41239/task/41252/stat : 41252 (ipbhs_gurobi) S 41231 41239 41181 0 -1 4194368 6 0 0 0 0 0 0 0 20 0 2 0 48172423 96919552 6818 18446744073709551615 94848171868160 94848174493213 140724081982240 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 94848175112088 94848175145050 94848182042624 140724081990027 140724081990151 140724081990151 140724081995753 0
Current children cumulated CPU time: 5.7 s
Current children cumulated vsize: 94648 KiB
Current children cumulated memory: 27272 KiB

[startup+12.7003 s]
/proc/loadavg: 1.31 2.03 3.16 6/255 41301
/proc/meminfo: memFree=128845500/131382120 swapFree=33010416/33010684
[pid=41239] ppid=41231 vsize=132840 memory=54568 CPUtime=12.1 cores=0,2
/proc/41239/stat : 41239 (ipbhs_gurobi) R 41231 41239 41181 0 -1 4194304 14661 0 108 0 1115 95 0 0 20 0 2 0 48172366 136028160 13642 18446744073709551615 94848171868160 94848174493213 140724081982240 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 94848175112088 94848175145050 94848182042624 140724081990027 140724081990151 140724081990151 140724081995753 0
/proc/41239/statm: 33210 13642 3648 641 0 15693 0
[pid=41239/tid=41252] ppid=41231 vsize=132840 memory=-7675384534233021893 CPUtime=0 cores=0,2
/proc/41239/task/41252/stat : 41252 (ipbhs_gurobi) S 41231 41239 41181 0 -1 4194368 8 0 0 0 0 0 0 0 20 0 2 0 48172423 136028160 13642 18446744073709551615 94848171868160 94848174493213 140724081982240 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 94848175112088 94848175145050 94848182042624 140724081990027 140724081990151 140724081990151 140724081995753 0
Current children cumulated CPU time: 12.1 s
Current children cumulated vsize: 132840 KiB
Current children cumulated memory: 54568 KiB

[startup+25.5003 s]
/proc/loadavg: 1.99 2.14 3.18 6/255 41301
/proc/meminfo: memFree=128844604/131382120 swapFree=33010416/33010684
[pid=41239] ppid=41231 vsize=132840 memory=54568 CPUtime=24.88 cores=0,2
/proc/41239/stat : 41239 (ipbhs_gurobi) R 41231 41239 41181 0 -1 4194304 15883 0 108 0 2322 166 0 0 20 0 2 0 48172366 136028160 13642 18446744073709551615 94848171868160 94848174493213 140724081982240 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 94848175112088 94848175145050 94848182042624 140724081990027 140724081990151 140724081990151 140724081995753 0
/proc/41239/statm: 33210 13642 3648 641 0 15693 0
[pid=41239/tid=41252] ppid=41231 vsize=132840 memory=54568 CPUtime=0.01 cores=0,2
/proc/41239/task/41252/stat : 41252 (ipbhs_gurobi) S 41231 41239 41181 0 -1 4194368 9 0 0 0 0 1 0 0 20 0 2 0 48172423 136028160 13642 18446744073709551615 94848171868160 94848174493213 140724081982240 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 94848175112088 94848175145050 94848182042624 140724081990027 140724081990151 140724081990151 140724081995753 0
Current children cumulated CPU time: 24.88 s
Current children cumulated vsize: 132840 KiB
Current children cumulated memory: 54568 KiB

[startup+51.1127 s]
/proc/loadavg: 3.02 2.37 3.22 6/255 41301
/proc/meminfo: memFree=128652968/131382120 swapFree=33010416/33010684
[pid=41239] ppid=41231 vsize=269004 memory=182100 CPUtime=50.46 cores=0,2
/proc/41239/stat : 41239 (ipbhs_gurobi) R 41231 41239 41181 0 -1 4194304 64258 0 108 0 4727 319 0 0 20 0 2 0 48172366 275460096 45525 18446744073709551615 94848171868160 94848174493213 140724081982240 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 94848175112088 94848175145050 94848182042624 140724081990027 140724081990151 140724081990151 140724081995753 0
/proc/41239/statm: 67251 45525 3648 641 0 49734 0
[pid=41239/tid=41252] ppid=41231 vsize=269004 memory=2888 CPUtime=0.04 cores=0,2
/proc/41239/task/41252/stat : 41252 (ipbhs_gurobi) S 41231 41239 41181 0 -1 4194368 14 0 0 0 1 3 0 0 20 0 2 0 48172423 275460096 45525 18446744073709551615 94848171868160 94848174493213 140724081982240 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 94848175112088 94848175145050 94848182042624 140724081990027 140724081990151 140724081990151 140724081995753 0
Current children cumulated CPU time: 50.46 s
Current children cumulated vsize: 269004 KiB
Current children cumulated memory: 182100 KiB

[startup+102.3 s]
/proc/loadavg: 4.03 2.76 3.31 6/255 41303
/proc/meminfo: memFree=128499968/131382120 swapFree=33010416/33010684
[pid=41239] ppid=41231 vsize=403888 memory=300304 CPUtime=101.58 cores=0,2
/proc/41239/stat : 41239 (ipbhs_gurobi) R 41231 41239 41181 0 -1 4194304 134850 0 108 0 9541 617 0 0 20 0 2 0 48172366 413581312 75076 18446744073709551615 94848171868160 94848174493213 140724081982240 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 94848175112088 94848175145050 94848182042624 140724081990027 140724081990151 140724081990151 140724081995753 0
/proc/41239/statm: 100972 75076 3648 641 0 83455 0
[pid=41239/tid=41252] ppid=41231 vsize=403888 memory=14464 CPUtime=0.09 cores=0,2
/proc/41239/task/41252/stat : 41252 (ipbhs_gurobi) S 41231 41239 41181 0 -1 4194368 20 0 0 0 2 7 0 0 20 0 2 0 48172423 413581312 75076 18446744073709551615 94848171868160 94848174493213 140724081982240 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 94848175112088 94848175145050 94848182042624 140724081990027 140724081990151 140724081990151 140724081995753 0
Current children cumulated CPU time: 101.58 s
Current children cumulated vsize: 403888 KiB
Current children cumulated memory: 300304 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 3.02 3.37 6/255 41305
/proc/meminfo: memFree=128368692/131382120 swapFree=33010416/33010684
[pid=41239] ppid=41231 vsize=436712 memory=300348 CPUtime=161.5 cores=0,2
/proc/41239/stat : 41239 (ipbhs_gurobi) R 41231 41239 41181 0 -1 4194304 239667 0 108 0 15206 944 0 0 20 0 2 0 48172366 447193088 75087 18446744073709551615 94848171868160 94848174493213 140724081982240 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 94848175112088 94848175145050 94848182042624 140724081990027 140724081990151 140724081990151 140724081995753 0
/proc/41239/statm: 109178 75087 3648 641 0 91661 0
[pid=41239/tid=41252] ppid=41231 vsize=436712 memory=298540 CPUtime=0.17 cores=0,2
/proc/41239/task/41252/stat : 41252 (ipbhs_gurobi) S 41231 41239 41181 0 -1 4194368 22 0 0 0 5 12 0 0 20 0 2 0 48172423 447193088 75087 18446744073709551615 94848171868160 94848174493213 140724081982240 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 94848175112088 94848175145050 94848182042624 140724081990027 140724081990151 140724081990151 140724081995753 0
Current children cumulated CPU time: 161.5 s
Current children cumulated vsize: 436712 KiB
Current children cumulated memory: 300348 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 3.21 3.42 6/255 41307
/proc/meminfo: memFree=128104788/131382120 swapFree=33010416/33010684
[pid=41239] ppid=41231 vsize=762720 memory=633212 CPUtime=221.42 cores=0,2
/proc/41239/stat : 41239 (ipbhs_gurobi) R 41231 41239 41181 0 -1 4194304 325336 0 108 0 20885 1257 0 0 20 0 2 0 48172366 781025280 158303 18446744073709551615 94848171868160 94848174493213 140724081982240 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 94848175112088 94848175145050 94848182042624 140724081990027 140724081990151 140724081990151 140724081995753 0
/proc/41239/statm: 190680 158303 3648 641 0 173163 0
[pid=41239/tid=41252] ppid=41231 vsize=762720 memory=401028 CPUtime=0.23 cores=0,2
/proc/41239/task/41252/stat : 41252 (ipbhs_gurobi) S 41231 41239 41181 0 -1 4194368 25 0 0 0 8 15 0 0 20 0 2 0 48172423 781025280 158303 18446744073709551615 94848171868160 94848174493213 140724081982240 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 94848175112088 94848175145050 94848182042624 140724081990027 140724081990151 140724081990151 140724081995753 0
Current children cumulated CPU time: 221.42 s
Current children cumulated vsize: 762720 KiB
Current children cumulated memory: 633212 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 3.38 3.46 6/255 41309
/proc/meminfo: memFree=127934588/131382120 swapFree=33010416/33010684
[pid=41239] ppid=41231 vsize=756172 memory=615360 CPUtime=281.35 cores=0,2
/proc/41239/stat : 41239 (ipbhs_gurobi) R 41231 41239 41181 0 -1 4194304 394870 0 108 0 26569 1566 0 0 20 0 2 0 48172366 774320128 153840 18446744073709551615 94848171868160 94848174493213 140724081982240 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 94848175112088 94848175145050 94848182042624 140724081990027 140724081990151 140724081990151 140724081995753 0
/proc/41239/statm: 189043 153840 3648 641 0 171526 0
[pid=41239/tid=41252] ppid=41231 vsize=756172 memory=610264 CPUtime=0.31 cores=0,2
/proc/41239/task/41252/stat : 41252 (ipbhs_gurobi) S 41231 41239 41181 0 -1 4194368 27 0 0 0 11 20 0 0 20 0 2 0 48172423 774320128 153840 18446744073709551615 94848171868160 94848174493213 140724081982240 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 94848175112088 94848175145050 94848182042624 140724081990027 140724081990151 140724081990151 140724081995753 0
Current children cumulated CPU time: 281.35 s
Current children cumulated vsize: 756172 KiB
Current children cumulated memory: 615360 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 3.51 3.50 6/255 41315
/proc/meminfo: memFree=127776636/131382120 swapFree=33010416/33010684
[pid=41239] ppid=41231 vsize=1009504 memory=711528 CPUtime=341.27 cores=0,2
/proc/41239/stat : 41239 (ipbhs_gurobi) R 41231 41239 41181 0 -1 4194304 488574 0 108 0 32260 1867 0 0 20 0 2 0 48172366 1033732096 177882 18446744073709551615 94848171868160 94848174493213 140724081982240 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 94848175112088 94848175145050 94848182042624 140724081990027 140724081990151 140724081990151 140724081995753 0
/proc/41239/statm: 252376 177882 3648 641 0 234859 0
[pid=41239/tid=41252] ppid=41231 vsize=1009504 memory=610264 CPUtime=0.39 cores=0,2

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

/proc/meminfo: memFree=125914116/131382120 swapFree=33010416/33010684
[pid=41239] ppid=41231 vsize=2694700 memory=2191308 CPUtime=3038.4 cores=0,2
/proc/41239/stat : 41239 (ipbhs_gurobi) R 41231 41239 41181 0 -1 4194304 5343450 0 108 0 292042 11798 0 0 20 0 2 0 48172366 2759372800 547827 18446744073709551615 94848171868160 94848174493213 140724081982240 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 94848175112088 94848175145050 94848182042624 140724081990027 140724081990151 140724081990151 140724081995753 0
/proc/41239/statm: 673675 547827 3808 641 0 656158 0
[pid=41239/tid=41252] ppid=41231 vsize=2694700 memory=17536 CPUtime=4.29 cores=0,2
/proc/41239/task/41252/stat : 41252 (ipbhs_gurobi) S 41231 41239 41181 0 -1 4194368 119 0 0 0 153 276 0 0 20 0 2 0 48172423 2759372800 547827 18446744073709551615 94848171868160 94848174493213 140724081982240 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 94848175112088 94848175145050 94848182042624 140724081990027 140724081990151 140724081990151 140724081995753 0
Current children cumulated CPU time: 3038.4 s
Current children cumulated vsize: 2694700 KiB
Current children cumulated memory: 2191308 KiB

[startup+3102.3 s]
/proc/loadavg: 4.05 4.08 4.09 6/253 41444
/proc/meminfo: memFree=125812840/131382120 swapFree=33010416/33010684
[pid=41239] ppid=41231 vsize=2577392 memory=2064684 CPUtime=3098.33 cores=0,2
/proc/41239/stat : 41239 (ipbhs_gurobi) R 41231 41239 41181 0 -1 4194304 5587701 0 108 0 297751 12082 0 0 20 0 2 0 48172366 2639249408 516171 18446744073709551615 94848171868160 94848174493213 140724081982240 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 94848175112088 94848175145050 94848182042624 140724081990027 140724081990151 140724081990151 140724081995753 0
/proc/41239/statm: 644348 516171 3808 641 0 626831 0
[pid=41239/tid=41252] ppid=41231 vsize=2577392 memory=17536 CPUtime=4.38 cores=0,2
/proc/41239/task/41252/stat : 41252 (ipbhs_gurobi) S 41231 41239 41181 0 -1 4194368 120 0 0 0 157 281 0 0 20 0 2 0 48172423 2639249408 516171 18446744073709551615 94848171868160 94848174493213 140724081982240 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 94848175112088 94848175145050 94848182042624 140724081990027 140724081990151 140724081990151 140724081995753 0
Current children cumulated CPU time: 3098.33 s
Current children cumulated vsize: 2577392 KiB
Current children cumulated memory: 2064684 KiB

[startup+3162.3 s]
/proc/loadavg: 4.13 4.09 4.09 6/253 41461
/proc/meminfo: memFree=124714676/131382120 swapFree=33010416/33010684
[pid=41239] ppid=41231 vsize=3634740 memory=3122028 CPUtime=3158.27 cores=0,2
/proc/41239/stat : 41239 (ipbhs_gurobi) R 41231 41239 41181 0 -1 4194304 5621075 0 108 0 303639 12188 0 0 20 0 2 0 48172366 3721973760 780507 18446744073709551615 94848171868160 94848174493213 140724081982240 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 94848175112088 94848175145050 94848182042624 140724081990027 140724081990151 140724081990151 140724081995753 0
/proc/41239/statm: 908685 780507 3808 641 0 891168 0
[pid=41239/tid=41252] ppid=41231 vsize=3634740 memory=17536 CPUtime=4.47 cores=0,2
/proc/41239/task/41252/stat : 41252 (ipbhs_gurobi) S 41231 41239 41181 0 -1 4194368 121 0 0 0 160 287 0 0 20 0 2 0 48172423 3721973760 780507 18446744073709551615 94848171868160 94848174493213 140724081982240 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 94848175112088 94848175145050 94848182042624 140724081990027 140724081990151 140724081990151 140724081995753 0
Current children cumulated CPU time: 3158.27 s
Current children cumulated vsize: 3634740 KiB
Current children cumulated memory: 3122028 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.09 4.09 6/254 41464
/proc/meminfo: memFree=125932612/131382120 swapFree=33010416/33010684
[pid=41239] ppid=41231 vsize=2509428 memory=1995568 CPUtime=3218.22 cores=0,2
/proc/41239/stat : 41239 (ipbhs_gurobi) R 41231 41239 41181 0 -1 4194304 5822052 0 108 0 309396 12426 0 0 20 0 2 0 48172366 2569654272 498892 18446744073709551615 94848171868160 94848174493213 140724081982240 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 94848175112088 94848175145050 94848182042624 140724081990027 140724081990151 140724081990151 140724081995753 0
/proc/41239/statm: 627357 498892 3808 641 0 609840 0
[pid=41239/tid=41252] ppid=41231 vsize=2509428 memory=1443000 CPUtime=4.55 cores=0,2
/proc/41239/task/41252/stat : 41252 (ipbhs_gurobi) S 41231 41239 41181 0 -1 4194368 123 0 0 0 162 293 0 0 20 0 2 0 48172423 2569654272 498892 18446744073709551615 94848171868160 94848174493213 140724081982240 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 94848175112088 94848175145050 94848182042624 140724081990027 140724081990151 140724081990151 140724081995753 0
Current children cumulated CPU time: 3218.22 s
Current children cumulated vsize: 2509428 KiB
Current children cumulated memory: 1995568 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.09 4.09 6/254 41466
/proc/meminfo: memFree=124787456/131382120 swapFree=33010416/33010684
[pid=41239] ppid=41231 vsize=4324840 memory=3124728 CPUtime=3278.16 cores=0,2
/proc/41239/stat : 41239 (ipbhs_gurobi) R 41231 41239 41181 0 -1 4194304 5931731 0 108 0 315210 12606 0 0 20 0 2 0 48172366 4428636160 781182 18446744073709551615 94848171868160 94848174493213 140724081982240 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 94848175112088 94848175145050 94848182042624 140724081990027 140724081990151 140724081990151 140724081995753 0
/proc/41239/statm: 1081210 781182 3808 641 0 1063693 0
[pid=41239/tid=41252] ppid=41231 vsize=4324840 memory=2052416 CPUtime=4.64 cores=0,2
/proc/41239/task/41252/stat : 41252 (ipbhs_gurobi) S 41231 41239 41181 0 -1 4194368 125 0 0 0 165 299 0 0 20 0 2 0 48172423 4428636160 781182 18446744073709551615 94848171868160 94848174493213 140724081982240 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 94848175112088 94848175145050 94848182042624 140724081990027 140724081990151 140724081990151 140724081995753 0
Current children cumulated CPU time: 3278.16 s
Current children cumulated vsize: 4324840 KiB
Current children cumulated memory: 3124728 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.09 4.09 6/255 41471
/proc/meminfo: memFree=125573856/131382120 swapFree=33010416/33010684
[pid=41239] ppid=41231 vsize=2799676 memory=2197180 CPUtime=3338.09 cores=0,2
/proc/41239/stat : 41239 (ipbhs_gurobi) R 41231 41239 41181 0 -1 4194304 6096709 0 108 0 321004 12805 0 0 20 0 2 0 48172366 2866868224 549295 18446744073709551615 94848171868160 94848174493213 140724081982240 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 94848175112088 94848175145050 94848182042624 140724081990027 140724081990151 140724081990151 140724081995753 0
/proc/41239/statm: 699919 549295 3808 641 0 682402 0
[pid=41239/tid=41252] ppid=41231 vsize=2799676 memory=2386992 CPUtime=4.73 cores=0,2
/proc/41239/task/41252/stat : 41252 (ipbhs_gurobi) S 41231 41239 41181 0 -1 4194368 127 0 0 0 169 304 0 0 20 0 2 0 48172423 2866868224 549295 18446744073709551615 94848171868160 94848174493213 140724081982240 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 94848175112088 94848175145050 94848182042624 140724081990027 140724081990151 140724081990151 140724081995753 0
Current children cumulated CPU time: 3338.09 s
Current children cumulated vsize: 2799676 KiB
Current children cumulated memory: 2197180 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.10 4.09 6/256 41478
/proc/meminfo: memFree=125785388/131382120 swapFree=33010416/33010684
[pid=41239] ppid=41231 vsize=2450156 memory=1926128 CPUtime=3398.03 cores=0,2
/proc/41239/stat : 41239 (ipbhs_gurobi) R 41231 41239 41181 0 -1 4194304 6228941 0 108 0 326807 12996 0 0 20 0 2 0 48172366 2508959744 481532 18446744073709551615 94848171868160 94848174493213 140724081982240 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 94848175112088 94848175145050 94848182042624 140724081990027 140724081990151 140724081990151 140724081995753 0
/proc/41239/statm: 612539 481532 3808 641 0 595022 0
[pid=41239/tid=41252] ppid=41231 vsize=2450156 memory=2386992 CPUtime=4.82 cores=0,2
/proc/41239/task/41252/stat : 41252 (ipbhs_gurobi) S 41231 41239 41181 0 -1 4194368 128 0 0 0 172 310 0 0 20 0 2 0 48172423 2508959744 481532 18446744073709551615 94848171868160 94848174493213 140724081982240 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 94848175112088 94848175145050 94848182042624 140724081990027 140724081990151 140724081990151 140724081995753 0
Current children cumulated CPU time: 3398.03 s
Current children cumulated vsize: 2450156 KiB
Current children cumulated memory: 1926128 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.09 4.09 6/256 41480
/proc/meminfo: memFree=125650384/131382120 swapFree=33010416/33010684
[pid=41239] ppid=41231 vsize=2787152 memory=2259832 CPUtime=3457.97 cores=0,2
/proc/41239/stat : 41239 (ipbhs_gurobi) R 41231 41239 41181 0 -1 4194304 6316293 0 108 0 332637 13160 0 0 20 0 2 0 48172366 2854043648 564958 18446744073709551615 94848171868160 94848174493213 140724081982240 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 94848175112088 94848175145050 94848182042624 140724081990027 140724081990151 140724081990151 140724081995753 0
/proc/41239/statm: 696788 564958 3808 641 0 679271 0
[pid=41239/tid=41252] ppid=41231 vsize=2787152 memory=2386992 CPUtime=4.9 cores=0,2
/proc/41239/task/41252/stat : 41252 (ipbhs_gurobi) S 41231 41239 41181 0 -1 4194368 130 0 0 0 176 314 0 0 20 0 2 0 48172423 2854043648 564958 18446744073709551615 94848171868160 94848174493213 140724081982240 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 94848175112088 94848175145050 94848182042624 140724081990027 140724081990151 140724081990151 140724081995753 0
Current children cumulated CPU time: 3457.97 s
Current children cumulated vsize: 2787152 KiB
Current children cumulated memory: 2259832 KiB

[startup+3522.3 s]
/proc/loadavg: 4.06 4.09 4.09 6/255 41482
/proc/meminfo: memFree=125714784/131382120 swapFree=33010416/33010684
[pid=41239] ppid=41231 vsize=2481244 memory=1954028 CPUtime=3517.91 cores=0,2
/proc/41239/stat : 41239 (ipbhs_gurobi) R 41231 41239 41181 0 -1 4194304 6433178 0 108 0 338401 13390 0 0 20 0 2 0 48172366 2540793856 488507 18446744073709551615 94848171868160 94848174493213 140724081982240 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 94848175112088 94848175145050 94848182042624 140724081990027 140724081990151 140724081990151 140724081995753 0
/proc/41239/statm: 620311 488507 3808 641 0 602794 0
[pid=41239/tid=41252] ppid=41231 vsize=2481244 memory=2947500 CPUtime=4.99 cores=0,2
/proc/41239/task/41252/stat : 41252 (ipbhs_gurobi) S 41231 41239 41181 0 -1 4194368 132 0 0 0 179 320 0 0 20 0 2 0 48172423 2540793856 488507 18446744073709551615 94848171868160 94848174493213 140724081982240 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 94848175112088 94848175145050 94848182042624 140724081990027 140724081990151 140724081990151 140724081995753 0
Current children cumulated CPU time: 3517.91 s
Current children cumulated vsize: 2481244 KiB
Current children cumulated memory: 1954028 KiB

[startup+3582.3 s]
/proc/loadavg: 4.07 4.08 4.09 6/256 41485
/proc/meminfo: memFree=125686904/131382120 swapFree=33010416/33010684
[pid=41239] ppid=41231 vsize=2608680 memory=2072080 CPUtime=3577.85 cores=0,2
/proc/41239/stat : 41239 (ipbhs_gurobi) R 41231 41239 41181 0 -1 4194304 6507089 0 108 0 344263 13522 0 0 20 0 2 0 48172366 2671288320 518020 18446744073709551615 94848171868160 94848174493213 140724081982240 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 94848175112088 94848175145050 94848182042624 140724081990027 140724081990151 140724081990151 140724081995753 0
/proc/41239/statm: 652170 518020 3808 641 0 634653 0
[pid=41239/tid=41252] ppid=41231 vsize=2608680 memory=2072076 CPUtime=5.08 cores=0,2
/proc/41239/task/41252/stat : 41252 (ipbhs_gurobi) S 41231 41239 41181 0 -1 4194368 136 0 0 0 182 326 0 0 20 0 2 0 48172423 2671288320 518020 18446744073709551615 94848171868160 94848174493213 140724081982240 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 94848175112088 94848175145050 94848182042624 140724081990027 140724081990151 140724081990151 140724081995753 0
Current children cumulated CPU time: 3577.85 s
Current children cumulated vsize: 2608680 KiB
Current children cumulated memory: 2072080 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3604.5 s]
/proc/loadavg: 4.03 4.08 4.08 4/251 41493
/proc/meminfo: memFree=127436744/131382120 swapFree=33010416/33010684
[pid=41239] ppid=41231 vsize=3740104 memory=2770644 CPUtime=3600.03 cores=0,2
/proc/41239/stat : 41239 (ipbhs_gurobi) R 41231 41239 41181 0 -1 4194304 6532033 0 108 0 346396 13607 0 0 20 0 2 0 48172366 3829866496 692661 18446744073709551615 94848171868160 94848174493213 140724081982240 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 94848175112088 94848175145050 94848182042624 140724081990027 140724081990151 140724081990151 140724081995753 0
/proc/41239/statm: 935026 692661 3808 641 0 917509 0
[pid=41239/tid=41252] ppid=41231 vsize=3740104 memory=2771676 CPUtime=5.12 cores=0,2
/proc/41239/task/41252/stat : 41252 (ipbhs_gurobi) S 41231 41239 41181 0 -1 4194368 137 0 0 0 183 329 0 0 20 0 2 0 48172423 3829866496 692661 18446744073709551615 94848171868160 94848174493213 140724081982240 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 94848175112088 94848175145050 94848182042624 140724081990027 140724081990151 140724081990151 140724081995753 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 3740104 KiB
Current children cumulated memory: 2770644 KiB

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

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

# cumulated CPU time of all completed processes:  user=3463.97 s, system=136.105 s

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

[startup+3604.5 s]
/proc/loadavg: 4.03 4.08 4.08 4/251 41493
/proc/meminfo: memFree=127436744/131382120 swapFree=33010416/33010684
[pid=41239] ppid=41231 vsize=3740104 memory=2770644 CPUtime=3600.03 cores=0,2
/proc/41239/stat : 41239 (ipbhs_gurobi) R 41231 41239 41181 0 -1 4194304 6532033 0 108 0 346396 13607 0 0 20 0 2 0 48172366 3829866496 692661 18446744073709551615 94848171868160 94848174493213 140724081982240 0 0 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 94848175112088 94848175145050 94848182042624 140724081990027 140724081990151 140724081990151 140724081995753 0
/proc/41239/statm: 935026 692661 3808 641 0 917509 0
[pid=41239/tid=41252] ppid=41231 vsize=3740104 memory=2771676 CPUtime=5.12 cores=0,2
/proc/41239/task/41252/stat : 41252 (ipbhs_gurobi) S 41231 41239 41181 0 -1 4194368 137 0 0 0 183 329 0 0 20 0 2 0 48172423 3829866496 692661 18446744073709551615 94848171868160 94848174493213 140724081982240 0 0 0 0 4096 0 1 0 0 -1 2 0 0 0 0 0 94848175112088 94848175145050 94848182042624 140724081990027 140724081990151 140724081990151 140724081995753 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 3740104 KiB
Current children cumulated memory: 2770644 KiB

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3604.53
CPU time (s): 3600.07
CPU user time (s): 3463.97
CPU system time (s): 136.105
CPU usage (%): 99.8763
Max. virtual memory (cumulated for all children) (KiB): 4465820
Max. memory (cumulated for all children) (KiB): 3635140

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3463.97
system time used= 136.105
maximum resident set size= 3740840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6532041
page faults= 108
swaps= 0
block input operations= 15192
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 357642
involuntary context switches= 8297


# summary of solver processes directly reported to runsolver:
#   pid: 41239
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3463.97
#   total CPU system time (s): 136.105

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.4562 second user time and 34.2936 second system time

The end

Launcher Data 

Begin job on nodeC002 at 2025-07-01 01:08:55
IDJOB=4486501
IDBENCH=147022
IDSOLVER=3334
FILE ID=nodeC002/4486501-1751324935
RUNJOBID= nodeC002-1751324935-41191
SLURM_JOB_ID= 9594348
Free space on /tmp= 433060 MiB

SOLVER NAME= IPBHS-GUROBI-SYM 2025-06-09
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ttp/normalized-data6_3.opb
COMMAND LINE= ./ipbhs_gurobi --sym-cores-compact BENCHNAME --max-coef 1000000000
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4486501-1751324935/watcher-4486501-1751324935 -o /tmp/evaluation-result-4486501-1751324935/solver-4486501-1751324935 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751324935-41191 --watchdog 3760  ./ipbhs_gurobi --sym-cores-compact HOME/instance-4486501-1751324935.opb --max-coef 1000000000

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

MD5SUM BENCH= 9e6692c80f11b0068f23fe5849cf8b25
RANDOM SEED=77580650

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        130076644 kB
MemAvailable:   129977868 kB
Buffers:            2128 kB
Cached:           711136 kB
SwapCached:           28 kB
Active:           355784 kB
Inactive:         420036 kB
Active(anon):      74188 kB
Inactive(anon):     6404 kB
Active(file):     281596 kB
Inactive(file):   413632 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            240164 kB
Writeback:            16 kB
AnonPages:         65704 kB
Mapped:           102588 kB
Shmem:             17932 kB
KReclaimable:      91248 kB
Slab:             174068 kB
SReclaimable:      91248 kB
SUnreclaim:        82820 kB
KernelStack:        3808 kB
PageTables:         2764 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:     330128 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149256 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 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:      181064 kB
DirectMap2M:     8110080 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432824 MiB
End job on nodeC002 at 2025-07-01 02:09:00