Trace number 4547358

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 NameAnswerCPU timeWall clock time
Hybrid-CASHWMaxSATDisjCadS+SynLSCD 2025-07-23? (MO) 544.387 545.976

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw256/normalized-hw256-vm75p-dec.opb.negationfix.opb
MD5SUMeb6e6db1d5217c0fcba95884ddbb513a
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark2.31338
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables542720
Total number of constraints4752
Number of constraints which are clauses2119
Number of constraints which are cardinality constraints (but not clauses)2119
Number of constraints which are nor clauses,nor cardinality constraints514
Minimum length of a constraint256
Maximum length of a constraint2120
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 758276
Number of bits of the biggest number in a constraint 20
Biggest sum of numbers in a constraint 1973311
Number of bits of the biggest sum of numbers21
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data


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: 63708 MiB (62795 MiB free)
  memory of node 1: 64465 MiB (63440 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4547358-1753267174/watcher-4547358-1753267174 -o /tmp/evaluation-result-4547358-1753267174/solver-4547358-1753267174 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1753267170-221175 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCadS+SynLSCD HOME/instance-4547358-1753267174.opb 3600 HOME 

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
solver pid=221529, runsolver pid=221526
Current StackSize limit: 8192 KiB


[startup+0.100063 s]*
/proc/loadavg: 1.31 2.75 3.55 5/275 221545
/proc/meminfo: memFree=129232988/131249992 swapFree=33003724/33010684
[pid=221529] ppid=221526 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/221529/stat : 221529 (Hybrid-CASHWMax) S 221526 221529 219772 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 242396219 4427776 768 18446744073709551615 94791427747840 94791428642373 140729852977184 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94791428881424 94791428929168 94791437885440 140729852979541 140729852979695 140729852979695 140729852985299 0
/proc/221529/statm: 1081 768 704 219 0 143 0
[pid=221532] ppid=221529 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/221532/stat : 221532 (timeout) S 221529 221532 219772 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 242396220 2723840 352 18446744073709551615 94850494816256 94850494832769 140733989242416 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94850494847536 94850494849624 94850505412608 140733989247390 140733989247520 140733989247520 140733989253095 0
/proc/221532/statm: 665 352 352 5 0 90 0
[pid=221534] ppid=221532 vsize=39720 memory=24656 CPUtime=0.07 cores=1,3
/proc/221534/stat : 221534 (CASHWMaxSAT-Dis) R 221532 221532 219772 0 -1 4194304 5723 0 0 0 7 0 0 0 20 0 1 0 242396221 40673280 6164 18446744073709551615 4198400 14817773 140731708131216 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 36798464 140731708139940 140731708140057 140731708140057 140731708145632 0
/proc/221534/statm: 9930 6164 864 2593 0 6823 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 46704 KiB
Current children cumulated memory: 29136 KiB

[startup+0.205976 s]*
/proc/loadavg: 1.31 2.75 3.55 5/275 221545
/proc/meminfo: memFree=129170904/131249992 swapFree=33003724/33010684
[pid=221529] ppid=221526 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/221529/stat : 221529 (Hybrid-CASHWMax) S 221526 221529 219772 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 242396219 4427776 768 18446744073709551615 94791427747840 94791428642373 140729852977184 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94791428881424 94791428929168 94791437885440 140729852979541 140729852979695 140729852979695 140729852985299 0
/proc/221529/statm: 1081 768 704 219 0 143 0
[pid=221532] ppid=221529 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/221532/stat : 221532 (timeout) S 221529 221532 219772 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 242396220 2723840 352 18446744073709551615 94850494816256 94850494832769 140733989242416 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94850494847536 94850494849624 94850505412608 140733989247390 140733989247520 140733989247520 140733989253095 0
/proc/221532/statm: 665 352 352 5 0 90 0
[pid=221534] ppid=221532 vsize=60696 memory=44496 CPUtime=0.18 cores=1,3
/proc/221534/stat : 221534 (CASHWMaxSAT-Dis) R 221532 221532 219772 0 -1 4194304 10700 0 0 0 17 1 0 0 20 0 1 0 242396221 62152704 11124 18446744073709551615 4198400 14817773 140731708131216 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 36798464 140731708139940 140731708140057 140731708140057 140731708145632 0
/proc/221534/statm: 15174 11124 864 2593 0 12067 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 67680 KiB
Current children cumulated memory: 48976 KiB

[startup+0.305804 s]*
/proc/loadavg: 1.31 2.75 3.55 5/275 221545
/proc/meminfo: memFree=129118612/131249992 swapFree=33003724/33010684
[pid=221529] ppid=221526 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/221529/stat : 221529 (Hybrid-CASHWMax) S 221526 221529 219772 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 242396219 4427776 768 18446744073709551615 94791427747840 94791428642373 140729852977184 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94791428881424 94791428929168 94791437885440 140729852979541 140729852979695 140729852979695 140729852985299 0
/proc/221529/statm: 1081 768 704 219 0 143 0
[pid=221532] ppid=221529 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/221532/stat : 221532 (timeout) S 221529 221532 219772 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 242396220 2723840 352 18446744073709551615 94850494816256 94850494832769 140733989242416 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94850494847536 94850494849624 94850505412608 140733989247390 140733989247520 140733989247520 140733989253095 0
/proc/221532/statm: 665 352 352 5 0 90 0
[pid=221534] ppid=221532 vsize=70556 memory=55248 CPUtime=0.28 cores=1,3
/proc/221534/stat : 221534 (CASHWMaxSAT-Dis) R 221532 221532 219772 0 -1 4194304 13372 0 0 0 26 2 0 0 20 0 1 0 242396221 72249344 13812 18446744073709551615 4198400 14817773 140731708131216 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 36798464 140731708139940 140731708140057 140731708140057 140731708145632 0
/proc/221534/statm: 17639 13812 864 2593 0 14532 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 77540 KiB
Current children cumulated memory: 59728 KiB

[startup+0.700229 s]
/proc/loadavg: 1.31 2.75 3.55 5/275 221545
/proc/meminfo: memFree=129044392/131249992 swapFree=33003724/33010684
[pid=221529] ppid=221526 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/221529/stat : 221529 (Hybrid-CASHWMax) S 221526 221529 219772 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 242396219 4427776 768 18446744073709551615 94791427747840 94791428642373 140729852977184 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94791428881424 94791428929168 94791437885440 140729852979541 140729852979695 140729852979695 140729852985299 0
/proc/221529/statm: 1081 768 704 219 0 143 0
[pid=221532] ppid=221529 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/221532/stat : 221532 (timeout) S 221529 221532 219772 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 242396220 2723840 352 18446744073709551615 94850494816256 94850494832769 140733989242416 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94850494847536 94850494849624 94850505412608 140733989247390 140733989247520 140733989247520 140733989253095 0
/proc/221532/statm: 665 352 352 5 0 90 0
[pid=221534] ppid=221532 vsize=159172 memory=135100 CPUtime=0.67 cores=1,3
/proc/221534/stat : 221534 (CASHWMaxSAT-Dis) R 221532 221532 219772 0 -1 4194304 24654 0 0 0 63 4 0 0 20 0 1 0 242396221 162992128 33775 18446744073709551615 4198400 14817773 140731708131216 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 36798464 140731708139940 140731708140057 140731708140057 140731708145632 0
/proc/221534/statm: 39793 33775 864 2593 0 36686 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 166156 KiB
Current children cumulated memory: 139580 KiB

[startup+1.50022 s]
/proc/loadavg: 1.31 2.75 3.55 5/275 221545
/proc/meminfo: memFree=128831744/131249992 swapFree=33003724/33010684
[pid=221529] ppid=221526 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/221529/stat : 221529 (Hybrid-CASHWMax) S 221526 221529 219772 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 242396219 4427776 768 18446744073709551615 94791427747840 94791428642373 140729852977184 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94791428881424 94791428929168 94791437885440 140729852979541 140729852979695 140729852979695 140729852985299 0
/proc/221529/statm: 1081 768 704 219 0 143 0
[pid=221532] ppid=221529 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/221532/stat : 221532 (timeout) S 221529 221532 219772 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 242396220 2723840 352 18446744073709551615 94850494816256 94850494832769 140733989242416 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94850494847536 94850494849624 94850505412608 140733989247390 140733989247520 140733989247520 140733989253095 0
/proc/221532/statm: 665 352 352 5 0 90 0
[pid=221534] ppid=221532 vsize=349436 memory=317764 CPUtime=1.47 cores=1,3
/proc/221534/stat : 221534 (CASHWMaxSAT-Dis) R 221532 221532 219772 0 -1 4194304 44285 0 0 0 136 11 0 0 20 0 1 0 242396221 357822464 79441 18446744073709551615 4198400 14817773 140731708131216 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 36798464 140731708139940 140731708140057 140731708140057 140731708145632 0
/proc/221534/statm: 87359 79441 864 2593 0 84252 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 356420 KiB
Current children cumulated memory: 322244 KiB

[startup+3.10565 s]
/proc/loadavg: 1.61 2.78 3.56 5/275 221545
/proc/meminfo: memFree=128154028/131249992 swapFree=33003724/33010684
[pid=221529] ppid=221526 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/221529/stat : 221529 (Hybrid-CASHWMax) S 221526 221529 219772 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 242396219 4427776 768 18446744073709551615 94791427747840 94791428642373 140729852977184 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94791428881424 94791428929168 94791437885440 140729852979541 140729852979695 140729852979695 140729852985299 0
/proc/221529/statm: 1081 768 704 219 0 143 0
[pid=221532] ppid=221529 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/221532/stat : 221532 (timeout) S 221529 221532 219772 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 242396220 2723840 352 18446744073709551615 94850494816256 94850494832769 140733989242416 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94850494847536 94850494849624 94850505412608 140733989247390 140733989247520 140733989247520 140733989253095 0
/proc/221532/statm: 665 352 352 5 0 90 0
[pid=221534] ppid=221532 vsize=452868 memory=407364 CPUtime=3.07 cores=1,3
/proc/221534/stat : 221534 (CASHWMaxSAT-Dis) R 221532 221532 219772 0 -1 4194304 66720 0 0 0 291 16 0 0 20 0 1 0 242396221 463736832 101841 18446744073709551615 4198400 14817773 140731708131216 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 36798464 140731708139940 140731708140057 140731708140057 140731708145632 0
/proc/221534/statm: 113217 101841 864 2593 0 110110 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 459852 KiB
Current children cumulated memory: 411844 KiB

[startup+6.30022 s]
/proc/loadavg: 1.61 2.78 3.56 5/275 221545
/proc/meminfo: memFree=127306384/131249992 swapFree=33003724/33010684
[pid=221529] ppid=221526 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/221529/stat : 221529 (Hybrid-CASHWMax) S 221526 221529 219772 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 242396219 4427776 768 18446744073709551615 94791427747840 94791428642373 140729852977184 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94791428881424 94791428929168 94791437885440 140729852979541 140729852979695 140729852979695 140729852985299 0
/proc/221529/statm: 1081 768 704 219 0 143 0
[pid=221532] ppid=221529 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/221532/stat : 221532 (timeout) S 221529 221532 219772 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 242396220 2723840 352 18446744073709551615 94850494816256 94850494832769 140733989242416 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94850494847536 94850494849624 94850505412608 140733989247390 140733989247520 140733989247520 140733989253095 0
/proc/221532/statm: 665 352 352 5 0 90 0
[pid=221534] ppid=221532 vsize=786840 memory=703432 CPUtime=6.26 cores=1,3
/proc/221534/stat : 221534 (CASHWMaxSAT-Dis) R 221532 221532 219772 0 -1 4194304 105973 0 0 0 599 27 0 0 20 0 1 0 242396221 805724160 175858 18446744073709551615 4198400 14817773 140731708131216 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 36798464 140731708139940 140731708140057 140731708140057 140731708145632 0
/proc/221534/statm: 196710 175858 896 2593 0 193603 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 793824 KiB
Current children cumulated memory: 707912 KiB

[startup+12.7002 s]
/proc/loadavg: 1.80 2.80 3.56 5/275 221545
/proc/meminfo: memFree=125637996/131249992 swapFree=33003724/33010684
[pid=221529] ppid=221526 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/221529/stat : 221529 (Hybrid-CASHWMax) S 221526 221529 219772 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 242396219 4427776 768 18446744073709551615 94791427747840 94791428642373 140729852977184 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94791428881424 94791428929168 94791437885440 140729852979541 140729852979695 140729852979695 140729852985299 0
/proc/221529/statm: 1081 768 704 219 0 143 0
[pid=221532] ppid=221529 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/221532/stat : 221532 (timeout) S 221529 221532 219772 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 242396220 2723840 352 18446744073709551615 94850494816256 94850494832769 140733989242416 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94850494847536 94850494849624 94850505412608 140733989247390 140733989247520 140733989247520 140733989253095 0
/proc/221532/statm: 665 352 352 5 0 90 0
[pid=221534] ppid=221532 vsize=1345668 memory=1214088 CPUtime=12.64 cores=1,3
/proc/221534/stat : 221534 (CASHWMaxSAT-Dis) R 221532 221532 219772 0 -1 4194304 153966 0 0 0 1220 44 0 0 20 0 1 0 242396221 1377964032 303522 18446744073709551615 4198400 14817773 140731708131216 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 36798464 140731708139940 140731708140057 140731708140057 140731708145632 0
/proc/221534/statm: 336417 303522 896 2593 0 333310 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1352652 KiB
Current children cumulated memory: 1218568 KiB

[startup+25.5002 s]
/proc/loadavg: 2.29 2.86 3.57 5/275 221595
/proc/meminfo: memFree=122308452/131249992 swapFree=33003724/33010684
[pid=221529] ppid=221526 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/221529/stat : 221529 (Hybrid-CASHWMax) S 221526 221529 219772 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 242396219 4427776 768 18446744073709551615 94791427747840 94791428642373 140729852977184 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94791428881424 94791428929168 94791437885440 140729852979541 140729852979695 140729852979695 140729852985299 0
/proc/221529/statm: 1081 768 704 219 0 143 0
[pid=221532] ppid=221529 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/221532/stat : 221532 (timeout) S 221529 221532 219772 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 242396220 2723840 352 18446744073709551615 94850494816256 94850494832769 140733989242416 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94850494847536 94850494849624 94850505412608 140733989247390 140733989247520 140733989247520 140733989253095 0
/proc/221532/statm: 665 352 352 5 0 90 0
[pid=221534] ppid=221532 vsize=2862864 memory=2639416 CPUtime=25.41 cores=1,3
/proc/221534/stat : 221534 (CASHWMaxSAT-Dis) R 221532 221532 219772 0 -1 4194304 226020 0 0 0 2460 81 0 0 20 0 1 0 242396221 2931572736 659854 18446744073709551615 4198400 14817773 140731708131216 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 36798464 140731708139940 140731708140057 140731708140057 140731708145632 0
/proc/221534/statm: 715716 659854 896 2593 0 712609 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 2869848 KiB
Current children cumulated memory: 2643896 KiB

[startup+51.1057 s]
/proc/loadavg: 3.01 2.99 3.59 5/275 221596
/proc/meminfo: memFree=119210216/131249992 swapFree=33003724/33010684
[pid=221529] ppid=221526 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/221529/stat : 221529 (Hybrid-CASHWMax) S 221526 221529 219772 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 242396219 4427776 768 18446744073709551615 94791427747840 94791428642373 140729852977184 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94791428881424 94791428929168 94791437885440 140729852979541 140729852979695 140729852979695 140729852985299 0
/proc/221529/statm: 1081 768 704 219 0 143 0
[pid=221532] ppid=221529 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/221532/stat : 221532 (timeout) S 221529 221532 219772 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 242396220 2723840 352 18446744073709551615 94850494816256 94850494832769 140733989242416 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94850494847536 94850494849624 94850505412608 140733989247390 140733989247520 140733989247520 140733989253095 0
/proc/221532/statm: 665 352 352 5 0 90 0
[pid=221534] ppid=221532 vsize=3266236 memory=3106184 CPUtime=50.95 cores=1,3
/proc/221534/stat : 221534 (CASHWMaxSAT-Dis) R 221532 221532 219772 0 -1 4194304 321609 0 0 0 4986 109 0 0 20 0 1 0 242396221 3344625664 776546 18446744073709551615 4198400 14817773 140731708131216 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 36798464 140731708139940 140731708140057 140731708140057 140731708145632 0
/proc/221534/statm: 816559 776546 896 2593 0 813452 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 3273220 KiB
Current children cumulated memory: 3110664 KiB

[startup+102.3 s]
/proc/loadavg: 3.65 3.16 3.62 5/276 221600
/proc/meminfo: memFree=113614908/131249992 swapFree=33003724/33010684
[pid=221529] ppid=221526 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/221529/stat : 221529 (Hybrid-CASHWMax) S 221526 221529 219772 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 242396219 4427776 768 18446744073709551615 94791427747840 94791428642373 140729852977184 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94791428881424 94791428929168 94791437885440 140729852979541 140729852979695 140729852979695 140729852985299 0
/proc/221529/statm: 1081 768 704 219 0 143 0

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

/proc/221532/statm: 665 352 352 5 0 90 0
[pid=221534] ppid=221532 vsize=9819580 memory=9302368 CPUtime=401.19 cores=1,3
/proc/221534/stat : 221534 (CASHWMaxSAT-Dis) R 221532 221532 219772 0 -1 4194304 821296 0 0 0 39764 355 0 0 20 0 1 0 242396221 10055249920 2325592 18446744073709551615 4198400 14817773 140731708131216 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 36798464 140731708139940 140731708140057 140731708140057 140731708145632 0
/proc/221534/statm: 2454895 2325592 1152 2593 0 2451788 0
Current children cumulated CPU time: 401.19 s
Current children cumulated vsize: 9826564 KiB
Current children cumulated memory: 9306848 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 3.82 3.78 5/273 221771
/proc/meminfo: memFree=117293052/131249992 swapFree=33003724/33010684
[pid=221529] ppid=221526 vsize=4324 memory=3072 CPUtime=440.32 cores=1,3
/proc/221529/stat : 221529 (Hybrid-CASHWMax) S 221526 221529 219772 0 -1 4194304 282 823302 0 0 0 0 43660 372 20 0 1 0 242396219 4427776 768 18446744073709551615 94791427747840 94791428642373 140729852977184 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94791428881424 94791428929168 94791437885440 140729852979541 140729852979695 140729852979695 140729852985299 0
/proc/221529/statm: 1081 768 704 219 0 143 0
[pid=221769] ppid=221529 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/221769/stat : 221769 (timeout) S 221529 221769 219772 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 242440373 2723840 352 18446744073709551615 94350510559232 94350510575745 140729057352576 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94350510590512 94350510592600 94350538739712 140729057356166 140729057356320 140729057356320 140729057361895 0
/proc/221769/statm: 665 352 352 5 0 90 0
[pid=221770] ppid=221769 vsize=4536992 memory=4343612 CPUtime=20.66 cores=1,3
/proc/221770/stat : 221770 (SynLSCD) R 221769 221769 219772 0 -1 4194304 674769 0 0 0 1899 167 0 0 20 0 1 0 242440374 4645879808 1085903 18446744073709551615 94117649670144 94117652104745 140727778601936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94117652585720 94117652618752 94117669367808 140727778609568 140727778609703 140727778609703 140727778615278 0
/proc/221770/statm: 1134248 1085903 2304 595 0 1118915 0
Current children cumulated CPU time: 460.98 s
Current children cumulated vsize: 4543976 KiB
Current children cumulated memory: 4348092 KiB

[startup+522.3 s]
/proc/loadavg: 4.07 3.87 3.81 5/273 221779
/proc/meminfo: memFree=96859180/131249992 swapFree=33003724/33010684
[pid=221529] ppid=221526 vsize=4324 memory=3072 CPUtime=440.32 cores=1,3
/proc/221529/stat : 221529 (Hybrid-CASHWMax) S 221526 221529 219772 0 -1 4194304 282 823302 0 0 0 0 43660 372 20 0 1 0 242396219 4427776 768 18446744073709551615 94791427747840 94791428642373 140729852977184 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94791428881424 94791428929168 94791437885440 140729852979541 140729852979695 140729852979695 140729852985299 0
/proc/221529/statm: 1081 768 704 219 0 143 0
[pid=221769] ppid=221529 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/221769/stat : 221769 (timeout) S 221529 221769 219772 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 242440373 2723840 352 18446744073709551615 94350510559232 94350510575745 140729057352576 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94350510590512 94350510592600 94350538739712 140729057356166 140729057356320 140729057356320 140729057361895 0
/proc/221769/statm: 665 352 352 5 0 90 0
[pid=221770] ppid=221769 vsize=16261908 memory=14355312 CPUtime=80.45 cores=1,3
/proc/221770/stat : 221770 (SynLSCD) R 221769 221769 219772 0 -1 4194304 2316102 0 0 0 7427 618 0 0 20 0 1 0 242440374 16652193792 3588828 18446744073709551615 94117649670144 94117652104745 140727778601936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94117652585720 94117652618752 94117669367808 140727778609568 140727778609703 140727778609703 140727778615278 0
/proc/221770/statm: 4065477 3588828 2304 595 0 4050144 0
Current children cumulated CPU time: 520.77 s
Current children cumulated vsize: 16268892 KiB
Current children cumulated memory: 14359792 KiB



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+543.5 s]
/proc/loadavg: 4.10 3.90 3.82 5/273 221780
/proc/meminfo: memFree=90987968/131249992 swapFree=33003724/33010684
[pid=221529] ppid=221526 vsize=4324 memory=3072 CPUtime=440.32 cores=1,3
/proc/221529/stat : 221529 (Hybrid-CASHWMax) S 221526 221529 219772 0 -1 4194304 282 823302 0 0 0 0 43660 372 20 0 1 0 242396219 4427776 768 18446744073709551615 94791427747840 94791428642373 140729852977184 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94791428881424 94791428929168 94791437885440 140729852979541 140729852979695 140729852979695 140729852985299 0
/proc/221529/statm: 1081 768 704 219 0 143 0
[pid=221769] ppid=221529 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/221769/stat : 221769 (timeout) S 221529 221769 219772 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 242440373 2723840 352 18446744073709551615 94350510559232 94350510575745 140729057352576 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94350510590512 94350510592600 94350538739712 140729057356166 140729057356320 140729057356320 140729057361895 0
/proc/221769/statm: 665 352 352 5 0 90 0
[pid=221770] ppid=221769 vsize=31760756 memory=18968240 CPUtime=101.57 cores=1,3
/proc/221770/stat : 221770 (SynLSCD) R 221769 221769 219772 0 -1 4194304 2816098 0 0 0 9398 759 0 0 20 0 1 0 242440374 32523014144 4742060 18446744073709551615 94117649670144 94117652104745 140727778601936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94117652585720 94117652618752 94117669367808 140727778609568 140727778609703 140727778609703 140727778615278 0
/proc/221770/statm: 7940189 4742060 2464 595 0 7924856 0
Current children cumulated CPU time: 541.89 s
Current children cumulated vsize: 31767740 KiB
Current children cumulated memory: 18972720 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=436.606 s, system=3.72463 s
Sleeping 2 seconds

