Trace number 4509270

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.19 3604.7

General information on the benchmark

NamePB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw128/normalized-hw128-vm98p-opt.opb.negationfix.opb
MD5SUMa7d39c8a0eed618aa14a4423c4fae159
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark126
Best CPU time to get the best result obtained on this benchmark86.2078
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables175232
Total number of constraints2994
Number of constraints which are clauses1368
Number of constraints which are cardinality constraints (but not clauses)1368
Number of constraints which are nor clauses,nor cardinality constraints258
Minimum length of a constraint128
Maximum length of a constraint1369
Number of terms in the objective function 128
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 128
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 482918
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 1101202
Number of bits of the biggest sum of numbers21
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.30	c initialize IPBHS solver
0.00/0.30	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.30	c optimizer = "gurobi"
0.00/0.30	c pbsolver = "roundingsat"
0.00/0.30	c use separate pbsolver for SIS
0.00/0.30	c load symmetries from file ""
0.00/0.30	c set time limit for symmetry computation to 100 seconds.
0.00/0.30	c set interchangeable summation variable limit to 3
0.00/0.30	c set sym compact max subset size to 5
0.00/0.30	c set explicit symmetry matrix usage to 1
0.00/0.30	c sym budget explicit to 100
0.00/0.30	c sym budget explicit lits to 6000
0.00/0.30	c sym budget compact to 100
0.00/0.30	c sym budget compact lits to 6000
0.00/0.30	c sym budget common to 0
0.00/0.30	c sym budget common lits to 0
0.00/0.30	c set sym generation to 's'
0.00/0.30	c set abstraction set creation to 10 iterations without LB change
0.00/0.30	c set abstraction set inputs to 0
0.00/0.30	c set abstraction set cluster min size to 2
0.00/0.30	c set abstraction set cluster max size to 100000000
0.00/0.30	c set abstraction set cluster activation limit to 2
0.00/0.30	c enable abstraction set require equal cost
0.00/0.30	c set abstraction set assumptions to 0
0.00/0.30	c set abstraction set constraint type to 0
0.00/0.30	c set abstract core extraction strategy to b
0.00/0.30	c set core extraction strategy to 2
0.00/0.30	c set core extraction shuffles 10
0.00/0.30	c set cores per iteration to 5
0.00/0.30	c set optimizer bound usage strategy to 2
0.00/0.30	c set optimizer max non-optimal iterations to 1000
0.00/0.30	c set small core cardinality limit to 2
0.00/0.30	c set max coef in cores to 1000000000
0.00/0.30	c set core processing techniques to 4095
0.00/0.30	c set SIS iterations to 5
0.00/0.30	c set SIS budget abs to 1000
0.00/0.30	c set SIS budget rel to 0.05
1.19/1.57	c limit for coefficient in constraints and objective to 1000000000
1.19/1.57	c will solve HOME/instance-4509270-1751525701.opb
1.19/1.57	c [0] will start solving

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4509270-1751525701/watcher-4509270-1751525701 -o /tmp/evaluation-result-4509270-1751525701/solver-4509270-1751525701 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751525701-79133 --watchdog 3760 ./ipbhs_gurobi HOME/instance-4509270-1751525701.opb --max-coef 1000000000 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=79179, runsolver pid=79173
Current StackSize limit: 8192 KiB


[startup+0.100031 s]*
/proc/loadavg: 0.74 2.56 3.47 1/254 79192
/proc/meminfo: memFree=117794908/131382112 swapFree=33010160/33010684
[pid=79179] ppid=79173 vsize=60384 memory=1152 CPUtime=0 cores=5,7
/proc/79179/stat : 79179 (ipbhs_gurobi) D 79173 79179 79120 0 -1 4194304 114 0 5 0 0 0 0 0 20 0 1 0 68249984 61833216 288 18446744073709551615 94268669739008 94268672364061 140721168148400 0 0 0 0 0 0 1 0 0 17 5 0 0 0 0 0 94268672982936 94268673015898 94268684165120 140721168152991 140721168153095 140721168153095 140721168158697 0
/proc/79179/statm: 15096 288 256 641 0 261 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 60384 KiB
Current children cumulated memory: 1152 KiB

[startup+0.211325 s]*
/proc/loadavg: 0.74 2.56 3.47 1/254 79192
/proc/meminfo: memFree=117794688/131382112 swapFree=33010160/33010684
[pid=79179] ppid=79173 vsize=61616 memory=4864 CPUtime=0 cores=5,7
/proc/79179/stat : 79179 (ipbhs_gurobi) D 79173 79179 79120 0 -1 4194304 351 0 16 0 0 0 0 0 20 0 1 0 68249984 63094784 1216 18446744073709551615 94268669739008 94268672364061 140721168148400 0 0 0 0 0 0 1 0 0 17 5 0 0 0 0 0 94268672982936 94268673015898 94268684165120 140721168152991 140721168153095 140721168153095 140721168158697 0
/proc/79179/statm: 15404 1216 1024 641 0 161 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 61616 KiB
Current children cumulated memory: 4864 KiB

