Trace number 4489169

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
IPBHS-GUROBI-SYM 2025-06-09? (TO) 3600.09 3609.92

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_19.opb.PB06.opb
MD5SUM8940813d27fb075f4739eb458e093f9a
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark176
Best CPU time to get the best result obtained on this benchmark3585.46
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables467
Total number of constraints466
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints466
Minimum length of a constraint3
Maximum length of a constraint15
Number of terms in the objective function 467
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 467
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 467
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4489169-1751333058/watcher-4489169-1751333058 -o /tmp/evaluation-result-4489169-1751333058/solver-4489169-1751333058 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751325835-43517 --watchdog 3760 ./ipbhs_gurobi --sym-cores-compact HOME/instance-4489169-1751333058.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=45970, runsolver pid=45967

[startup+0.100066 s]*
/proc/loadavg: 4.07 4.09 4.09 5/268 45971
/proc/meminfo: memFree=128747820/131249988 swapFree=33010684/33010684
[pid=45970] ppid=45967 vsize=1910744 memory=396300 CPUtime=0.08 cores=1,3
/proc/45970/stat : 45970 (ipbhs_gurobi) R 45967 45970 43505 0 -1 4194304 1056 0 0 0 1 7 0 0 20 0 1 0 48984707 1956601856 99075 18446744073709551615 94881974501376 94881977126429 140724482849344 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94881977745304 94881977778266 94882006880256 140724482857355 140724482857479 140724482857479 140724482863081 0
/proc/45970/statm: 477686 99075 1632 641 0 462443 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 1910744 KiB
Current children cumulated memory: 396300 KiB

[startup+0.205547 s]*
/proc/loadavg: 4.07 4.09 4.09 5/268 45971
/proc/meminfo: memFree=128297008/131249988 swapFree=33010684/33010684
[pid=45970] ppid=45967 vsize=1910744 memory=865292 CPUtime=0.18 cores=1,3
/proc/45970/stat : 45970 (ipbhs_gurobi) R 45967 45970 43505 0 -1 4194304 1285 0 0 0 2 16 0 0 20 0 1 0 48984707 1956601856 216323 18446744073709551615 94881974501376 94881977126429 140724482849344 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94881977745304 94881977778266 94882006880256 140724482857355 140724482857479 140724482857479 140724482863081 0
/proc/45970/statm: 477686 216323 1632 641 0 462443 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 1910744 KiB
Current children cumulated memory: 865292 KiB

[startup+0.30559 s]*
/proc/loadavg: 4.07 4.09 4.09 5/268 45971
/proc/meminfo: memFree=127853128/131249988 swapFree=33010684/33010684
[pid=45970] ppid=45967 vsize=1910744 memory=1309708 CPUtime=0.28 cores=1,3
/proc/45970/stat : 45970 (ipbhs_gurobi) R 45967 45970 43505 0 -1 4194304 1502 0 0 0 4 24 0 0 20 0 1 0 48984707 1956601856 327427 18446744073709551615 94881974501376 94881977126429 140724482849344 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94881977745304 94881977778266 94882006880256 140724482857355 140724482857479 140724482857479 140724482863081 0
/proc/45970/statm: 477686 327427 1632 641 0 462443 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 1910744 KiB
Current children cumulated memory: 1309708 KiB

[startup+0.700116 s]
/proc/loadavg: 4.07 4.09 4.09 5/269 45972
/proc/meminfo: memFree=127290216/131249988 swapFree=33010684/33010684
[pid=45970] ppid=45967 vsize=1941608 memory=1867368 CPUtime=0.67 cores=1,3
/proc/45970/stat : 45970 (ipbhs_gurobi) R 45967 45970 43505 0 -1 4194304 4606 0 0 0 32 35 0 0 20 0 2 0 48984707 1988206592 466842 18446744073709551615 94881974501376 94881977126429 140724482849344 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94881977745304 94881977778266 94882006880256 140724482857355 140724482857479 140724482857479 140724482863081 0
/proc/45970/statm: 485402 466842 3744 641 0 467885 0
[pid=45970/tid=45972] ppid=45967 vsize=1941608 memory=10624 CPUtime=0 cores=1,3
/proc/45970/task/45972/stat : 45972 (ipbhs_gurobi) S 45967 45970 43505 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 2 0 48984751 1988206592 466842 18446744073709551615 94881974501376 94881977126429 140724482849344 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94881977745304 94881977778266 94882006880256 140724482857355 140724482857479 140724482857479 140724482863081 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 1941608 KiB
Current children cumulated memory: 1867368 KiB

