Trace number 4498737

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.1 3605.61

General information on the benchmark

NamePB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_1000_5__369_766__8.opb
MD5SUMd50eed7fc92c8c8c776f016813e402ac
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 benchmark87132
Best CPU time to get the best result obtained on this benchmark4.80108
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables40998
Total number of constraints6000
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)5002
Number of constraints which are nor clauses,nor cardinality constraints998
Minimum length of a constraint8
Maximum length of a constraint329
Number of terms in the objective function 40000
Biggest coefficient in the objective function 122979
Number of bits for the biggest coefficient in the objective function 17
Sum of the numbers in the objective function 1373838504
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 122979
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 1373838504
Number of bits of the biggest sum of numbers31
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.01	c initialize IPBHS solver
0.00/0.01	c IPBHS 0.0.0 beta (8d0f613-dirty, Jun  3 2025 11:30:33), compiled with satsolvers: , optimizers: , GreedyOptimizer, Gurobi 12.0.2, RoundingSat 2, , , pbsolvers: RoundingSat 2, BreakID 0.0.0
0.00/0.01	c optimizer = "gurobi"
0.00/0.01	c pbsolver = "roundingsat"
0.00/0.01	c use separate pbsolver for SIS
0.00/0.01	c load symmetries from file ""
0.00/0.01	c set time limit for symmetry computation to 100 seconds.
0.00/0.01	c set interchangeable summation variable limit to 3
0.00/0.01	c enable explicit+compact SCL
0.00/0.01	c set sym compact max subset size to 5
0.00/0.01	c set explicit symmetry matrix usage to 1
0.00/0.01	c sym budget explicit to 100
0.00/0.01	c sym budget explicit lits to 6000
0.00/0.01	c sym budget compact to 100
0.00/0.01	c sym budget compact lits to 6000
0.00/0.01	c sym budget common to 0
0.00/0.01	c sym budget common lits to 0
0.00/0.01	c set sym generation to 's'
0.00/0.01	c set abstraction set creation to 10 iterations without LB change
0.00/0.01	c set abstraction set inputs to 0
0.00/0.01	c set abstraction set cluster min size to 2
0.00/0.01	c set abstraction set cluster max size to 100000000
0.00/0.01	c set abstraction set cluster activation limit to 2
0.00/0.01	c enable abstraction set require equal cost
0.00/0.01	c set abstraction set assumptions to 0
0.00/0.01	c set abstraction set constraint type to 0
0.00/0.01	c set abstract core extraction strategy to b
0.00/0.01	c set core extraction strategy to 2
0.00/0.01	c set core extraction shuffles 10
0.00/0.01	c set cores per iteration to 5
0.00/0.01	c set optimizer bound usage strategy to 2
0.00/0.01	c set optimizer max non-optimal iterations to 1000
0.00/0.01	c set small core cardinality limit to 2
0.00/0.01	c set max coef in cores to 1000000000
0.00/0.01	c set core processing techniques to 4095
0.00/0.01	c set SIS iterations to 5
0.00/0.01	c set SIS budget abs to 1000
0.00/0.01	c set SIS budget rel to 0.05
0.67/0.79	c limit for coefficient in constraints and objective to 1000000000
0.67/0.79	c will solve HOME/instance-4498737-1751402582.opb
0.67/0.79	Searching graph automorphisms with time limit: 100
9.47/9.54	c [9.02] 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 (44893 MiB free)
  memory of node 1: 64465 MiB (61440 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100093 s]*
/proc/loadavg: 4.09 4.11 4.09 5/254 59947
/proc/meminfo: memFree=108859724/131382112 swapFree=33010684/33010684
[pid=59946] ppid=59943 vsize=79476 memory=14960 CPUtime=0.09 cores=4,6
/proc/59946/stat : 59946 (ipbhs_gurobi) R 59943 59946 59413 0 -1 4194304 2845 0 0 0 8 1 0 0 20 0 1 0 55937591 81383424 3740 18446744073709551615 93860674371584 93860676996637 140735274903104 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 93860677615512 93860677648474 93860684820480 140735274908043 140735274908167 140735274908167 140735274913769 0
/proc/59946/statm: 19869 3740 1600 641 0 4626 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 79476 KiB
Current children cumulated memory: 14960 KiB

[startup+0.211339 s]*
/proc/loadavg: 4.09 4.11 4.09 5/254 59947
/proc/meminfo: memFree=108813356/131382112 swapFree=33010684/33010684
[pid=59946] ppid=59943 vsize=93992 memory=31832 CPUtime=0.2 cores=4,6
/proc/59946/stat : 59946 (ipbhs_gurobi) R 59943 59946 59413 0 -1 4194304 6443 0 0 0 18 2 0 0 20 0 1 0 55937591 96247808 7958 18446744073709551615 93860674371584 93860676996637 140735274903104 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 93860677615512 93860677648474 93860684820480 140735274908043 140735274908167 140735274908167 140735274913769 0
/proc/59946/statm: 23498 7958 1696 641 0 8255 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 93992 KiB
Current children cumulated memory: 31832 KiB