[startup+0.310401 s]*
/proc/loadavg: 0.74 2.56 3.47 5/254 79192
/proc/meminfo: memFree=117794688/131382112 swapFree=33010160/33010684
[pid=79179] ppid=79173 vsize=72424 memory=9112 CPUtime=0.01 cores=5,7
/proc/79179/stat : 79179 (ipbhs_gurobi) R 79173 79179 79120 0 -1 4194304 963 0 23 0 1 0 0 0 20 0 1 0 68249984 74162176 2278 18446744073709551615 94268669739008 94268672364061 140721168148400 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94268672982936 94268673015898 94268684165120 140721168152991 140721168153095 140721168153095 140721168158697 0
/proc/79179/statm: 18106 2278 1600 641 0 2863 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 72424 KiB
Current children cumulated memory: 9112 KiB

[startup+0.700282 s]
/proc/loadavg: 0.74 2.56 3.47 4/254 79192
/proc/meminfo: memFree=117142176/131382112 swapFree=33010160/33010684
[pid=79179] ppid=79173 vsize=102540 memory=35856 CPUtime=0.39 cores=5,7
/proc/79179/stat : 79179 (ipbhs_gurobi) R 79173 79179 79120 0 -1 4194304 7551 0 23 0 35 4 0 0 20 0 1 0 68249984 105000960 8964 18446744073709551615 94268669739008 94268672364061 140721168148400 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94268672982936 94268673015898 94268684165120 140721168152991 140721168153095 140721168153095 140721168158697 0
/proc/79179/statm: 25635 8964 1600 641 0 10392 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 102540 KiB
Current children cumulated memory: 35856 KiB

[startup+1.50036 s]
/proc/loadavg: 0.74 2.56 3.47 5/257 79195
/proc/meminfo: memFree=117059088/131382112 swapFree=33010160/33010684
[pid=79179] ppid=79173 vsize=197696 memory=134996 CPUtime=1.19 cores=5,7
/proc/79179/stat : 79179 (ipbhs_gurobi) R 79173 79179 79120 0 -1 4194304 23550 0 23 0 107 12 0 0 20 0 1 0 68249984 202440704 33749 18446744073709551615 94268669739008 94268672364061 140721168148400 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94268672982936 94268673015898 94268684165120 140721168152991 140721168153095 140721168153095 140721168158697 0
/proc/79179/statm: 49424 33749 1696 641 0 34181 0
Current children cumulated CPU time: 1.19 s
Current children cumulated vsize: 197696 KiB
Current children cumulated memory: 134996 KiB

[startup+3.11285 s]
/proc/loadavg: 1.08 2.60 3.48 5/258 79196
/proc/meminfo: memFree=116952832/131382112 swapFree=33010160/33010684
[pid=79179] ppid=79173 vsize=214160 memory=140048 CPUtime=2.78 cores=5,7
/proc/79179/stat : 79179 (ipbhs_gurobi) R 79173 79179 79120 0 -1 4194304 24867 0 23 0 260 18 0 0 20 0 2 0 68249984 219299840 35012 18446744073709551615 94268669739008 94268672364061 140721168148400 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 94268672982936 94268673015898 94268684165120 140721168152991 140721168153095 140721168153095 140721168158697 0
/proc/79179/statm: 53540 35012 3104 641 0 36023 0
[pid=79179/tid=79196] ppid=79173 vsize=214160 memory=198340509722 CPUtime=0 cores=5,7
/proc/79179/task/79196/stat : 79196 (ipbhs_gurobi) S 79173 79179 79120 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 68250141 219299840 35012 18446744073709551615 94268669739008 94268672364061 140721168148400 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 94268672982936 94268673015898 94268684165120 140721168152991 140721168153095 140721168153095 140721168158697 0
Current children cumulated CPU time: 2.78 s
Current children cumulated vsize: 214160 KiB
Current children cumulated memory: 140048 KiB

[startup+6.30032 s]
/proc/loadavg: 1.08 2.60 3.48 5/258 79196
/proc/meminfo: memFree=116872376/131382112 swapFree=33010160/33010684
[pid=79179] ppid=79173 vsize=238108 memory=160812 CPUtime=5.96 cores=5,7
/proc/79179/stat : 79179 (ipbhs_gurobi) R 79173 79179 79120 0 -1 4194304 42513 0 23 0 567 29 0 0 20 0 2 0 68249984 243822592 40203 18446744073709551615 94268669739008 94268672364061 140721168148400 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 94268672982936 94268673015898 94268684165120 140721168152991 140721168153095 140721168153095 140721168158697 0
/proc/79179/statm: 59527 40203 3136 641 0 42010 0
[pid=79179/tid=79196] ppid=79173 vsize=238108 memory=156472 CPUtime=0 cores=5,7
/proc/79179/task/79196/stat : 79196 (ipbhs_gurobi) S 79173 79179 79120 0 -1 4194368 8 0 0 0 0 0 0 0 20 0 2 0 68250141 243822592 40203 18446744073709551615 94268669739008 94268672364061 140721168148400 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 94268672982936 94268673015898 94268684165120 140721168152991 140721168153095 140721168153095 140721168158697 0
Current children cumulated CPU time: 5.96 s
Current children cumulated vsize: 238108 KiB
Current children cumulated memory: 160812 KiB

