Trace number 4511794

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-CASHWMaxSATDisjComS+SynLSCD 2025-06-01? (MO) 519.931 521.406

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw256/normalized-hw256-vm98p-dec.opb.negationfix.opb
MD5SUM0ade693002e69cf4f48fe48722d4f7a3
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 benchmark3.06659
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables670720
Total number of constraints5752
Number of constraints which are clauses2619
Number of constraints which are cardinality constraints (but not clauses)2619
Number of constraints which are nor clauses,nor cardinality constraints514
Minimum length of a constraint256
Maximum length of a constraint2620
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 947734
Number of bits of the biggest number in a constraint 20
Biggest sum of numbers in a constraint 2162769
Number of bits of the biggest sum of numbers22
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 (53649 MiB free)
  memory of node 1: 64465 MiB (62582 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4511794-1751198380/watcher-4511794-1751198380 -o /tmp/evaluation-result-4511794-1751198380/solver-4511794-1751198380 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751193586-23321 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjComS+SynLSCD HOME/instance-4511794-1751198380.opb 3600 HOME 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100064 s]*
/proc/loadavg: 4.13 4.09 4.09 5/272 26176
/proc/meminfo: memFree=118977680/131249996 swapFree=33010684/33010684
[pid=26172] ppid=26169 vsize=4324 memory=2816 CPUtime=0 cores=4,6
/proc/26172/stat : 26172 (Hybrid-CASHWMax) S 26169 26172 23310 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 35515492 4427776 704 18446744073709551615 93974129811456 93974130705989 140721838190224 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93974130945040 93974130992784 93974161293312 140721838197079 140721838197233 140721838197233 140721838202835 0
/proc/26172/statm: 1081 704 672 219 0 143 0
[pid=26175] ppid=26172 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/26175/stat : 26175 (timeout) S 26172 26175 23310 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 35515493 2723840 352 18446744073709551615 93897535950848 93897535967361 140733394301888 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 93897535982128 93897535984216 93897561686016 140733394303392 140733394303522 140733394303522 140733394309095 0
/proc/26175/statm: 665 352 352 5 0 90 0
[pid=26176] ppid=26175 vsize=39428 memory=19808 CPUtime=0.07 cores=4,6
/proc/26176/stat : 26176 (CASHWMaxSAT-Dis) R 26175 26175 23310 0 -1 4194304 4436 0 0 0 7 0 0 0 20 0 1 0 35515493 40374272 4952 18446744073709551615 4198400 14093885 140723542310736 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24686592 140723542313382 140723542313499 140723542313499 140723542319072 0
/proc/26176/statm: 9857 4952 736 2416 0 6959 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 46412 KiB
Current children cumulated memory: 24032 KiB

[startup+0.205869 s]*
/proc/loadavg: 4.13 4.09 4.09 5/272 26176
/proc/meminfo: memFree=118937612/131249996 swapFree=33010684/33010684
[pid=26172] ppid=26169 vsize=4324 memory=2816 CPUtime=0 cores=4,6
/proc/26172/stat : 26172 (Hybrid-CASHWMax) S 26169 26172 23310 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 35515492 4427776 704 18446744073709551615 93974129811456 93974130705989 140721838190224 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93974130945040 93974130992784 93974161293312 140721838197079 140721838197233 140721838197233 140721838202835 0
/proc/26172/statm: 1081 704 672 219 0 143 0
[pid=26175] ppid=26172 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/26175/stat : 26175 (timeout) S 26172 26175 23310 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 35515493 2723840 352 18446744073709551615 93897535950848 93897535967361 140733394301888 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 93897535982128 93897535984216 93897561686016 140733394303392 140733394303522 140733394303522 140733394309095 0
/proc/26175/statm: 665 352 352 5 0 90 0
[pid=26176] ppid=26175 vsize=58896 memory=36216 CPUtime=0.19 cores=4,6
/proc/26176/stat : 26176 (CASHWMaxSAT-Dis) R 26175 26175 23310 0 -1 4194304 8680 0 0 0 17 2 0 0 20 0 1 0 35515493 60309504 9054 18446744073709551615 4198400 14093885 140723542310736 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24686592 140723542313382 140723542313499 140723542313499 140723542319072 0
/proc/26176/statm: 14724 9054 736 2416 0 11826 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 65880 KiB
Current children cumulated memory: 40440 KiB