[startup+0.311413 s]*
/proc/loadavg: 4.09 4.11 4.09 5/254 59947
/proc/meminfo: memFree=108781100/131382112 swapFree=33010684/33010684
[pid=59946] ppid=59943 vsize=104320 memory=43264 CPUtime=0.31 cores=4,6
/proc/59946/stat : 59946 (ipbhs_gurobi) R 59943 59946 59413 0 -1 4194304 9042 0 0 0 27 4 0 0 20 0 1 0 55937591 106823680 10816 18446744073709551615 93860674371584 93860676996637 140735274903104 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 93860677615512 93860677648474 93860684820480 140735274908043 140735274908167 140735274908167 140735274913769 0
/proc/59946/statm: 26080 10816 1696 641 0 10837 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 104320 KiB
Current children cumulated memory: 43264 KiB

[startup+0.700327 s]
/proc/loadavg: 4.09 4.11 4.09 5/255 59948
/proc/meminfo: memFree=108708788/131382112 swapFree=33010684/33010684
[pid=59946] ppid=59943 vsize=167564 memory=91616 CPUtime=0.67 cores=4,6
/proc/59946/stat : 59946 (ipbhs_gurobi) R 59943 59946 59413 0 -1 4194304 20351 0 0 0 59 8 0 0 20 0 2 0 55937591 171585536 22904 18446744073709551615 93860674371584 93860676996637 140735274903104 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93860677615512 93860677648474 93860684820480 140735274908043 140735274908167 140735274908167 140735274913769 0
/proc/59946/statm: 41891 22904 2304 641 0 24374 0
[pid=59946/tid=59948] ppid=59943 vsize=167564 memory=11264 CPUtime=0 cores=4,6
/proc/59946/task/59948/stat : 59948 (ipbhs_gurobi) S 59943 59946 59413 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 2 0 55937635 171585536 22904 18446744073709551615 93860674371584 93860676996637 140735274903104 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93860677615512 93860677648474 93860684820480 140735274908043 140735274908167 140735274908167 140735274913769 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 167564 KiB
Current children cumulated memory: 91616 KiB

[startup+1.50031 s]
/proc/loadavg: 4.09 4.11 4.09 5/255 59948
/proc/meminfo: memFree=108548240/131382112 swapFree=33010684/33010684
[pid=59946] ppid=59943 vsize=172452 memory=96672 CPUtime=1.48 cores=4,6
/proc/59946/stat : 59946 (ipbhs_gurobi) R 59943 59946 59413 0 -1 4194304 22539 0 0 0 138 10 0 0 20 0 2 0 55937591 176590848 24168 18446744073709551615 93860674371584 93860676996637 140735274903104 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93860677615512 93860677648474 93860684820480 140735274908043 140735274908167 140735274908167 140735274913769 0
/proc/59946/statm: 43113 24168 2336 641 0 25596 0
[pid=59946/tid=59948] ppid=59943 vsize=172452 memory=11264 CPUtime=0 cores=4,6
/proc/59946/task/59948/stat : 59948 (ipbhs_gurobi) S 59943 59946 59413 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 2 0 55937635 176590848 24168 18446744073709551615 93860674371584 93860676996637 140735274903104 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93860677615512 93860677648474 93860684820480 140735274908043 140735274908167 140735274908167 140735274913769 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 172452 KiB
Current children cumulated memory: 96672 KiB

[startup+3.11281 s]
/proc/loadavg: 4.24 4.14 4.10 5/255 59948
/proc/meminfo: memFree=108114288/131382112 swapFree=33010684/33010684
[pid=59946] ppid=59943 vsize=194560 memory=117492 CPUtime=3.09 cores=4,6
/proc/59946/stat : 59946 (ipbhs_gurobi) R 59943 59946 59413 0 -1 4194304 35843 0 0 0 298 11 0 0 20 0 2 0 55937591 199229440 29373 18446744073709551615 93860674371584 93860676996637 140735274903104 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93860677615512 93860677648474 93860684820480 140735274908043 140735274908167 140735274908167 140735274913769 0
/proc/59946/statm: 48640 29373 2336 641 0 31123 0
[pid=59946/tid=59948] ppid=59943 vsize=194560 memory=0 CPUtime=0 cores=4,6
/proc/59946/task/59948/stat : 59948 (ipbhs_gurobi) S 59943 59946 59413 0 -1 4194368 3 0 0 0 0 0 0 0 20 0 2 0 55937635 199229440 29373 18446744073709551615 93860674371584 93860676996637 140735274903104 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93860677615512 93860677648474 93860684820480 140735274908043 140735274908167 140735274908167 140735274913769 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 194560 KiB
Current children cumulated memory: 117492 KiB