[startup+12.7003 s]
/proc/loadavg: 1.53 2.65 3.49 5/258 79197
/proc/meminfo: memFree=116761304/131382112 swapFree=33010160/33010684
[pid=79179] ppid=79173 vsize=250640 memory=169412 CPUtime=12.35 cores=5,7
/proc/79179/stat : 79179 (ipbhs_gurobi) R 79173 79179 79120 0 -1 4194304 49615 0 23 0 1197 38 0 0 20 0 2 0 68249984 256655360 42353 18446744073709551615 94268669739008 94268672364061 140721168148400 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 94268672982936 94268673015898 94268684165120 140721168152991 140721168153095 140721168153095 140721168158697 0
/proc/79179/statm: 62660 42353 3136 641 0 45143 0
[pid=79179/tid=79196] ppid=79173 vsize=250640 memory=169412 CPUtime=0 cores=5,7
/proc/79179/task/79196/stat : 79196 (ipbhs_gurobi) S 79173 79179 79120 0 -1 4194368 12 0 0 0 0 0 0 0 20 0 2 0 68250141 256655360 42353 18446744073709551615 94268669739008 94268672364061 140721168148400 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 94268672982936 94268673015898 94268684165120 140721168152991 140721168153095 140721168153095 140721168158697 0
Current children cumulated CPU time: 12.35 s
Current children cumulated vsize: 250640 KiB
Current children cumulated memory: 169412 KiB

[startup+25.5004 s]
/proc/loadavg: 1.91 2.69 3.49 5/258 79197
/proc/meminfo: memFree=116572636/131382112 swapFree=33010160/33010684
[pid=79179] ppid=79173 vsize=271632 memory=187852 CPUtime=25.14 cores=5,7
/proc/79179/stat : 79179 (ipbhs_gurobi) R 79173 79179 79120 0 -1 4194304 57829 0 23 0 2472 42 0 0 20 0 2 0 68249984 278151168 46963 18446744073709551615 94268669739008 94268672364061 140721168148400 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 94268672982936 94268673015898 94268684165120 140721168152991 140721168153095 140721168153095 140721168158697 0
/proc/79179/statm: 67908 46963 3136 641 0 50391 0
[pid=79179/tid=79196] ppid=79173 vsize=271632 memory=185736 CPUtime=0.02 cores=5,7
/proc/79179/task/79196/stat : 79196 (ipbhs_gurobi) S 79173 79179 79120 0 -1 4194368 16 0 0 0 0 2 0 0 20 0 2 0 68250141 278151168 46963 18446744073709551615 94268669739008 94268672364061 140721168148400 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 94268672982936 94268673015898 94268684165120 140721168152991 140721168153095 140721168153095 140721168158697 0
Current children cumulated CPU time: 25.14 s
Current children cumulated vsize: 271632 KiB
Current children cumulated memory: 187852 KiB

[startup+51.113 s]
/proc/loadavg: 2.69 2.81 3.51 5/258 79197
/proc/meminfo: memFree=116340420/131382112 swapFree=33010160/33010684
[pid=79179] ppid=79173 vsize=305960 memory=218244 CPUtime=50.72 cores=5,7
/proc/79179/stat : 79179 (ipbhs_gurobi) R 79173 79179 79120 0 -1 4194304 60382 0 23 0 5023 49 0 0 20 0 2 0 68249984 313303040 54561 18446744073709551615 94268669739008 94268672364061 140721168148400 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 94268672982936 94268673015898 94268684165120 140721168152991 140721168153095 140721168153095 140721168158697 0
/proc/79179/statm: 76490 54561 3136 641 0 58973 0
[pid=79179/tid=79196] ppid=79173 vsize=305960 memory=215872 CPUtime=0.04 cores=5,7
/proc/79179/task/79196/stat : 79196 (ipbhs_gurobi) S 79173 79179 79120 0 -1 4194368 17 0 0 0 0 4 0 0 20 0 2 0 68250141 313303040 54561 18446744073709551615 94268669739008 94268672364061 140721168148400 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 94268672982936 94268673015898 94268684165120 140721168152991 140721168153095 140721168153095 140721168158697 0
Current children cumulated CPU time: 50.72 s
Current children cumulated vsize: 305960 KiB
Current children cumulated memory: 218244 KiB

[startup+102.3 s]
/proc/loadavg: 3.58 3.05 3.56 5/259 79200
/proc/meminfo: memFree=115991552/131382112 swapFree=33010160/33010684
[pid=79179] ppid=79173 vsize=361832 memory=277272 CPUtime=101.84 cores=5,7
/proc/79179/stat : 79179 (ipbhs_gurobi) R 79173 79179 79120 0 -1 4194304 78438 0 23 0 10126 58 0 0 20 0 2 0 68249984 370515968 69318 18446744073709551615 94268669739008 94268672364061 140721168148400 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 94268672982936 94268673015898 94268684165120 140721168152991 140721168153095 140721168153095 140721168158697 0
/proc/79179/statm: 90458 69318 3136 641 0 72941 0
[pid=79179/tid=79196] ppid=79173 vsize=361832 memory=50 CPUtime=0.11 cores=5,7
/proc/79179/task/79196/stat : 79196 (ipbhs_gurobi) S 79173 79179 79120 0 -1 4194368 25 0 0 0 2 9 0 0 20 0 2 0 68250141 370515968 69318 18446744073709551615 94268669739008 94268672364061 140721168148400 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 94268672982936 94268673015898 94268684165120 140721168152991 140721168153095 140721168153095 140721168158697 0
Current children cumulated CPU time: 101.84 s
Current children cumulated vsize: 361832 KiB
Current children cumulated memory: 277272 KiB

