Trace number 4485166

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.11 3603.14

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-neos11.opb
MD5SUMd56dac1e1561d870cabdc9c053ba8250
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 benchmark9216
Best CPU time to get the best result obtained on this benchmark2.3967
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables8600
Total number of constraints2806
Number of constraints which are clauses600
Number of constraints which are cardinality constraints (but not clauses)120
Number of constraints which are nor clauses,nor cardinality constraints2086
Minimum length of a constraint2
Maximum length of a constraint450
Number of terms in the objective function 5400
Biggest coefficient in the objective function 536870912
Number of bits for the biggest coefficient in the objective function 30
Sum of the numbers in the objective function 193273528140
Number of bits of the sum of numbers in the objective function 38
Biggest number in a constraint 536870912
Number of bits of the biggest number in a constraint 30
Biggest sum of numbers in a constraint 193273528140
Number of bits of the biggest sum of numbers38
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.02	c initialize IPBHS solver
0.00/0.02	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.02	c optimizer = "gurobi"
0.00/0.02	c pbsolver = "roundingsat"
0.00/0.02	c use separate pbsolver for SIS
0.00/0.02	c load symmetries from file ""
0.00/0.02	c set time limit for symmetry computation to 100 seconds.
0.00/0.02	c set interchangeable summation variable limit to 3
0.00/0.02	c set sym compact max subset size to 5
0.00/0.02	c set explicit symmetry matrix usage to 1
0.00/0.02	c sym budget explicit to 100
0.00/0.02	c sym budget explicit lits to 6000
0.00/0.02	c sym budget compact to 100
0.00/0.02	c sym budget compact lits to 6000
0.00/0.02	c sym budget common to 0
0.00/0.02	c sym budget common lits to 0
0.00/0.02	c set sym generation to 's'
0.00/0.02	c set abstraction set creation to 10 iterations without LB change
0.00/0.02	c set abstraction set inputs to 0
0.00/0.02	c set abstraction set cluster min size to 2
0.00/0.02	c set abstraction set cluster max size to 100000000
0.00/0.02	c set abstraction set cluster activation limit to 2
0.00/0.02	c enable abstraction set require equal cost
0.00/0.02	c set abstraction set assumptions to 0
0.00/0.02	c set abstraction set constraint type to 0
0.00/0.02	c set abstract core extraction strategy to b
0.00/0.02	c set core extraction strategy to 2
0.00/0.02	c set core extraction shuffles 10
0.00/0.02	c set cores per iteration to 5
0.00/0.02	c set optimizer bound usage strategy to 2
0.00/0.02	c set optimizer max non-optimal iterations to 1000
0.00/0.02	c set small core cardinality limit to 2
0.00/0.02	c set max coef in cores to 1000000000
0.00/0.02	c set core processing techniques to 4095
0.00/0.02	c set SIS iterations to 5
0.00/0.02	c set SIS budget abs to 1000
0.00/0.02	c set SIS budget rel to 0.05
0.66/0.76	c limit for coefficient in constraints and objective to 1000000000
0.66/0.76	c will solve HOME/instance-4485166-1751303874.opb
0.66/0.76	c [0.03] 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 (63021 MiB free)
  memory of node 1: 64507 MiB (63726 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4485166-1751303874/watcher-4485166-1751303874 -o /tmp/evaluation-result-4485166-1751303874/solver-4485166-1751303874 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751303874-40370 --watchdog 3760 ./ipbhs_gurobi HOME/instance-4485166-1751303874.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
Current StackSize limit: 8192 KiB

solver pid=40422, runsolver pid=40413

[startup+0.100079 s]*
/proc/loadavg: 3.06 3.86 4.01 6/253 40431
/proc/meminfo: memFree=129450948/131382112 swapFree=33010684/33010684
[pid=40422] ppid=40413 vsize=1385896 memory=188700 CPUtime=0.09 cores=4,6
/proc/40422/stat : 40422 (ipbhs_gurobi) R 40413 40422 40359 0 -1 4194304 798 0 0 0 2 7 0 0 20 0 1 0 46067185 1419157504 47175 18446744073709551615 94202833371136 94202835996189 140727755309216 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94202836615064 94202836648026 94202864455680 140727755311519 140727755311623 140727755311623 140727755317225 0
/proc/40422/statm: 346474 47175 1600 641 0 331231 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 1385896 KiB
Current children cumulated memory: 188700 KiB

[startup+0.21433 s]*
/proc/loadavg: 3.06 3.86 4.01 7/254 40432
/proc/meminfo: memFree=128930368/131382112 swapFree=33010684/33010684
[pid=40422] ppid=40413 vsize=1385896 memory=448796 CPUtime=0.2 cores=4,6
/proc/40422/stat : 40422 (ipbhs_gurobi) R 40413 40422 40359 0 -1 4194304 925 0 0 0 4 16 0 0 20 0 1 0 46067185 1419157504 112199 18446744073709551615 94202833371136 94202835996189 140727755309216 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94202836615064 94202836648026 94202864455680 140727755311519 140727755311623 140727755311623 140727755317225 0
/proc/40422/statm: 346474 112199 1600 641 0 331231 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 1385896 KiB
Current children cumulated memory: 448796 KiB

[startup+0.314112 s]*
/proc/loadavg: 3.06 3.86 4.01 7/254 40432
/proc/meminfo: memFree=128458576/131382112 swapFree=33010684/33010684
[pid=40422] ppid=40413 vsize=1385896 memory=674076 CPUtime=0.3 cores=4,6
/proc/40422/stat : 40422 (ipbhs_gurobi) R 40413 40422 40359 0 -1 4194304 1035 0 0 0 6 24 0 0 20 0 1 0 46067185 1419157504 168519 18446744073709551615 94202833371136 94202835996189 140727755309216 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94202836615064 94202836648026 94202864455680 140727755311519 140727755311623 140727755311623 140727755317225 0
/proc/40422/statm: 346474 168519 1600 641 0 331231 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 1385896 KiB
Current children cumulated memory: 674076 KiB

[startup+0.700336 s]
/proc/loadavg: 3.14 3.86 4.01 6/254 40432
/proc/meminfo: memFree=127482788/131382112 swapFree=33010684/33010684
[pid=40422] ppid=40413 vsize=1390404 memory=1330188 CPUtime=0.66 cores=4,6
/proc/40422/stat : 40422 (ipbhs_gurobi) R 40413 40422 40359 0 -1 4194304 3053 0 0 0 19 47 0 0 20 0 1 0 46067185 1423773696 332547 18446744073709551615 94202833371136 94202835996189 140727755309216 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 94202836615064 94202836648026 94202864455680 140727755311519 140727755311623 140727755311623 140727755317225 0
/proc/40422/statm: 347601 332547 1696 641 0 332358 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 1390404 KiB
Current children cumulated memory: 1330188 KiB

[startup+1.50032 s]
/proc/loadavg: 3.14 3.86 4.01 6/257 40435
/proc/meminfo: memFree=127052180/131382112 swapFree=33010684/33010684
[pid=40422] ppid=40413 vsize=1417372 memory=1348012 CPUtime=1.46 cores=4,6
/proc/40422/stat : 40422 (ipbhs_gurobi) R 40413 40422 40359 0 -1 4194304 6620 0 11 0 76 70 0 0 20 0 2 0 46067185 1451388928 337003 18446744073709551615 94202833371136 94202835996189 140727755309216 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94202836615064 94202836648026 94202864455680 140727755311519 140727755311623 140727755311623 140727755317225 0
/proc/40422/statm: 354343 337003 2912 641 0 336826 0
[pid=40422/tid=40434] ppid=40413 vsize=1417372 memory=0 CPUtime=0 cores=4,6
/proc/40422/task/40434/stat : 40434 (ipbhs_gurobi) S 40413 40422 40359 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 2 0 46067259 1451388928 337003 18446744073709551615 94202833371136 94202835996189 140727755309216 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94202836615064 94202836648026 94202864455680 140727755311519 140727755311623 140727755311623 140727755317225 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 1417372 KiB
Current children cumulated memory: 1348012 KiB

[startup+3.11319 s]
/proc/loadavg: 3.14 3.86 4.01 5/257 40435
/proc/meminfo: memFree=126928516/131382112 swapFree=33010684/33010684
[pid=40422] ppid=40413 vsize=1417372 memory=1348012 CPUtime=3.07 cores=4,6
/proc/40422/stat : 40422 (ipbhs_gurobi) R 40413 40422 40359 0 -1 4194304 7853 0 11 0 188 119 0 0 20 0 2 0 46067185 1451388928 337003 18446744073709551615 94202833371136 94202835996189 140727755309216 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94202836615064 94202836648026 94202864455680 140727755311519 140727755311623 140727755311623 140727755317225 0
/proc/40422/statm: 354343 337003 2912 641 0 336826 0
[pid=40422/tid=40434] ppid=40413 vsize=1417372 memory=1347244 CPUtime=0 cores=4,6
/proc/40422/task/40434/stat : 40434 (ipbhs_gurobi) S 40413 40422 40359 0 -1 4194368 5 0 0 0 0 0 0 0 20 0 2 0 46067259 1451388928 337003 18446744073709551615 94202833371136 94202835996189 140727755309216 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94202836615064 94202836648026 94202864455680 140727755311519 140727755311623 140727755311623 140727755317225 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 1417372 KiB
Current children cumulated memory: 1348012 KiB

[startup+6.30033 s]
/proc/loadavg: 3.21 3.86 4.01 5/257 40435
/proc/meminfo: memFree=126844244/131382112 swapFree=33010684/33010684
[pid=40422] ppid=40413 vsize=1418020 memory=1348652 CPUtime=6.26 cores=4,6
/proc/40422/stat : 40422 (ipbhs_gurobi) R 40413 40422 40359 0 -1 4194304 10895 0 11 0 413 213 0 0 20 0 2 0 46067185 1452052480 337163 18446744073709551615 94202833371136 94202835996189 140727755309216 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94202836615064 94202836648026 94202864455680 140727755311519 140727755311623 140727755311623 140727755317225 0
/proc/40422/statm: 354505 337163 2912 641 0 336988 0
[pid=40422/tid=40434] ppid=40413 vsize=1418020 memory=17664 CPUtime=0 cores=4,6
/proc/40422/task/40434/stat : 40434 (ipbhs_gurobi) S 40413 40422 40359 0 -1 4194368 9 0 0 0 0 0 0 0 20 0 2 0 46067259 1452052480 337163 18446744073709551615 94202833371136 94202835996189 140727755309216 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94202836615064 94202836648026 94202864455680 140727755311519 140727755311623 140727755311623 140727755317225 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 1418020 KiB
Current children cumulated memory: 1348652 KiB

[startup+12.7003 s]
/proc/loadavg: 3.27 3.86 4.01 6/257 40435
/proc/meminfo: memFree=126827004/131382112 swapFree=33010684/33010684
[pid=40422] ppid=40413 vsize=1422352 memory=1353732 CPUtime=12.65 cores=4,6
/proc/40422/stat : 40422 (ipbhs_gurobi) R 40413 40422 40359 0 -1 4194304 14400 0 11 0 875 390 0 0 20 0 2 0 46067185 1456488448 338433 18446744073709551615 94202833371136 94202835996189 140727755309216 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94202836615064 94202836648026 94202864455680 140727755311519 140727755311623 140727755311623 140727755317225 0
/proc/40422/statm: 355588 338433 2912 641 0 338071 0
[pid=40422/tid=40434] ppid=40413 vsize=1422352 memory=1352068 CPUtime=0 cores=4,6
/proc/40422/task/40434/stat : 40434 (ipbhs_gurobi) S 40413 40422 40359 0 -1 4194368 12 0 0 0 0 0 0 0 20 0 2 0 46067259 1456488448 338433 18446744073709551615 94202833371136 94202835996189 140727755309216 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94202836615064 94202836648026 94202864455680 140727755311519 140727755311623 140727755311623 140727755317225 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1422352 KiB
Current children cumulated memory: 1353732 KiB

[startup+25.5004 s]
/proc/loadavg: 3.38 3.87 4.01 6/257 40435
/proc/meminfo: memFree=126638956/131382112 swapFree=33010684/33010684
[pid=40422] ppid=40413 vsize=1457888 memory=1382748 CPUtime=25.43 cores=4,6
/proc/40422/stat : 40422 (ipbhs_gurobi) R 40413 40422 40359 0 -1 4194304 29189 0 11 0 1891 652 0 0 20 0 2 0 46067185 1492877312 345687 18446744073709551615 94202833371136 94202835996189 140727755309216 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94202836615064 94202836648026 94202864455680 140727755311519 140727755311623 140727755311623 140727755317225 0
/proc/40422/statm: 364472 345687 3456 641 0 346955 0
[pid=40422/tid=40434] ppid=40413 vsize=1457888 memory=1382748 CPUtime=0.02 cores=4,6
/proc/40422/task/40434/stat : 40434 (ipbhs_gurobi) S 40413 40422 40359 0 -1 4194368 17 0 0 0 0 2 0 0 20 0 2 0 46067259 1492877312 345687 18446744073709551615 94202833371136 94202835996189 140727755309216 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94202836615064 94202836648026 94202864455680 140727755311519 140727755311623 140727755311623 140727755317225 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 1457888 KiB
Current children cumulated memory: 1382748 KiB

[startup+51.114 s]
/proc/loadavg: 3.68 3.90 4.01 6/257 40436
/proc/meminfo: memFree=126594224/131382112 swapFree=33010684/33010684
[pid=40422] ppid=40413 vsize=1479944 memory=1398968 CPUtime=51 cores=4,6
/proc/40422/stat : 40422 (ipbhs_gurobi) R 40413 40422 40359 0 -1 4194304 44485 0 11 0 4028 1072 0 0 20 0 2 0 46067185 1515462656 349742 18446744073709551615 94202833371136 94202835996189 140727755309216 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94202836615064 94202836648026 94202864455680 140727755311519 140727755311623 140727755311623 140727755317225 0
/proc/40422/statm: 369986 349742 3456 641 0 352469 0
[pid=40422/tid=40434] ppid=40413 vsize=1479944 memory=-7675384534098934726 CPUtime=0.05 cores=4,6
/proc/40422/task/40434/stat : 40434 (ipbhs_gurobi) S 40413 40422 40359 0 -1 4194368 19 0 0 0 1 4 0 0 20 0 2 0 46067259 1515462656 349742 18446744073709551615 94202833371136 94202835996189 140727755309216 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94202836615064 94202836648026 94202864455680 140727755311519 140727755311623 140727755311623 140727755317225 0
Current children cumulated CPU time: 51 s
Current children cumulated vsize: 1479944 KiB
Current children cumulated memory: 1398968 KiB

[startup+102.3 s]
/proc/loadavg: 3.86 3.91 4.01 6/258 40575
/proc/meminfo: memFree=126682768/131382112 swapFree=33010684/33010684
[pid=40422] ppid=40413 vsize=1588208 memory=1480020 CPUtime=102.1 cores=4,6
/proc/40422/stat : 40422 (ipbhs_gurobi) R 40413 40422 40359 0 -1 4194304 89079 0 11 0 8376 1834 0 0 20 0 2 0 46067185 1626324992 370005 18446744073709551615 94202833371136 94202835996189 140727755309216 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94202836615064 94202836648026 94202864455680 140727755311519 140727755311623 140727755311623 140727755317225 0
/proc/40422/statm: 397052 370005 3456 641 0 379535 0
[pid=40422/tid=40434] ppid=40413 vsize=1588208 memory=1480020 CPUtime=0.11 cores=4,6
/proc/40422/task/40434/stat : 40434 (ipbhs_gurobi) S 40413 40422 40359 0 -1 4194368 26 0 0 0 3 8 0 0 20 0 2 0 46067259 1626324992 370005 18446744073709551615 94202833371136 94202835996189 140727755309216 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94202836615064 94202836648026 94202864455680 140727755311519 140727755311623 140727755311623 140727755317225 0
Current children cumulated CPU time: 102.1 s
Current children cumulated vsize: 1588208 KiB
Current children cumulated memory: 1480020 KiB

[startup+162.3 s]
/proc/loadavg: 4.07 3.96 4.01 6/257 40577
/proc/meminfo: memFree=126376756/131382112 swapFree=33010684/33010684
[pid=40422] ppid=40413 vsize=1758820 memory=1565536 CPUtime=162.01 cores=4,6
/proc/40422/stat : 40422 (ipbhs_gurobi) R 40413 40422 40359 0 -1 4194304 145076 0 11 0 13564 2637 0 0 20 0 2 0 46067185 1801031680 391384 18446744073709551615 94202833371136 94202835996189 140727755309216 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94202836615064 94202836648026 94202864455680 140727755311519 140727755311623 140727755311623 140727755317225 0
/proc/40422/statm: 439705 391384 3456 641 0 422188 0
[pid=40422/tid=40434] ppid=40413 vsize=1758820 memory=1557520 CPUtime=0.18 cores=4,6
/proc/40422/task/40434/stat : 40434 (ipbhs_gurobi) S 40413 40422 40359 0 -1 4194368 31 0 0 0 5 13 0 0 20 0 2 0 46067259 1801031680 391384 18446744073709551615 94202833371136 94202835996189 140727755309216 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94202836615064 94202836648026 94202864455680 140727755311519 140727755311623 140727755311623 140727755317225 0
Current children cumulated CPU time: 162.01 s
Current children cumulated vsize: 1758820 KiB
Current children cumulated memory: 1565536 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 3.99 4.01 6/257 40578
/proc/meminfo: memFree=126197540/131382112 swapFree=33010684/33010684
[pid=40422] ppid=40413 vsize=1839176 memory=1649928 CPUtime=221.92 cores=4,6
/proc/40422/stat : 40422 (ipbhs_gurobi) R 40413 40422 40359 0 -1 4194304 181184 0 11 0 18826 3366 0 0 20 0 2 0 46067185 1883316224 412482 18446744073709551615 94202833371136 94202835996189 140727755309216 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94202836615064 94202836648026 94202864455680 140727755311519 140727755311623 140727755311623 140727755317225 0
/proc/40422/statm: 459794 412482 3488 641 0 442277 0
[pid=40422/tid=40434] ppid=40413 vsize=1839176 memory=1557520 CPUtime=0.25 cores=4,6
/proc/40422/task/40434/stat : 40434 (ipbhs_gurobi) S 40413 40422 40359 0 -1 4194368 35 0 0 0 6 19 0 0 20 0 2 0 46067259 1883316224 412482 18446744073709551615 94202833371136 94202835996189 140727755309216 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94202836615064 94202836648026 94202864455680 140727755311519 140727755311623 140727755311623 140727755317225 0
Current children cumulated CPU time: 221.92 s
Current children cumulated vsize: 1839176 KiB
Current children cumulated memory: 1649928 KiB

[startup+282.3 s]
/proc/loadavg: 4.13 4.02 4.02 6/258 40581
/proc/meminfo: memFree=126241140/131382112 swapFree=33010684/33010684
[pid=40422] ppid=40413 vsize=2037208 memory=1619440 CPUtime=281.88 cores=4,6
/proc/40422/stat : 40422 (ipbhs_gurobi) R 40413 40422 40359 0 -1 4194304 235659 0 11 0 24169 4019 0 0 20 0 2 0 46067185 2086100992 404860 18446744073709551615 94202833371136 94202835996189 140727755309216 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94202836615064 94202836648026 94202864455680 140727755311519 140727755311623 140727755311623 140727755317225 0
/proc/40422/statm: 509302 404860 3520 641 0 491785 0
[pid=40422/tid=40434] ppid=40413 vsize=2037208 memory=14848 CPUtime=0.32 cores=4,6
/proc/40422/task/40434/stat : 40434 (ipbhs_gurobi) S 40413 40422 40359 0 -1 4194368 39 0 0 0 8 24 0 0 20 0 2 0 46067259 2086100992 404860 18446744073709551615 94202833371136 94202835996189 140727755309216 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94202836615064 94202836648026 94202864455680 140727755311519 140727755311623 140727755311623 140727755317225 0
Current children cumulated CPU time: 281.88 s
Current children cumulated vsize: 2037208 KiB
Current children cumulated memory: 1619440 KiB

[startup+342.3 s]
/proc/loadavg: 4.31 4.08 4.04 6/255 40585
/proc/meminfo: memFree=126152916/131382112 swapFree=33010684/33010684
[pid=40422] ppid=40413 vsize=2287572 memory=1726428 CPUtime=341.83 cores=4,6
/proc/40422/stat : 40422 (ipbhs_gurobi) R 40413 40422 40359 0 -1 4194304 296993 0 11 0 29600 4583 0 0 20 0 2 0 46067185 2342473728 431607 18446744073709551615 94202833371136 94202835996189 140727755309216 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94202836615064 94202836648026 94202864455680 140727755311519 140727755311623 140727755311623 140727755317225 0
/proc/40422/statm: 571893 431607 3520 641 0 554376 0
[pid=40422/tid=40434] ppid=40413 vsize=2287572 memory=1619440 CPUtime=0.4 cores=4,6

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

/proc/meminfo: memFree=126282756/131382112 swapFree=33010684/33010684
[pid=40422] ppid=40413 vsize=3540696 memory=2768736 CPUtime=3039.76 cores=4,6
/proc/40422/stat : 40422 (ipbhs_gurobi) R 40413 40422 40359 0 -1 4194304 4228574 0 11 0 283936 20040 0 0 20 0 2 0 46067185 3625672704 692184 18446744073709551615 94202833371136 94202835996189 140727755309216 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94202836615064 94202836648026 94202864455680 140727755311519 140727755311623 140727755311623 140727755317225 0
/proc/40422/statm: 885174 692184 3744 641 0 867657 0
[pid=40422/tid=40434] ppid=40413 vsize=3540696 memory=14848 CPUtime=3.96 cores=4,6
/proc/40422/task/40434/stat : 40434 (ipbhs_gurobi) S 40413 40422 40359 0 -1 4194368 139 0 0 0 121 275 0 0 20 0 2 0 46067259 3625672704 692184 18446744073709551615 94202833371136 94202835996189 140727755309216 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94202836615064 94202836648026 94202864455680 140727755311519 140727755311623 140727755311623 140727755317225 0
Current children cumulated CPU time: 3039.76 s
Current children cumulated vsize: 3540696 KiB
Current children cumulated memory: 2768736 KiB

[startup+3102.3 s]
/proc/loadavg: 4.08 4.11 4.10 5/256 40773
/proc/meminfo: memFree=126371540/131382112 swapFree=33010684/33010684
[pid=40422] ppid=40413 vsize=3686468 memory=2670068 CPUtime=3099.7 cores=4,6
/proc/40422/stat : 40422 (ipbhs_gurobi) R 40413 40422 40359 0 -1 4194304 4279051 0 11 0 289880 20090 0 0 20 0 2 0 46067185 3774943232 667517 18446744073709551615 94202833371136 94202835996189 140727755309216 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94202836615064 94202836648026 94202864455680 140727755311519 140727755311623 140727755311623 140727755317225 0
/proc/40422/statm: 921617 667517 3744 641 0 904100 0
[pid=40422/tid=40434] ppid=40413 vsize=3686468 memory=14848 CPUtime=4.05 cores=4,6
/proc/40422/task/40434/stat : 40434 (ipbhs_gurobi) S 40413 40422 40359 0 -1 4194368 141 0 0 0 124 281 0 0 20 0 2 0 46067259 3774943232 667517 18446744073709551615 94202833371136 94202835996189 140727755309216 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94202836615064 94202836648026 94202864455680 140727755311519 140727755311623 140727755311623 140727755317225 0
Current children cumulated CPU time: 3099.7 s
Current children cumulated vsize: 3686468 KiB
Current children cumulated memory: 2670068 KiB

[startup+3162.3 s]
/proc/loadavg: 4.42 4.18 4.12 5/257 40776
/proc/meminfo: memFree=126570712/131382112 swapFree=33010684/33010684
[pid=40422] ppid=40413 vsize=3246096 memory=2475584 CPUtime=3159.64 cores=4,6
/proc/40422/stat : 40422 (ipbhs_gurobi) R 40413 40422 40359 0 -1 4194304 4313138 0 11 0 295745 20219 0 0 20 0 2 0 46067185 3324002304 618896 18446744073709551615 94202833371136 94202835996189 140727755309216 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94202836615064 94202836648026 94202864455680 140727755311519 140727755311623 140727755311623 140727755317225 0
/proc/40422/statm: 811524 618896 3744 641 0 794007 0
[pid=40422/tid=40434] ppid=40413 vsize=3246096 memory=14848 CPUtime=4.14 cores=4,6
/proc/40422/task/40434/stat : 40434 (ipbhs_gurobi) S 40413 40422 40359 0 -1 4194368 141 0 0 0 127 287 0 0 20 0 2 0 46067259 3324002304 618896 18446744073709551615 94202833371136 94202835996189 140727755309216 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94202836615064 94202836648026 94202864455680 140727755311519 140727755311623 140727755311623 140727755317225 0
Current children cumulated CPU time: 3159.64 s
Current children cumulated vsize: 3246096 KiB
Current children cumulated memory: 2475584 KiB

[startup+3222.3 s]
/proc/loadavg: 4.72 4.33 4.18 5/257 40780
/proc/meminfo: memFree=126195180/131382112 swapFree=33010684/33010684
[pid=40422] ppid=40413 vsize=3303928 memory=2513524 CPUtime=3219.6 cores=4,6
/proc/40422/stat : 40422 (ipbhs_gurobi) R 40413 40422 40359 0 -1 4194304 4370544 0 11 0 301462 20498 0 0 20 0 2 0 46067185 3383222272 628381 18446744073709551615 94202833371136 94202835996189 140727755309216 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94202836615064 94202836648026 94202864455680 140727755311519 140727755311623 140727755311623 140727755317225 0
/proc/40422/statm: 825982 628381 3744 641 0 808465 0
[pid=40422/tid=40434] ppid=40413 vsize=3303928 memory=14848 CPUtime=4.21 cores=4,6
/proc/40422/task/40434/stat : 40434 (ipbhs_gurobi) S 40413 40422 40359 0 -1 4194368 142 0 0 0 128 293 0 0 20 0 2 0 46067259 3383222272 628381 18446744073709551615 94202833371136 94202835996189 140727755309216 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94202836615064 94202836648026 94202864455680 140727755311519 140727755311623 140727755311623 140727755317225 0
Current children cumulated CPU time: 3219.6 s
Current children cumulated vsize: 3303928 KiB
Current children cumulated memory: 2513524 KiB

[startup+3282.3 s]
/proc/loadavg: 4.26 4.27 4.17 5/256 40782
/proc/meminfo: memFree=126458712/131382112 swapFree=33010684/33010684
[pid=40422] ppid=40413 vsize=3496084 memory=2565976 CPUtime=3279.55 cores=4,6
/proc/40422/stat : 40422 (ipbhs_gurobi) R 40413 40422 40359 0 -1 4194304 4418210 0 11 0 307313 20642 0 0 20 0 2 0 46067185 3579990016 641494 18446744073709551615 94202833371136 94202835996189 140727755309216 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94202836615064 94202836648026 94202864455680 140727755311519 140727755311623 140727755311623 140727755317225 0
/proc/40422/statm: 874021 641494 3744 641 0 856504 0
[pid=40422/tid=40434] ppid=40413 vsize=3496084 memory=2750688 CPUtime=4.3 cores=4,6
/proc/40422/task/40434/stat : 40434 (ipbhs_gurobi) S 40413 40422 40359 0 -1 4194368 146 0 0 0 131 299 0 0 20 0 2 0 46067259 3579990016 641494 18446744073709551615 94202833371136 94202835996189 140727755309216 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94202836615064 94202836648026 94202864455680 140727755311519 140727755311623 140727755311623 140727755317225 0
Current children cumulated CPU time: 3279.55 s
Current children cumulated vsize: 3496084 KiB
Current children cumulated memory: 2565976 KiB

[startup+3342.3 s]
/proc/loadavg: 4.29 4.26 4.18 5/256 40786
/proc/meminfo: memFree=126360412/131382112 swapFree=33010684/33010684
[pid=40422] ppid=40413 vsize=3745972 memory=2705500 CPUtime=3339.49 cores=4,6
/proc/40422/stat : 40422 (ipbhs_gurobi) R 40413 40422 40359 0 -1 4194304 4450871 0 11 0 313258 20691 0 0 20 0 2 0 46067185 3835875328 676375 18446744073709551615 94202833371136 94202835996189 140727755309216 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94202836615064 94202836648026 94202864455680 140727755311519 140727755311623 140727755311623 140727755317225 0
/proc/40422/statm: 936493 676375 3744 641 0 918976 0
[pid=40422/tid=40434] ppid=40413 vsize=3745972 memory=2670300 CPUtime=4.39 cores=4,6
/proc/40422/task/40434/stat : 40434 (ipbhs_gurobi) S 40413 40422 40359 0 -1 4194368 146 0 0 0 133 306 0 0 20 0 2 0 46067259 3835875328 676375 18446744073709551615 94202833371136 94202835996189 140727755309216 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94202836615064 94202836648026 94202864455680 140727755311519 140727755311623 140727755311623 140727755317225 0
Current children cumulated CPU time: 3339.49 s
Current children cumulated vsize: 3745972 KiB
Current children cumulated memory: 2705500 KiB

[startup+3402.3 s]
/proc/loadavg: 4.80 4.42 4.23 5/255 40788
/proc/meminfo: memFree=126587240/131382112 swapFree=33010684/33010684
[pid=40422] ppid=40413 vsize=3223052 memory=2434176 CPUtime=3399.43 cores=4,6
/proc/40422/stat : 40422 (ipbhs_gurobi) R 40413 40422 40359 0 -1 4194304 4509636 0 11 0 319215 20728 0 0 20 0 2 0 46067185 3300405248 608544 18446744073709551615 94202833371136 94202835996189 140727755309216 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94202836615064 94202836648026 94202864455680 140727755311519 140727755311623 140727755311623 140727755317225 0
/proc/40422/statm: 805763 608544 3744 641 0 788246 0
[pid=40422/tid=40434] ppid=40413 vsize=3223052 memory=2670300 CPUtime=4.46 cores=4,6
/proc/40422/task/40434/stat : 40434 (ipbhs_gurobi) S 40413 40422 40359 0 -1 4194368 146 0 0 0 135 311 0 0 20 0 2 0 46067259 3300405248 608544 18446744073709551615 94202833371136 94202835996189 140727755309216 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94202836615064 94202836648026 94202864455680 140727755311519 140727755311623 140727755311623 140727755317225 0
Current children cumulated CPU time: 3399.43 s
Current children cumulated vsize: 3223052 KiB
Current children cumulated memory: 2434176 KiB

[startup+3462.3 s]
/proc/loadavg: 4.37 4.37 4.23 5/255 40795
/proc/meminfo: memFree=126318748/131382112 swapFree=33010684/33010684
[pid=40422] ppid=40413 vsize=3746224 memory=2723408 CPUtime=3459.39 cores=4,6
/proc/40422/stat : 40422 (ipbhs_gurobi) R 40413 40422 40359 0 -1 4194304 4558898 0 11 0 325027 20912 0 0 20 0 2 0 46067185 3836133376 680852 18446744073709551615 94202833371136 94202835996189 140727755309216 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94202836615064 94202836648026 94202864455680 140727755311519 140727755311623 140727755311623 140727755317225 0
/proc/40422/statm: 936556 680852 3744 641 0 919039 0
[pid=40422/tid=40434] ppid=40413 vsize=3746224 memory=2670300 CPUtime=4.56 cores=4,6
/proc/40422/task/40434/stat : 40434 (ipbhs_gurobi) S 40413 40422 40359 0 -1 4194368 147 0 0 0 138 318 0 0 20 0 2 0 46067259 3836133376 680852 18446744073709551615 94202833371136 94202835996189 140727755309216 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94202836615064 94202836648026 94202864455680 140727755311519 140727755311623 140727755311623 140727755317225 0
Current children cumulated CPU time: 3459.39 s
Current children cumulated vsize: 3746224 KiB
Current children cumulated memory: 2723408 KiB

[startup+3522.3 s]
/proc/loadavg: 4.24 4.33 4.22 5/255 40797
/proc/meminfo: memFree=126514236/131382112 swapFree=33010684/33010684
[pid=40422] ppid=40413 vsize=3323148 memory=2524844 CPUtime=3519.33 cores=4,6
/proc/40422/stat : 40422 (ipbhs_gurobi) R 40413 40422 40359 0 -1 4194304 4603981 0 11 0 330869 21064 0 0 20 0 2 0 46067185 3402903552 631211 18446744073709551615 94202833371136 94202835996189 140727755309216 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94202836615064 94202836648026 94202864455680 140727755311519 140727755311623 140727755311623 140727755317225 0
/proc/40422/statm: 830787 631211 3744 641 0 813270 0
[pid=40422/tid=40434] ppid=40413 vsize=3323148 memory=2718000 CPUtime=4.64 cores=4,6
/proc/40422/task/40434/stat : 40434 (ipbhs_gurobi) S 40413 40422 40359 0 -1 4194368 147 0 0 0 140 324 0 0 20 0 2 0 46067259 3402903552 631211 18446744073709551615 94202833371136 94202835996189 140727755309216 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94202836615064 94202836648026 94202864455680 140727755311519 140727755311623 140727755311623 140727755317225 0
Current children cumulated CPU time: 3519.33 s
Current children cumulated vsize: 3323148 KiB
Current children cumulated memory: 2524844 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.28 4.21 5/254 40799
/proc/meminfo: memFree=126287616/131382112 swapFree=33010684/33010684
[pid=40422] ppid=40413 vsize=3751268 memory=2728508 CPUtime=3579.29 cores=4,6
/proc/40422/stat : 40422 (ipbhs_gurobi) R 40413 40422 40359 0 -1 4194304 4671268 0 11 0 336778 21151 0 0 20 0 2 0 46067185 3841298432 682127 18446744073709551615 94202833371136 94202835996189 140727755309216 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94202836615064 94202836648026 94202864455680 140727755311519 140727755311623 140727755311623 140727755317225 0
/proc/40422/statm: 937817 682127 3744 641 0 920300 0
[pid=40422/tid=40434] ppid=40413 vsize=3751268 memory=10752 CPUtime=4.72 cores=4,6
/proc/40422/task/40434/stat : 40434 (ipbhs_gurobi) S 40413 40422 40359 0 -1 4194368 149 0 0 0 143 329 0 0 20 0 2 0 46067259 3841298432 682127 18446744073709551615 94202833371136 94202835996189 140727755309216 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94202836615064 94202836648026 94202864455680 140727755311519 140727755311623 140727755311623 140727755317225 0
Current children cumulated CPU time: 3579.29 s
Current children cumulated vsize: 3751268 KiB
Current children cumulated memory: 2728508 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3603.11 s]
/proc/loadavg: 4.18 4.28 4.21 6/254 40800
/proc/meminfo: memFree=126273932/131382112 swapFree=33010684/33010684
[pid=40422] ppid=40413 vsize=3774472 memory=2734900 CPUtime=3600.08 cores=4,6
/proc/40422/stat : 40422 (ipbhs_gurobi) R 40413 40422 40359 0 -1 4194304 4686605 0 11 0 338839 21169 0 0 20 0 2 0 46067185 3865059328 683725 18446744073709551615 94202833371136 94202835996189 140727755309216 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94202836615064 94202836648026 94202864455680 140727755311519 140727755311623 140727755311623 140727755317225 0
/proc/40422/statm: 943618 683725 3744 641 0 926101 0
[pid=40422/tid=40434] ppid=40413 vsize=3774472 memory=14848 CPUtime=4.75 cores=4,6
/proc/40422/task/40434/stat : 40434 (ipbhs_gurobi) S 40413 40422 40359 0 -1 4194368 149 0 0 0 144 331 0 0 20 0 2 0 46067259 3865059328 683725 18446744073709551615 94202833371136 94202835996189 140727755309216 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94202836615064 94202836648026 94202864455680 140727755311519 140727755311623 140727755311623 140727755317225 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 3774472 KiB
Current children cumulated memory: 2734900 KiB

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

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