[startup+6.30032 s]
/proc/loadavg: 4.24 4.14 4.10 5/255 59948
/proc/meminfo: memFree=107752880/131382112 swapFree=33010684/33010684
[pid=59946] ppid=59943 vsize=202016 memory=124788 CPUtime=6.27 cores=4,6
/proc/59946/stat : 59946 (ipbhs_gurobi) R 59943 59946 59413 0 -1 4194304 43240 0 0 0 615 12 0 0 20 0 2 0 55937591 206864384 31197 18446744073709551615 93860674371584 93860676996637 140735274903104 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93860677615512 93860677648474 93860684820480 140735274908043 140735274908167 140735274908167 140735274913769 0
/proc/59946/statm: 50504 31197 2336 641 0 32987 0
[pid=59946/tid=59948] ppid=59943 vsize=202016 memory=0 CPUtime=0 cores=4,6
/proc/59946/task/59948/stat : 59948 (ipbhs_gurobi) S 59943 59946 59413 0 -1 4194368 6 0 0 0 0 0 0 0 20 0 2 0 55937635 206864384 31197 18446744073709551615 93860674371584 93860676996637 140735274903104 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93860677615512 93860677648474 93860684820480 140735274908043 140735274908167 140735274908167 140735274913769 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 202016 KiB
Current children cumulated memory: 124788 KiB

[startup+12.7003 s]
/proc/loadavg: 4.28 4.15 4.10 5/256 59950
/proc/meminfo: memFree=107690596/131382112 swapFree=33010684/33010684
[pid=59946] ppid=59943 vsize=205100 memory=132396 CPUtime=12.66 cores=4,6
/proc/59946/stat : 59946 (ipbhs_gurobi) R 59943 59946 59413 0 -1 4194304 65724 0 0 0 1229 37 0 0 20 0 2 0 55937591 210022400 33099 18446744073709551615 93860674371584 93860676996637 140735274903104 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93860677615512 93860677648474 93860684820480 140735274908043 140735274908167 140735274908167 140735274913769 0
/proc/59946/statm: 51275 33099 3264 641 0 33758 0
[pid=59946/tid=59948] ppid=59943 vsize=205100 memory=132396 CPUtime=0.01 cores=4,6
/proc/59946/task/59948/stat : 59948 (ipbhs_gurobi) S 59943 59946 59413 0 -1 4194368 11 0 0 0 0 1 0 0 20 0 2 0 55937635 210022400 33099 18446744073709551615 93860674371584 93860676996637 140735274903104 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93860677615512 93860677648474 93860684820480 140735274908043 140735274908167 140735274908167 140735274913769 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 205100 KiB
Current children cumulated memory: 132396 KiB

[startup+25.5003 s]
/proc/loadavg: 4.23 4.15 4.10 5/256 59950
/proc/meminfo: memFree=106693852/131382112 swapFree=33010684/33010684
[pid=59946] ppid=59943 vsize=205100 memory=132396 CPUtime=25.45 cores=4,6
/proc/59946/stat : 59946 (ipbhs_gurobi) R 59943 59946 59413 0 -1 4194304 70233 0 0 0 2437 108 0 0 20 0 2 0 55937591 210022400 33099 18446744073709551615 93860674371584 93860676996637 140735274903104 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93860677615512 93860677648474 93860684820480 140735274908043 140735274908167 140735274908167 140735274913769 0
/proc/59946/statm: 51275 33099 3264 641 0 33758 0
[pid=59946/tid=59948] ppid=59943 vsize=205100 memory=132396 CPUtime=0.03 cores=4,6
/proc/59946/task/59948/stat : 59948 (ipbhs_gurobi) S 59943 59946 59413 0 -1 4194368 13 0 0 0 1 2 0 0 20 0 2 0 55937635 210022400 33099 18446744073709551615 93860674371584 93860676996637 140735274903104 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93860677615512 93860677648474 93860684820480 140735274908043 140735274908167 140735274908167 140735274913769 0
Current children cumulated CPU time: 25.45 s
Current children cumulated vsize: 205100 KiB
Current children cumulated memory: 132396 KiB

[startup+51.1131 s]
/proc/loadavg: 4.15 4.13 4.10 5/256 59950
/proc/meminfo: memFree=106923964/131382112 swapFree=33010684/33010684
[pid=59946] ppid=59943 vsize=205100 memory=132396 CPUtime=51.03 cores=4,6
/proc/59946/stat : 59946 (ipbhs_gurobi) R 59943 59946 59413 0 -1 4194304 77255 0 0 0 4904 199 0 0 20 0 2 0 55937591 210022400 33099 18446744073709551615 93860674371584 93860676996637 140735274903104 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93860677615512 93860677648474 93860684820480 140735274908043 140735274908167 140735274908167 140735274913769 0
/proc/59946/statm: 51275 33099 3264 641 0 33758 0
[pid=59946/tid=59948] ppid=59943 vsize=205100 memory=3456 CPUtime=0.07 cores=4,6
/proc/59946/task/59948/stat : 59948 (ipbhs_gurobi) S 59943 59946 59413 0 -1 4194368 17 0 0 0 2 5 0 0 20 0 2 0 55937635 210022400 33099 18446744073709551615 93860674371584 93860676996637 140735274903104 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93860677615512 93860677648474 93860684820480 140735274908043 140735274908167 140735274908167 140735274913769 0
Current children cumulated CPU time: 51.03 s
Current children cumulated vsize: 205100 KiB
Current children cumulated memory: 132396 KiB