Sending SIGKILL to process tree (bottom up)

[startup+545.505 s]
# the end of solver process 221769 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)

# cumulated CPU time of all completed processes:  user=436.606 s, system=3.72631 s
# this solver process was not waited by its parent and was adopted by runsolver
??? end of watcher thread

[startup+545.976 s]
# the end of solver process 221770 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)

# cumulated CPU time of all completed processes:  user=532.256 s, system=12.1307 s
# this solver process was not waited by its parent and was adopted by runsolver

Solver just ended.
Dumping a history of the last processes samples

[startup+544 s]*
/proc/loadavg: 4.10 3.90 3.82 5/272 221780
/proc/meminfo: memFree=89859008/131249992 swapFree=33003724/33010684
[pid=221769] ppid=221526 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/221769/stat : 221769 (timeout) S 221526 221769 219772 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 242440373 2723840 352 18446744073709551615 94350510559232 94350510575745 140729057352576 0 0 0 0 3293184 73735 1 0 0 17 3 0 0 0 0 0 94350510590512 94350510592600 94350538739712 140729057356166 140729057356320 140729057356320 140729057361895 0
/proc/221769/statm: 665 352 352 5 0 90 0
[pid=221770] ppid=221769 vsize=31957700 memory=19204040 CPUtime=102.08 cores=1,3
/proc/221770/stat : 221770 (SynLSCD) R 221769 221769 219772 0 -1 4194304 2865355 0 0 0 9440 768 0 0 20 0 1 0 242440374 32724684800 4801010 18446744073709551615 94117649670144 94117652104745 140727778601936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94117652585720 94117652618752 94117669367808 140727778609568 140727778609703 140727778609703 140727778615278 0
/proc/221770/statm: 7989425 4801010 2464 595 0 7974092 0
Current cumulated CPU time of completed processes: 440.33 s
Current children cumulated CPU time: 102.08 s
Current children cumulated vsize: 31960360 KiB
Current children cumulated memory: 19205448 KiB