[startup+162.3 s]
/proc/loadavg: 3.89 3.24 3.59 5/259 79202
/proc/meminfo: memFree=115480164/131382112 swapFree=33010160/33010684
[pid=79179] ppid=79173 vsize=449908 memory=356356 CPUtime=161.77 cores=5,7
/proc/79179/stat : 79179 (ipbhs_gurobi) R 79173 79179 79120 0 -1 4194304 81343 0 23 0 16104 73 0 0 20 0 2 0 68249984 460705792 89089 18446744073709551615 94268669739008 94268672364061 140721168148400 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 94268672982936 94268673015898 94268684165120 140721168152991 140721168153095 140721168153095 140721168158697 0
/proc/79179/statm: 112477 89089 3136 641 0 94960 0
[pid=79179/tid=79196] ppid=79173 vsize=449908 memory=351948 CPUtime=0.19 cores=5,7
/proc/79179/task/79196/stat : 79196 (ipbhs_gurobi) S 79173 79179 79120 0 -1 4194368 26 0 0 0 4 15 0 0 20 0 2 0 68250141 460705792 89089 18446744073709551615 94268669739008 94268672364061 140721168148400 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 94268672982936 94268673015898 94268684165120 140721168152991 140721168153095 140721168153095 140721168158697 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 449908 KiB
Current children cumulated memory: 356356 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 3.41 3.63 5/259 79204
/proc/meminfo: memFree=115169040/131382112 swapFree=33010160/33010684
[pid=79179] ppid=79173 vsize=589224 memory=428852 CPUtime=221.7 cores=5,7
/proc/79179/stat : 79179 (ipbhs_gurobi) R 79173 79179 79120 0 -1 4194304 104937 0 23 0 22082 88 0 0 20 0 2 0 68249984 603365376 107213 18446744073709551615 94268669739008 94268672364061 140721168148400 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 94268672982936 94268673015898 94268684165120 140721168152991 140721168153095 140721168153095 140721168158697 0
/proc/79179/statm: 147306 107213 3136 641 0 129789 0
[pid=79179/tid=79196] ppid=79173 vsize=589224 memory=426748 CPUtime=0.26 cores=5,7
/proc/79179/task/79196/stat : 79196 (ipbhs_gurobi) S 79173 79179 79120 0 -1 4194368 34 0 0 0 5 21 0 0 20 0 2 0 68250141 603365376 107213 18446744073709551615 94268669739008 94268672364061 140721168148400 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 94268672982936 94268673015898 94268684165120 140721168152991 140721168153095 140721168153095 140721168158697 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 589224 KiB
Current children cumulated memory: 428852 KiB

[startup+282.3 s]
/proc/loadavg: 4.13 3.55 3.67 5/258 79206
/proc/meminfo: memFree=115014200/131382112 swapFree=33010160/33010684
[pid=79179] ppid=79173 vsize=595200 memory=465144 CPUtime=281.62 cores=5,7
/proc/79179/stat : 79179 (ipbhs_gurobi) R 79173 79179 79120 0 -1 4194304 113802 0 23 0 28061 101 0 0 20 0 2 0 68249984 609484800 116286 18446744073709551615 94268669739008 94268672364061 140721168148400 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 94268672982936 94268673015898 94268684165120 140721168152991 140721168153095 140721168153095 140721168158697 0
/proc/79179/statm: 148800 116286 3136 641 0 131283 0
[pid=79179/tid=79196] ppid=79173 vsize=595200 memory=465144 CPUtime=0.34 cores=5,7
/proc/79179/task/79196/stat : 79196 (ipbhs_gurobi) S 79173 79179 79120 0 -1 4194368 34 0 0 0 9 25 0 0 20 0 2 0 68250141 609484800 116286 18446744073709551615 94268669739008 94268672364061 140721168148400 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 94268672982936 94268673015898 94268684165120 140721168152991 140721168153095 140721168153095 140721168158697 0
Current children cumulated CPU time: 281.62 s
Current children cumulated vsize: 595200 KiB
Current children cumulated memory: 465144 KiB