[startup+102.3 s]
/proc/loadavg: 4.17 4.14 4.10 5/256 59952
/proc/meminfo: memFree=107257056/131382112 swapFree=33010684/33010684
[pid=59946] ppid=59943 vsize=205100 memory=132396 CPUtime=102.17 cores=4,6
/proc/59946/stat : 59946 (ipbhs_gurobi) R 59943 59946 59413 0 -1 4194304 84682 0 0 0 9828 389 0 0 20 0 2 0 55937591 210022400 33099 18446744073709551615 93860674371584 93860676996637 140735274903104 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93860677615512 93860677648474 93860684820480 140735274908043 140735274908167 140735274908167 140735274913769 0
/proc/59946/statm: 51275 33099 3264 641 0 33758 0
[pid=59946/tid=59948] ppid=59943 vsize=205100 memory=132396 CPUtime=0.14 cores=4,6
/proc/59946/task/59948/stat : 59948 (ipbhs_gurobi) S 59943 59946 59413 0 -1 4194368 21 0 0 0 4 10 0 0 20 0 2 0 55937635 210022400 33099 18446744073709551615 93860674371584 93860676996637 140735274903104 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93860677615512 93860677648474 93860684820480 140735274908043 140735274908167 140735274908167 140735274913769 0
Current children cumulated CPU time: 102.17 s
Current children cumulated vsize: 205100 KiB
Current children cumulated memory: 132396 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/257 59959
/proc/meminfo: memFree=107497960/131382112 swapFree=33010684/33010684
[pid=59946] ppid=59943 vsize=205100 memory=134472 CPUtime=162.1 cores=4,6
/proc/59946/stat : 59946 (ipbhs_gurobi) R 59943 59946 59413 0 -1 4194304 85417 0 0 0 15641 569 0 0 20 0 2 0 55937591 210022400 33618 18446744073709551615 93860674371584 93860676996637 140735274903104 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93860677615512 93860677648474 93860684820480 140735274908043 140735274908167 140735274908167 140735274913769 0
/proc/59946/statm: 51275 33618 3264 641 0 33758 0
[pid=59946/tid=59948] ppid=59943 vsize=205100 memory=134472 CPUtime=0.21 cores=4,6
/proc/59946/task/59948/stat : 59948 (ipbhs_gurobi) S 59943 59946 59413 0 -1 4194368 21 0 0 0 5 16 0 0 20 0 2 0 55937635 210022400 33618 18446744073709551615 93860674371584 93860676996637 140735274903104 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93860677615512 93860677648474 93860684820480 140735274908043 140735274908167 140735274908167 140735274913769 0
Current children cumulated CPU time: 162.1 s
Current children cumulated vsize: 205100 KiB
Current children cumulated memory: 134472 KiB

[startup+222.3 s]
/proc/loadavg: 4.17 4.13 4.10 5/255 59961
/proc/meminfo: memFree=107364236/131382112 swapFree=33010684/33010684
[pid=59946] ppid=59943 vsize=205100 memory=134472 CPUtime=222.03 cores=4,6
/proc/59946/stat : 59946 (ipbhs_gurobi) R 59943 59946 59413 0 -1 4194304 90100 0 0 0 21488 715 0 0 20 0 2 0 55937591 210022400 33618 18446744073709551615 93860674371584 93860676996637 140735274903104 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93860677615512 93860677648474 93860684820480 140735274908043 140735274908167 140735274908167 140735274913769 0
/proc/59946/statm: 51275 33618 3264 641 0 33758 0
[pid=59946/tid=59948] ppid=59943 vsize=205100 memory=134472 CPUtime=0.28 cores=4,6
/proc/59946/task/59948/stat : 59948 (ipbhs_gurobi) S 59943 59946 59413 0 -1 4194368 24 0 0 0 7 21 0 0 20 0 2 0 55937635 210022400 33618 18446744073709551615 93860674371584 93860676996637 140735274903104 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93860677615512 93860677648474 93860684820480 140735274908043 140735274908167 140735274908167 140735274913769 0
Current children cumulated CPU time: 222.03 s
Current children cumulated vsize: 205100 KiB
Current children cumulated memory: 134472 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/255 59963
/proc/meminfo: memFree=107425300/131382112 swapFree=33010684/33010684
[pid=59946] ppid=59943 vsize=205100 memory=134472 CPUtime=281.96 cores=4,6
/proc/59946/stat : 59946 (ipbhs_gurobi) R 59943 59946 59413 0 -1 4194304 90629 0 0 0 27366 830 0 0 20 0 2 0 55937591 210022400 33618 18446744073709551615 93860674371584 93860676996637 140735274903104 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93860677615512 93860677648474 93860684820480 140735274908043 140735274908167 140735274908167 140735274913769 0
/proc/59946/statm: 51275 33618 3264 641 0 33758 0
[pid=59946/tid=59948] ppid=59943 vsize=205100 memory=134472 CPUtime=0.35 cores=4,6
/proc/59946/task/59948/stat : 59948 (ipbhs_gurobi) S 59943 59946 59413 0 -1 4194368 25 0 0 0 10 25 0 0 20 0 2 0 55937635 210022400 33618 18446744073709551615 93860674371584 93860676996637 140735274903104 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93860677615512 93860677648474 93860684820480 140735274908043 140735274908167 140735274908167 140735274913769 0
Current children cumulated CPU time: 281.96 s
Current children cumulated vsize: 205100 KiB
Current children cumulated memory: 134472 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/254 59965
/proc/meminfo: memFree=107425332/131382112 swapFree=33010684/33010684
[pid=59946] ppid=59943 vsize=205100 memory=134472 CPUtime=341.88 cores=4,6
/proc/59946/stat : 59946 (ipbhs_gurobi) R 59943 59946 59413 0 -1 4194304 91187 0 0 0 33268 920 0 0 20 0 2 0 55937591 210022400 33618 18446744073709551615 93860674371584 93860676996637 140735274903104 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93860677615512 93860677648474 93860684820480 140735274908043 140735274908167 140735274908167 140735274913769 0

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