[startup+1.50011 s]
/proc/loadavg: 4.07 4.09 4.09 5/269 45972
/proc/meminfo: memFree=127282420/131249988 swapFree=33010684/33010684
[pid=45970] ppid=45967 vsize=1941608 memory=1868648 CPUtime=1.47 cores=1,3
/proc/45970/stat : 45970 (ipbhs_gurobi) R 45967 45970 43505 0 -1 4194304 4897 0 0 0 112 35 0 0 20 0 2 0 48984707 1988206592 467162 18446744073709551615 94881974501376 94881977126429 140724482849344 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94881977745304 94881977778266 94882006880256 140724482857355 140724482857479 140724482857479 140724482863081 0
/proc/45970/statm: 485402 467162 3776 641 0 467885 0
[pid=45970/tid=45972] ppid=45967 vsize=1941608 memory=10624 CPUtime=0 cores=1,3
/proc/45970/task/45972/stat : 45972 (ipbhs_gurobi) S 45967 45970 43505 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 2 0 48984751 1988206592 467162 18446744073709551615 94881974501376 94881977126429 140724482849344 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94881977745304 94881977778266 94882006880256 140724482857355 140724482857479 140724482857479 140724482863081 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 1941608 KiB
Current children cumulated memory: 1868648 KiB

[startup+3.1051 s]
/proc/loadavg: 4.07 4.09 4.09 5/269 45972
/proc/meminfo: memFree=127282692/131249988 swapFree=33010684/33010684
[pid=45970] ppid=45967 vsize=1941780 memory=1869096 CPUtime=3.08 cores=1,3
/proc/45970/stat : 45970 (ipbhs_gurobi) R 45967 45970 43505 0 -1 4194304 8995 0 0 0 272 36 0 0 20 0 2 0 48984707 1988382720 467274 18446744073709551615 94881974501376 94881977126429 140724482849344 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94881977745304 94881977778266 94882006880256 140724482857355 140724482857479 140724482857479 140724482863081 0
/proc/45970/statm: 485445 467274 3808 641 0 467928 0
[pid=45970/tid=45972] ppid=45967 vsize=1941780 memory=10624 CPUtime=0 cores=1,3
/proc/45970/task/45972/stat : 45972 (ipbhs_gurobi) S 45967 45970 43505 0 -1 4194368 5 0 0 0 0 0 0 0 20 0 2 0 48984751 1988382720 467274 18446744073709551615 94881974501376 94881977126429 140724482849344 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94881977745304 94881977778266 94882006880256 140724482857355 140724482857479 140724482857479 140724482863081 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 1941780 KiB
Current children cumulated memory: 1869096 KiB

[startup+6.30011 s]
/proc/loadavg: 4.06 4.08 4.09 5/269 45972
/proc/meminfo: memFree=127280944/131249988 swapFree=33010684/33010684
[pid=45970] ppid=45967 vsize=1941780 memory=1869628 CPUtime=6.26 cores=1,3
/proc/45970/stat : 45970 (ipbhs_gurobi) R 45967 45970 43505 0 -1 4194304 16508 0 0 0 590 36 0 0 20 0 2 0 48984707 1988382720 467407 18446744073709551615 94881974501376 94881977126429 140724482849344 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94881977745304 94881977778266 94882006880256 140724482857355 140724482857479 140724482857479 140724482863081 0
/proc/45970/statm: 485445 467407 3808 641 0 467928 0
[pid=45970/tid=45972] ppid=45967 vsize=1941780 memory=0 CPUtime=0 cores=1,3
/proc/45970/task/45972/stat : 45972 (ipbhs_gurobi) S 45967 45970 43505 0 -1 4194368 9 0 0 0 0 0 0 0 20 0 2 0 48984751 1988382720 467407 18446744073709551615 94881974501376 94881977126429 140724482849344 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94881977745304 94881977778266 94882006880256 140724482857355 140724482857479 140724482857479 140724482863081 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 1941780 KiB
Current children cumulated memory: 1869628 KiB

[startup+12.7001 s]
/proc/loadavg: 4.06 4.08 4.09 5/269 45972
/proc/meminfo: memFree=127280952/131249988 swapFree=33010684/33010684
[pid=45970] ppid=45967 vsize=1942784 memory=1870652 CPUtime=12.64 cores=1,3
/proc/45970/stat : 45970 (ipbhs_gurobi) R 45967 45970 43505 0 -1 4194304 22507 0 0 0 1228 36 0 0 20 0 2 0 48984707 1989410816 467663 18446744073709551615 94881974501376 94881977126429 140724482849344 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94881977745304 94881977778266 94882006880256 140724482857355 140724482857479 140724482857479 140724482863081 0
/proc/45970/statm: 485696 467663 3808 641 0 468179 0
[pid=45970/tid=45972] ppid=45967 vsize=1942784 memory=18304 CPUtime=0 cores=1,3
/proc/45970/task/45972/stat : 45972 (ipbhs_gurobi) S 45967 45970 43505 0 -1 4194368 12 0 0 0 0 0 0 0 20 0 2 0 48984751 1989410816 467663 18446744073709551615 94881974501376 94881977126429 140724482849344 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94881977745304 94881977778266 94882006880256 140724482857355 140724482857479 140724482857479 140724482863081 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1942784 KiB
Current children cumulated memory: 1870652 KiB