[startup+342.3 s]
/proc/loadavg: 4.16 3.67 3.70 5/256 79208
/proc/meminfo: memFree=114685868/131382112 swapFree=33010160/33010684
[pid=79179] ppid=79173 vsize=596908 memory=466808 CPUtime=341.55 cores=5,7
/proc/79179/stat : 79179 (ipbhs_gurobi) R 79173 79179 79120 0 -1 4194304 114251 0 23 0 34041 114 0 0 20 0 2 0 68249984 611233792 116702 18446744073709551615 94268669739008 94268672364061 140721168148400 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 94268672982936 94268673015898 94268684165120 140721168152991 140721168153095 140721168153095 140721168158697 0
/proc/79179/statm: 149227 116702 3136 641 0 131710 0
[pid=79179/tid=79196] ppid=79173 vsize=596908 memory=465656 CPUtime=0.42 cores=5,7
/proc/79179/task/79196/stat : 79196 (ipbhs_gurobi) S 79173 79179 79120 0 -1 4194368 34 0 0 0 11 31 0 0 20 0 2 0 68250141 611233792 116702 18446744073709551615 94268669739008 94268672364061 140721168148400 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 94268672982936 94268673015898 94268684165120 140721168152991 140721168153095 140721168153095 140721168158697 0
Current children cumulated CPU time: 341.55 s

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

/proc/meminfo: memFree=106464740/131382112 swapFree=33010160/33010684
[pid=79179] ppid=79173 vsize=4190736 memory=3727784 CPUtime=2978.32 cores=5,7
/proc/79179/stat : 79179 (ipbhs_gurobi) R 79173 79179 79120 0 -1 4194304 4168371 0 23 0 294455 3377 0 0 20 0 2 0 68249984 4291313664 931946 18446744073709551615 94268669739008 94268672364061 140721168148400 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 94268672982936 94268673015898 94268684165120 140721168152991 140721168153095 140721168153095 140721168158697 0
/proc/79179/statm: 1047684 931946 3136 641 0 1030167 0
[pid=79179/tid=79196] ppid=79173 vsize=4190736 memory=18176 CPUtime=4.88 cores=5,7
/proc/79179/task/79196/stat : 79196 (ipbhs_gurobi) S 79173 79179 79120 0 -1 4194368 117 0 0 0 140 348 0 0 20 0 2 0 68250141 4291313664 931946 18446744073709551615 94268669739008 94268672364061 140721168148400 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 94268672982936 94268673015898 94268684165120 140721168152991 140721168153095 140721168153095 140721168158697 0
Current children cumulated CPU time: 2978.32 s
Current children cumulated vsize: 4190736 KiB
Current children cumulated memory: 3727784 KiB

[startup+3042.3 s]
/proc/loadavg: 4.10 4.11 4.14 5/255 79351
/proc/meminfo: memFree=106281140/131382112 swapFree=33010160/33010684
[pid=79179] ppid=79173 vsize=4229744 memory=3766824 CPUtime=3038.28 cores=5,7
/proc/79179/stat : 79179 (ipbhs_gurobi) R 79173 79179 79120 0 -1 4194304 4285490 0 23 0 300370 3458 0 0 20 0 2 0 68249984 4331257856 941706 18446744073709551615 94268669739008 94268672364061 140721168148400 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 94268672982936 94268673015898 94268684165120 140721168152991 140721168153095 140721168153095 140721168158697 0
/proc/79179/statm: 1057436 941706 3136 641 0 1039919 0
[pid=79179/tid=79196] ppid=79173 vsize=4229744 memory=3727784 CPUtime=4.99 cores=5,7
/proc/79179/task/79196/stat : 79196 (ipbhs_gurobi) S 79173 79179 79120 0 -1 4194368 119 0 0 0 144 355 0 0 20 0 2 0 68250141 4331257856 941706 18446744073709551615 94268669739008 94268672364061 140721168148400 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 94268672982936 94268673015898 94268684165120 140721168152991 140721168153095 140721168153095 140721168158697 0
Current children cumulated CPU time: 3038.28 s
Current children cumulated vsize: 4229744 KiB
Current children cumulated memory: 3766824 KiB