[startup+0.305787 s]*
/proc/loadavg: 4.13 4.09 4.09 5/272 26176
/proc/meminfo: memFree=118917704/131249996 swapFree=33010684/33010684
[pid=26172] ppid=26169 vsize=4324 memory=2816 CPUtime=0 cores=4,6
/proc/26172/stat : 26172 (Hybrid-CASHWMax) S 26169 26172 23310 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 35515492 4427776 704 18446744073709551615 93974129811456 93974130705989 140721838190224 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93974130945040 93974130992784 93974161293312 140721838197079 140721838197233 140721838197233 140721838202835 0
/proc/26172/statm: 1081 704 672 219 0 143 0
[pid=26175] ppid=26172 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/26175/stat : 26175 (timeout) S 26172 26175 23310 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 35515493 2723840 352 18446744073709551615 93897535950848 93897535967361 140733394301888 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 93897535982128 93897535984216 93897561686016 140733394303392 140733394303522 140733394303522 140733394309095 0
/proc/26175/statm: 665 352 352 5 0 90 0
[pid=26176] ppid=26175 vsize=77716 memory=51876 CPUtime=0.28 cores=4,6
/proc/26176/stat : 26176 (CASHWMaxSAT-Dis) R 26175 26175 23310 0 -1 4194304 12446 0 0 0 26 2 0 0 20 0 1 0 35515493 79581184 12969 18446744073709551615 4198400 14093885 140723542310736 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24686592 140723542313382 140723542313499 140723542313499 140723542319072 0
/proc/26176/statm: 19429 12969 736 2416 0 16531 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 84700 KiB
Current children cumulated memory: 56100 KiB

[startup+0.700234 s]
/proc/loadavg: 4.13 4.09 4.09 5/272 26176
/proc/meminfo: memFree=118853380/131249996 swapFree=33010684/33010684
[pid=26172] ppid=26169 vsize=4324 memory=2816 CPUtime=0 cores=4,6
/proc/26172/stat : 26172 (Hybrid-CASHWMax) S 26169 26172 23310 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 35515492 4427776 704 18446744073709551615 93974129811456 93974130705989 140721838190224 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93974130945040 93974130992784 93974161293312 140721838197079 140721838197233 140721838197233 140721838202835 0
/proc/26172/statm: 1081 704 672 219 0 143 0
[pid=26175] ppid=26172 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/26175/stat : 26175 (timeout) S 26172 26175 23310 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 35515493 2723840 352 18446744073709551615 93897535950848 93897535967361 140733394301888 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 93897535982128 93897535984216 93897561686016 140733394303392 140733394303522 140733394303522 140733394309095 0
/proc/26175/statm: 665 352 352 5 0 90 0
[pid=26176] ppid=26175 vsize=146840 memory=107940 CPUtime=0.68 cores=4,6
/proc/26176/stat : 26176 (CASHWMaxSAT-Dis) R 26175 26175 23310 0 -1 4194304 26194 0 0 0 63 5 0 0 20 0 1 0 35515493 150364160 26985 18446744073709551615 4198400 14093885 140723542310736 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24686592 140723542313382 140723542313499 140723542313499 140723542319072 0
/proc/26176/statm: 36710 26985 736 2416 0 33812 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 153824 KiB
Current children cumulated memory: 112164 KiB

[startup+1.50023 s]
/proc/loadavg: 4.13 4.09 4.09 5/272 26176
/proc/meminfo: memFree=118566676/131249996 swapFree=33010684/33010684
[pid=26172] ppid=26169 vsize=4324 memory=2816 CPUtime=0 cores=4,6
/proc/26172/stat : 26172 (Hybrid-CASHWMax) S 26169 26172 23310 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 35515492 4427776 704 18446744073709551615 93974129811456 93974130705989 140721838190224 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93974130945040 93974130992784 93974161293312 140721838197079 140721838197233 140721838197233 140721838202835 0
/proc/26172/statm: 1081 704 672 219 0 143 0
[pid=26175] ppid=26172 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/26175/stat : 26175 (timeout) S 26172 26175 23310 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 35515493 2723840 352 18446744073709551615 93897535950848 93897535967361 140733394301888 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 93897535982128 93897535984216 93897561686016 140733394303392 140733394303522 140733394303522 140733394309095 0
/proc/26175/statm: 665 352 352 5 0 90 0
[pid=26176] ppid=26175 vsize=295400 memory=221812 CPUtime=1.47 cores=4,6
/proc/26176/stat : 26176 (CASHWMaxSAT-Dis) R 26175 26175 23310 0 -1 4194304 51625 0 0 0 138 9 0 0 20 0 1 0 35515493 302489600 55453 18446744073709551615 4198400 14093885 140723542310736 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24686592 140723542313382 140723542313499 140723542313499 140723542319072 0
/proc/26176/statm: 73850 55453 736 2416 0 70952 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 302384 KiB
Current children cumulated memory: 226036 KiB

