Trace number 4547360

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) 546.196 547.832

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw256/normalized-hw256-vm95p-dec.opb.negationfix.opb
MD5SUM4a42be2aaf272439af058ac9b796a856
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.94313
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables661504
Total number of constraints5680
Number of constraints which are clauses2583
Number of constraints which are cardinality constraints (but not clauses)2583
Number of constraints which are nor clauses,nor cardinality constraints514
Minimum length of a constraint256
Maximum length of a constraint2584
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 935283
Number of bits of the biggest number in a constraint 20
Biggest sum of numbers in a constraint 2150318
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 (62795 MiB free)
  memory of node 1: 64465 MiB (63427 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100063 s]*
/proc/loadavg: 1.31 2.75 3.55 5/275 221545
/proc/meminfo: memFree=129214264/131249992 swapFree=33003724/33010684
[pid=221541] ppid=221538 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/221541/stat : 221541 (Hybrid-CASHWMax) S 221538 221541 219772 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 242396225 4427776 768 18446744073709551615 94666712408064 94666713302597 140731589774688 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94666713541648 94666713589392 94666741526528 140731589781845 140731589781999 140731589781999 140731589787603 0
/proc/221541/statm: 1081 768 704 219 0 143 0
[pid=221544] ppid=221541 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/221544/stat : 221544 (timeout) S 221541 221544 219772 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 242396227 2723840 320 18446744073709551615 94423631994880 94423632011393 140728326032272 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94423632026160 94423632028248 94423649529856 140728326039966 140728326040096 140728326040096 140728326045671 0
/proc/221544/statm: 665 320 320 5 0 90 0
[pid=221545] ppid=221544 vsize=37176 memory=21060 CPUtime=0.07 cores=0,2
/proc/221545/stat : 221545 (CASHWMaxSAT-Dis) R 221544 221544 219772 0 -1 4194304 4767 0 0 0 7 0 0 0 20 0 1 0 242396227 38068224 5265 18446744073709551615 4198400 14817773 140726095362656 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 41209856 140726095366564 140726095366681 140726095366681 140726095372256 0
/proc/221545/statm: 8909 5265 864 2593 0 5802 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 44160 KiB
Current children cumulated memory: 25412 KiB

[startup+0.205743 s]*
/proc/loadavg: 1.31 2.75 3.55 5/275 221545
/proc/meminfo: memFree=129136820/131249992 swapFree=33003724/33010684
[pid=221541] ppid=221538 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/221541/stat : 221541 (Hybrid-CASHWMax) S 221538 221541 219772 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 242396225 4427776 768 18446744073709551615 94666712408064 94666713302597 140731589774688 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94666713541648 94666713589392 94666741526528 140731589781845 140731589781999 140731589781999 140731589787603 0
/proc/221541/statm: 1081 768 704 219 0 143 0
[pid=221544] ppid=221541 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/221544/stat : 221544 (timeout) S 221541 221544 219772 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 242396227 2723840 320 18446744073709551615 94423631994880 94423632011393 140728326032272 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94423632026160 94423632028248 94423649529856 140728326039966 140728326040096 140728326040096 140728326045671 0
/proc/221544/statm: 665 320 320 5 0 90 0
[pid=221545] ppid=221544 vsize=59868 memory=43720 CPUtime=0.18 cores=0,2
/proc/221545/stat : 221545 (CASHWMaxSAT-Dis) R 221544 221544 219772 0 -1 4194304 10456 0 0 0 17 1 0 0 20 0 1 0 242396227 61304832 10930 18446744073709551615 4198400 14817773 140726095362656 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 41209856 140726095366564 140726095366681 140726095366681 140726095372256 0
/proc/221545/statm: 14967 10930 864 2593 0 11860 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 66852 KiB
Current children cumulated memory: 48072 KiB