[startup+3102.3 s]
/proc/loadavg: 4.11 4.10 4.13 5/254 79353
/proc/meminfo: memFree=106134916/131382112 swapFree=33010160/33010684
[pid=79179] ppid=79173 vsize=4313888 memory=3843240 CPUtime=3098.22 cores=5,7
/proc/79179/stat : 79179 (ipbhs_gurobi) R 79173 79179 79120 0 -1 4194304 4354948 0 23 0 306322 3500 0 0 20 0 2 0 68249984 4417421312 960810 18446744073709551615 94268669739008 94268672364061 140721168148400 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 94268672982936 94268673015898 94268684165120 140721168152991 140721168153095 140721168153095 140721168158697 0
/proc/79179/statm: 1078472 960810 3136 641 0 1060955 0
[pid=79179/tid=79196] ppid=79173 vsize=4313888 memory=14560 CPUtime=5.1 cores=5,7
/proc/79179/task/79196/stat : 79196 (ipbhs_gurobi) S 79173 79179 79120 0 -1 4194368 120 0 0 0 147 363 0 0 20 0 2 0 68250141 4417421312 960810 18446744073709551615 94268669739008 94268672364061 140721168148400 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 94268672982936 94268673015898 94268684165120 140721168152991 140721168153095 140721168153095 140721168158697 0
Current children cumulated CPU time: 3098.22 s
Current children cumulated vsize: 4313888 KiB
Current children cumulated memory: 3843240 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.10 4.12 5/253 79355
/proc/meminfo: memFree=106001312/131382112 swapFree=33010160/33010684
[pid=79179] ppid=79173 vsize=4372132 memory=3894696 CPUtime=3158.16 cores=5,7
/proc/79179/stat : 79179 (ipbhs_gurobi) R 79173 79179 79120 0 -1 4194304 4449142 0 23 0 312234 3582 0 0 20 0 2 0 68249984 4477063168 973674 18446744073709551615 94268669739008 94268672364061 140721168148400 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 94268672982936 94268673015898 94268684165120 140721168152991 140721168153095 140721168153095 140721168158697 0
/proc/79179/statm: 1093033 973674 3136 641 0 1075516 0
[pid=79179/tid=79196] ppid=79173 vsize=4372132 memory=3877800 CPUtime=5.22 cores=5,7
/proc/79179/task/79196/stat : 79196 (ipbhs_gurobi) S 79173 79179 79120 0 -1 4194368 121 0 0 0 151 371 0 0 20 0 2 0 68250141 4477063168 973674 18446744073709551615 94268669739008 94268672364061 140721168148400 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 94268672982936 94268673015898 94268684165120 140721168152991 140721168153095 140721168153095 140721168158697 0
Current children cumulated CPU time: 3158.16 s
Current children cumulated vsize: 4372132 KiB
Current children cumulated memory: 3894696 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.09 4.12 5/253 79357
/proc/meminfo: memFree=105860732/131382112 swapFree=33010160/33010684
[pid=79179] ppid=79173 vsize=4372280 memory=3895464 CPUtime=3218.11 cores=5,7
/proc/79179/stat : 79179 (ipbhs_gurobi) R 79173 79179 79120 0 -1 4194304 4552150 0 23 0 318094 3717 0 0 20 0 2 0 68249984 4477214720 973866 18446744073709551615 94268669739008 94268672364061 140721168148400 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 94268672982936 94268673015898 94268684165120 140721168152991 140721168153095 140721168153095 140721168158697 0
/proc/79179/statm: 1093070 973866 3136 641 0 1075553 0
[pid=79179/tid=79196] ppid=79173 vsize=4372280 memory=3894824 CPUtime=5.32 cores=5,7
/proc/79179/task/79196/stat : 79196 (ipbhs_gurobi) S 79173 79179 79120 0 -1 4194368 124 0 0 0 153 379 0 0 20 0 2 0 68250141 4477214720 973866 18446744073709551615 94268669739008 94268672364061 140721168148400 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 94268672982936 94268673015898 94268684165120 140721168152991 140721168153095 140721168153095 140721168158697 0
Current children cumulated CPU time: 3218.11 s
Current children cumulated vsize: 4372280 KiB
Current children cumulated memory: 3895464 KiB

[startup+3282.3 s]
/proc/loadavg: 4.06 4.08 4.11 5/253 79359
/proc/meminfo: memFree=105569944/131382112 swapFree=33010160/33010684
[pid=79179] ppid=79173 vsize=4437208 memory=3959080 CPUtime=3278.06 cores=5,7
/proc/79179/stat : 79179 (ipbhs_gurobi) R 79173 79179 79120 0 -1 4194304 4576877 0 23 0 324072 3734 0 0 20 0 2 0 68249984 4543700992 989770 18446744073709551615 94268669739008 94268672364061 140721168148400 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 94268672982936 94268673015898 94268684165120 140721168152991 140721168153095 140721168153095 140721168158697 0
/proc/79179/statm: 1109302 989770 3136 641 0 1091785 0
[pid=79179/tid=79196] ppid=79173 vsize=4437208 memory=3916328 CPUtime=5.43 cores=5,7
/proc/79179/task/79196/stat : 79196 (ipbhs_gurobi) S 79173 79179 79120 0 -1 4194368 127 0 0 0 157 386 0 0 20 0 2 0 68250141 4543700992 989770 18446744073709551615 94268669739008 94268672364061 140721168148400 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 94268672982936 94268673015898 94268684165120 140721168152991 140721168153095 140721168153095 140721168158697 0
Current children cumulated CPU time: 3278.06 s
Current children cumulated vsize: 4437208 KiB
Current children cumulated memory: 3959080 KiB

