Trace number 4503958

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

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat85_4_27_8.opb
MD5SUMb05c4b33f96fbb61e1d4ec7dd116fd00
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 benchmark4167029
Best CPU time to get the best result obtained on this benchmark1098.95
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables14620
Total number of constraints21851
Number of constraints which are clauses170
Number of constraints which are cardinality constraints (but not clauses)6
Number of constraints which are nor clauses,nor cardinality constraints21675
Minimum length of a constraint2
Maximum length of a constraint3570
Number of terms in the objective function 14365
Biggest coefficient in the objective function 137388096
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 102095438945
Number of bits of the sum of numbers in the objective function 37
Biggest number in a constraint 137388096
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 102095438945
Number of bits of the biggest sum of numbers37
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 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.40/0.50	c limit for coefficient in constraints and objective to 1000000000
0.40/0.50	c will solve HOME/instance-4503958-1751457054.opb
0.40/0.50	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: 63837 MiB (59221 MiB free)
  memory of node 1: 64465 MiB (63486 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4503958-1751457054/watcher-4503958-1751457054 -o /tmp/evaluation-result-4503958-1751457054/solver-4503958-1751457054 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751453447-60694 --watchdog 3760 ./ipbhs_gurobi HOME/instance-4503958-1751457054.opb --max-coef 1000000000 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=61083, runsolver pid=61079
Current StackSize limit: 8192 KiB


[startup+0.100068 s]*
/proc/loadavg: 4.13 4.11 4.09 5/248 61097
/proc/meminfo: memFree=125640804/131382120 swapFree=33010160/33010684
[pid=61083] ppid=61079 vsize=79108 memory=16044 CPUtime=0.08 cores=1,3
/proc/61083/stat : 61083 (ipbhs_gurobi) R 61079 61083 60682 0 -1 4194304 2667 0 0 0 7 1 0 0 20 0 1 0 61384601 81006592 4011 18446744073709551615 94062072340480 94062074965533 140728881366224 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94062075584408 94062075617370 94062091051008 140728881367455 140728881367559 140728881367559 140728881373161 0
/proc/61083/statm: 19777 4011 1728 641 0 4534 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 79108 KiB
Current children cumulated memory: 16044 KiB

[startup+0.212124 s]*
/proc/loadavg: 4.13 4.11 4.09 5/247 61103
/proc/meminfo: memFree=125713076/131382120 swapFree=33010160/33010684
[pid=61083] ppid=61079 vsize=84392 memory=22572 CPUtime=0.2 cores=1,3
/proc/61083/stat : 61083 (ipbhs_gurobi) R 61079 61083 60682 0 -1 4194304 4298 0 0 0 15 5 0 0 20 0 1 0 61384601 86417408 5643 18446744073709551615 94062072340480 94062074965533 140728881366224 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94062075584408 94062075617370 94062091051008 140728881367455 140728881367559 140728881367559 140728881373161 0
/proc/61083/statm: 21098 5643 1728 641 0 5855 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 84392 KiB
Current children cumulated memory: 22572 KiB

[startup+0.313391 s]*
/proc/loadavg: 4.13 4.11 4.09 4/247 61107
/proc/meminfo: memFree=125713048/131382120 swapFree=33010160/33010684
[pid=61083] ppid=61079 vsize=85008 memory=26060 CPUtime=0.3 cores=1,3
/proc/61083/stat : 61083 (ipbhs_gurobi) R 61079 61083 60682 0 -1 4194304 4657 0 0 0 21 9 0 0 20 0 1 0 61384601 87048192 6515 18446744073709551615 94062072340480 94062074965533 140728881366224 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94062075584408 94062075617370 94062091051008 140728881367455 140728881367559 140728881367559 140728881373161 0
/proc/61083/statm: 21252 6515 1728 641 0 6009 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 85008 KiB
Current children cumulated memory: 26060 KiB

[startup+0.700339 s]
/proc/loadavg: 4.13 4.11 4.09 5/248 61109
/proc/meminfo: memFree=125623448/131382120 swapFree=33010160/33010684
[pid=61083] ppid=61079 vsize=113608 memory=43492 CPUtime=0.68 cores=1,3
/proc/61083/stat : 61083 (ipbhs_gurobi) R 61079 61083 60682 0 -1 4194304 7486 0 0 0 48 20 0 0 20 0 2 0 61384601 116334592 10873 18446744073709551615 94062072340480 94062074965533 140728881366224 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94062075584408 94062075617370 94062091051008 140728881367455 140728881367559 140728881367559 140728881373161 0
/proc/61083/statm: 28402 10873 2272 641 0 10885 0
[pid=61083/tid=61109] ppid=61079 vsize=113608 memory=18048 CPUtime=0 cores=1,3
/proc/61083/task/61109/stat : 61109 (ipbhs_gurobi) S 61079 61083 60682 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 2 0 61384648 116334592 10873 18446744073709551615 94062072340480 94062074965533 140728881366224 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94062075584408 94062075617370 94062091051008 140728881367455 140728881367559 140728881367559 140728881373161 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 113608 KiB
Current children cumulated memory: 43492 KiB

[startup+1.50041 s]
/proc/loadavg: 4.13 4.11 4.09 5/253 61118
/proc/meminfo: memFree=125177624/131382120 swapFree=33010160/33010684
[pid=61083] ppid=61079 vsize=171816 memory=89348 CPUtime=1.47 cores=1,3
/proc/61083/stat : 61083 (ipbhs_gurobi) R 61079 61083 60682 0 -1 4194304 18361 0 0 0 118 29 0 0 20 0 2 0 61384601 175939584 22337 18446744073709551615 94062072340480 94062074965533 140728881366224 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94062075584408 94062075617370 94062091051008 140728881367455 140728881367559 140728881367559 140728881373161 0
/proc/61083/statm: 42954 22337 3040 641 0 25437 0
[pid=61083/tid=61109] ppid=61079 vsize=171816 memory=18048 CPUtime=0 cores=1,3
/proc/61083/task/61109/stat : 61109 (ipbhs_gurobi) S 61079 61083 60682 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 2 0 61384648 175939584 22337 18446744073709551615 94062072340480 94062074965533 140728881366224 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94062075584408 94062075617370 94062091051008 140728881367455 140728881367559 140728881367559 140728881373161 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 171816 KiB
Current children cumulated memory: 89348 KiB

[startup+3.11285 s]
/proc/loadavg: 4.12 4.11 4.09 5/254 61119
/proc/meminfo: memFree=124761964/131382120 swapFree=33010160/33010684
[pid=61083] ppid=61079 vsize=189984 memory=109376 CPUtime=3.08 cores=1,3
/proc/61083/stat : 61083 (ipbhs_gurobi) R 61079 61083 60682 0 -1 4194304 32544 0 0 0 274 34 0 0 20 0 2 0 61384601 194543616 27344 18446744073709551615 94062072340480 94062074965533 140728881366224 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94062075584408 94062075617370 94062091051008 140728881367455 140728881367559 140728881367559 140728881373161 0
/proc/61083/statm: 47496 27344 3648 641 0 29979 0
[pid=61083/tid=61109] ppid=61079 vsize=189984 memory=0 CPUtime=0 cores=1,3
/proc/61083/task/61109/stat : 61109 (ipbhs_gurobi) S 61079 61083 60682 0 -1 4194368 2 0 0 0 0 0 0 0 20 0 2 0 61384648 194543616 27344 18446744073709551615 94062072340480 94062074965533 140728881366224 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94062075584408 94062075617370 94062091051008 140728881367455 140728881367559 140728881367559 140728881373161 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 189984 KiB
Current children cumulated memory: 109376 KiB

[startup+6.3003 s]
/proc/loadavg: 4.12 4.11 4.09 5/254 61119
/proc/meminfo: memFree=124754424/131382120 swapFree=33010160/33010684
[pid=61083] ppid=61079 vsize=189984 memory=109376 CPUtime=6.27 cores=1,3
/proc/61083/stat : 61083 (ipbhs_gurobi) R 61079 61083 60682 0 -1 4194304 34921 0 0 0 566 61 0 0 20 0 2 0 61384601 194543616 27344 18446744073709551615 94062072340480 94062074965533 140728881366224 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94062075584408 94062075617370 94062091051008 140728881367455 140728881367559 140728881367559 140728881373161 0
/proc/61083/statm: 47496 27344 3648 641 0 29979 0
[pid=61083/tid=61109] ppid=61079 vsize=189984 memory=0 CPUtime=0 cores=1,3
/proc/61083/task/61109/stat : 61109 (ipbhs_gurobi) S 61079 61083 60682 0 -1 4194368 5 0 0 0 0 0 0 0 20 0 2 0 61384648 194543616 27344 18446744073709551615 94062072340480 94062074965533 140728881366224 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94062075584408 94062075617370 94062091051008 140728881367455 140728881367559 140728881367559 140728881373161 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 189984 KiB
Current children cumulated memory: 109376 KiB

[startup+12.7003 s]
/proc/loadavg: 4.18 4.12 4.10 5/254 61119
/proc/meminfo: memFree=124753148/131382120 swapFree=33010160/33010684
[pid=61083] ppid=61079 vsize=189984 memory=110528 CPUtime=12.66 cores=1,3
/proc/61083/stat : 61083 (ipbhs_gurobi) R 61079 61083 60682 0 -1 4194304 39861 0 0 0 1152 114 0 0 20 0 2 0 61384601 194543616 27632 18446744073709551615 94062072340480 94062074965533 140728881366224 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94062075584408 94062075617370 94062091051008 140728881367455 140728881367559 140728881367559 140728881373161 0
/proc/61083/statm: 47496 27632 3648 641 0 29979 0
[pid=61083/tid=61109] ppid=61079 vsize=189984 memory=6388 CPUtime=0.01 cores=1,3
/proc/61083/task/61109/stat : 61109 (ipbhs_gurobi) S 61079 61083 60682 0 -1 4194368 8 0 0 0 0 1 0 0 20 0 2 0 61384648 194543616 27632 18446744073709551615 94062072340480 94062074965533 140728881366224 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94062075584408 94062075617370 94062091051008 140728881367455 140728881367559 140728881367559 140728881373161 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 189984 KiB
Current children cumulated memory: 110528 KiB

[startup+25.5004 s]
/proc/loadavg: 4.22 4.13 4.10 5/254 61119
/proc/meminfo: memFree=124747692/131382120 swapFree=33010160/33010684
[pid=61083] ppid=61079 vsize=197124 memory=115836 CPUtime=25.44 cores=1,3
/proc/61083/stat : 61083 (ipbhs_gurobi) R 61079 61083 60682 0 -1 4194304 41752 0 0 0 2321 223 0 0 20 0 2 0 61384601 201854976 28959 18446744073709551615 94062072340480 94062074965533 140728881366224 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94062075584408 94062075617370 94062091051008 140728881367455 140728881367559 140728881367559 140728881373161 0
/proc/61083/statm: 49281 28959 3648 641 0 31764 0
[pid=61083/tid=61109] ppid=61079 vsize=197124 memory=16336 CPUtime=0.02 cores=1,3
/proc/61083/task/61109/stat : 61109 (ipbhs_gurobi) S 61079 61083 60682 0 -1 4194368 9 0 0 0 0 2 0 0 20 0 2 0 61384648 201854976 28959 18446744073709551615 94062072340480 94062074965533 140728881366224 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94062075584408 94062075617370 94062091051008 140728881367455 140728881367559 140728881367559 140728881373161 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 197124 KiB
Current children cumulated memory: 115836 KiB

[startup+51.113 s]
/proc/loadavg: 4.15 4.12 4.09 4/251 61134
/proc/meminfo: memFree=128027008/131382120 swapFree=33010160/33010684
[pid=61083] ppid=61079 vsize=204304 memory=124400 CPUtime=51.02 cores=1,3
/proc/61083/stat : 61083 (ipbhs_gurobi) R 61079 61083 60682 0 -1 4194304 44444 0 0 0 4676 426 0 0 20 0 2 0 61384601 209207296 31100 18446744073709551615 94062072340480 94062074965533 140728881366224 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94062075584408 94062075617370 94062091051008 140728881367455 140728881367559 140728881367559 140728881373161 0
/proc/61083/statm: 51076 31100 3648 641 0 33559 0
[pid=61083/tid=61109] ppid=61079 vsize=204304 memory=16336 CPUtime=0.05 cores=1,3
/proc/61083/task/61109/stat : 61109 (ipbhs_gurobi) S 61079 61083 60682 0 -1 4194368 9 0 0 0 1 4 0 0 20 0 2 0 61384648 209207296 31100 18446744073709551615 94062072340480 94062074965533 140728881366224 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94062075584408 94062075617370 94062091051008 140728881367455 140728881367559 140728881367559 140728881373161 0
Current children cumulated CPU time: 51.02 s
Current children cumulated vsize: 204304 KiB
Current children cumulated memory: 124400 KiB

[startup+102.3 s]
/proc/loadavg: 4.63 4.26 4.14 5/254 61167
/proc/meminfo: memFree=127812436/131382120 swapFree=33010160/33010684
[pid=61083] ppid=61079 vsize=249812 memory=160232 CPUtime=102.13 cores=1,3
/proc/61083/stat : 61083 (ipbhs_gurobi) R 61079 61083 60682 0 -1 4194304 50028 0 0 0 9410 803 0 0 20 0 2 0 61384601 255807488 40058 18446744073709551615 94062072340480 94062074965533 140728881366224 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94062075584408 94062075617370 94062091051008 140728881367455 140728881367559 140728881367559 140728881373161 0
/proc/61083/statm: 62453 40058 3648 641 0 44936 0
[pid=61083/tid=61109] ppid=61079 vsize=249812 memory=153948 CPUtime=0.11 cores=1,3
/proc/61083/task/61109/stat : 61109 (ipbhs_gurobi) S 61079 61083 60682 0 -1 4194368 10 0 0 0 2 9 0 0 20 0 2 0 61384648 255807488 40058 18446744073709551615 94062072340480 94062074965533 140728881366224 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94062075584408 94062075617370 94062091051008 140728881367455 140728881367559 140728881367559 140728881373161 0
Current children cumulated CPU time: 102.13 s
Current children cumulated vsize: 249812 KiB
Current children cumulated memory: 160232 KiB

[startup+162.3 s]
/proc/loadavg: 4.48 4.29 4.16 5/254 61169
/proc/meminfo: memFree=127634292/131382120 swapFree=33010160/33010684
[pid=61083] ppid=61079 vsize=279516 memory=202172 CPUtime=162.06 cores=1,3
/proc/61083/stat : 61083 (ipbhs_gurobi) R 61079 61083 60682 0 -1 4194304 67969 0 0 0 14976 1230 0 0 20 0 2 0 61384601 286224384 50543 18446744073709551615 94062072340480 94062074965533 140728881366224 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94062075584408 94062075617370 94062091051008 140728881367455 140728881367559 140728881367559 140728881373161 0
/proc/61083/statm: 69879 50543 3648 641 0 52362 0
[pid=61083/tid=61109] ppid=61079 vsize=279516 memory=16336 CPUtime=0.19 cores=1,3
/proc/61083/task/61109/stat : 61109 (ipbhs_gurobi) S 61079 61083 60682 0 -1 4194368 13 0 0 0 5 14 0 0 20 0 2 0 61384648 286224384 50543 18446744073709551615 94062072340480 94062074965533 140728881366224 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94062075584408 94062075617370 94062091051008 140728881367455 140728881367559 140728881367559 140728881373161 0
Current children cumulated CPU time: 162.06 s
Current children cumulated vsize: 279516 KiB
Current children cumulated memory: 202172 KiB

[startup+222.3 s]
/proc/loadavg: 4.17 4.24 4.15 5/254 61171
/proc/meminfo: memFree=127388484/131382120 swapFree=33010160/33010684
[pid=61083] ppid=61079 vsize=351504 memory=261848 CPUtime=222.01 cores=1,3
/proc/61083/stat : 61083 (ipbhs_gurobi) R 61079 61083 60682 0 -1 4194304 78799 0 0 0 20603 1598 0 0 20 0 2 0 61384601 359940096 65462 18446744073709551615 94062072340480 94062074965533 140728881366224 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94062075584408 94062075617370 94062091051008 140728881367455 140728881367559 140728881367559 140728881373161 0
/proc/61083/statm: 87876 65462 3648 641 0 70359 0
[pid=61083/tid=61109] ppid=61079 vsize=351504 memory=260696 CPUtime=0.27 cores=1,3
/proc/61083/task/61109/stat : 61109 (ipbhs_gurobi) S 61079 61083 60682 0 -1 4194368 13 0 0 0 7 20 0 0 20 0 2 0 61384648 359940096 65462 18446744073709551615 94062072340480 94062074965533 140728881366224 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94062075584408 94062075617370 94062091051008 140728881367455 140728881367559 140728881367559 140728881373161 0
Current children cumulated CPU time: 222.01 s
Current children cumulated vsize: 351504 KiB
Current children cumulated memory: 261848 KiB

[startup+282.3 s]
/proc/loadavg: 4.17 4.22 4.15 5/254 61173
/proc/meminfo: memFree=127003256/131382120 swapFree=33010160/33010684
[pid=61083] ppid=61079 vsize=469676 memory=374092 CPUtime=281.96 cores=1,3
/proc/61083/stat : 61083 (ipbhs_gurobi) R 61079 61083 60682 0 -1 4194304 96133 0 0 0 26316 1880 0 0 20 0 2 0 61384601 480948224 93523 18446744073709551615 94062072340480 94062074965533 140728881366224 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94062075584408 94062075617370 94062091051008 140728881367455 140728881367559 140728881367559 140728881373161 0
/proc/61083/statm: 117419 93523 3648 641 0 99902 0
[pid=61083/tid=61109] ppid=61079 vsize=469676 memory=369484 CPUtime=0.36 cores=1,3
/proc/61083/task/61109/stat : 61109 (ipbhs_gurobi) S 61079 61083 60682 0 -1 4194368 14 0 0 0 10 26 0 0 20 0 2 0 61384648 480948224 93523 18446744073709551615 94062072340480 94062074965533 140728881366224 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94062075584408 94062075617370 94062091051008 140728881367455 140728881367559 140728881367559 140728881373161 0
Current children cumulated CPU time: 281.96 s
Current children cumulated vsize: 469676 KiB
Current children cumulated memory: 374092 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 4.20 4.15 5/254 61178
/proc/meminfo: memFree=126649644/131382120 swapFree=33010160/33010684
[pid=61083] ppid=61079 vsize=615308 memory=466960 CPUtime=341.91 cores=1,3
/proc/61083/stat : 61083 (ipbhs_gurobi) R 61079 61083 60682 0 -1 4194304 136410 0 0 0 32054 2137 0 0 20 0 2 0 61384601 630075392 116740 18446744073709551615 94062072340480 94062074965533 140728881366224 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94062075584408 94062075617370 94062091051008 140728881367455 140728881367559 140728881367559 140728881373161 0

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

/proc/meminfo: memFree=121725888/131382120 swapFree=33010160/33010684
[pid=61083] ppid=61079 vsize=2104872 memory=1858900 CPUtime=2979.37 cores=1,3
/proc/61083/stat : 61083 (ipbhs_gurobi) R 61079 61083 60682 0 -1 4194304 723346 0 0 0 287935 10002 0 0 20 0 2 0 61384601 2155388928 464725 18446744073709551615 94062072340480 94062074965533 140728881366224 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94062075584408 94062075617370 94062091051008 140728881367455 140728881367559 140728881367559 140728881373161 0
/proc/61083/statm: 526218 464725 3648 641 0 508701 0
[pid=61083/tid=61109] ppid=61079 vsize=2104872 memory=1852884 CPUtime=4.73 cores=1,3
/proc/61083/task/61109/stat : 61109 (ipbhs_gurobi) S 61079 61083 60682 0 -1 4194368 33 0 0 0 140 333 0 0 20 0 2 0 61384648 2155388928 464725 18446744073709551615 94062072340480 94062074965533 140728881366224 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94062075584408 94062075617370 94062091051008 140728881367455 140728881367559 140728881367559 140728881373161 0
Current children cumulated CPU time: 2979.37 s
Current children cumulated vsize: 2104872 KiB
Current children cumulated memory: 1858900 KiB

[startup+3042.3 s]
/proc/loadavg: 4.11 4.12 4.13 5/255 61314
/proc/meminfo: memFree=121680304/131382120 swapFree=33010160/33010684
[pid=61083] ppid=61079 vsize=2130732 memory=1884756 CPUtime=3039.32 cores=1,3
/proc/61083/stat : 61083 (ipbhs_gurobi) R 61079 61083 60682 0 -1 4194304 730170 0 0 0 293691 10241 0 0 20 0 2 0 61384601 2181869568 471189 18446744073709551615 94062072340480 94062074965533 140728881366224 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94062075584408 94062075617370 94062091051008 140728881367455 140728881367559 140728881367559 140728881373161 0
/proc/61083/statm: 532683 471189 3648 641 0 515166 0
[pid=61083/tid=61109] ppid=61079 vsize=2130732 memory=1851476 CPUtime=4.83 cores=1,3
/proc/61083/task/61109/stat : 61109 (ipbhs_gurobi) S 61079 61083 60682 0 -1 4194368 34 0 0 0 143 340 0 0 20 0 2 0 61384648 2181869568 471189 18446744073709551615 94062072340480 94062074965533 140728881366224 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94062075584408 94062075617370 94062091051008 140728881367455 140728881367559 140728881367559 140728881373161 0
Current children cumulated CPU time: 3039.32 s
Current children cumulated vsize: 2130732 KiB
Current children cumulated memory: 1884756 KiB

[startup+3102.3 s]
/proc/loadavg: 4.09 4.11 4.13 5/254 61316
/proc/meminfo: memFree=121602720/131382120 swapFree=33010160/33010684
[pid=61083] ppid=61079 vsize=2151176 memory=1905236 CPUtime=3099.26 cores=1,3
/proc/61083/stat : 61083 (ipbhs_gurobi) R 61079 61083 60682 0 -1 4194304 737100 0 0 0 299489 10437 0 0 20 0 2 0 61384601 2202804224 476309 18446744073709551615 94062072340480 94062074965533 140728881366224 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94062075584408 94062075617370 94062091051008 140728881367455 140728881367559 140728881367559 140728881373161 0
/proc/61083/statm: 537794 476309 3648 641 0 520277 0
[pid=61083/tid=61109] ppid=61079 vsize=2151176 memory=1896020 CPUtime=4.92 cores=1,3
/proc/61083/task/61109/stat : 61109 (ipbhs_gurobi) S 61079 61083 60682 0 -1 4194368 34 0 0 0 146 346 0 0 20 0 2 0 61384648 2202804224 476309 18446744073709551615 94062072340480 94062074965533 140728881366224 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94062075584408 94062075617370 94062091051008 140728881367455 140728881367559 140728881367559 140728881373161 0
Current children cumulated CPU time: 3099.26 s
Current children cumulated vsize: 2151176 KiB
Current children cumulated memory: 1905236 KiB

[startup+3162.3 s]
/proc/loadavg: 4.07 4.10 4.12 5/254 61318
/proc/meminfo: memFree=121580596/131382120 swapFree=33010160/33010684
[pid=61083] ppid=61079 vsize=2167096 memory=1921236 CPUtime=3159.2 cores=1,3
/proc/61083/stat : 61083 (ipbhs_gurobi) R 61079 61083 60682 0 -1 4194304 744527 0 0 0 305301 10619 0 0 20 0 2 0 61384601 2219106304 480309 18446744073709551615 94062072340480 94062074965533 140728881366224 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94062075584408 94062075617370 94062091051008 140728881367455 140728881367559 140728881367559 140728881373161 0
/proc/61083/statm: 541774 480309 3648 641 0 524257 0
[pid=61083/tid=61109] ppid=61079 vsize=2167096 memory=1896020 CPUtime=5.01 cores=1,3
/proc/61083/task/61109/stat : 61109 (ipbhs_gurobi) S 61079 61083 60682 0 -1 4194368 35 0 0 0 148 353 0 0 20 0 2 0 61384648 2219106304 480309 18446744073709551615 94062072340480 94062074965533 140728881366224 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94062075584408 94062075617370 94062091051008 140728881367455 140728881367559 140728881367559 140728881373161 0
Current children cumulated CPU time: 3159.2 s
Current children cumulated vsize: 2167096 KiB
Current children cumulated memory: 1921236 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.11 4.12 5/254 61320
/proc/meminfo: memFree=121536240/131382120 swapFree=33010160/33010684
[pid=61083] ppid=61079 vsize=2178364 memory=1932500 CPUtime=3219.15 cores=1,3
/proc/61083/stat : 61083 (ipbhs_gurobi) R 61079 61083 60682 0 -1 4194304 747838 0 0 0 311117 10798 0 0 20 0 2 0 61384601 2230644736 483125 18446744073709551615 94062072340480 94062074965533 140728881366224 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94062075584408 94062075617370 94062091051008 140728881367455 140728881367559 140728881367559 140728881373161 0
/proc/61083/statm: 544591 483125 3648 641 0 527074 0
[pid=61083/tid=61109] ppid=61079 vsize=2178364 memory=1896020 CPUtime=5.11 cores=1,3
/proc/61083/task/61109/stat : 61109 (ipbhs_gurobi) S 61079 61083 60682 0 -1 4194368 35 0 0 0 150 361 0 0 20 0 2 0 61384648 2230644736 483125 18446744073709551615 94062072340480 94062074965533 140728881366224 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94062075584408 94062075617370 94062091051008 140728881367455 140728881367559 140728881367559 140728881373161 0
Current children cumulated CPU time: 3219.15 s
Current children cumulated vsize: 2178364 KiB
Current children cumulated memory: 1932500 KiB

[startup+3282.3 s]
/proc/loadavg: 4.04 4.09 4.11 5/253 61321
/proc/meminfo: memFree=113259724/131382120 swapFree=33010160/33010684
[pid=61083] ppid=61079 vsize=2188240 memory=1942356 CPUtime=3279.09 cores=1,3
/proc/61083/stat : 61083 (ipbhs_gurobi) R 61079 61083 60682 0 -1 4194304 750346 0 0 0 316945 10964 0 0 20 0 2 0 61384601 2240757760 485589 18446744073709551615 94062072340480 94062074965533 140728881366224 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94062075584408 94062075617370 94062091051008 140728881367455 140728881367559 140728881367559 140728881373161 0
/proc/61083/statm: 547060 485589 3648 641 0 529543 0
[pid=61083/tid=61109] ppid=61079 vsize=2188240 memory=1939540 CPUtime=5.21 cores=1,3
/proc/61083/task/61109/stat : 61109 (ipbhs_gurobi) S 61079 61083 60682 0 -1 4194368 35 0 0 0 153 368 0 0 20 0 2 0 61384648 2240757760 485589 18446744073709551615 94062072340480 94062074965533 140728881366224 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94062075584408 94062075617370 94062091051008 140728881367455 140728881367559 140728881367559 140728881373161 0
Current children cumulated CPU time: 3279.09 s
Current children cumulated vsize: 2188240 KiB
Current children cumulated memory: 1942356 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.10 4.11 5/254 61326
/proc/meminfo: memFree=114243712/131382120 swapFree=33010160/33010684
[pid=61083] ppid=61079 vsize=2205176 memory=1959252 CPUtime=3339.02 cores=1,3
/proc/61083/stat : 61083 (ipbhs_gurobi) R 61079 61083 60682 0 -1 4194304 755117 0 0 0 322789 11113 0 0 20 0 2 0 61384601 2258100224 489813 18446744073709551615 94062072340480 94062074965533 140728881366224 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94062075584408 94062075617370 94062091051008 140728881367455 140728881367559 140728881367559 140728881373161 0
/proc/61083/statm: 551294 489813 3648 641 0 533777 0
[pid=61083/tid=61109] ppid=61079 vsize=2205176 memory=1957588 CPUtime=5.32 cores=1,3
/proc/61083/task/61109/stat : 61109 (ipbhs_gurobi) S 61079 61083 60682 0 -1 4194368 36 0 0 0 157 375 0 0 20 0 2 0 61384648 2258100224 489813 18446744073709551615 94062072340480 94062074965533 140728881366224 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94062075584408 94062075617370 94062091051008 140728881367455 140728881367559 140728881367559 140728881373161 0
Current children cumulated CPU time: 3339.02 s
Current children cumulated vsize: 2205176 KiB
Current children cumulated memory: 1959252 KiB

[startup+3402.3 s]
/proc/loadavg: 4.20 4.13 4.12 5/254 61332
/proc/meminfo: memFree=114217996/131382120 swapFree=33010160/33010684
[pid=61083] ppid=61079 vsize=2216020 memory=1970132 CPUtime=3398.97 cores=1,3
/proc/61083/stat : 61083 (ipbhs_gurobi) R 61079 61083 60682 0 -1 4194304 758275 0 0 0 328645 11252 0 0 20 0 2 0 61384601 2269204480 492533 18446744073709551615 94062072340480 94062074965533 140728881366224 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94062075584408 94062075617370 94062091051008 140728881367455 140728881367559 140728881367559 140728881373161 0
/proc/61083/statm: 554005 492533 3648 641 0 536488 0
[pid=61083/tid=61109] ppid=61079 vsize=2216020 memory=16336 CPUtime=5.41 cores=1,3
/proc/61083/task/61109/stat : 61109 (ipbhs_gurobi) S 61079 61083 60682 0 -1 4194368 37 0 0 0 160 381 0 0 20 0 2 0 61384648 2269204480 492533 18446744073709551615 94062072340480 94062074965533 140728881366224 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94062075584408 94062075617370 94062091051008 140728881367455 140728881367559 140728881367559 140728881373161 0
Current children cumulated CPU time: 3398.97 s
Current children cumulated vsize: 2216020 KiB
Current children cumulated memory: 1970132 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.12 4.11 5/254 61334
/proc/meminfo: memFree=114171908/131382120 swapFree=33010160/33010684
[pid=61083] ppid=61079 vsize=2226920 memory=1981012 CPUtime=3458.91 cores=1,3
/proc/61083/stat : 61083 (ipbhs_gurobi) R 61079 61083 60682 0 -1 4194304 765913 0 0 0 334502 11389 0 0 20 0 2 0 61384601 2280366080 495253 18446744073709551615 94062072340480 94062074965533 140728881366224 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94062075584408 94062075617370 94062091051008 140728881367455 140728881367559 140728881367559 140728881373161 0
/proc/61083/statm: 556730 495253 3648 641 0 539213 0
[pid=61083/tid=61109] ppid=61079 vsize=2226920 memory=16336 CPUtime=5.51 cores=1,3
/proc/61083/task/61109/stat : 61109 (ipbhs_gurobi) S 61079 61083 60682 0 -1 4194368 37 0 0 0 163 388 0 0 20 0 2 0 61384648 2280366080 495253 18446744073709551615 94062072340480 94062074965533 140728881366224 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94062075584408 94062075617370 94062091051008 140728881367455 140728881367559 140728881367559 140728881373161 0
Current children cumulated CPU time: 3458.91 s
Current children cumulated vsize: 2226920 KiB
Current children cumulated memory: 1981012 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.12 4.11 5/254 61336
/proc/meminfo: memFree=114104952/131382120 swapFree=33010160/33010684
[pid=61083] ppid=61079 vsize=2240700 memory=1994836 CPUtime=3518.85 cores=1,3
/proc/61083/stat : 61083 (ipbhs_gurobi) R 61079 61083 60682 0 -1 4194304 774513 0 0 0 340365 11520 0 0 20 0 2 0 61384601 2294476800 498709 18446744073709551615 94062072340480 94062074965533 140728881366224 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94062075584408 94062075617370 94062091051008 140728881367455 140728881367559 140728881367559 140728881373161 0
/proc/61083/statm: 560175 498709 3648 641 0 542658 0
[pid=61083/tid=61109] ppid=61079 vsize=2240700 memory=1993812 CPUtime=5.61 cores=1,3
/proc/61083/task/61109/stat : 61109 (ipbhs_gurobi) S 61079 61083 60682 0 -1 4194368 38 0 0 0 166 395 0 0 20 0 2 0 61384648 2294476800 498709 18446744073709551615 94062072340480 94062074965533 140728881366224 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94062075584408 94062075617370 94062091051008 140728881367455 140728881367559 140728881367559 140728881373161 0
Current children cumulated CPU time: 3518.85 s
Current children cumulated vsize: 2240700 KiB
Current children cumulated memory: 1994836 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.11 4.10 6/254 61338
/proc/meminfo: memFree=114072504/131382120 swapFree=33010160/33010684
[pid=61083] ppid=61079 vsize=2270096 memory=2024148 CPUtime=3578.78 cores=1,3
/proc/61083/stat : 61083 (ipbhs_gurobi) R 61079 61083 60682 0 -1 4194304 782582 0 0 0 346231 11647 0 0 20 0 2 0 61384601 2324578304 506037 18446744073709551615 94062072340480 94062074965533 140728881366224 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94062075584408 94062075617370 94062091051008 140728881367455 140728881367559 140728881367559 140728881373161 0
/proc/61083/statm: 567524 506037 3648 641 0 550007 0
[pid=61083/tid=61109] ppid=61079 vsize=2270096 memory=16336 CPUtime=5.71 cores=1,3
/proc/61083/task/61109/stat : 61109 (ipbhs_gurobi) S 61079 61083 60682 0 -1 4194368 38 0 0 0 169 402 0 0 20 0 2 0 61384648 2324578304 506037 18446744073709551615 94062072340480 94062074965533 140728881366224 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94062075584408 94062075617370 94062091051008 140728881367455 140728881367559 140728881367559 140728881373161 0
Current children cumulated CPU time: 3578.78 s
Current children cumulated vsize: 2270096 KiB
Current children cumulated memory: 2024148 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3603.6 s]
/proc/loadavg: 4.13 4.12 4.10 4/251 61341
/proc/meminfo: memFree=122576324/131382120 swapFree=33010160/33010684
[pid=61083] ppid=61079 vsize=2284736 memory=2038612 CPUtime=3600.06 cores=1,3
/proc/61083/stat : 61083 (ipbhs_gurobi) R 61079 61083 60682 0 -1 4194304 786397 0 0 0 348316 11690 0 0 20 0 2 0 61384601 2339569664 509653 18446744073709551615 94062072340480 94062074965533 140728881366224 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94062075584408 94062075617370 94062091051008 140728881367455 140728881367559 140728881367559 140728881373161 0
/proc/61083/statm: 571184 509653 3648 641 0 553667 0
[pid=61083/tid=61109] ppid=61079 vsize=2284736 memory=2038100 CPUtime=5.74 cores=1,3
/proc/61083/task/61109/stat : 61109 (ipbhs_gurobi) S 61079 61083 60682 0 -1 4194368 38 0 0 0 170 404 0 0 20 0 2 0 61384648 2339569664 509653 18446744073709551615 94062072340480 94062074965533 140728881366224 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94062075584408 94062075617370 94062091051008 140728881367455 140728881367559 140728881367559 140728881373161 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 2284736 KiB
Current children cumulated memory: 2038612 KiB

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

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