[startup+0.30566 s]*
/proc/loadavg: 1.31 2.75 3.55 5/275 221545
/proc/meminfo: memFree=129082384/131249992 swapFree=33003724/33010684
[pid=221541] ppid=221538 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/221541/stat : 221541 (Hybrid-CASHWMax) S 221538 221541 219772 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 242396225 4427776 768 18446744073709551615 94666712408064 94666713302597 140731589774688 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94666713541648 94666713589392 94666741526528 140731589781845 140731589781999 140731589781999 140731589787603 0
/proc/221541/statm: 1081 768 704 219 0 143 0
[pid=221544] ppid=221541 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/221544/stat : 221544 (timeout) S 221541 221544 219772 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 242396227 2723840 320 18446744073709551615 94423631994880 94423632011393 140728326032272 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94423632026160 94423632028248 94423649529856 140728326039966 140728326040096 140728326040096 140728326045671 0
/proc/221544/statm: 665 320 320 5 0 90 0
[pid=221545] ppid=221544 vsize=70220 memory=53448 CPUtime=0.28 cores=0,2
/proc/221545/stat : 221545 (CASHWMaxSAT-Dis) R 221544 221544 219772 0 -1 4194304 12870 0 0 0 27 1 0 0 20 0 1 0 242396227 71905280 13362 18446744073709551615 4198400 14817773 140726095362656 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 41209856 140726095366564 140726095366681 140726095366681 140726095372256 0
/proc/221545/statm: 17555 13362 864 2593 0 14448 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 77204 KiB
Current children cumulated memory: 57800 KiB

[startup+0.700203 s]
/proc/loadavg: 1.31 2.75 3.55 5/275 221545
/proc/meminfo: memFree=129022152/131249992 swapFree=33003724/33010684
[pid=221541] ppid=221538 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/221541/stat : 221541 (Hybrid-CASHWMax) S 221538 221541 219772 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 242396225 4427776 768 18446744073709551615 94666712408064 94666713302597 140731589774688 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94666713541648 94666713589392 94666741526528 140731589781845 140731589781999 140731589781999 140731589787603 0
/proc/221541/statm: 1081 768 704 219 0 143 0
[pid=221544] ppid=221541 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/221544/stat : 221544 (timeout) S 221541 221544 219772 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 242396227 2723840 320 18446744073709551615 94423631994880 94423632011393 140728326032272 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94423632026160 94423632028248 94423649529856 140728326039966 140728326040096 140728326040096 140728326045671 0
/proc/221544/statm: 665 320 320 5 0 90 0
[pid=221545] ppid=221544 vsize=130116 memory=105080 CPUtime=0.67 cores=0,2
/proc/221545/stat : 221545 (CASHWMaxSAT-Dis) R 221544 221544 219772 0 -1 4194304 22736 0 0 0 63 4 0 0 20 0 1 0 242396227 133238784 26270 18446744073709551615 4198400 14817773 140726095362656 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 41209856 140726095366564 140726095366681 140726095366681 140726095372256 0
/proc/221545/statm: 32529 26270 864 2593 0 29422 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 137100 KiB
Current children cumulated memory: 109432 KiB

[startup+1.50018 s]
/proc/loadavg: 1.31 2.75 3.55 5/275 221545
/proc/meminfo: memFree=128803456/131249992 swapFree=33003724/33010684
[pid=221541] ppid=221538 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/221541/stat : 221541 (Hybrid-CASHWMax) S 221538 221541 219772 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 242396225 4427776 768 18446744073709551615 94666712408064 94666713302597 140731589774688 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94666713541648 94666713589392 94666741526528 140731589781845 140731589781999 140731589781999 140731589787603 0
/proc/221541/statm: 1081 768 704 219 0 143 0
[pid=221544] ppid=221541 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/221544/stat : 221544 (timeout) S 221541 221544 219772 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 242396227 2723840 320 18446744073709551615 94423631994880 94423632011393 140728326032272 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94423632026160 94423632028248 94423649529856 140728326039966 140728326040096 140728326040096 140728326045671 0
/proc/221544/statm: 665 320 320 5 0 90 0
[pid=221545] ppid=221544 vsize=347512 memory=310780 CPUtime=1.47 cores=0,2
/proc/221545/stat : 221545 (CASHWMaxSAT-Dis) R 221544 221544 219772 0 -1 4194304 43004 0 0 0 137 10 0 0 20 0 1 0 242396227 355852288 77695 18446744073709551615 4198400 14817773 140726095362656 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 41209856 140726095366564 140726095366681 140726095366681 140726095372256 0
/proc/221545/statm: 86878 77695 864 2593 0 83771 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 354496 KiB
Current children cumulated memory: 315132 KiB