[startup+3.1056 s]
/proc/loadavg: 4.12 4.09 4.09 5/272 26176
/proc/meminfo: memFree=118142220/131249996 swapFree=33010684/33010684
[pid=26172] ppid=26169 vsize=4324 memory=2816 CPUtime=0 cores=4,6
/proc/26172/stat : 26172 (Hybrid-CASHWMax) S 26169 26172 23310 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 35515492 4427776 704 18446744073709551615 93974129811456 93974130705989 140721838190224 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93974130945040 93974130992784 93974161293312 140721838197079 140721838197233 140721838197233 140721838202835 0
/proc/26172/statm: 1081 704 672 219 0 143 0
[pid=26175] ppid=26172 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/26175/stat : 26175 (timeout) S 26172 26175 23310 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 35515493 2723840 352 18446744073709551615 93897535950848 93897535967361 140733394301888 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 93897535982128 93897535984216 93897561686016 140733394303392 140733394303522 140733394303522 140733394309095 0
/proc/26175/statm: 665 352 352 5 0 90 0
[pid=26176] ppid=26175 vsize=432612 memory=315984 CPUtime=3.07 cores=4,6
/proc/26176/stat : 26176 (CASHWMaxSAT-Dis) R 26175 26175 23310 0 -1 4194304 70125 0 0 0 295 12 0 0 20 0 1 0 35515493 442994688 78996 18446744073709551615 4198400 14093885 140723542310736 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24686592 140723542313382 140723542313499 140723542313499 140723542319072 0
/proc/26176/statm: 108153 78996 736 2416 0 105255 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 439596 KiB
Current children cumulated memory: 320208 KiB

[startup+6.30023 s]
/proc/loadavg: 4.12 4.09 4.09 5/272 26176
/proc/meminfo: memFree=117354724/131249996 swapFree=33010684/33010684
[pid=26172] ppid=26169 vsize=4324 memory=2816 CPUtime=0 cores=4,6
/proc/26172/stat : 26172 (Hybrid-CASHWMax) S 26169 26172 23310 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 35515492 4427776 704 18446744073709551615 93974129811456 93974130705989 140721838190224 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93974130945040 93974130992784 93974161293312 140721838197079 140721838197233 140721838197233 140721838202835 0
/proc/26172/statm: 1081 704 672 219 0 143 0
[pid=26175] ppid=26172 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/26175/stat : 26175 (timeout) S 26172 26175 23310 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 35515493 2723840 352 18446744073709551615 93897535950848 93897535967361 140733394301888 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 93897535982128 93897535984216 93897561686016 140733394303392 140733394303522 140733394303522 140733394309095 0
/proc/26175/statm: 665 352 352 5 0 90 0
[pid=26176] ppid=26175 vsize=722584 memory=554660 CPUtime=6.25 cores=4,6
/proc/26176/stat : 26176 (CASHWMaxSAT-Dis) R 26175 26175 23310 0 -1 4194304 125191 0 0 0 604 21 0 0 20 0 1 0 35515493 739926016 138665 18446744073709551615 4198400 14093885 140723542310736 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24686592 140723542313382 140723542313499 140723542313499 140723542319072 0
/proc/26176/statm: 180646 138665 736 2416 0 177748 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 729568 KiB
Current children cumulated memory: 558884 KiB