[startup+25.5001 s]
/proc/loadavg: 4.05 4.08 4.09 5/269 46018
/proc/meminfo: memFree=127388708/131249988 swapFree=33010684/33010684
[pid=45970] ppid=45967 vsize=1944940 memory=1871844 CPUtime=25.4 cores=1,3
/proc/45970/stat : 45970 (ipbhs_gurobi) R 45967 45970 43505 0 -1 4194304 29504 0 0 0 2503 37 0 0 20 0 2 0 48984707 1991618560 467961 18446744073709551615 94881974501376 94881977126429 140724482849344 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94881977745304 94881977778266 94882006880256 140724482857355 140724482857479 140724482857479 140724482863081 0
/proc/45970/statm: 486235 467961 3808 641 0 468718 0
[pid=45970/tid=45972] ppid=45967 vsize=1944940 memory=1870692 CPUtime=0 cores=1,3
/proc/45970/task/45972/stat : 45972 (ipbhs_gurobi) S 45967 45970 43505 0 -1 4194368 14 0 0 0 0 0 0 0 20 0 2 0 48984751 1991618560 467961 18446744073709551615 94881974501376 94881977126429 140724482849344 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94881977745304 94881977778266 94882006880256 140724482857355 140724482857479 140724482857479 140724482863081 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 1944940 KiB
Current children cumulated memory: 1871844 KiB

[startup+51.1044 s]
/proc/loadavg: 4.09 4.09 4.09 5/269 46111
/proc/meminfo: memFree=127619652/131249988 swapFree=33010684/33010684
[pid=45970] ppid=45967 vsize=1961488 memory=1886140 CPUtime=50.94 cores=1,3
/proc/45970/stat : 45970 (ipbhs_gurobi) R 45967 45970 43505 0 -1 4194304 53529 0 0 0 5053 41 0 0 20 0 2 0 48984707 2008563712 471535 18446744073709551615 94881974501376 94881977126429 140724482849344 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94881977745304 94881977778266 94882006880256 140724482857355 140724482857479 140724482857479 140724482863081 0
/proc/45970/statm: 490372 471535 3808 641 0 472855 0
[pid=45970/tid=45972] ppid=45967 vsize=1961488 memory=14444 CPUtime=0 cores=1,3
/proc/45970/task/45972/stat : 45972 (ipbhs_gurobi) S 45967 45970 43505 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 2 0 48984751 2008563712 471535 18446744073709551615 94881974501376 94881977126429 140724482849344 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94881977745304 94881977778266 94882006880256 140724482857355 140724482857479 140724482857479 140724482863081 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 1961488 KiB
Current children cumulated memory: 1886140 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/269 46113
/proc/meminfo: memFree=127536864/131249988 swapFree=33010684/33010684
[pid=45970] ppid=45967 vsize=1961488 memory=1888188 CPUtime=101.99 cores=1,3
/proc/45970/stat : 45970 (ipbhs_gurobi) R 45967 45970 43505 0 -1 4194304 56523 0 0 0 10157 42 0 0 20 0 2 0 48984707 2008563712 472047 18446744073709551615 94881974501376 94881977126429 140724482849344 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94881977745304 94881977778266 94882006880256 140724482857355 140724482857479 140724482857479 140724482863081 0
/proc/45970/statm: 490372 472047 3808 641 0 472855 0
[pid=45970/tid=45972] ppid=45967 vsize=1961488 memory=1888188 CPUtime=0 cores=1,3
/proc/45970/task/45972/stat : 45972 (ipbhs_gurobi) S 45967 45970 43505 0 -1 4194368 20 0 0 0 0 0 0 0 20 0 2 0 48984751 2008563712 472047 18446744073709551615 94881974501376 94881977126429 140724482849344 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94881977745304 94881977778266 94882006880256 140724482857355 140724482857479 140724482857479 140724482863081 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 1961488 KiB
Current children cumulated memory: 1888188 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/269 46115
/proc/meminfo: memFree=127543616/131249988 swapFree=33010684/33010684
[pid=45970] ppid=45967 vsize=1961492 memory=1888188 CPUtime=161.83 cores=1,3
/proc/45970/stat : 45970 (ipbhs_gurobi) R 45967 45970 43505 0 -1 4194304 56629 0 0 0 16141 42 0 0 20 0 2 0 48984707 2008567808 472047 18446744073709551615 94881974501376 94881977126429 140724482849344 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94881977745304 94881977778266 94882006880256 140724482857355 140724482857479 140724482857479 140724482863081 0
/proc/45970/statm: 490373 472047 3808 641 0 472856 0
[pid=45970/tid=45972] ppid=45967 vsize=1961492 memory=1888188 CPUtime=0.01 cores=1,3
/proc/45970/task/45972/stat : 45972 (ipbhs_gurobi) S 45967 45970 43505 0 -1 4194368 21 0 0 0 0 1 0 0 20 0 2 0 48984751 2008567808 472047 18446744073709551615 94881974501376 94881977126429 140724482849344 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94881977745304 94881977778266 94882006880256 140724482857355 140724482857479 140724482857479 140724482863081 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 1961492 KiB
Current children cumulated memory: 1888188 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/269 46117
/proc/meminfo: memFree=127541504/131249988 swapFree=33010684/33010684
[pid=45970] ppid=45967 vsize=1963268 memory=1890364 CPUtime=221.67 cores=1,3
/proc/45970/stat : 45970 (ipbhs_gurobi) R 45967 45970 43505 0 -1 4194304 58398 0 0 0 22124 43 0 0 20 0 2 0 48984707 2010386432 472591 18446744073709551615 94881974501376 94881977126429 140724482849344 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94881977745304 94881977778266 94882006880256 140724482857355 140724482857479 140724482857479 140724482863081 0
/proc/45970/statm: 490817 472591 3808 641 0 473300 0
[pid=45970/tid=45972] ppid=45967 vsize=1963268 memory=18304 CPUtime=0.02 cores=1,3
/proc/45970/task/45972/stat : 45972 (ipbhs_gurobi) S 45967 45970 43505 0 -1 4194368 24 0 0 0 1 1 0 0 20 0 2 0 48984751 2010386432 472591 18446744073709551615 94881974501376 94881977126429 140724482849344 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94881977745304 94881977778266 94882006880256 140724482857355 140724482857479 140724482857479 140724482863081 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 1963268 KiB
Current children cumulated memory: 1890364 KiB