[startup+3.10544 s]
/proc/loadavg: 1.61 2.78 3.56 5/275 221545
/proc/meminfo: memFree=128064044/131249992 swapFree=33003724/33010684
[pid=221541] ppid=221538 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/221541/stat : 221541 (Hybrid-CASHWMax) S 221538 221541 219772 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 242396225 4427776 768 18446744073709551615 94666712408064 94666713302597 140731589774688 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94666713541648 94666713589392 94666741526528 140731589781845 140731589781999 140731589781999 140731589787603 0
/proc/221541/statm: 1081 768 704 219 0 143 0
[pid=221544] ppid=221541 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/221544/stat : 221544 (timeout) S 221541 221544 219772 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 242396227 2723840 320 18446744073709551615 94423631994880 94423632011393 140728326032272 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94423632026160 94423632028248 94423649529856 140728326039966 140728326040096 140728326040096 140728326045671 0
/proc/221544/statm: 665 320 320 5 0 90 0
[pid=221545] ppid=221544 vsize=450968 memory=413156 CPUtime=3.07 cores=0,2
/proc/221545/stat : 221545 (CASHWMaxSAT-Dis) R 221544 221544 219772 0 -1 4194304 68124 0 0 0 293 14 0 0 20 0 1 0 242396227 461791232 103289 18446744073709551615 4198400 14817773 140726095362656 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 41209856 140726095366564 140726095366681 140726095366681 140726095372256 0
/proc/221545/statm: 112742 103289 864 2593 0 109635 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 457952 KiB
Current children cumulated memory: 417508 KiB

[startup+6.30022 s]
/proc/loadavg: 1.61 2.78 3.56 5/275 221545
/proc/meminfo: memFree=127294224/131249992 swapFree=33003724/33010684
[pid=221541] ppid=221538 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/221541/stat : 221541 (Hybrid-CASHWMax) S 221538 221541 219772 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 242396225 4427776 768 18446744073709551615 94666712408064 94666713302597 140731589774688 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94666713541648 94666713589392 94666741526528 140731589781845 140731589781999 140731589781999 140731589787603 0
/proc/221541/statm: 1081 768 704 219 0 143 0
[pid=221544] ppid=221541 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/221544/stat : 221544 (timeout) S 221541 221544 219772 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 242396227 2723840 320 18446744073709551615 94423631994880 94423632011393 140728326032272 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94423632026160 94423632028248 94423649529856 140728326039966 140728326040096 140728326040096 140728326045671 0
/proc/221544/statm: 665 320 320 5 0 90 0
[pid=221545] ppid=221544 vsize=734944 memory=653848 CPUtime=6.26 cores=0,2
/proc/221545/stat : 221545 (CASHWMaxSAT-Dis) R 221544 221544 219772 0 -1 4194304 123676 0 0 0 602 24 0 0 20 0 1 0 242396227 752582656 163462 18446744073709551615 4198400 14817773 140726095362656 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 41209856 140726095366564 140726095366681 140726095366681 140726095372256 0
/proc/221545/statm: 183736 163462 896 2593 0 180629 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 741928 KiB
Current children cumulated memory: 658200 KiB

[startup+12.7002 s]
/proc/loadavg: 1.80 2.80 3.56 5/275 221545
/proc/meminfo: memFree=125629932/131249992 swapFree=33003724/33010684
[pid=221541] ppid=221538 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/221541/stat : 221541 (Hybrid-CASHWMax) S 221538 221541 219772 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 242396225 4427776 768 18446744073709551615 94666712408064 94666713302597 140731589774688 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94666713541648 94666713589392 94666741526528 140731589781845 140731589781999 140731589781999 140731589787603 0
/proc/221541/statm: 1081 768 704 219 0 143 0
[pid=221544] ppid=221541 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/221544/stat : 221544 (timeout) S 221541 221544 219772 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 242396227 2723840 320 18446744073709551615 94423631994880 94423632011393 140728326032272 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94423632026160 94423632028248 94423649529856 140728326039966 140728326040096 140728326040096 140728326045671 0
/proc/221544/statm: 665 320 320 5 0 90 0
[pid=221545] ppid=221544 vsize=1261104 memory=1152420 CPUtime=12.63 cores=0,2
/proc/221545/stat : 221545 (CASHWMaxSAT-Dis) R 221544 221544 219772 0 -1 4194304 154875 0 0 0 1224 39 0 0 20 0 1 0 242396227 1291370496 288105 18446744073709551615 4198400 14817773 140726095362656 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 41209856 140726095366564 140726095366681 140726095366681 140726095372256 0
/proc/221545/statm: 315276 288105 896 2593 0 312169 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 1268088 KiB
Current children cumulated memory: 1156772 KiB