[startup+12.7002 s]
/proc/loadavg: 4.10 4.09 4.09 5/272 26176
/proc/meminfo: memFree=115872444/131249996 swapFree=33010684/33010684
[pid=26172] ppid=26169 vsize=4324 memory=2816 CPUtime=0 cores=4,6
/proc/26172/stat : 26172 (Hybrid-CASHWMax) S 26169 26172 23310 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 35515492 4427776 704 18446744073709551615 93974129811456 93974130705989 140721838190224 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93974130945040 93974130992784 93974161293312 140721838197079 140721838197233 140721838197233 140721838202835 0
/proc/26172/statm: 1081 704 672 219 0 143 0
[pid=26175] ppid=26172 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/26175/stat : 26175 (timeout) S 26172 26175 23310 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 35515493 2723840 352 18446744073709551615 93897535950848 93897535967361 140733394301888 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 93897535982128 93897535984216 93897561686016 140733394303392 140733394303522 140733394303522 140733394309095 0
/proc/26175/statm: 665 352 352 5 0 90 0
[pid=26176] ppid=26175 vsize=1229032 memory=1014724 CPUtime=12.64 cores=4,6
/proc/26176/stat : 26176 (CASHWMaxSAT-Dis) R 26175 26175 23310 0 -1 4194304 160201 0 0 0 1227 37 0 0 20 0 1 0 35515493 1258528768 253681 18446744073709551615 4198400 14093885 140723542310736 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24686592 140723542313382 140723542313499 140723542313499 140723542319072 0
/proc/26176/statm: 307258 253681 768 2416 0 304360 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1236016 KiB
Current children cumulated memory: 1018948 KiB

[startup+25.5002 s]
/proc/loadavg: 4.09 4.08 4.09 5/272 26176
/proc/meminfo: memFree=112797872/131249996 swapFree=33010684/33010684
[pid=26172] ppid=26169 vsize=4324 memory=2816 CPUtime=0 cores=4,6
/proc/26172/stat : 26172 (Hybrid-CASHWMax) S 26169 26172 23310 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 35515492 4427776 704 18446744073709551615 93974129811456 93974130705989 140721838190224 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93974130945040 93974130992784 93974161293312 140721838197079 140721838197233 140721838197233 140721838202835 0
/proc/26172/statm: 1081 704 672 219 0 143 0
[pid=26175] ppid=26172 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/26175/stat : 26175 (timeout) S 26172 26175 23310 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 35515493 2723840 352 18446744073709551615 93897535950848 93897535967361 140733394301888 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 93897535982128 93897535984216 93897561686016 140733394303392 140733394303522 140733394303522 140733394309095 0
/proc/26175/statm: 665 352 352 5 0 90 0
[pid=26176] ppid=26175 vsize=2252832 memory=1909840 CPUtime=25.41 cores=4,6
/proc/26176/stat : 26176 (CASHWMaxSAT-Dis) R 26175 26175 23310 0 -1 4194304 251422 0 0 0 2473 68 0 0 20 0 1 0 35515493 2306899968 477460 18446744073709551615 4198400 14093885 140723542310736 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24686592 140723542313382 140723542313499 140723542313499 140723542319072 0
/proc/26176/statm: 563208 477460 768 2416 0 560310 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 2259816 KiB
Current children cumulated memory: 1914064 KiB

[startup+51.1057 s]
/proc/loadavg: 4.13 4.09 4.09 5/273 26178
/proc/meminfo: memFree=107348488/131249996 swapFree=33010684/33010684
[pid=26172] ppid=26169 vsize=4324 memory=2816 CPUtime=0 cores=4,6
/proc/26172/stat : 26172 (Hybrid-CASHWMax) S 26169 26172 23310 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 35515492 4427776 704 18446744073709551615 93974129811456 93974130705989 140721838190224 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93974130945040 93974130992784 93974161293312 140721838197079 140721838197233 140721838197233 140721838202835 0
/proc/26172/statm: 1081 704 672 219 0 143 0
[pid=26175] ppid=26172 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/26175/stat : 26175 (timeout) S 26172 26175 23310 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 35515493 2723840 352 18446744073709551615 93897535950848 93897535967361 140733394301888 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 93897535982128 93897535984216 93897561686016 140733394303392 140733394303522 140733394303522 140733394309095 0
/proc/26175/statm: 665 352 352 5 0 90 0
[pid=26176] ppid=26175 vsize=3347908 memory=3067732 CPUtime=50.95 cores=4,6
/proc/26176/stat : 26176 (CASHWMaxSAT-Dis) R 26175 26175 23310 0 -1 4194304 352892 0 0 0 4989 106 0 0 20 0 1 0 35515493 3428257792 766933 18446744073709551615 4198400 14093885 140723542310736 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24686592 140723542313382 140723542313499 140723542313499 140723542319072 0
/proc/26176/statm: 836977 766933 768 2416 0 834079 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 3354892 KiB
Current children cumulated memory: 3071956 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/273 26194
/proc/meminfo: memFree=97643864/131249996 swapFree=33010684/33010684
[pid=26172] ppid=26169 vsize=4324 memory=2816 CPUtime=0 cores=4,6
/proc/26172/stat : 26172 (Hybrid-CASHWMax) S 26169 26172 23310 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 35515492 4427776 704 18446744073709551615 93974129811456 93974130705989 140721838190224 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93974130945040 93974130992784 93974161293312 140721838197079 140721838197233 140721838197233 140721838202835 0
/proc/26172/statm: 1081 704 672 219 0 143 0
[pid=26175] ppid=26172 vsize=2660 memory=1408 CPUtime=0 cores=4,6

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