/proc/meminfo: memFree=107389216/131382112 swapFree=33010684/33010684
[pid=59946] ppid=59943 vsize=217740 memory=147276 CPUtime=2977.7 cores=4,6
/proc/59946/stat : 59946 (ipbhs_gurobi) R 59943 59946 59413 0 -1 4194304 135644 0 0 0 294465 3305 0 0 20 0 2 0 55937591 222965760 36819 18446744073709551615 93860674371584 93860676996637 140735274903104 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93860677615512 93860677648474 93860684820480 140735274908043 140735274908167 140735274908167 140735274913769 0
/proc/59946/statm: 54435 36819 3264 641 0 36918 0
[pid=59946/tid=59948] ppid=59943 vsize=217740 memory=14720 CPUtime=4.63 cores=4,6
/proc/59946/task/59948/stat : 59948 (ipbhs_gurobi) S 59943 59946 59413 0 -1 4194368 39 0 0 0 125 338 0 0 20 0 2 0 55937635 222965760 36819 18446744073709551615 93860674371584 93860676996637 140735274903104 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93860677615512 93860677648474 93860684820480 140735274908043 140735274908167 140735274908167 140735274913769 0
Current children cumulated CPU time: 2977.7 s
Current children cumulated vsize: 217740 KiB
Current children cumulated memory: 147276 KiB

[startup+3042.3 s]
/proc/loadavg: 4.35 4.31 4.20 5/255 60119
/proc/meminfo: memFree=107399064/131382112 swapFree=33010684/33010684
[pid=59946] ppid=59943 vsize=218020 memory=147660 CPUtime=3037.61 cores=4,6
/proc/59946/stat : 59946 (ipbhs_gurobi) R 59943 59946 59413 0 -1 4194304 135740 0 0 0 300433 3328 0 0 20 0 2 0 55937591 223252480 36915 18446744073709551615 93860674371584 93860676996637 140735274903104 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93860677615512 93860677648474 93860684820480 140735274908043 140735274908167 140735274908167 140735274913769 0
/proc/59946/statm: 54505 36915 3264 641 0 36988 0
[pid=59946/tid=59948] ppid=59943 vsize=218020 memory=147660 CPUtime=4.74 cores=4,6
/proc/59946/task/59948/stat : 59948 (ipbhs_gurobi) S 59943 59946 59413 0 -1 4194368 39 0 0 0 128 346 0 0 20 0 2 0 55937635 223252480 36915 18446744073709551615 93860674371584 93860676996637 140735274903104 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93860677615512 93860677648474 93860684820480 140735274908043 140735274908167 140735274908167 140735274913769 0
Current children cumulated CPU time: 3037.61 s
Current children cumulated vsize: 218020 KiB
Current children cumulated memory: 147660 KiB

[startup+3102.3 s]
/proc/loadavg: 4.17 4.26 4.18 5/255 60121
/proc/meminfo: memFree=107398564/131382112 swapFree=33010684/33010684
[pid=59946] ppid=59943 vsize=225200 memory=147916 CPUtime=3097.53 cores=4,6
/proc/59946/stat : 59946 (ipbhs_gurobi) R 59943 59946 59413 0 -1 4194304 135852 0 0 0 306371 3382 0 0 20 0 2 0 55937591 230604800 36979 18446744073709551615 93860674371584 93860676996637 140735274903104 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93860677615512 93860677648474 93860684820480 140735274908043 140735274908167 140735274908167 140735274913769 0
/proc/59946/statm: 56300 36979 3264 641 0 38783 0
[pid=59946/tid=59948] ppid=59943 vsize=225200 memory=147916 CPUtime=4.85 cores=4,6
/proc/59946/task/59948/stat : 59948 (ipbhs_gurobi) S 59943 59946 59413 0 -1 4194368 40 0 0 0 131 354 0 0 20 0 2 0 55937635 230604800 36979 18446744073709551615 93860674371584 93860676996637 140735274903104 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93860677615512 93860677648474 93860684820480 140735274908043 140735274908167 140735274908167 140735274913769 0
Current children cumulated CPU time: 3097.53 s
Current children cumulated vsize: 225200 KiB
Current children cumulated memory: 147916 KiB