[startup+25.5002 s]
/proc/loadavg: 2.29 2.86 3.57 5/275 221595
/proc/meminfo: memFree=122005476/131249992 swapFree=33003724/33010684
[pid=221541] ppid=221538 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/221541/stat : 221541 (Hybrid-CASHWMax) S 221538 221541 219772 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 242396225 4427776 768 18446744073709551615 94666712408064 94666713302597 140731589774688 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94666713541648 94666713589392 94666741526528 140731589781845 140731589781999 140731589781999 140731589787603 0
/proc/221541/statm: 1081 768 704 219 0 143 0
[pid=221544] ppid=221541 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/221544/stat : 221544 (timeout) S 221541 221544 219772 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 242396227 2723840 320 18446744073709551615 94423631994880 94423632011393 140728326032272 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94423632026160 94423632028248 94423649529856 140728326039966 140728326040096 140728326040096 140728326045671 0
/proc/221544/statm: 665 320 320 5 0 90 0
[pid=221545] ppid=221544 vsize=2947264 memory=2697924 CPUtime=25.4 cores=0,2
/proc/221545/stat : 221545 (CASHWMaxSAT-Dis) R 221544 221544 219772 0 -1 4194304 244360 0 0 0 2459 81 0 0 20 0 1 0 242396227 3017998336 674481 18446744073709551615 4198400 14817773 140726095362656 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 41209856 140726095366564 140726095366681 140726095366681 140726095372256 0
/proc/221545/statm: 736816 674481 896 2593 0 733709 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 2954248 KiB
Current children cumulated memory: 2702276 KiB

[startup+51.1056 s]
/proc/loadavg: 3.01 2.99 3.59 5/275 221596
/proc/meminfo: memFree=119210216/131249992 swapFree=33003724/33010684
[pid=221541] ppid=221538 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/221541/stat : 221541 (Hybrid-CASHWMax) S 221538 221541 219772 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 242396225 4427776 768 18446744073709551615 94666712408064 94666713302597 140731589774688 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94666713541648 94666713589392 94666741526528 140731589781845 140731589781999 140731589781999 140731589787603 0
/proc/221541/statm: 1081 768 704 219 0 143 0
[pid=221544] ppid=221541 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/221544/stat : 221544 (timeout) S 221541 221544 219772 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 242396227 2723840 320 18446744073709551615 94423631994880 94423632011393 140728326032272 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94423632026160 94423632028248 94423649529856 140728326039966 140728326040096 140728326040096 140728326045671 0
/proc/221544/statm: 665 320 320 5 0 90 0
[pid=221545] ppid=221544 vsize=3380752 memory=3208568 CPUtime=50.93 cores=0,2
/proc/221545/stat : 221545 (CASHWMaxSAT-Dis) R 221544 221544 219772 0 -1 4194304 348244 0 0 0 4982 111 0 0 20 0 1 0 242396227 3461890048 802142 18446744073709551615 4198400 14817773 140726095362656 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 41209856 140726095366564 140726095366681 140726095366681 140726095372256 0
/proc/221545/statm: 845188 802142 896 2593 0 842081 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 3387736 KiB
Current children cumulated memory: 3212920 KiB