[startup+544.8 s]
/proc/loadavg: 4.10 3.90 3.82 5/272 221780
/proc/meminfo: memFree=89859008/131249992 swapFree=33003724/33010684
[pid=221769] ppid=221526 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/221769/stat : 221769 (timeout) S 221526 221769 219772 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 242440373 2723840 352 18446744073709551615 94350510559232 94350510575745 140729057352576 0 0 0 0 3293184 73735 1 0 0 17 3 0 0 0 0 0 94350510590512 94350510592600 94350538739712 140729057356166 140729057356320 140729057356320 140729057361895 0
/proc/221769/statm: 665 352 352 5 0 90 0
[pid=221770] ppid=221769 vsize=32268032 memory=19577904 CPUtime=102.88 cores=1,3
/proc/221770/stat : 221770 (SynLSCD) R 221769 221769 219772 0 -1 4194304 2942966 0 0 0 9506 782 0 0 20 0 1 0 242440374 33042464768 4894476 18446744073709551615 94117649670144 94117652104745 140727778601936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94117652585720 94117652618752 94117669367808 140727778609568 140727778609703 140727778609703 140727778615278 0
/proc/221770/statm: 8067008 4894476 2464 595 0 8051675 0
Current cumulated CPU time of completed processes: 440.33 s
Current children cumulated CPU time: 102.88 s
Current children cumulated vsize: 32270692 KiB
Current children cumulated memory: 19579312 KiB