[startup+282.3 s]
/proc/loadavg: 4.23 4.12 4.10 5/269 46119
/proc/meminfo: memFree=127554248/131249988 swapFree=33010684/33010684
[pid=45970] ppid=45967 vsize=1969852 memory=1897020 CPUtime=281.5 cores=1,3
/proc/45970/stat : 45970 (ipbhs_gurobi) R 45967 45970 43505 0 -1 4194304 64887 0 0 0 28106 44 0 0 20 0 2 0 48984707 2017128448 474255 18446744073709551615 94881974501376 94881977126429 140724482849344 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94881977745304 94881977778266 94882006880256 140724482857355 140724482857479 140724482857479 140724482863081 0
/proc/45970/statm: 492463 474255 3808 641 0 474946 0
[pid=45970/tid=45972] ppid=45967 vsize=1969852 memory=1894460 CPUtime=0.03 cores=1,3
/proc/45970/task/45972/stat : 45972 (ipbhs_gurobi) S 45967 45970 43505 0 -1 4194368 29 0 0 0 1 2 0 0 20 0 2 0 48984751 2017128448 474255 18446744073709551615 94881974501376 94881977126429 140724482849344 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94881977745304 94881977778266 94882006880256 140724482857355 140724482857479 140724482857479 140724482863081 0
Current children cumulated CPU time: 281.5 s
Current children cumulated vsize: 1969852 KiB
Current children cumulated memory: 1897020 KiB

[startup+342.3 s]
/proc/loadavg: 4.30 4.17 4.12 5/269 46120
/proc/meminfo: memFree=127527136/131249988 swapFree=33010684/33010684
[pid=45970] ppid=45967 vsize=1976024 memory=1903292 CPUtime=341.34 cores=1,3

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