[startup+102.3 s]
/proc/loadavg: 3.65 3.16 3.62 5/276 221600
/proc/meminfo: memFree=113500728/131249992 swapFree=33003724/33010684
[pid=221541] ppid=221538 vsize=4324 memory=3072 CPUtime=0 cores=0,2
/proc/221541/stat : 221541 (Hybrid-CASHWMax) S 221538 221541 219772 0 -1 4194304 249 104 0 0 0 0 0 0 20 0 1 0 242396225 4427776 768 18446744073709551615 94666712408064 94666713302597 140731589774688 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94666713541648 94666713589392 94666741526528 140731589781845 140731589781999 140731589781999 140731589787603 0
/proc/221541/statm: 1081 768 704 219 0 143 0
[pid=221544] ppid=221541 vsize=2660 memory=1280 CPUtime=0 cores=0,2

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

/proc/221544/statm: 665 320 320 5 0 90 0
[pid=221545] ppid=221544 vsize=10038848 memory=9510064 CPUtime=401.07 cores=0,2
/proc/221545/stat : 221545 (CASHWMaxSAT-Dis) R 221544 221544 219772 0 -1 4194304 877143 0 0 0 39750 357 0 0 20 0 1 0 242396227 10279780352 2377516 18446744073709551615 4198400 14817773 140726095362656 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 41209856 140726095366564 140726095366681 140726095366681 140726095372256 0
/proc/221545/statm: 2509712 2377516 1152 2593 0 2506605 0
Current children cumulated CPU time: 401.07 s
Current children cumulated vsize: 10045832 KiB
Current children cumulated memory: 9514416 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 3.82 3.78 5/273 221771
/proc/meminfo: memFree=117236604/131249992 swapFree=33003724/33010684
[pid=221541] ppid=221538 vsize=4324 memory=3072 CPUtime=422.43 cores=0,2
/proc/221541/stat : 221541 (Hybrid-CASHWMax) S 221538 221541 219772 0 -1 4194304 283 878146 0 0 0 0 41872 371 20 0 1 0 242396225 4427776 768 18446744073709551615 94666712408064 94666713302597 140731589774688 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94666713541648 94666713589392 94666741526528 140731589781845 140731589781999 140731589781999 140731589787603 0
/proc/221541/statm: 1081 768 704 219 0 143 0
[pid=221767] ppid=221541 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/221767/stat : 221767 (timeout) S 221541 221767 219772 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 242438597 2723840 320 18446744073709551615 94156630581248 94156630597761 140725092897808 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94156630612528 94156630614616 94156645912576 140725092903302 140725092903456 140725092903456 140725092909031 0
/proc/221767/statm: 665 320 320 5 0 90 0
[pid=221768] ppid=221767 vsize=7667120 memory=7462236 CPUtime=38.45 cores=0,2
/proc/221768/stat : 221768 (SynLSCD) R 221767 221767 219772 0 -1 4194304 1188599 0 0 0 3545 300 0 0 20 0 1 0 242438598 7851130880 1865559 18446744073709551615 94330775236608 94330777671209 140726117156576 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94330778152184 94330778185216 94330787463168 140726117161376 140726117161511 140726117161511 140726117167086 0
/proc/221768/statm: 1916780 1865559 2272 595 0 1901447 0
Current children cumulated CPU time: 460.88 s
Current children cumulated vsize: 7674104 KiB
Current children cumulated memory: 7466588 KiB