/proc/26176/stat : 26176 (CASHWMaxSAT-Dis) R 26175 26175 23310 0 -1 4194304 758530 0 0 0 27854 301 0 0 20 0 1 0 35515493 9747378176 2101455 18446744073709551615 4198400 14093885 140723542310736 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24686592 140723542313382 140723542313499 140723542313499 140723542319072 0
/proc/26176/statm: 2379731 2101455 768 2416 0 2376833 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 9525908 KiB
Current children cumulated memory: 8410044 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/272 26301
/proc/meminfo: memFree=108321076/131249996 swapFree=33010684/33010684
[pid=26172] ppid=26169 vsize=4324 memory=2816 CPUtime=0 cores=4,6
/proc/26172/stat : 26172 (Hybrid-CASHWMax) S 26169 26172 23310 0 -1 4194304 248 103 0 0 0 0 0 0 20 0 1 0 35515492 4427776 704 18446744073709551615 93974129811456 93974130705989 140721838190224 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93974130945040 93974130992784 93974161293312 140721838197079 140721838197233 140721838197233 140721838202835 0
/proc/26172/statm: 1081 704 672 219 0 143 0
[pid=26175] ppid=26172 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/26175/stat : 26175 (timeout) S 26172 26175 23310 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 35515493 2723840 352 18446744073709551615 93897535950848 93897535967361 140733394301888 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 93897535982128 93897535984216 93897561686016 140733394303392 140733394303522 140733394303522 140733394309095 0
/proc/26175/statm: 665 352 352 5 0 90 0
[pid=26176] ppid=26175 vsize=9822832 memory=9022708 CPUtime=341.37 cores=4,6
/proc/26176/stat : 26176 (CASHWMaxSAT-Dis) R 26175 26175 23310 0 -1 4194304 833391 0 0 0 33809 328 0 0 20 0 1 0 35515493 10058579968 2255677 18446744073709551615 4198400 14093885 140723542310736 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 24686592 140723542313382 140723542313499 140723542313499 140723542319072 0
/proc/26176/statm: 2455708 2255677 768 2416 0 2452810 0
Current children cumulated CPU time: 341.37 s
Current children cumulated vsize: 9829816 KiB
Current children cumulated memory: 9026932 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/271 26305
/proc/meminfo: memFree=113823832/131249996 swapFree=33010684/33010684
[pid=26172] ppid=26169 vsize=4324 memory=2816 CPUtime=393.96 cores=4,6
/proc/26172/stat : 26172 (Hybrid-CASHWMax) S 26169 26172 23310 0 -1 4194304 282 881461 0 0 0 0 39038 358 20 0 1 0 35515492 4427776 704 18446744073709551615 93974129811456 93974130705989 140721838190224 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93974130945040 93974130992784 93974161293312 140721838197079 140721838197233 140721838197233 140721838202835 0
/proc/26172/statm: 1081 704 672 219 0 143 0
[pid=26304] ppid=26172 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/26304/stat : 26304 (timeout) S 26172 26304 23310 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 35554997 2723840 352 18446744073709551615 93891941044224 93891941060737 140737276844176 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 93891941075504 93891941077592 93891943895040 140737276852616 140737276852770 140737276852770 140737276858343 0
/proc/26304/statm: 665 352 352 5 0 90 0
[pid=26305] ppid=26304 vsize=1845304 memory=1719304 CPUtime=7.2 cores=4,6
/proc/26305/stat : 26305 (SynLSCD) R 26304 26304 23310 0 -1 4194304 240953 0 0 0 662 58 0 0 20 0 1 0 35554998 1889591296 429826 18446744073709551615 94206977486848 94206979921001 140723678368544 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94206980402424 94206980435456 94206985170944 140723678374306 140723678374441 140723678374441 140723678380014 0
/proc/26305/statm: 461326 429826 2272 595 0 445993 0
Current children cumulated CPU time: 401.16 s
Current children cumulated vsize: 1852288 KiB
Current children cumulated memory: 1723528 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/271 26310
/proc/meminfo: memFree=99924288/131249996 swapFree=33010684/33010684
[pid=26172] ppid=26169 vsize=4324 memory=2816 CPUtime=393.96 cores=4,6
/proc/26172/stat : 26172 (Hybrid-CASHWMax) S 26169 26172 23310 0 -1 4194304 282 881461 0 0 0 0 39038 358 20 0 1 0 35515492 4427776 704 18446744073709551615 93974129811456 93974130705989 140721838190224 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93974130945040 93974130992784 93974161293312 140721838197079 140721838197233 140721838197233 140721838202835 0
/proc/26172/statm: 1081 704 672 219 0 143 0
[pid=26304] ppid=26172 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/26304/stat : 26304 (timeout) S 26172 26304 23310 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 35554997 2723840 352 18446744073709551615 93891941044224 93891941060737 140737276844176 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 93891941075504 93891941077592 93891943895040 140737276852616 140737276852770 140737276852770 140737276858343 0
/proc/26304/statm: 665 352 352 5 0 90 0
[pid=26305] ppid=26304 vsize=13419852 memory=13040160 CPUtime=67.01 cores=4,6
/proc/26305/stat : 26305 (SynLSCD) R 26304 26304 23310 0 -1 4194304 1910036 0 0 0 6202 499 0 0 20 0 1 0 35554998 13741928448 3260040 18446744073709551615 94206977486848 94206979921001 140723678368544 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94206980402424 94206980435456 94206985170944 140723678374306 140723678374441 140723678374441 140723678380014 0
/proc/26305/statm: 3354963 3260040 2272 595 0 3339630 0
Current children cumulated CPU time: 460.97 s
Current children cumulated vsize: 13426836 KiB
Current children cumulated memory: 13044384 KiB



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+518.9 s]
/proc/loadavg: 4.15 4.10 4.09 5/271 26314
/proc/meminfo: memFree=97227672/131249996 swapFree=33010684/33010684
[pid=26172] ppid=26169 vsize=4324 memory=2816 CPUtime=393.96 cores=4,6
/proc/26172/stat : 26172 (Hybrid-CASHWMax) S 26169 26172 23310 0 -1 4194304 282 881461 0 0 0 0 39038 358 20 0 1 0 35515492 4427776 704 18446744073709551615 93974129811456 93974130705989 140721838190224 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93974130945040 93974130992784 93974161293312 140721838197079 140721838197233 140721838197233 140721838202835 0
/proc/26172/statm: 1081 704 672 219 0 143 0
[pid=26304] ppid=26172 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/26304/stat : 26304 (timeout) S 26172 26304 23310 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 35554997 2723840 352 18446744073709551615 93891941044224 93891941060737 140737276844176 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 93891941075504 93891941077592 93891943895040 140737276852616 140737276852770 140737276852770 140737276858343 0
/proc/26304/statm: 665 352 352 5 0 90 0
[pid=26305] ppid=26304 vsize=32677748 memory=20638620 CPUtime=123.44 cores=4,6
/proc/26305/stat : 26305 (SynLSCD) R 26304 26304 23310 0 -1 4194304 3436471 0 0 0 11507 837 0 0 20 0 1 0 35554998 33462013952 5159655 18446744073709551615 94206977486848 94206979921001 140723678368544 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94206980402424 94206980435456 94206985170944 140723678374306 140723678374441 140723678374441 140723678380014 0
/proc/26305/statm: 8169437 5159655 2464 595 0 8154104 0
Current children cumulated CPU time: 517.4 s
Current children cumulated vsize: 32684732 KiB
Current children cumulated memory: 20642844 KiB