[startup+545.2 s]
/proc/loadavg: 4.10 3.90 3.82 5/272 221780
/proc/meminfo: memFree=89211828/131249992 swapFree=33003724/33010684
[pid=221769] ppid=221526 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/221769/stat : 221769 (timeout) S 221526 221769 219772 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 242440373 2723840 352 18446744073709551615 94350510559232 94350510575745 140729057352576 0 0 0 0 3293184 73735 1 0 0 17 3 0 0 0 0 0 94350510590512 94350510592600 94350538739712 140729057356166 140729057356320 140729057356320 140729057361895 0
/proc/221769/statm: 665 352 352 5 0 90 0
[pid=221770] ppid=221769 vsize=32425112 memory=19763632 CPUtime=103.27 cores=1,3
/proc/221770/stat : 221770 (SynLSCD) R 221769 221769 219772 0 -1 4194304 2982266 0 0 0 9539 788 0 0 20 0 1 0 242440374 33203314688 4940908 18446744073709551615 94117649670144 94117652104745 140727778601936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94117652585720 94117652618752 94117669367808 140727778609568 140727778609703 140727778609703 140727778615278 0
/proc/221770/statm: 8106278 4940908 2464 595 0 8090945 0
Current cumulated CPU time of completed processes: 440.33 s
Current children cumulated CPU time: 103.27 s
Current children cumulated vsize: 32427772 KiB
Current children cumulated memory: 19765040 KiB