[startup+522.3 s]
/proc/loadavg: 4.07 3.87 3.81 5/273 221779
/proc/meminfo: memFree=96843052/131249992 swapFree=33003724/33010684
[pid=221541] ppid=221538 vsize=4324 memory=3072 CPUtime=422.43 cores=0,2
/proc/221541/stat : 221541 (Hybrid-CASHWMax) S 221538 221541 219772 0 -1 4194304 283 878146 0 0 0 0 41872 371 20 0 1 0 242396225 4427776 768 18446744073709551615 94666712408064 94666713302597 140731589774688 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94666713541648 94666713589392 94666741526528 140731589781845 140731589781999 140731589781999 140731589787603 0
/proc/221541/statm: 1081 768 704 219 0 143 0
[pid=221767] ppid=221541 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/221767/stat : 221767 (timeout) S 221541 221767 219772 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 242438597 2723840 320 18446744073709551615 94156630581248 94156630597761 140725092897808 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94156630612528 94156630614616 94156645912576 140725092903302 140725092903456 140725092903456 140725092909031 0
/proc/221767/statm: 665 320 320 5 0 90 0
[pid=221768] ppid=221767 vsize=18689108 memory=17249148 CPUtime=98.29 cores=0,2
/proc/221768/stat : 221768 (SynLSCD) R 221767 221767 219772 0 -1 4194304 2866548 0 0 0 9095 734 0 0 20 0 1 0 242438598 19137646592 4312287 18446744073709551615 94330775236608 94330777671209 140726117156576 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94330778152184 94330778185216 94330787463168 140726117161376 140726117161511 140726117161511 140726117167086 0
/proc/221768/statm: 4672277 4312287 2272 595 0 4656944 0
Current children cumulated CPU time: 520.72 s
Current children cumulated vsize: 18696092 KiB
Current children cumulated memory: 17253500 KiB



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+545.3 s]
/proc/loadavg: 4.10 3.90 3.82 5/272 221780
/proc/meminfo: memFree=89179444/131249992 swapFree=33003724/33010684
[pid=221541] ppid=221538 vsize=4324 memory=3072 CPUtime=422.43 cores=0,2
/proc/221541/stat : 221541 (Hybrid-CASHWMax) S 221538 221541 219772 0 -1 4194304 283 878146 0 0 0 0 41872 371 20 0 1 0 242396225 4427776 768 18446744073709551615 94666712408064 94666713302597 140731589774688 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94666713541648 94666713589392 94666741526528 140731589781845 140731589781999 140731589781999 140731589787603 0
/proc/221541/statm: 1081 768 704 219 0 143 0
[pid=221767] ppid=221541 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/221767/stat : 221767 (timeout) S 221541 221767 219772 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 242438597 2723840 320 18446744073709551615 94156630581248 94156630597761 140725092897808 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94156630612528 94156630614616 94156645912576 140725092903302 140725092903456 140725092903456 140725092909031 0
/proc/221767/statm: 665 320 320 5 0 90 0
[pid=221768] ppid=221767 vsize=32345528 memory=20269660 CPUtime=121.23 cores=0,2
/proc/221768/stat : 221768 (SynLSCD) R 221767 221767 219772 0 -1 4194304 3392107 0 0 0 11279 844 0 0 20 0 1 0 242438598 33121820672 5067415 18446744073709551615 94330775236608 94330777671209 140726117156576 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94330778152184 94330778185216 94330787463168 140726117161376 140726117161511 140726117161511 140726117167086 0
/proc/221768/statm: 8086382 5067415 2432 595 0 8071049 0
Current children cumulated CPU time: 543.66 s
Current children cumulated vsize: 32352512 KiB
Current children cumulated memory: 20274012 KiB

Sending SIGTERM to process tree (bottom up)

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

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

Sending SIGKILL to process tree (bottom up)

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

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

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

# cumulated CPU time of all completed processes:  user=532.868 s, system=13.3286 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+545.6 s]
/proc/loadavg: 4.10 3.90 3.82 5/271 221780
/proc/meminfo: memFree=88346548/131249992 swapFree=33003724/33010684
[pid=221767] ppid=221538 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/221767/stat : 221767 (timeout) S 221538 221767 219772 0 -1 4194304 112 0 0 0 0 0 0 0 20 0 1 0 242438597 2723840 320 18446744073709551615 94156630581248 94156630597761 140725092897808 0 0 0 0 3293184 73735 1 0 0 17 0 0 0 0 0 0 94156630612528 94156630614616 94156645912576 140725092903302 140725092903456 140725092903456 140725092909031 0
/proc/221767/statm: 665 320 320 5 0 90 0
[pid=221768] ppid=221767 vsize=36988872 memory=21353488 CPUtime=121.53 cores=0,2
/proc/221768/stat : 221768 (SynLSCD) R 221767 221767 219772 0 -1 4194304 3393767 0 0 0 11288 865 0 0 20 0 1 0 242438598 37876604928 5338372 18446744073709551615 94330775236608 94330777671209 140726117156576 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94330778152184 94330778185216 94330787463168 140726117161376 140726117161511 140726117161511 140726117167086 0
/proc/221768/statm: 9247218 5338372 2432 595 0 9231885 0
Current cumulated CPU time of completed processes: 422.442 s
Current children cumulated CPU time: 121.53 s
Current children cumulated vsize: 36991532 KiB
Current children cumulated memory: 21354768 KiB