/proc/meminfo: memFree=126239808/131249988 swapFree=33010684/33010684
[pid=45970] ppid=45967 vsize=2281512 memory=2208060 CPUtime=3033.97 cores=1,3
/proc/45970/stat : 45970 (ipbhs_gurobi) R 45967 45970 43505 0 -1 4194304 904425 0 0 0 303237 160 0 0 20 0 2 0 48984707 2336268288 552015 18446744073709551615 94881974501376 94881977126429 140724482849344 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94881977745304 94881977778266 94882006880256 140724482857355 140724482857479 140724482857479 140724482863081 0
/proc/45970/statm: 570378 552015 3808 641 0 552861 0
[pid=45970/tid=45972] ppid=45967 vsize=2281512 memory=18304 CPUtime=0.36 cores=1,3
/proc/45970/task/45972/stat : 45972 (ipbhs_gurobi) S 45967 45970 43505 0 -1 4194368 151 0 0 0 11 25 0 0 20 0 2 0 48984751 2336268288 552015 18446744073709551615 94881974501376 94881977126429 140724482849344 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94881977745304 94881977778266 94882006880256 140724482857355 140724482857479 140724482857479 140724482863081 0
Current children cumulated CPU time: 3033.97 s
Current children cumulated vsize: 2281512 KiB
Current children cumulated memory: 2208060 KiB