[startup+545.4 s]
/proc/loadavg: 4.10 3.90 3.82 5/272 221780
/proc/meminfo: memFree=89211828/131249992 swapFree=33003724/33010684
[pid=221769] ppid=221526 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/221769/stat : 221769 (timeout) S 221526 221769 219772 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 242440373 2723840 352 18446744073709551615 94350510559232 94350510575745 140729057352576 0 0 0 0 3293184 73735 1 0 0 17 3 0 0 0 0 0 94350510590512 94350510592600 94350538739712 140729057356166 140729057356320 140729057356320 140729057361895 0
/proc/221769/statm: 665 352 352 5 0 90 0
[pid=221770] ppid=221769 vsize=32503652 memory=19858480 CPUtime=103.48 cores=1,3
/proc/221770/stat : 221770 (SynLSCD) R 221769 221769 219772 0 -1 4194304 3001897 0 0 0 9557 791 0 0 20 0 1 0 242440374 33283739648 4964620 18446744073709551615 94117649670144 94117652104745 140727778601936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94117652585720 94117652618752 94117669367808 140727778609568 140727778609703 140727778609703 140727778615278 0
/proc/221770/statm: 8125913 4964620 2464 595 0 8110580 0
Current cumulated CPU time of completed processes: 440.33 s
Current children cumulated CPU time: 103.48 s
Current children cumulated vsize: 32506312 KiB
Current children cumulated memory: 19859888 KiB