# cumulated CPU time of all completed processes:  user=3483.17 s, system=116.931 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): 3603.63
CPU time (s): 3600.1
CPU user time (s): 3483.17
CPU system time (s): 116.931
CPU usage (%): 99.9019
Max. virtual memory (cumulated for all children) (KiB): 2284736
Max. memory (cumulated for all children) (KiB): 2038612

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3483.17
system time used= 116.931
maximum resident set size= 2038612
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 786397
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= 356769
involuntary context switches= 5724


# summary of solver processes directly reported to runsolver:
#   pid: 61083
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3483.17
#   total CPU system time (s): 116.931

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.354 second user time and 35.0558 second system time

The end

Launcher Data 

Begin job on nodeC008 at 2025-07-02 13:50:54
IDJOB=4503958
IDBENCH=155622
IDSOLVER=3333
FILE ID=nodeC008/4503958-1751457054
RUNJOBID= nodeC008-1751453447-60694
SLURM_JOB_ID= 9598441
Free space on /tmp= 432660 MiB

SOLVER NAME= IPBHS-GUROBI 2025-06-09
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat85_4_27_8.opb
COMMAND LINE= ./ipbhs_gurobi BENCHNAME --max-coef 1000000000
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4503958-1751457054/watcher-4503958-1751457054 -o /tmp/evaluation-result-4503958-1751457054/solver-4503958-1751457054 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751453447-60694 --watchdog 3760  ./ipbhs_gurobi HOME/instance-4503958-1751457054.opb --max-coef 1000000000

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

MD5SUM BENCH= b05c4b33f96fbb61e1d4ec7dd116fd00
RANDOM SEED=1247890553

nodeC008 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		: 3658.464
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.72
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.325
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.72
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.235
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.72
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		: 1396.766
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.72
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		: 1496.509
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.72
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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

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


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        125649820 kB
MemAvailable:   126625388 kB
Buffers:            2144 kB
Cached:          1772448 kB
SwapCached:           16 kB
Active:          3589512 kB
Inactive:        1542356 kB
Active(anon):    3338568 kB
Inactive(anon):    36628 kB
Active(file):     250944 kB
Inactive(file):  1505728 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            120752 kB
Writeback:             0 kB
AnonPages:       3359092 kB
Mapped:           114792 kB
Shmem:             17920 kB
KReclaimable:     117048 kB
Slab:             200716 kB
SReclaimable:     117048 kB
SUnreclaim:        83668 kB
KernelStack:        3936 kB
PageTables:         9484 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:    4691992 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149352 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2406400 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      181064 kB
DirectMap2M:     9158656 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432588 MiB
End job on nodeC008 at 2025-07-02 14:50:59