[startup+3162.3 s]
/proc/loadavg: 4.16 4.24 4.18 5/254 60128
/proc/meminfo: memFree=107400076/131382112 swapFree=33010684/33010684
[pid=59946] ppid=59943 vsize=225200 memory=147916 CPUtime=3157.43 cores=4,6
/proc/59946/stat : 59946 (ipbhs_gurobi) R 59943 59946 59413 0 -1 4194304 135854 0 0 0 312336 3407 0 0 20 0 2 0 55937591 230604800 36979 18446744073709551615 93860674371584 93860676996637 140735274903104 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93860677615512 93860677648474 93860684820480 140735274908043 140735274908167 140735274908167 140735274913769 0
/proc/59946/statm: 56300 36979 3264 641 0 38783 0
[pid=59946/tid=59948] ppid=59943 vsize=225200 memory=147916 CPUtime=4.96 cores=4,6
/proc/59946/task/59948/stat : 59948 (ipbhs_gurobi) S 59943 59946 59413 0 -1 4194368 40 0 0 0 134 362 0 0 20 0 2 0 55937635 230604800 36979 18446744073709551615 93860674371584 93860676996637 140735274903104 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93860677615512 93860677648474 93860684820480 140735274908043 140735274908167 140735274908167 140735274913769 0
Current children cumulated CPU time: 3157.43 s
Current children cumulated vsize: 225200 KiB
Current children cumulated memory: 147916 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.21 4.17 5/255 60131
/proc/meminfo: memFree=107399940/131382112 swapFree=33010684/33010684
[pid=59946] ppid=59943 vsize=225628 memory=148428 CPUtime=3217.35 cores=4,6
/proc/59946/stat : 59946 (ipbhs_gurobi) R 59943 59946 59413 0 -1 4194304 136012 0 0 0 318275 3460 0 0 20 0 2 0 55937591 231043072 37107 18446744073709551615 93860674371584 93860676996637 140735274903104 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93860677615512 93860677648474 93860684820480 140735274908043 140735274908167 140735274908167 140735274913769 0
/proc/59946/statm: 56407 37107 3264 641 0 38890 0
[pid=59946/tid=59948] ppid=59943 vsize=225628 memory=147916 CPUtime=5.07 cores=4,6
/proc/59946/task/59948/stat : 59948 (ipbhs_gurobi) S 59943 59946 59413 0 -1 4194368 40 0 0 0 137 370 0 0 20 0 2 0 55937635 231043072 37107 18446744073709551615 93860674371584 93860676996637 140735274903104 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93860677615512 93860677648474 93860684820480 140735274908043 140735274908167 140735274908167 140735274913769 0
Current children cumulated CPU time: 3217.35 s
Current children cumulated vsize: 225628 KiB
Current children cumulated memory: 148428 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.19 4.17 5/255 60133
/proc/meminfo: memFree=107397932/131382112 swapFree=33010684/33010684
[pid=59946] ppid=59943 vsize=225988 memory=148812 CPUtime=3277.27 cores=4,6
/proc/59946/stat : 59946 (ipbhs_gurobi) R 59943 59946 59413 0 -1 4194304 136141 0 0 0 324240 3487 0 0 20 0 2 0 55937591 231411712 37203 18446744073709551615 93860674371584 93860676996637 140735274903104 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93860677615512 93860677648474 93860684820480 140735274908043 140735274908167 140735274908167 140735274913769 0
/proc/59946/statm: 56497 37203 3264 641 0 38980 0
[pid=59946/tid=59948] ppid=59943 vsize=225988 memory=148812 CPUtime=5.18 cores=4,6
/proc/59946/task/59948/stat : 59948 (ipbhs_gurobi) S 59943 59946 59413 0 -1 4194368 40 0 0 0 141 377 0 0 20 0 2 0 55937635 231411712 37203 18446744073709551615 93860674371584 93860676996637 140735274903104 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93860677615512 93860677648474 93860684820480 140735274908043 140735274908167 140735274908167 140735274913769 0
Current children cumulated CPU time: 3277.27 s
Current children cumulated vsize: 225988 KiB
Current children cumulated memory: 148812 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.18 4.17 5/255 60135
/proc/meminfo: memFree=107397940/131382112 swapFree=33010684/33010684
[pid=59946] ppid=59943 vsize=226180 memory=149196 CPUtime=3337.19 cores=4,6
/proc/59946/stat : 59946 (ipbhs_gurobi) R 59943 59946 59413 0 -1 4194304 136259 0 0 0 330209 3510 0 0 20 0 2 0 55937591 231608320 37299 18446744073709551615 93860674371584 93860676996637 140735274903104 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93860677615512 93860677648474 93860684820480 140735274908043 140735274908167 140735274908167 140735274913769 0
/proc/59946/statm: 56545 37299 3264 641 0 39028 0
[pid=59946/tid=59948] ppid=59943 vsize=226180 memory=14720 CPUtime=5.29 cores=4,6
/proc/59946/task/59948/stat : 59948 (ipbhs_gurobi) S 59943 59946 59413 0 -1 4194368 40 0 0 0 144 385 0 0 20 0 2 0 55937635 231608320 37299 18446744073709551615 93860674371584 93860676996637 140735274903104 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93860677615512 93860677648474 93860684820480 140735274908043 140735274908167 140735274908167 140735274913769 0
Current children cumulated CPU time: 3337.19 s
Current children cumulated vsize: 226180 KiB
Current children cumulated memory: 149196 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.16 4.16 5/255 60137
/proc/meminfo: memFree=107393680/131382112 swapFree=33010684/33010684
[pid=59946] ppid=59943 vsize=227012 memory=150348 CPUtime=3397.1 cores=4,6
/proc/59946/stat : 59946 (ipbhs_gurobi) R 59943 59946 59413 0 -1 4194304 136579 0 0 0 336149 3561 0 0 20 0 2 0 55937591 232460288 37587 18446744073709551615 93860674371584 93860676996637 140735274903104 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93860677615512 93860677648474 93860684820480 140735274908043 140735274908167 140735274908167 140735274913769 0
/proc/59946/statm: 56753 37587 3264 641 0 39236 0
[pid=59946/tid=59948] ppid=59943 vsize=227012 memory=149836 CPUtime=5.39 cores=4,6
/proc/59946/task/59948/stat : 59948 (ipbhs_gurobi) S 59943 59946 59413 0 -1 4194368 40 0 0 0 147 392 0 0 20 0 2 0 55937635 232460288 37587 18446744073709551615 93860674371584 93860676996637 140735274903104 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93860677615512 93860677648474 93860684820480 140735274908043 140735274908167 140735274908167 140735274913769 0
Current children cumulated CPU time: 3397.1 s
Current children cumulated vsize: 227012 KiB
Current children cumulated memory: 150348 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.16 4.16 5/254 60139
/proc/meminfo: memFree=107391036/131382112 swapFree=33010684/33010684
[pid=59946] ppid=59943 vsize=227012 memory=150348 CPUtime=3457.01 cores=4,6
/proc/59946/stat : 59946 (ipbhs_gurobi) R 59943 59946 59413 0 -1 4194304 136591 0 0 0 342116 3585 0 0 20 0 2 0 55937591 232460288 37587 18446744073709551615 93860674371584 93860676996637 140735274903104 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93860677615512 93860677648474 93860684820480 140735274908043 140735274908167 140735274908167 140735274913769 0
/proc/59946/statm: 56753 37587 3264 641 0 39236 0
[pid=59946/tid=59948] ppid=59943 vsize=227012 memory=149836 CPUtime=5.5 cores=4,6
/proc/59946/task/59948/stat : 59948 (ipbhs_gurobi) S 59943 59946 59413 0 -1 4194368 40 0 0 0 151 399 0 0 20 0 2 0 55937635 232460288 37587 18446744073709551615 93860674371584 93860676996637 140735274903104 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93860677615512 93860677648474 93860684820480 140735274908043 140735274908167 140735274908167 140735274913769 0
Current children cumulated CPU time: 3457.01 s
Current children cumulated vsize: 227012 KiB
Current children cumulated memory: 150348 KiB