# cumulated CPU time of all completed processes:  user=3388.4 s, system=211.708 s

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

[startup+3603.11 s]
/proc/loadavg: 4.18 4.28 4.21 6/254 40800
/proc/meminfo: memFree=126273932/131382112 swapFree=33010684/33010684
[pid=40422] ppid=40413 vsize=3774472 memory=2734900 CPUtime=3600.08 cores=4,6
/proc/40422/stat : 40422 (ipbhs_gurobi) R 40413 40422 40359 0 -1 4194304 4686605 0 11 0 338839 21169 0 0 20 0 2 0 46067185 3865059328 683725 18446744073709551615 94202833371136 94202835996189 140727755309216 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 94202836615064 94202836648026 94202864455680 140727755311519 140727755311623 140727755311623 140727755317225 0
/proc/40422/statm: 943618 683725 3744 641 0 926101 0
[pid=40422/tid=40434] ppid=40413 vsize=3774472 memory=14848 CPUtime=4.75 cores=4,6
/proc/40422/task/40434/stat : 40434 (ipbhs_gurobi) S 40413 40422 40359 0 -1 4194368 149 0 0 0 144 331 0 0 20 0 2 0 46067259 3865059328 683725 18446744073709551615 94202833371136 94202835996189 140727755309216 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 94202836615064 94202836648026 94202864455680 140727755311519 140727755311623 140727755311623 140727755317225 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 3774472 KiB
Current children cumulated memory: 2734900 KiB

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3603.14
CPU time (s): 3600.11
CPU user time (s): 3388.4
CPU system time (s): 211.708
CPU usage (%): 99.916
Max. virtual memory (cumulated for all children) (KiB): 4259460
Max. memory (cumulated for all children) (KiB): 3109568

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3388.4
system time used= 211.708
maximum resident set size= 3132096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4686605
page faults= 11
swaps= 0
block input operations= 1648
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 356948
involuntary context switches= 3492