[startup+546.4 s]
/proc/loadavg: 4.10 3.90 3.82 4/266 221788
/proc/meminfo: memFree=105373200/131249992 swapFree=33003724/33010684
[pid=221767] ppid=221538 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/221767/stat : 221767 (timeout) S 221538 221767 219772 0 -1 4194304 112 0 0 0 0 0 0 0 20 0 1 0 242438597 2723840 320 18446744073709551615 94156630581248 94156630597761 140725092897808 0 0 0 0 3293184 73735 1 0 0 17 0 0 0 0 0 0 94156630612528 94156630614616 94156645912576 140725092903302 140725092903456 140725092903456 140725092909031 0
/proc/221767/statm: 665 320 320 5 0 90 0
[pid=221768] ppid=221767 vsize=37119312 memory=22670992 CPUtime=122.32 cores=0,2
/proc/221768/stat : 221768 (SynLSCD) R 221767 221767 219772 0 -1 4194304 3430370 0 0 0 11339 893 0 0 20 0 1 0 242438598 38010175488 5667748 18446744073709551615 94330775236608 94330777671209 140726117156576 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94330778152184 94330778185216 94330787463168 140726117161376 140726117161511 140726117161511 140726117167086 0
/proc/221768/statm: 9279828 5667748 2432 595 0 9264495 0
Current cumulated CPU time of completed processes: 422.442 s
Current children cumulated CPU time: 122.32 s
Current children cumulated vsize: 37121972 KiB
Current children cumulated memory: 22672272 KiB

[startup+546.8 s]
/proc/loadavg: 4.10 3.90 3.82 4/266 221788
/proc/meminfo: memFree=105373200/131249992 swapFree=33003724/33010684
[pid=221767] ppid=221538 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/221767/stat : 221767 (timeout) S 221538 221767 219772 0 -1 4194304 112 0 0 0 0 0 0 0 20 0 1 0 242438597 2723840 320 18446744073709551615 94156630581248 94156630597761 140725092897808 0 0 0 0 3293184 73735 1 0 0 17 0 0 0 0 0 0 94156630612528 94156630614616 94156645912576 140725092903302 140725092903456 140725092903456 140725092909031 0
/proc/221767/statm: 665 320 320 5 0 90 0
[pid=221768] ppid=221767 vsize=37274676 memory=22857096 CPUtime=122.72 cores=0,2
/proc/221768/stat : 221768 (SynLSCD) R 221767 221767 219772 0 -1 4194304 3469208 0 0 0 11373 899 0 0 20 0 1 0 242438598 38169268224 5714274 18446744073709551615 94330775236608 94330777671209 140726117156576 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94330778152184 94330778185216 94330787463168 140726117161376 140726117161511 140726117161511 140726117167086 0
/proc/221768/statm: 9318669 5714274 2432 595 0 9303336 0
Current cumulated CPU time of completed processes: 422.442 s
Current children cumulated CPU time: 122.72 s
Current children cumulated vsize: 37277336 KiB
Current children cumulated memory: 22858376 KiB

[startup+547.2 s]
/proc/loadavg: 4.10 3.90 3.82 4/266 221788
/proc/meminfo: memFree=104939832/131249992 swapFree=33003724/33010684
[pid=221767] ppid=221538 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/221767/stat : 221767 (timeout) S 221538 221767 219772 0 -1 4194304 112 0 0 0 0 0 0 0 20 0 1 0 242438597 2723840 320 18446744073709551615 94156630581248 94156630597761 140725092897808 0 0 0 0 3293184 73735 1 0 0 17 0 0 0 0 0 0 94156630612528 94156630614616 94156645912576 140725092903302 140725092903456 140725092903456 140725092909031 0
/proc/221767/statm: 665 320 320 5 0 90 0
[pid=221768] ppid=221767 vsize=37428060 memory=23043208 CPUtime=123.12 cores=0,2
/proc/221768/stat : 221768 (SynLSCD) R 221767 221767 219772 0 -1 4194304 3507581 0 0 0 11406 906 0 0 20 0 1 0 242438598 38326333440 5760802 18446744073709551615 94330775236608 94330777671209 140726117156576 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94330778152184 94330778185216 94330787463168 140726117161376 140726117161511 140726117161511 140726117167086 0
/proc/221768/statm: 9357015 5760802 2432 595 0 9341682 0
Current cumulated CPU time of completed processes: 422.442 s
Current children cumulated CPU time: 123.12 s
Current children cumulated vsize: 37430720 KiB
Current children cumulated memory: 23044488 KiB