[startup+3342.3 s]
/proc/loadavg: 4.07 4.08 4.11 5/253 79361
/proc/meminfo: memFree=105053700/131382112 swapFree=33010160/33010684
[pid=79179] ppid=79173 vsize=4472248 memory=3999656 CPUtime=3338.02 cores=5,7
/proc/79179/stat : 79179 (ipbhs_gurobi) R 79173 79179 79120 0 -1 4194304 4683080 0 23 0 330016 3786 0 0 20 0 2 0 68249984 4579581952 999914 18446744073709551615 94268669739008 94268672364061 140721168148400 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 94268672982936 94268673015898 94268684165120 140721168152991 140721168153095 140721168153095 140721168158697 0
/proc/79179/statm: 1118062 999914 3136 641 0 1100545 0
[pid=79179/tid=79196] ppid=79173 vsize=4472248 memory=3991336 CPUtime=5.54 cores=5,7
/proc/79179/task/79196/stat : 79196 (ipbhs_gurobi) S 79173 79179 79120 0 -1 4194368 128 0 0 0 161 393 0 0 20 0 2 0 68250141 4579581952 999914 18446744073709551615 94268669739008 94268672364061 140721168148400 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 94268672982936 94268673015898 94268684165120 140721168152991 140721168153095 140721168153095 140721168158697 0
Current children cumulated CPU time: 3338.02 s
Current children cumulated vsize: 4472248 KiB
Current children cumulated memory: 3999656 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.10 4.11 5/253 79363
/proc/meminfo: memFree=104781804/131382112 swapFree=33010160/33010684
[pid=79179] ppid=79173 vsize=4474564 memory=4009384 CPUtime=3397.97 cores=5,7
/proc/79179/stat : 79179 (ipbhs_gurobi) R 79173 79179 79120 0 -1 4194304 4770131 0 23 0 335888 3909 0 0 20 0 2 0 68249984 4581953536 1002346 18446744073709551615 94268669739008 94268672364061 140721168148400 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 94268672982936 94268673015898 94268684165120 140721168152991 140721168153095 140721168153095 140721168158697 0
/proc/79179/statm: 1118641 1002346 3136 641 0 1101124 0
[pid=79179/tid=79196] ppid=79173 vsize=4474564 memory=4009384 CPUtime=5.64 cores=5,7
/proc/79179/task/79196/stat : 79196 (ipbhs_gurobi) S 79173 79179 79120 0 -1 4194368 131 0 0 0 164 400 0 0 20 0 2 0 68250141 4581953536 1002346 18446744073709551615 94268669739008 94268672364061 140721168148400 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 94268672982936 94268673015898 94268684165120 140721168152991 140721168153095 140721168153095 140721168158697 0
Current children cumulated CPU time: 3397.97 s
Current children cumulated vsize: 4474564 KiB
Current children cumulated memory: 4009384 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.09 4.10 5/255 79371
/proc/meminfo: memFree=104672996/131382112 swapFree=33010160/33010684
[pid=79179] ppid=79173 vsize=4507604 memory=4041896 CPUtime=3457.91 cores=5,7
/proc/79179/stat : 79179 (ipbhs_gurobi) R 79173 79179 79120 0 -1 4194304 4869626 0 23 0 341834 3957 0 0 20 0 2 0 68249984 4615786496 1010474 18446744073709551615 94268669739008 94268672364061 140721168148400 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 94268672982936 94268673015898 94268684165120 140721168152991 140721168153095 140721168153095 140721168158697 0
/proc/79179/statm: 1126901 1010474 3136 641 0 1109384 0
[pid=79179/tid=79196] ppid=79173 vsize=4507604 memory=14560 CPUtime=5.75 cores=5,7
/proc/79179/task/79196/stat : 79196 (ipbhs_gurobi) S 79173 79179 79120 0 -1 4194368 133 0 0 0 167 408 0 0 20 0 2 0 68250141 4615786496 1010474 18446744073709551615 94268669739008 94268672364061 140721168148400 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 94268672982936 94268673015898 94268684165120 140721168152991 140721168153095 140721168153095 140721168158697 0
Current children cumulated CPU time: 3457.91 s
Current children cumulated vsize: 4507604 KiB
Current children cumulated memory: 4041896 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.12 4.11 5/255 79373
/proc/meminfo: memFree=104572044/131382112 swapFree=33010160/33010684
[pid=79179] ppid=79173 vsize=4608404 memory=4148648 CPUtime=3517.87 cores=5,7
/proc/79179/stat : 79179 (ipbhs_gurobi) R 79173 79179 79120 0 -1 4194304 4899731 0 23 0 347805 3982 0 0 20 0 2 0 68249984 4719005696 1037162 18446744073709551615 94268669739008 94268672364061 140721168148400 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 94268672982936 94268673015898 94268684165120 140721168152991 140721168153095 140721168153095 140721168158697 0
/proc/79179/statm: 1152101 1037162 3136 641 0 1134584 0
[pid=79179/tid=79196] ppid=79173 vsize=4608404 memory=4045480 CPUtime=5.87 cores=5,7
/proc/79179/task/79196/stat : 79196 (ipbhs_gurobi) S 79173 79179 79120 0 -1 4194368 135 0 0 0 171 416 0 0 20 0 2 0 68250141 4719005696 1037162 18446744073709551615 94268669739008 94268672364061 140721168148400 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 94268672982936 94268673015898 94268684165120 140721168152991 140721168153095 140721168153095 140721168158697 0
Current children cumulated CPU time: 3517.87 s
Current children cumulated vsize: 4608404 KiB
Current children cumulated memory: 4148648 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.12 4.11 5/255 79375
/proc/meminfo: memFree=104491508/131382112 swapFree=33010160/33010684
[pid=79179] ppid=79173 vsize=4690564 memory=4218664 CPUtime=3577.81 cores=5,7
/proc/79179/stat : 79179 (ipbhs_gurobi) R 79173 79179 79120 0 -1 4194304 5062230 0 23 0 353767 4014 0 0 20 0 2 0 68249984 4803137536 1054666 18446744073709551615 94268669739008 94268672364061 140721168148400 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 94268672982936 94268673015898 94268684165120 140721168152991 140721168153095 140721168153095 140721168158697 0
/proc/79179/statm: 1172641 1054666 3136 641 0 1155124 0
[pid=79179/tid=79196] ppid=79173 vsize=4690564 memory=18176 CPUtime=5.98 cores=5,7
/proc/79179/task/79196/stat : 79196 (ipbhs_gurobi) S 79173 79179 79120 0 -1 4194368 137 0 0 0 174 424 0 0 20 0 2 0 68250141 4803137536 1054666 18446744073709551615 94268669739008 94268672364061 140721168148400 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 94268672982936 94268673015898 94268684165120 140721168152991 140721168153095 140721168153095 140721168158697 0
Current children cumulated CPU time: 3577.81 s
Current children cumulated vsize: 4690564 KiB
Current children cumulated memory: 4218664 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3604.6 s]
/proc/loadavg: 4.10 4.11 4.10 5/255 79375
/proc/meminfo: memFree=104446832/131382112 swapFree=33010160/33010684
[pid=79179] ppid=79173 vsize=4708360 memory=4235688 CPUtime=3600.08 cores=5,7
/proc/79179/stat : 79179 (ipbhs_gurobi) R 79173 79179 79120 0 -1 4194304 5069192 0 23 0 355988 4020 0 0 20 0 2 0 68249984 4821360640 1058922 18446744073709551615 94268669739008 94268672364061 140721168148400 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 94268672982936 94268673015898 94268684165120 140721168152991 140721168153095 140721168153095 140721168158697 0
/proc/79179/statm: 1177090 1058922 3136 641 0 1159573 0
[pid=79179/tid=79196] ppid=79173 vsize=4708360 memory=330525 CPUtime=6.02 cores=5,7
/proc/79179/task/79196/stat : 79196 (ipbhs_gurobi) S 79173 79179 79120 0 -1 4194368 138 0 0 0 175 427 0 0 20 0 2 0 68250141 4821360640 1058922 18446744073709551615 94268669739008 94268672364061 140721168148400 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 94268672982936 94268673015898 94268684165120 140721168152991 140721168153095 140721168153095 140721168158697 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 4708360 KiB
Current children cumulated memory: 4235688 KiB

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

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