# summary of solver processes directly reported to runsolver:
#   pid: 40422
#   total CPU time (s): 3600.11
#   total CPU user time (s): 3388.4
#   total CPU system time (s): 211.708

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.0806 second user time and 36.0642 second system time

The end

Launcher Data

Begin job on nodeC012 at 2025-06-30 19:17:54
IDJOB=4485166
IDBENCH=146711
IDSOLVER=3333
FILE ID=nodeC012/4485166-1751303874
RUNJOBID= nodeC012-1751303874-40370
SLURM_JOB_ID= 9594297
Free space on /tmp= 433056 MiB

SOLVER NAME= IPBHS-GUROBI 2025-06-09
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos11.opb
COMMAND LINE= ./ipbhs_gurobi BENCHNAME --max-coef 1000000000
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4485166-1751303874/watcher-4485166-1751303874 -o /tmp/evaluation-result-4485166-1751303874/solver-4485166-1751303874 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751303874-40370 --watchdog 3760  ./ipbhs_gurobi HOME/instance-4485166-1751303874.opb --max-coef 1000000000

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

MD5SUM BENCH= d56dac1e1561d870cabdc9c053ba8250
RANDOM SEED=1497411432

nodeC012 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.148
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.39
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.160
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.39
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.168
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.39
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		: 1496.443
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.39
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.156
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.39
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		: 1696.087
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.39
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		: 3700.000
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt 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.39
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.129
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.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        129797828 kB
MemAvailable:   129970456 kB
Buffers:            3280 kB
Cached:           981372 kB
SwapCached:            0 kB
Active:           366184 kB
Inactive:         682212 kB
Active(anon):      81740 kB
Inactive(anon):        0 kB
Active(file):     284444 kB
Inactive(file):   682212 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            244312 kB
Writeback:             4 kB
AnonPages:         66852 kB
Mapped:           102376 kB
Shmem:             17960 kB
KReclaimable:      90812 kB
Slab:             173380 kB
SReclaimable:      90812 kB
SUnreclaim:        82568 kB
KernelStack:        3840 kB
PageTables:         2752 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     329640 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149256 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 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:      187208 kB
DirectMap2M:     8103936 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432820 MiB
End job on nodeC012 at 2025-06-30 20:17:58