[startup+3522.3 s]
/proc/loadavg: 4.17 4.17 4.17 5/246 60268
/proc/meminfo: memFree=127831928/131382112 swapFree=33010684/33010684
[pid=59946] ppid=59943 vsize=227012 memory=153024 CPUtime=3516.93 cores=4,6
/proc/59946/stat : 59946 (ipbhs_gurobi) R 59943 59946 59413 0 -1 4194304 143308 0 0 0 348055 3638 0 0 20 0 2 0 55937591 232460288 38256 18446744073709551615 93860674371584 93860676996637 140735274903104 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93860677615512 93860677648474 93860684820480 140735274908043 140735274908167 140735274908167 140735274913769 0
/proc/59946/statm: 56753 38256 3264 641 0 39236 0
[pid=59946/tid=59948] ppid=59943 vsize=227012 memory=150348 CPUtime=5.61 cores=4,6
/proc/59946/task/59948/stat : 59948 (ipbhs_gurobi) S 59943 59946 59413 0 -1 4194368 42 0 0 0 154 407 0 0 20 0 2 0 55937635 232460288 38256 18446744073709551615 93860674371584 93860676996637 140735274903104 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93860677615512 93860677648474 93860684820480 140735274908043 140735274908167 140735274908167 140735274913769 0
Current children cumulated CPU time: 3516.93 s
Current children cumulated vsize: 227012 KiB
Current children cumulated memory: 153024 KiB