[startup+547.3 s]
/proc/loadavg: 4.10 3.90 3.82 4/266 221788
/proc/meminfo: memFree=104939832/131249992 swapFree=33003724/33010684
[pid=221767] ppid=221538 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/221767/stat : 221767 (timeout) S 221538 221767 219772 0 -1 4194304 112 0 0 0 0 0 0 0 20 0 1 0 242438597 2723840 320 18446744073709551615 94156630581248 94156630597761 140725092897808 0 0 0 0 3293184 73735 1 0 0 17 0 0 0 0 0 0 94156630612528 94156630614616 94156645912576 140725092903302 140725092903456 140725092903456 140725092909031 0
/proc/221767/statm: 665 320 320 5 0 90 0
[pid=221768] ppid=221767 vsize=37467132 memory=23088400 CPUtime=123.22 cores=0,2
/proc/221768/stat : 221768 (SynLSCD) R 221767 221767 219772 0 -1 4194304 3517343 0 0 0 11414 908 0 0 20 0 1 0 242438598 38366343168 5772100 18446744073709551615 94330775236608 94330777671209 140726117156576 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94330778152184 94330778185216 94330787463168 140726117161376 140726117161511 140726117161511 140726117167086 0
/proc/221768/statm: 9366783 5772100 2432 595 0 9351450 0
Current cumulated CPU time of completed processes: 422.442 s
Current children cumulated CPU time: 123.22 s
Current children cumulated vsize: 37469792 KiB
Current children cumulated memory: 23089680 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 547.832
CPU time (s): 546.196
CPU user time (s): 532.868
CPU system time (s): 13.3286
CPU usage (%): 99.7013
Max. virtual memory (cumulated for all children) (KiB): 37469792
Max. memory (cumulated for all children) (KiB): 23089680

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 532.868
system time used= 13.3286
maximum resident set size= 23088400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4395890
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= 417
involuntary context switches= 744


# summary of solver processes directly reported to runsolver:
#   pid: 221541,221767,221768
#   total CPU time (s): 546.196
#   total CPU user time (s): 532.868
#   total CPU system time (s): 13.3286

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.1008 second user time and 2.56129 second system time

The end

Launcher Data 

Begin job on nodeC025 at 2025-07-23 12:39:35
IDJOB=4547360
IDBENCH=160480
IDSOLVER=3424
FILE ID=nodeC025/4547360-1753267174
RUNJOBID= nodeC025-1753267170-221173
SLURM_JOB_ID= 9689180
Free space on /tmp= 431748 MiB

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

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

MD5SUM BENCH= 4a42be2aaf272439af058ac9b796a856
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		: 3599.801
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		: 3598.392
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		: 3603.631
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		: 3599.532
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.847
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		: 3599.844
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		: 3677.246
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		: 3600.233
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:        129265784 kB
MemAvailable:   129676204 kB
Buffers:            2128 kB
Cached:          1153820 kB
SwapCached:         2132 kB
Active:           771380 kB
Inactive:         499108 kB
Active(anon):     108576 kB
Inactive(anon):    27612 kB
Active(file):     662804 kB
Inactive(file):   471496 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33003724 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            125472 kB
Writeback:             4 kB
AnonPages:        115564 kB
Mapped:           111244 kB
Shmem:             21600 kB
KReclaimable:     230720 kB
Slab:             328220 kB
SReclaimable:     230720 kB
SUnreclaim:        97500 kB
KernelStack:        4368 kB
PageTables:         3440 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     480256 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150648 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     20480 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= 431740 MiB
End job on nodeC025 at 2025-07-23 12:48:43