Sending SIGTERM to process tree (bottom up)

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

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

Sending SIGKILL to process tree (bottom up)

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

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

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

# cumulated CPU time of all completed processes:  user=506.842 s, system=13.0887 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+520 s]*
/proc/loadavg: 4.15 4.10 4.09 5/270 26314
/proc/meminfo: memFree=94120340/131249996 swapFree=33010684/33010684
[pid=26304] ppid=26169 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/26304/stat : 26304 (timeout) S 26169 26304 23310 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 35554997 2723840 352 18446744073709551615 93891941044224 93891941060737 140737276844176 0 0 0 0 3293184 73735 1 0 0 17 6 0 0 0 0 0 93891941075504 93891941077592 93891943895040 140737276852616 140737276852770 140737276852770 140737276858343 0
/proc/26304/statm: 665 352 352 5 0 90 0
[pid=26305] ppid=26304 vsize=37536848 memory=22967312 CPUtime=124.55 cores=4,6
/proc/26305/stat : 26305 (SynLSCD) R 26304 26304 23310 0 -1 4194304 3478032 0 0 0 11570 885 0 0 20 0 1 0 35554998 38437732352 5741828 18446744073709551615 94206977486848 94206979921001 140723678368544 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94206980402424 94206980435456 94206985170944 140723678374306 140723678374441 140723678374441 140723678380014 0
/proc/26305/statm: 9384212 5741828 2464 595 0 9368879 0
Current cumulated CPU time of completed processes: 393.977 s
Current children cumulated CPU time: 124.55 s
Current children cumulated vsize: 37539508 KiB
Current children cumulated memory: 22968720 KiB