# cumulated CPU time of all completed processes:  user=3559.89 s, system=40.3043 s

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

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3604.7
CPU time (s): 3600.19
CPU user time (s): 3559.89
CPU system time (s): 40.3043
CPU usage (%): 99.8748
Max. virtual memory (cumulated for all children) (KiB): 4708360
Max. memory (cumulated for all children) (KiB): 4235688

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3559.89
system time used= 40.3043
maximum resident set size= 4235688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5069192
page faults= 23
swaps= 0
block input operations= 1096
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 356874
involuntary context switches= 4168


# summary of solver processes directly reported to runsolver:
#   pid: 79179
#   total CPU time (s): 3600.19
#   total CPU user time (s): 3559.89
#   total CPU system time (s): 40.3043

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.4437 second user time and 34.7427 second system time

The end

Launcher Data 

Begin job on nodeC009 at 2025-07-03 08:55:01
IDJOB=4509270
IDBENCH=158606
IDSOLVER=3333
FILE ID=nodeC009/4509270-1751525701
RUNJOBID= nodeC009-1751525701-79133
SLURM_JOB_ID= 9598656
Free space on /tmp= 431120 MiB

SOLVER NAME= IPBHS-GUROBI 2025-06-09
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw128/normalized-hw128-vm98p-opt.opb.negationfix.opb
COMMAND LINE= ./ipbhs_gurobi BENCHNAME --max-coef 1000000000
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4509270-1751525701/watcher-4509270-1751525701 -o /tmp/evaluation-result-4509270-1751525701/solver-4509270-1751525701 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751525701-79133 --watchdog 3760  ./ipbhs_gurobi HOME/instance-4509270-1751525701.opb --max-coef 1000000000

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

MD5SUM BENCH= a7d39c8a0eed618aa14a4423c4fae159
RANDOM SEED=2144028073

nodeC009 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.325
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.85
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.238
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.85
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.229
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.85
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.85
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.251
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.85
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		: 3700.000
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.85
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.246
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.85
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		: 1197.235
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.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        117790576 kB
MemAvailable:   129862108 kB
Buffers:            2144 kB
Cached:         12822576 kB
SwapCached:           24 kB
Active:           417396 kB
Inactive:       12472184 kB
Active(anon):      77820 kB
Inactive(anon):     5056 kB
Active(file):     339576 kB
Inactive(file): 12467128 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            248504 kB
Writeback:            16 kB
AnonPages:         67988 kB
Mapped:           103136 kB
Shmem:             17936 kB
KReclaimable:     208524 kB
Slab:             293608 kB
SReclaimable:     208524 kB
SUnreclaim:        85084 kB
KernelStack:        3856 kB
PageTables:         2760 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     330304 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149272 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      172872 kB
DirectMap2M:     9166848 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 430984 MiB
End job on nodeC009 at 2025-07-03 09:55:07