[startup+3582.3 s]
/proc/loadavg: 4.18 4.17 4.17 5/254 60284
/proc/meminfo: memFree=121056908/131382112 swapFree=33010684/33010684
[pid=59946] ppid=59943 vsize=227012 memory=155840 CPUtime=3576.83 cores=4,6
/proc/59946/stat : 59946 (ipbhs_gurobi) R 59943 59946 59413 0 -1 4194304 143416 0 0 0 354020 3663 0 0 20 0 2 0 55937591 232460288 38960 18446744073709551615 93860674371584 93860676996637 140735274903104 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93860677615512 93860677648474 93860684820480 140735274908043 140735274908167 140735274908167 140735274913769 0
/proc/59946/statm: 56753 38960 3264 641 0 39236 0
[pid=59946/tid=59948] ppid=59943 vsize=227012 memory=155840 CPUtime=5.69 cores=4,6
/proc/59946/task/59948/stat : 59948 (ipbhs_gurobi) S 59943 59946 59413 0 -1 4194368 42 0 0 0 156 413 0 0 20 0 2 0 55937635 232460288 38960 18446744073709551615 93860674371584 93860676996637 140735274903104 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93860677615512 93860677648474 93860684820480 140735274908043 140735274908167 140735274908167 140735274913769 0
Current children cumulated CPU time: 3576.83 s
Current children cumulated vsize: 227012 KiB
Current children cumulated memory: 155840 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3605.6 s]
/proc/loadavg: 4.13 4.16 4.16 5/254 60284
/proc/meminfo: memFree=121055172/131382112 swapFree=33010684/33010684
[pid=59946] ppid=59943 vsize=227012 memory=155840 CPUtime=3600.08 cores=4,6
/proc/59946/stat : 59946 (ipbhs_gurobi) R 59943 59946 59413 0 -1 4194304 147410 0 0 0 356307 3701 0 0 20 0 2 0 55937591 232460288 38960 18446744073709551615 93860674371584 93860676996637 140735274903104 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 93860677615512 93860677648474 93860684820480 140735274908043 140735274908167 140735274908167 140735274913769 0
/proc/59946/statm: 56753 38960 3264 641 0 39236 0
[pid=59946/tid=59948] ppid=59943 vsize=227012 memory=18816 CPUtime=5.73 cores=4,6
/proc/59946/task/59948/stat : 59948 (ipbhs_gurobi) S 59943 59946 59413 0 -1 4194368 43 0 0 0 157 416 0 0 20 0 2 0 55937635 232460288 38960 18446744073709551615 93860674371584 93860676996637 140735274903104 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 93860677615512 93860677648474 93860684820480 140735274908043 140735274908167 140735274908167 140735274913769 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 227012 KiB
Current children cumulated memory: 155840 KiB

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

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

# cumulated CPU time of all completed processes:  user=3563.08 s, system=37.0161 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): 3605.61
CPU time (s): 3600.1
CPU user time (s): 3563.08
CPU system time (s): 37.0161
CPU usage (%): 99.8472
Max. virtual memory (cumulated for all children) (KiB): 227012
Max. memory (cumulated for all children) (KiB): 155840

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3563.08
system time used= 37.0161
maximum resident set size= 155840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 147410
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 356937
involuntary context switches= 18935


# summary of solver processes directly reported to runsolver:
#   pid: 59946
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3563.08
#   total CPU system time (s): 37.0161

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.7977 second user time and 33.4411 second system time

The end

Launcher Data 

Begin job on nodeC005 at 2025-07-01 22:43:02
IDJOB=4498737
IDBENCH=148728
IDSOLVER=3334
FILE ID=nodeC005/4498737-1751402582
RUNJOBID= nodeC005-1751398882-59424
SLURM_JOB_ID= 9598284
Free space on /tmp= 429960 MiB

SOLVER NAME= IPBHS-GUROBI-SYM 2025-06-09
BENCH NAME= PB24/normalized-PB09/OPT-LIN/aries-da_nrp/normalized-aries-da_network_1000_5__369_766__8.opb
COMMAND LINE= ./ipbhs_gurobi --sym-cores-compact BENCHNAME --max-coef 1000000000
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4498737-1751402582/watcher-4498737-1751402582 -o /tmp/evaluation-result-4498737-1751402582/solver-4498737-1751402582 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751398882-59424 --watchdog 3760  ./ipbhs_gurobi --sym-cores-compact HOME/instance-4498737-1751402582.opb --max-coef 1000000000

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

MD5SUM BENCH= d50eed7fc92c8c8c776f016813e402ac
RANDOM SEED=1156603696

nodeC005 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		: 3638.026
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.90
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		: 3661.824
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.90
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.255
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.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.427
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.90
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		: 3700.000
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt 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.90
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		: 3661.755
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.90
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.249
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.90
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.940
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.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        108918132 kB
MemAvailable:   110450992 kB
Buffers:            2752 kB
Cached:          2331424 kB
SwapCached:            0 kB
Active:         19323284 kB
Inactive:        1981856 kB
Active(anon):   18980764 kB
Inactive(anon):     8164 kB
Active(file):     342520 kB
Inactive(file):  1973692 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             60912 kB
Writeback:             0 kB
AnonPages:      18974108 kB
Mapped:           117168 kB
Shmem:             17960 kB
KReclaimable:     112548 kB
Slab:             197392 kB
SReclaimable:     112548 kB
SUnreclaim:        84844 kB
KernelStack:        4096 kB
PageTables:        40780 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:   21907396 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149416 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   8558592 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:      201544 kB
DirectMap2M:     8089600 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 430252 MiB
End job on nodeC005 at 2025-07-01 23:43:08