[startup+545.5 s]
/proc/loadavg: 4.10 3.90 3.82 5/272 221780
/proc/meminfo: memFree=89211828/131249992 swapFree=33003724/33010684
[pid=221769] ppid=221526 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/221769/stat : 221769 (timeout) S 221526 221769 219772 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 242440373 2723840 352 18446744073709551615 94350510559232 94350510575745 140729057352576 0 0 0 0 3293184 73735 1 0 0 17 3 0 0 0 0 0 94350510590512 94350510592600 94350538739712 140729057356166 140729057356320 140729057356320 140729057361895 0
/proc/221769/statm: 665 352 352 5 0 90 0
[pid=221770] ppid=221769 vsize=32542988 memory=19906096 CPUtime=103.58 cores=1,3
/proc/221770/stat : 221770 (SynLSCD) R 221769 221769 219772 0 -1 4194304 3011740 0 0 0 9565 793 0 0 20 0 1 0 242440374 33324019712 4976524 18446744073709551615 94117649670144 94117652104745 140727778601936 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94117652585720 94117652618752 94117669367808 140727778609568 140727778609703 140727778609703 140727778615278 0
/proc/221770/statm: 8135747 4976524 2464 595 0 8120414 0
Current cumulated CPU time of completed processes: 440.33 s
Current children cumulated CPU time: 103.58 s
Current children cumulated vsize: 32545648 KiB
Current children cumulated memory: 19907504 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 545.976
CPU time (s): 544.387
CPU user time (s): 532.256
CPU system time (s): 12.1307
CPU usage (%): 99.709
Max. virtual memory (cumulated for all children) (KiB): 32545648
Max. memory (cumulated for all children) (KiB): 19907504

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 532.256
system time used= 12.1307
maximum resident set size= 19906096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3835440
page faults= 0
swaps= 0
block input operations= 0
block output operations= 16
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 449
involuntary context switches= 1235