[startup+520.4 s]
/proc/loadavg: 4.15 4.10 4.09 5/270 26314
/proc/meminfo: memFree=94120340/131249996 swapFree=33010684/33010684
[pid=26304] ppid=26169 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/26304/stat : 26304 (timeout) S 26169 26304 23310 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 35554997 2723840 352 18446744073709551615 93891941044224 93891941060737 140737276844176 0 0 0 0 3293184 73735 1 0 0 17 6 0 0 0 0 0 93891941075504 93891941077592 93891943895040 140737276852616 140737276852770 140737276852770 140737276858343 0
/proc/26304/statm: 665 352 352 5 0 90 0
[pid=26305] ppid=26304 vsize=37696172 memory=23157440 CPUtime=124.94 cores=4,6
/proc/26305/stat : 26305 (SynLSCD) R 26304 26304 23310 0 -1 4194304 3517893 0 0 0 11603 891 0 0 20 0 1 0 35554998 38600880128 5789360 18446744073709551615 94206977486848 94206979921001 140723678368544 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94206980402424 94206980435456 94206985170944 140723678374306 140723678374441 140723678374441 140723678380014 0
/proc/26305/statm: 9424043 5789360 2464 595 0 9408710 0
Current cumulated CPU time of completed processes: 393.977 s
Current children cumulated CPU time: 124.94 s
Current children cumulated vsize: 37698832 KiB
Current children cumulated memory: 23158848 KiB

[startup+520.8 s]
/proc/loadavg: 4.15 4.10 4.09 5/270 26314
/proc/meminfo: memFree=94120340/131249996 swapFree=33010684/33010684
[pid=26304] ppid=26169 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/26304/stat : 26304 (timeout) S 26169 26304 23310 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 35554997 2723840 352 18446744073709551615 93891941044224 93891941060737 140737276844176 0 0 0 0 3293184 73735 1 0 0 17 6 0 0 0 0 0 93891941075504 93891941077592 93891943895040 140737276852616 140737276852770 140737276852770 140737276858343 0
/proc/26304/statm: 665 352 352 5 0 90 0
[pid=26305] ppid=26304 vsize=37857608 memory=23351616 CPUtime=125.33 cores=4,6
/proc/26305/stat : 26305 (SynLSCD) R 26304 26304 23310 0 -1 4194304 3558264 0 0 0 11636 897 0 0 20 0 1 0 35554998 38766190592 5837904 18446744073709551615 94206977486848 94206979921001 140723678368544 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94206980402424 94206980435456 94206985170944 140723678374306 140723678374441 140723678374441 140723678380014 0
/proc/26305/statm: 9464402 5837904 2464 595 0 9449069 0
Current cumulated CPU time of completed processes: 393.977 s
Current children cumulated CPU time: 125.33 s
Current children cumulated vsize: 37860268 KiB
Current children cumulated memory: 23353024 KiB