[startup+3102.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/268 46266
/proc/meminfo: memFree=126207672/131249988 swapFree=33010684/33010684
[pid=45970] ppid=45967 vsize=2290264 memory=2216764 CPUtime=3093.81 cores=1,3
/proc/45970/stat : 45970 (ipbhs_gurobi) R 45967 45970 43505 0 -1 4194304 926253 0 0 0 309218 163 0 0 20 0 2 0 48984707 2345230336 554191 18446744073709551615 94881974501376 94881977126429 140724482849344 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94881977745304 94881977778266 94882006880256 140724482857355 140724482857479 140724482857479 140724482863081 0
/proc/45970/statm: 572566 554191 3808 641 0 555049 0
[pid=45970/tid=45972] ppid=45967 vsize=2290264 memory=2216764 CPUtime=0.37 cores=1,3
/proc/45970/task/45972/stat : 45972 (ipbhs_gurobi) S 45967 45970 43505 0 -1 4194368 152 0 0 0 12 25 0 0 20 0 2 0 48984751 2345230336 554191 18446744073709551615 94881974501376 94881977126429 140724482849344 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94881977745304 94881977778266 94882006880256 140724482857355 140724482857479 140724482857479 140724482863081 0
Current children cumulated CPU time: 3093.81 s
Current children cumulated vsize: 2290264 KiB
Current children cumulated memory: 2216764 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/268 46268
/proc/meminfo: memFree=126177784/131249988 swapFree=33010684/33010684
[pid=45970] ppid=45967 vsize=2296940 memory=2223420 CPUtime=3153.65 cores=1,3
/proc/45970/stat : 45970 (ipbhs_gurobi) R 45967 45970 43505 0 -1 4194304 938918 0 0 0 315200 165 0 0 20 0 2 0 48984707 2352066560 555855 18446744073709551615 94881974501376 94881977126429 140724482849344 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94881977745304 94881977778266 94882006880256 140724482857355 140724482857479 140724482857479 140724482863081 0
/proc/45970/statm: 574235 555855 3808 641 0 556718 0
[pid=45970/tid=45972] ppid=45967 vsize=2296940 memory=2223292 CPUtime=0.38 cores=1,3
/proc/45970/task/45972/stat : 45972 (ipbhs_gurobi) S 45967 45970 43505 0 -1 4194368 154 0 0 0 12 26 0 0 20 0 2 0 48984751 2352066560 555855 18446744073709551615 94881974501376 94881977126429 140724482849344 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94881977745304 94881977778266 94882006880256 140724482857355 140724482857479 140724482857479 140724482863081 0
Current children cumulated CPU time: 3153.65 s
Current children cumulated vsize: 2296940 KiB
Current children cumulated memory: 2223420 KiB

[startup+3222.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/268 46270
/proc/meminfo: memFree=126098880/131249988 swapFree=33010684/33010684
[pid=45970] ppid=45967 vsize=2308588 memory=2233268 CPUtime=3213.49 cores=1,3
/proc/45970/stat : 45970 (ipbhs_gurobi) R 45967 45970 43505 0 -1 4194304 958464 0 0 0 321181 168 0 0 20 0 2 0 48984707 2363994112 558317 18446744073709551615 94881974501376 94881977126429 140724482849344 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94881977745304 94881977778266 94882006880256 140724482857355 140724482857479 140724482857479 140724482863081 0
/proc/45970/statm: 577147 558317 3808 641 0 559630 0
[pid=45970/tid=45972] ppid=45967 vsize=2308588 memory=2224060 CPUtime=0.38 cores=1,3
/proc/45970/task/45972/stat : 45972 (ipbhs_gurobi) S 45967 45970 43505 0 -1 4194368 159 0 0 0 12 26 0 0 20 0 2 0 48984751 2363994112 558317 18446744073709551615 94881974501376 94881977126429 140724482849344 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94881977745304 94881977778266 94882006880256 140724482857355 140724482857479 140724482857479 140724482863081 0
Current children cumulated CPU time: 3213.49 s
Current children cumulated vsize: 2308588 KiB
Current children cumulated memory: 2233268 KiB

[startup+3282.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/267 46272
/proc/meminfo: memFree=126091964/131249988 swapFree=33010684/33010684
[pid=45970] ppid=45967 vsize=2312180 memory=2236980 CPUtime=3273.33 cores=1,3
/proc/45970/stat : 45970 (ipbhs_gurobi) R 45967 45970 43505 0 -1 4194304 984898 0 0 0 327161 172 0 0 20 0 2 0 48984707 2367672320 559245 18446744073709551615 94881974501376 94881977126429 140724482849344 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94881977745304 94881977778266 94882006880256 140724482857355 140724482857479 140724482857479 140724482863081 0
/proc/45970/statm: 578045 559245 3808 641 0 560528 0
[pid=45970/tid=45972] ppid=45967 vsize=2312180 memory=14444 CPUtime=0.39 cores=1,3
/proc/45970/task/45972/stat : 45972 (ipbhs_gurobi) S 45967 45970 43505 0 -1 4194368 163 0 0 0 12 27 0 0 20 0 2 0 48984751 2367672320 559245 18446744073709551615 94881974501376 94881977126429 140724482849344 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94881977745304 94881977778266 94882006880256 140724482857355 140724482857479 140724482857479 140724482863081 0
Current children cumulated CPU time: 3273.33 s
Current children cumulated vsize: 2312180 KiB
Current children cumulated memory: 2236980 KiB

[startup+3342.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/267 46274
/proc/meminfo: memFree=126070952/131249988 swapFree=33010684/33010684
[pid=45970] ppid=45967 vsize=2319552 memory=2244020 CPUtime=3333.18 cores=1,3
/proc/45970/stat : 45970 (ipbhs_gurobi) R 45967 45970 43505 0 -1 4194304 1016011 0 0 0 333142 176 0 0 20 0 2 0 48984707 2375221248 561005 18446744073709551615 94881974501376 94881977126429 140724482849344 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94881977745304 94881977778266 94882006880256 140724482857355 140724482857479 140724482857479 140724482863081 0
/proc/45970/statm: 579888 561005 3808 641 0 562371 0
[pid=45970/tid=45972] ppid=45967 vsize=2319552 memory=2243892 CPUtime=0.39 cores=1,3
/proc/45970/task/45972/stat : 45972 (ipbhs_gurobi) S 45967 45970 43505 0 -1 4194368 171 0 0 0 12 27 0 0 20 0 2 0 48984751 2375221248 561005 18446744073709551615 94881974501376 94881977126429 140724482849344 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94881977745304 94881977778266 94882006880256 140724482857355 140724482857479 140724482857479 140724482863081 0
Current children cumulated CPU time: 3333.18 s
Current children cumulated vsize: 2319552 KiB
Current children cumulated memory: 2244020 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/267 46276
/proc/meminfo: memFree=126050196/131249988 swapFree=33010684/33010684
[pid=45970] ppid=45967 vsize=2326296 memory=2251316 CPUtime=3393.01 cores=1,3
/proc/45970/stat : 45970 (ipbhs_gurobi) R 45967 45970 43505 0 -1 4194304 1033354 0 0 0 339123 178 0 0 20 0 2 0 48984707 2382127104 562829 18446744073709551615 94881974501376 94881977126429 140724482849344 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94881977745304 94881977778266 94882006880256 140724482857355 140724482857479 140724482857479 140724482863081 0
/proc/45970/statm: 581574 562829 3808 641 0 564057 0
[pid=45970/tid=45972] ppid=45967 vsize=2326296 memory=2243892 CPUtime=0.41 cores=1,3
/proc/45970/task/45972/stat : 45972 (ipbhs_gurobi) S 45967 45970 43505 0 -1 4194368 171 0 0 0 13 28 0 0 20 0 2 0 48984751 2382127104 562829 18446744073709551615 94881974501376 94881977126429 140724482849344 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94881977745304 94881977778266 94882006880256 140724482857355 140724482857479 140724482857479 140724482863081 0
Current children cumulated CPU time: 3393.01 s
Current children cumulated vsize: 2326296 KiB
Current children cumulated memory: 2251316 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/267 46278
/proc/meminfo: memFree=126026584/131249988 swapFree=33010684/33010684
[pid=45970] ppid=45967 vsize=2336624 memory=2262068 CPUtime=3452.86 cores=1,3
/proc/45970/stat : 45970 (ipbhs_gurobi) R 45967 45970 43505 0 -1 4194304 1059309 0 0 0 345104 182 0 0 20 0 2 0 48984707 2392702976 565517 18446744073709551615 94881974501376 94881977126429 140724482849344 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94881977745304 94881977778266 94882006880256 140724482857355 140724482857479 140724482857479 140724482863081 0
/proc/45970/statm: 584156 565517 3808 641 0 566639 0
[pid=45970/tid=45972] ppid=45967 vsize=2336624 memory=2243892 CPUtime=0.41 cores=1,3
/proc/45970/task/45972/stat : 45972 (ipbhs_gurobi) S 45967 45970 43505 0 -1 4194368 176 0 0 0 13 28 0 0 20 0 2 0 48984751 2392702976 565517 18446744073709551615 94881974501376 94881977126429 140724482849344 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94881977745304 94881977778266 94882006880256 140724482857355 140724482857479 140724482857479 140724482863081 0
Current children cumulated CPU time: 3452.86 s
Current children cumulated vsize: 2336624 KiB
Current children cumulated memory: 2262068 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/267 46283
/proc/meminfo: memFree=126008920/131249988 swapFree=33010684/33010684
[pid=45970] ppid=45967 vsize=2339520 memory=2264244 CPUtime=3512.7 cores=1,3
/proc/45970/stat : 45970 (ipbhs_gurobi) R 45967 45970 43505 0 -1 4194304 1078325 0 0 0 351085 185 0 0 20 0 2 0 48984707 2395668480 566061 18446744073709551615 94881974501376 94881977126429 140724482849344 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94881977745304 94881977778266 94882006880256 140724482857355 140724482857479 140724482857479 140724482863081 0
/proc/45970/statm: 584880 566061 3808 641 0 567363 0
[pid=45970/tid=45972] ppid=45967 vsize=2339520 memory=2262196 CPUtime=0.42 cores=1,3
/proc/45970/task/45972/stat : 45972 (ipbhs_gurobi) S 45967 45970 43505 0 -1 4194368 178 0 0 0 13 29 0 0 20 0 2 0 48984751 2395668480 566061 18446744073709551615 94881974501376 94881977126429 140724482849344 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94881977745304 94881977778266 94882006880256 140724482857355 140724482857479 140724482857479 140724482863081 0
Current children cumulated CPU time: 3512.7 s
Current children cumulated vsize: 2339520 KiB
Current children cumulated memory: 2264244 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/268 46290
/proc/meminfo: memFree=125959464/131249988 swapFree=33010684/33010684
[pid=45970] ppid=45967 vsize=2346424 memory=2270644 CPUtime=3572.54 cores=1,3
/proc/45970/stat : 45970 (ipbhs_gurobi) R 45967 45970 43505 0 -1 4194304 1090702 0 0 0 357066 188 0 0 20 0 2 0 48984707 2402738176 567661 18446744073709551615 94881974501376 94881977126429 140724482849344 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94881977745304 94881977778266 94882006880256 140724482857355 140724482857479 140724482857479 140724482863081 0
/proc/45970/statm: 586606 567661 3808 641 0 569089 0
[pid=45970/tid=45972] ppid=45967 vsize=2346424 memory=2270644 CPUtime=0.43 cores=1,3
/proc/45970/task/45972/stat : 45972 (ipbhs_gurobi) S 45967 45970 43505 0 -1 4194368 178 0 0 0 13 30 0 0 20 0 2 0 48984751 2402738176 567661 18446744073709551615 94881974501376 94881977126429 140724482849344 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94881977745304 94881977778266 94882006880256 140724482857355 140724482857479 140724482857479 140724482863081 0
Current children cumulated CPU time: 3572.54 s
Current children cumulated vsize: 2346424 KiB
Current children cumulated memory: 2270644 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.9 s]
/proc/loadavg: 4.07 4.08 4.09 5/268 46292
/proc/meminfo: memFree=125928088/131249988 swapFree=33010684/33010684
[pid=45970] ppid=45967 vsize=2349352 memory=2274612 CPUtime=3600.07 cores=1,3
/proc/45970/stat : 45970 (ipbhs_gurobi) R 45967 45970 43505 0 -1 4194304 1094310 0 0 0 359818 189 0 0 20 0 2 0 48984707 2405736448 568653 18446744073709551615 94881974501376 94881977126429 140724482849344 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94881977745304 94881977778266 94882006880256 140724482857355 140724482857479 140724482857479 140724482863081 0
/proc/45970/statm: 587338 568653 3808 641 0 569821 0
[pid=45970/tid=45972] ppid=45967 vsize=2349352 memory=2274612 CPUtime=0.43 cores=1,3
/proc/45970/task/45972/stat : 45972 (ipbhs_gurobi) S 45967 45970 43505 0 -1 4194368 178 0 0 0 13 30 0 0 20 0 2 0 48984751 2405736448 568653 18446744073709551615 94881974501376 94881977126429 140724482849344 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94881977745304 94881977778266 94882006880256 140724482857355 140724482857479 140724482857479 140724482863081 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 2349352 KiB
Current children cumulated memory: 2274612 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.19 s, system=1.90713 s

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

[startup+3609.9 s]
/proc/loadavg: 4.07 4.08 4.09 5/268 46292
/proc/meminfo: memFree=125928088/131249988 swapFree=33010684/33010684
[pid=45970] ppid=45967 vsize=2349352 memory=2274612 CPUtime=3600.07 cores=1,3
/proc/45970/stat : 45970 (ipbhs_gurobi) R 45967 45970 43505 0 -1 4194304 1094310 0 0 0 359818 189 0 0 20 0 2 0 48984707 2405736448 568653 18446744073709551615 94881974501376 94881977126429 140724482849344 0 0 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 94881977745304 94881977778266 94882006880256 140724482857355 140724482857479 140724482857479 140724482863081 0
/proc/45970/statm: 587338 568653 3808 641 0 569821 0
[pid=45970/tid=45972] ppid=45967 vsize=2349352 memory=2274612 CPUtime=0.43 cores=1,3
/proc/45970/task/45972/stat : 45972 (ipbhs_gurobi) S 45967 45970 43505 0 -1 4194368 178 0 0 0 13 30 0 0 20 0 2 0 48984751 2405736448 568653 18446744073709551615 94881974501376 94881977126429 140724482849344 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 94881977745304 94881977778266 94882006880256 140724482857355 140724482857479 140724482857479 140724482863081 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 2349352 KiB
Current children cumulated memory: 2274612 KiB

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3609.92
CPU time (s): 3600.09
CPU user time (s): 3598.19
CPU system time (s): 1.90713
CPU usage (%): 99.7278
Max. virtual memory (cumulated for all children) (KiB): 2349352
Max. memory (cumulated for all children) (KiB): 2274612

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.19
system time used= 1.90713
maximum resident set size= 2274612
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1094311
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= 359229
involuntary context switches= 4105


# summary of solver processes directly reported to runsolver:
#   pid: 45970
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3598.19
#   total CPU system time (s): 1.90713

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.10354 second user time and 11.4029 second system time

The end

Launcher Data 

Begin job on nodeC034 at 2025-07-01 03:24:18
IDJOB=4489169
IDBENCH=147542
IDSOLVER=3334
FILE ID=nodeC034/4489169-1751333058
RUNJOBID= nodeC034-1751325835-43517
SLURM_JOB_ID= 9594354
Free space on /tmp= 432880 MiB

SOLVER NAME= IPBHS-GUROBI-SYM 2025-06-09
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_19.opb.PB06.opb
COMMAND LINE= ./ipbhs_gurobi --sym-cores-compact BENCHNAME --max-coef 1000000000
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4489169-1751333058/watcher-4489169-1751333058 -o /tmp/evaluation-result-4489169-1751333058/solver-4489169-1751333058 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751325835-43517 --watchdog 3760  ./ipbhs_gurobi --sym-cores-compact HOME/instance-4489169-1751333058.opb --max-coef 1000000000

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

MD5SUM BENCH= 8940813d27fb075f4739eb458e093f9a
RANDOM SEED=204208309

nodeC034 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	: 0xb00002a
cpu MHz		: 3599.737
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.53
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	: 0xb00002a
cpu MHz		: 3600.700
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.53
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	: 0xb00002a
cpu MHz		: 3599.328
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.53
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	: 0xb00002a
cpu MHz		: 3599.770
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.53
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	: 0xb00002a
cpu MHz		: 3599.757
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.53
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	: 0xb00002a
cpu MHz		: 3599.773
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.53
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	: 0xb00002a
cpu MHz		: 3599.606
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.53
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	: 0xb00002a
cpu MHz		: 3600.763
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        129124840 kB
MemAvailable:   129332844 kB
Buffers:            3280 kB
Cached:          1015236 kB
SwapCached:            0 kB
Active:           752340 kB
Inactive:         777316 kB
Active(anon):     529244 kB
Inactive(anon):        0 kB
Active(file):     223096 kB
Inactive(file):   777316 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             59228 kB
Writeback:             0 kB
AnonPages:        514212 kB
Mapped:           120152 kB
Shmem:             18104 kB
KReclaimable:      93264 kB
Slab:             180544 kB
SReclaimable:      93264 kB
SUnreclaim:        87280 kB
KernelStack:        4320 kB
PageTables:         4144 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:     888524 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150584 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    425984 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:      189140 kB
DirectMap2M:     7970816 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432824 MiB
End job on nodeC034 at 2025-07-01 04:24:29