# summary of solver processes directly reported to runsolver:
#   pid: 221529,221769,221770
#   total CPU time (s): 544.387
#   total CPU user time (s): 532.256
#   total CPU system time (s): 12.1307

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.14962 second user time and 2.68228 second system time

The end

Launcher Data 

Begin job on nodeC025 at 2025-07-23 12:39:35
IDJOB=4547358
IDBENCH=160483
IDSOLVER=3424
FILE ID=nodeC025/4547358-1753267174
RUNJOBID= nodeC025-1753267170-221175
SLURM_JOB_ID= 9689180
Free space on /tmp= 431764 MiB

SOLVER NAME= Hybrid-CASHWMaxSATDisjCadS+SynLSCD 2025-07-23
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/hw256/normalized-hw256-vm75p-dec.opb.negationfix.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjCadS+SynLSCD BENCHNAME TIMEOUT TMPDIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4547358-1753267174/watcher-4547358-1753267174 -o /tmp/evaluation-result-4547358-1753267174/solver-4547358-1753267174 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1753267170-221175 --watchdog 3760  ./Hybrid-CASHWMaxSATDisjCadS+SynLSCD HOME/instance-4547358-1753267174.opb 3600 HOME

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

MD5SUM BENCH= eb6e6db1d5217c0fcba95884ddbb513a
RANDOM SEED=314323423

nodeC025 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		: 3594.414
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.67
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		: 3597.050
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.67
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.806
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.67
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		: 3598.462
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.67
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.827
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.67
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		: 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 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.67
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		: 3596.531
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.67
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		: 3599.836
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.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249992 kB
MemFree:        129290312 kB
MemAvailable:   129683548 kB
Buffers:            2128 kB
Cached:          1136312 kB
SwapCached:         2132 kB
Active:           759600 kB
Inactive:         481924 kB
Active(anon):      96796 kB
Inactive(anon):    27612 kB
Active(file):     662804 kB
Inactive(file):   454312 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33003724 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            107964 kB
Writeback:             0 kB
AnonPages:        103768 kB
Mapped:           110900 kB
Shmem:             21600 kB
KReclaimable:     230720 kB
Slab:             328108 kB
SReclaimable:     230720 kB
SUnreclaim:        97388 kB
KernelStack:        4256 kB
PageTables:         3224 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     445524 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150568 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     18432 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:      207572 kB
DirectMap2M:     9000960 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 431736 MiB
End job on nodeC025 at 2025-07-23 12:48:41