[startup+520.9 s]
/proc/loadavg: 4.15 4.10 4.09 5/270 26314
/proc/meminfo: memFree=94120340/131249996 swapFree=33010684/33010684
[pid=26304] ppid=26169 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/26304/stat : 26304 (timeout) S 26169 26304 23310 0 -1 4194304 111 0 0 0 0 0 0 0 20 0 1 0 35554997 2723840 352 18446744073709551615 93891941044224 93891941060737 140737276844176 0 0 0 0 3293184 73735 1 0 0 17 6 0 0 0 0 0 93891941075504 93891941077592 93891943895040 140737276852616 140737276852770 140737276852770 140737276858343 0
/proc/26304/statm: 665 352 352 5 0 90 0
[pid=26305] ppid=26304 vsize=37897868 memory=23400128 CPUtime=125.44 cores=4,6
/proc/26305/stat : 26305 (SynLSCD) R 26304 26304 23310 0 -1 4194304 3568325 0 0 0 11645 899 0 0 20 0 1 0 35554998 38807416832 5850032 18446744073709551615 94206977486848 94206979921001 140723678368544 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94206980402424 94206980435456 94206985170944 140723678374306 140723678374441 140723678374441 140723678380014 0
/proc/26305/statm: 9474467 5850032 2464 595 0 9459134 0
Current cumulated CPU time of completed processes: 393.977 s
Current children cumulated CPU time: 125.44 s
Current children cumulated vsize: 37900528 KiB
Current children cumulated memory: 23401536 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 521.406
CPU time (s): 519.931
CPU user time (s): 506.842
CPU system time (s): 13.0887
CPU usage (%): 99.7172
Max. virtual memory (cumulated for all children) (KiB): 37900528
Max. memory (cumulated for all children) (KiB): 23401536

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 506.842
system time used= 13.0887
maximum resident set size= 23400128
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4450185
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= 422
involuntary context switches= 881


# summary of solver processes directly reported to runsolver:
#   pid: 26172,26304,26305
#   total CPU time (s): 519.931
#   total CPU user time (s): 506.842
#   total CPU system time (s): 13.0887

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.13469 second user time and 2.51816 second system time

The end

Launcher Data 

Begin job on nodeC015 at 2025-06-29 13:59:40
IDJOB=4511794
IDBENCH=160484
IDSOLVER=3331
FILE ID=nodeC015/4511794-1751198380
RUNJOBID= nodeC015-1751193586-23321
SLURM_JOB_ID= 9587589
Free space on /tmp= 432884 MiB

SOLVER NAME= Hybrid-CASHWMaxSATDisjComS+SynLSCD 2025-06-01
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/hw256/normalized-hw256-vm98p-dec.opb.negationfix.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjComS+SynLSCD BENCHNAME TIMEOUT TMPDIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4511794-1751198380/watcher-4511794-1751198380 -o /tmp/evaluation-result-4511794-1751198380/solver-4511794-1751198380 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751193586-23321 --watchdog 3760  ./Hybrid-CASHWMaxSATDisjComS+SynLSCD HOME/instance-4511794-1751198380.opb 3600 HOME

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

MD5SUM BENCH= 0ade693002e69cf4f48fe48722d4f7a3
RANDOM SEED=146310352

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        119030328 kB
MemAvailable:   119055428 kB
Buffers:            3280 kB
Cached:           834304 kB
SwapCached:            0 kB
Active:          9940336 kB
Inactive:         577920 kB
Active(anon):    9698748 kB
Inactive(anon):        0 kB
Active(file):     241588 kB
Inactive(file):   577920 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             47024 kB
Writeback:             0 kB
AnonPages:       9683844 kB
Mapped:           114352 kB
Shmem:             18076 kB
KReclaimable:      89664 kB
Slab:             175116 kB
SReclaimable:      89664 kB
SUnreclaim:        85452 kB
KernelStack:        4352 kB
PageTables:        22440 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:   11132112 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150632 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4679680 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:      205524 kB
DirectMap2M:    11100160 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 432864 MiB
End job on nodeC015 at 2025-06-29 14:08:22