Trace number 4494438

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
CASHWMaxSATDisjCad-S 2025-06-01? (TO) 3600.03 3610.4

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/submitted-PB06/
liu/vdw/normalized-vdw_k6_l3_n170.opb
MD5SUMf8e7200d7e9c4a7cfb6b4e6c5b6d430a
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 benchmark104.888
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1020
Total number of constraints43010
Number of constraints which are clauses42840
Number of constraints which are cardinality constraints (but not clauses)170
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint6
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 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 7
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

3600.02/3610.40	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63837 MiB (62870 MiB free)
  memory of node 1: 64465 MiB (63471 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4494438-1751137596/watcher-4494438-1751137596 -o /tmp/evaluation-result-4494438-1751137596/solver-4494438-1751137596 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751133631-11125 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4494438-1751137596.opb -total-t=3600 -no-par -v0 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=12953, runsolver pid=12950

[startup+0.100101 s]*
/proc/loadavg: 4.13 4.17 4.10 5/251 12954
/proc/meminfo: memFree=129353220/131382112 swapFree=33010684/33010684
[pid=12953] ppid=12950 vsize=37472 memory=23040 CPUtime=0.1 cores=5,7
/proc/12953/stat : 12953 (CASHWMaxSAT-Dis) R 12950 12953 11107 0 -1 4194304 5038 0 0 0 10 0 0 0 20 0 1 0 29439009 38371328 5760 18446744073709551615 4198400 14817773 140728811798400 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 48537600 140728811805034 140728811805149 140728811805149 140728811810751 0
/proc/12953/statm: 9368 5760 864 2593 0 6261 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 37472 KiB
Current children cumulated memory: 23040 KiB

[startup+0.213303 s]*
/proc/loadavg: 4.13 4.17 4.10 5/251 12954
/proc/meminfo: memFree=129337092/131382112 swapFree=33010684/33010684
[pid=12953] ppid=12950 vsize=57672 memory=43200 CPUtime=0.21 cores=5,7
/proc/12953/stat : 12953 (CASHWMaxSAT-Dis) R 12950 12953 11107 0 -1 4194304 10172 0 0 0 20 1 0 0 20 0 1 0 29439009 59056128 10800 18446744073709551615 4198400 14817773 140728811798400 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 48537600 140728811805034 140728811805149 140728811805149 140728811810751 0
/proc/12953/statm: 14418 10800 896 2593 0 11311 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 57672 KiB
Current children cumulated memory: 43200 KiB

[startup+0.313188 s]*
/proc/loadavg: 4.13 4.17 4.10 5/251 12954
/proc/meminfo: memFree=129320964/131382112 swapFree=33010684/33010684
[pid=12953] ppid=12950 vsize=60352 memory=45928 CPUtime=0.31 cores=5,7
/proc/12953/stat : 12953 (CASHWMaxSAT-Dis) R 12950 12953 11107 0 -1 4194304 11448 0 0 0 30 1 0 0 20 0 1 0 29439009 61800448 11482 18446744073709551615 4198400 14817773 140728811798400 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 48537600 140728811805034 140728811805149 140728811805149 140728811810751 0
/proc/12953/statm: 15088 11482 960 2593 0 11981 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 60352 KiB
Current children cumulated memory: 45928 KiB

[startup+0.700294 s]
/proc/loadavg: 4.13 4.17 4.10 5/251 12954
/proc/meminfo: memFree=129288708/131382112 swapFree=33010684/33010684
[pid=12953] ppid=12950 vsize=61868 memory=47076 CPUtime=0.69 cores=5,7
/proc/12953/stat : 12953 (CASHWMaxSAT-Dis) R 12950 12953 11107 0 -1 4194304 15108 0 0 0 67 2 0 0 20 0 1 0 29439009 63352832 11769 18446744073709551615 4198400 14817773 140728811798400 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 48537600 140728811805034 140728811805149 140728811805149 140728811810751 0
/proc/12953/statm: 15467 11769 960 2593 0 12360 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 61868 KiB
Current children cumulated memory: 47076 KiB

[startup+1.50023 s]
/proc/loadavg: 4.13 4.17 4.10 5/251 12954
/proc/meminfo: memFree=129219596/131382112 swapFree=33010684/33010684
[pid=12953] ppid=12950 vsize=62852 memory=48300 CPUtime=1.48 cores=5,7
/proc/12953/stat : 12953 (CASHWMaxSAT-Dis) R 12950 12953 11107 0 -1 4194304 17641 0 0 0 146 2 0 0 20 0 1 0 29439009 64360448 12075 18446744073709551615 4198400 14817773 140728811798400 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 48537600 140728811805034 140728811805149 140728811805149 140728811810751 0
/proc/12953/statm: 15713 12075 992 2593 0 12606 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 62852 KiB
Current children cumulated memory: 48300 KiB

[startup+3.11312 s]
/proc/loadavg: 4.13 4.17 4.10 5/251 12970
/proc/meminfo: memFree=129239144/131382112 swapFree=33010684/33010684
[pid=12953] ppid=12950 vsize=63656 memory=49160 CPUtime=3.09 cores=5,7
/proc/12953/stat : 12953 (CASHWMaxSAT-Dis) R 12950 12953 11107 0 -1 4194304 20670 0 0 0 305 4 0 0 20 0 1 0 29439009 65183744 12290 18446744073709551615 4198400 14817773 140728811798400 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 48537600 140728811805034 140728811805149 140728811805149 140728811810751 0
/proc/12953/statm: 15914 12290 992 2593 0 12807 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 63656 KiB
Current children cumulated memory: 49160 KiB

[startup+6.30027 s]
/proc/loadavg: 4.20 4.18 4.10 5/252 13001
/proc/meminfo: memFree=129285336/131382112 swapFree=33010684/33010684
[pid=12953] ppid=12950 vsize=63824 memory=49396 CPUtime=6.26 cores=5,7
/proc/12953/stat : 12953 (CASHWMaxSAT-Dis) R 12950 12953 11107 0 -1 4194304 25111 0 0 0 620 6 0 0 20 0 1 0 29439009 65355776 12349 18446744073709551615 4198400 14817773 140728811798400 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 48537600 140728811805034 140728811805149 140728811805149 140728811810751 0
/proc/12953/statm: 15956 12349 992 2593 0 12849 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 63824 KiB
Current children cumulated memory: 49396 KiB

[startup+12.7003 s]
/proc/loadavg: 4.18 4.18 4.10 5/252 13001
/proc/meminfo: memFree=129123512/131382112 swapFree=33010684/33010684
[pid=12953] ppid=12950 vsize=74300 memory=60180 CPUtime=12.64 cores=5,7
/proc/12953/stat : 12953 (CASHWMaxSAT-Dis) R 12950 12953 11107 0 -1 4194304 30697 0 0 0 1256 8 0 0 20 0 1 0 29439009 76083200 15045 18446744073709551615 4198400 14817773 140728811798400 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 48537600 140728811805034 140728811805149 140728811805149 140728811810751 0
/proc/12953/statm: 18575 15045 992 2593 0 15468 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 74300 KiB
Current children cumulated memory: 60180 KiB

[startup+25.5003 s]
/proc/loadavg: 4.14 4.17 4.10 5/252 13001
/proc/meminfo: memFree=129243728/131382112 swapFree=33010684/33010684
[pid=12953] ppid=12950 vsize=65672 memory=51796 CPUtime=25.4 cores=5,7
/proc/12953/stat : 12953 (CASHWMaxSAT-Dis) R 12950 12953 11107 0 -1 4194304 37418 0 0 0 2530 10 0 0 20 0 1 0 29439009 67248128 12949 18446744073709551615 4198400 14817773 140728811798400 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 48537600 140728811805034 140728811805149 140728811805149 140728811810751 0
/proc/12953/statm: 16418 12949 992 2593 0 13311 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 65672 KiB
Current children cumulated memory: 51796 KiB

[startup+51.1129 s]
/proc/loadavg: 4.15 4.17 4.10 5/252 13001
/proc/meminfo: memFree=129254232/131382112 swapFree=33010684/33010684
[pid=12953] ppid=12950 vsize=86844 memory=72792 CPUtime=50.94 cores=5,7
/proc/12953/stat : 12953 (CASHWMaxSAT-Dis) R 12950 12953 11107 0 -1 4194304 44853 0 0 0 5081 13 0 0 20 0 1 0 29439009 88928256 18198 18446744073709551615 4198400 14817773 140728811798400 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 48537600 140728811805034 140728811805149 140728811805149 140728811810751 0
/proc/12953/statm: 21711 18198 992 2593 0 18604 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 86844 KiB
Current children cumulated memory: 72792 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.16 4.09 5/252 13004
/proc/meminfo: memFree=129183908/131382112 swapFree=33010684/33010684
[pid=12953] ppid=12950 vsize=91252 memory=77272 CPUtime=101.98 cores=5,7
/proc/12953/stat : 12953 (CASHWMaxSAT-Dis) R 12950 12953 11107 0 -1 4194304 46036 0 0 0 10184 14 0 0 20 0 1 0 29439009 93442048 19318 18446744073709551615 4198400 14817773 140728811798400 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 48537600 140728811805034 140728811805149 140728811805149 140728811810751 0
/proc/12953/statm: 22813 19318 992 2593 0 19706 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 91252 KiB
Current children cumulated memory: 77272 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.14 4.09 5/247 13316
/proc/meminfo: memFree=129434736/131382112 swapFree=33010684/33010684
[pid=12953] ppid=12950 vsize=101616 memory=87640 CPUtime=161.8 cores=5,7
/proc/12953/stat : 12953 (CASHWMaxSAT-Dis) R 12950 12953 11107 0 -1 4194304 53191 0 0 0 16161 19 0 0 20 0 1 0 29439009 104054784 21910 18446744073709551615 4198400 14817773 140728811798400 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 48537600 140728811805034 140728811805149 140728811805149 140728811810751 0
/proc/12953/statm: 25404 21910 992 2593 0 22297 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 101616 KiB
Current children cumulated memory: 87640 KiB

[startup+222.3 s]
/proc/loadavg: 3.99 4.10 4.08 5/251 14491
/proc/meminfo: memFree=129782948/131382112 swapFree=33010684/33010684
[pid=12953] ppid=12950 vsize=82372 memory=68408 CPUtime=221.61 cores=5,7
/proc/12953/stat : 12953 (CASHWMaxSAT-Dis) R 12950 12953 11107 0 -1 4194304 55789 0 0 0 22137 24 0 0 20 0 1 0 29439009 84348928 17102 18446744073709551615 4198400 14817773 140728811798400 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 48537600 140728811805034 140728811805149 140728811805149 140728811810751 0
/proc/12953/statm: 20593 17102 992 2593 0 17486 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 82372 KiB
Current children cumulated memory: 68408 KiB

[startup+282.3 s]
/proc/loadavg: 4.04 4.09 4.08 5/252 14495
/proc/meminfo: memFree=129736424/131382112 swapFree=33010684/33010684
[pid=12953] ppid=12950 vsize=119128 memory=105176 CPUtime=281.44 cores=5,7
/proc/12953/stat : 12953 (CASHWMaxSAT-Dis) R 12950 12953 11107 0 -1 4194304 58808 0 0 0 28118 26 0 0 20 0 1 0 29439009 121987072 26294 18446744073709551615 4198400 14817773 140728811798400 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 48537600 140728811805034 140728811805149 140728811805149 140728811810751 0
/proc/12953/statm: 29782 26294 992 2593 0 26675 0
Current children cumulated CPU time: 281.44 s
Current children cumulated vsize: 119128 KiB
Current children cumulated memory: 105176 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 4.10 4.08 5/253 14634
/proc/meminfo: memFree=129739920/131382112 swapFree=33010684/33010684
[pid=12953] ppid=12950 vsize=129624 memory=115672 CPUtime=341.27 cores=5,7
/proc/12953/stat : 12953 (CASHWMaxSAT-Dis) R 12950 12953 11107 0 -1 4194304 59940 0 0 0 34100 27 0 0 20 0 1 0 29439009 132734976 28918 18446744073709551615 4198400 14817773 140728811798400 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 48537600 140728811805034 140728811805149 140728811805149 140728811810751 0
/proc/12953/statm: 32406 28918 992 2593 0 29299 0
Current children cumulated CPU time: 341.27 s
Current children cumulated vsize: 129624 KiB
Current children cumulated memory: 115672 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 4.10 4.08 5/253 14641
/proc/meminfo: memFree=129703676/131382112 swapFree=33010684/33010684
[pid=12953] ppid=12950 vsize=82444 memory=68620 CPUtime=401.11 cores=5,7
/proc/12953/stat : 12953 (CASHWMaxSAT-Dis) R 12950 12953 11107 0 -1 4194304 60806 0 0 0 40083 28 0 0 20 0 1 0 29439009 84422656 17155 18446744073709551615 4198400 14817773 140728811798400 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 48537600 140728811805034 140728811805149 140728811805149 140728811810751 0
/proc/12953/statm: 20611 17155 992 2593 0 17504 0
Current children cumulated CPU time: 401.11 s
Current children cumulated vsize: 82444 KiB
Current children cumulated memory: 68620 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 4.09 4.08 5/253 14643
/proc/meminfo: memFree=129679740/131382112 swapFree=33010684/33010684
[pid=12953] ppid=12950 vsize=146148 memory=132180 CPUtime=460.94 cores=5,7
/proc/12953/stat : 12953 (CASHWMaxSAT-Dis) R 12950 12953 11107 0 -1 4194304 65267 0 0 0 46064 30 0 0 20 0 1 0 29439009 149655552 33045 18446744073709551615 4198400 14817773 140728811798400 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 48537600 140728811805034 140728811805149 140728811805149 140728811810751 0
/proc/12953/statm: 36537 33045 992 2593 0 33430 0

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

Current children cumulated memory: 152768 KiB

[startup+2862.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/250 15423
/proc/meminfo: memFree=129054804/131382112 swapFree=33010684/33010684
[pid=12953] ppid=12950 vsize=164420 memory=150016 CPUtime=2854.16 cores=5,7
/proc/12953/stat : 12953 (CASHWMaxSAT-Dis) R 12950 12953 11107 0 -1 4194304 154959 0 0 0 285248 168 0 0 20 0 1 0 29439009 168366080 37504 18446744073709551615 4198400 14817773 140728811798400 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 48537600 140728811805034 140728811805149 140728811805149 140728811810751 0
/proc/12953/statm: 41105 37504 992 2593 0 37998 0
Current children cumulated CPU time: 2854.16 s
Current children cumulated vsize: 164420 KiB
Current children cumulated memory: 150016 KiB

[startup+2922.3 s]
/proc/loadavg: 4.20 4.13 4.10 5/251 15430
/proc/meminfo: memFree=129009596/131382112 swapFree=33010684/33010684
[pid=12953] ppid=12950 vsize=170588 memory=156184 CPUtime=2913.98 cores=5,7
/proc/12953/stat : 12953 (CASHWMaxSAT-Dis) R 12950 12953 11107 0 -1 4194304 156227 0 0 0 291227 171 0 0 20 0 1 0 29439009 174682112 39046 18446744073709551615 4198400 14817773 140728811798400 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 48537600 140728811805034 140728811805149 140728811805149 140728811810751 0
/proc/12953/statm: 42647 39046 992 2593 0 39540 0
Current children cumulated CPU time: 2913.98 s
Current children cumulated vsize: 170588 KiB
Current children cumulated memory: 156184 KiB

[startup+2982.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/251 15432
/proc/meminfo: memFree=129001352/131382112 swapFree=33010684/33010684
[pid=12953] ppid=12950 vsize=173828 memory=159812 CPUtime=2973.81 cores=5,7
/proc/12953/stat : 12953 (CASHWMaxSAT-Dis) R 12950 12953 11107 0 -1 4194304 158139 0 0 0 297206 175 0 0 20 0 1 0 29439009 177999872 39953 18446744073709551615 4198400 14817773 140728811798400 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 48537600 140728811805034 140728811805149 140728811805149 140728811810751 0
/proc/12953/statm: 43457 39953 992 2593 0 40350 0
Current children cumulated CPU time: 2973.81 s
Current children cumulated vsize: 173828 KiB
Current children cumulated memory: 159812 KiB

[startup+3042.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/251 15434
/proc/meminfo: memFree=129051068/131382112 swapFree=33010684/33010684
[pid=12953] ppid=12950 vsize=170224 memory=156224 CPUtime=3033.63 cores=5,7
/proc/12953/stat : 12953 (CASHWMaxSAT-Dis) R 12950 12953 11107 0 -1 4194304 159566 0 0 0 303185 178 0 0 20 0 1 0 29439009 174309376 39056 18446744073709551615 4198400 14817773 140728811798400 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 48537600 140728811805034 140728811805149 140728811805149 140728811810751 0
/proc/12953/statm: 42556 39056 992 2593 0 39449 0
Current children cumulated CPU time: 3033.63 s
Current children cumulated vsize: 170224 KiB
Current children cumulated memory: 156224 KiB

[startup+3102.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/250 15436
/proc/meminfo: memFree=129126268/131382112 swapFree=33010684/33010684
[pid=12953] ppid=12950 vsize=170172 memory=156172 CPUtime=3093.45 cores=5,7
/proc/12953/stat : 12953 (CASHWMaxSAT-Dis) R 12950 12953 11107 0 -1 4194304 161125 0 0 0 309164 181 0 0 20 0 1 0 29439009 174256128 39043 18446744073709551615 4198400 14817773 140728811798400 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 48537600 140728811805034 140728811805149 140728811805149 140728811810751 0
/proc/12953/statm: 42543 39043 992 2593 0 39436 0
Current children cumulated CPU time: 3093.45 s
Current children cumulated vsize: 170172 KiB
Current children cumulated memory: 156172 KiB

[startup+3162.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/251 15439
/proc/meminfo: memFree=129159296/131382112 swapFree=33010684/33010684
[pid=12953] ppid=12950 vsize=191052 memory=175532 CPUtime=3153.28 cores=5,7
/proc/12953/stat : 12953 (CASHWMaxSAT-Dis) R 12950 12953 11107 0 -1 4194304 165892 0 0 0 315142 186 0 0 20 0 1 0 29439009 195637248 43883 18446744073709551615 4198400 14817773 140728811798400 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 48537600 140728811805034 140728811805149 140728811805149 140728811810751 0
/proc/12953/statm: 47763 43883 992 2593 0 44656 0
Current children cumulated CPU time: 3153.28 s
Current children cumulated vsize: 191052 KiB
Current children cumulated memory: 175532 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/250 15441
/proc/meminfo: memFree=129080052/131382112 swapFree=33010684/33010684
[pid=12953] ppid=12950 vsize=187644 memory=172124 CPUtime=3213.11 cores=5,7
/proc/12953/stat : 12953 (CASHWMaxSAT-Dis) R 12950 12953 11107 0 -1 4194304 167140 0 0 0 321122 189 0 0 20 0 1 0 29439009 192147456 43031 18446744073709551615 4198400 14817773 140728811798400 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 48537600 140728811805034 140728811805149 140728811805149 140728811810751 0
/proc/12953/statm: 46911 43031 992 2593 0 43804 0
Current children cumulated CPU time: 3213.11 s
Current children cumulated vsize: 187644 KiB
Current children cumulated memory: 172124 KiB

[startup+3282.3 s]
/proc/loadavg: 4.27 4.15 4.10 5/250 15454
/proc/meminfo: memFree=128781300/131382112 swapFree=33010684/33010684
[pid=12953] ppid=12950 vsize=189756 memory=174236 CPUtime=3272.93 cores=5,7
/proc/12953/stat : 12953 (CASHWMaxSAT-Dis) R 12950 12953 11107 0 -1 4194304 168602 0 0 0 327101 192 0 0 20 0 1 0 29439009 194310144 43559 18446744073709551615 4198400 14817773 140728811798400 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 48537600 140728811805034 140728811805149 140728811805149 140728811810751 0
/proc/12953/statm: 47439 43559 992 2593 0 44332 0
Current children cumulated CPU time: 3272.93 s
Current children cumulated vsize: 189756 KiB
Current children cumulated memory: 174236 KiB

[startup+3342.3 s]
/proc/loadavg: 4.33 4.21 4.13 5/250 15591
/proc/meminfo: memFree=129542216/131382112 swapFree=33010684/33010684
[pid=12953] ppid=12950 vsize=187912 memory=172392 CPUtime=3332.74 cores=5,7
/proc/12953/stat : 12953 (CASHWMaxSAT-Dis) R 12950 12953 11107 0 -1 4194304 169677 0 0 0 333078 196 0 0 20 0 1 0 29439009 192421888 43098 18446744073709551615 4198400 14817773 140728811798400 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 48537600 140728811805034 140728811805149 140728811805149 140728811810751 0
/proc/12953/statm: 46978 43098 992 2593 0 43871 0
Current children cumulated CPU time: 3332.74 s
Current children cumulated vsize: 187912 KiB
Current children cumulated memory: 172392 KiB

[startup+3402.3 s]
/proc/loadavg: 4.29 4.22 4.13 5/251 15596
/proc/meminfo: memFree=129544216/131382112 swapFree=33010684/33010684
[pid=12953] ppid=12950 vsize=185588 memory=170708 CPUtime=3392.53 cores=5,7
/proc/12953/stat : 12953 (CASHWMaxSAT-Dis) R 12950 12953 11107 0 -1 4194304 171752 0 0 0 339053 200 0 0 20 0 1 0 29439009 190042112 42677 18446744073709551615 4198400 14817773 140728811798400 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 48537600 140728811805034 140728811805149 140728811805149 140728811810751 0
/proc/12953/statm: 46397 42677 992 2593 0 43290 0
Current children cumulated CPU time: 3392.53 s
Current children cumulated vsize: 185588 KiB
Current children cumulated memory: 170708 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.19 4.13 5/250 15598
/proc/meminfo: memFree=129527140/131382112 swapFree=33010684/33010684
[pid=12953] ppid=12950 vsize=188560 memory=173680 CPUtime=3452.36 cores=5,7
/proc/12953/stat : 12953 (CASHWMaxSAT-Dis) R 12950 12953 11107 0 -1 4194304 172793 0 0 0 345033 203 0 0 20 0 1 0 29439009 193085440 43420 18446744073709551615 4198400 14817773 140728811798400 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 48537600 140728811805034 140728811805149 140728811805149 140728811810751 0
/proc/12953/statm: 47140 43420 992 2593 0 44033 0
Current children cumulated CPU time: 3452.36 s
Current children cumulated vsize: 188560 KiB
Current children cumulated memory: 173680 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.17 4.12 5/251 15605
/proc/meminfo: memFree=129551072/131382112 swapFree=33010684/33010684
[pid=12953] ppid=12950 vsize=189624 memory=174744 CPUtime=3512.18 cores=5,7
/proc/12953/stat : 12953 (CASHWMaxSAT-Dis) R 12950 12953 11107 0 -1 4194304 174041 0 0 0 351012 206 0 0 20 0 1 0 29439009 194174976 43686 18446744073709551615 4198400 14817773 140728811798400 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 48537600 140728811805034 140728811805149 140728811805149 140728811810751 0
/proc/12953/statm: 47406 43686 992 2593 0 44299 0
Current children cumulated CPU time: 3512.18 s
Current children cumulated vsize: 189624 KiB
Current children cumulated memory: 174744 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.15 4.11 5/251 15607
/proc/meminfo: memFree=129506672/131382112 swapFree=33010684/33010684
[pid=12953] ppid=12950 vsize=186860 memory=171980 CPUtime=3572.01 cores=5,7
/proc/12953/stat : 12953 (CASHWMaxSAT-Dis) R 12950 12953 11107 0 -1 4194304 175170 0 0 0 356992 209 0 0 20 0 1 0 29439009 191344640 42995 18446744073709551615 4198400 14817773 140728811798400 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 48537600 140728811805034 140728811805149 140728811805149 140728811810751 0
/proc/12953/statm: 46715 42995 992 2593 0 43608 0
Current children cumulated CPU time: 3572.01 s
Current children cumulated vsize: 186860 KiB
Current children cumulated memory: 171980 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.4 s]
/proc/loadavg: 4.15 4.15 4.11 5/248 15642
/proc/meminfo: memFree=129865400/131382112 swapFree=33010684/33010684
[pid=12953] ppid=12950 vsize=190544 memory=175664 CPUtime=3600.02 cores=5,7
/proc/12953/stat : 12953 (CASHWMaxSAT-Dis) R 12950 12953 11107 0 -1 4194304 175420 0 0 0 359792 210 0 0 20 0 1 0 29439009 195117056 43916 18446744073709551615 4198400 14817773 140728811798400 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 48537600 140728811805034 140728811805149 140728811805149 140728811810751 0
/proc/12953/statm: 47636 43916 992 2593 0 44529 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 190544 KiB
Current children cumulated memory: 175664 KiB

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

[startup+3610.4 s]
# the end of solver process 12953 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=3597.93 s, system=2.10567 s

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

Child status: 0

Real time (s): 3610.4
CPU time (s): 3600.03
CPU user time (s): 3597.93
CPU system time (s): 2.10567
CPU usage (%): 99.7128
Max. virtual memory (cumulated for all children) (KiB): 269044
Max. memory (cumulated for all children) (KiB): 253380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.93
system time used= 2.10567
maximum resident set size= 253508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 175420
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39
involuntary context switches= 2196


# summary of solver processes directly reported to runsolver:
#   pid: 12953
#   total CPU time (s): 3600.03
#   total CPU user time (s): 3597.93
#   total CPU system time (s): 2.10567

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.9983 second user time and 34.6477 second system time

The end

Launcher Data 

Begin job on nodeC005 at 2025-06-28 21:06:36
IDJOB=4494438
IDBENCH=147891
IDSOLVER=3322
FILE ID=nodeC005/4494438-1751137596
RUNJOBID= nodeC005-1751133631-11125
SLURM_JOB_ID= 9587405
Free space on /tmp= 433000 MiB

SOLVER NAME= CASHWMaxSATDisjCad-S 2025-06-01
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/vdw/normalized-vdw_k6_l3_n170.opb
COMMAND LINE= CASHWMaxSAT-DisjCad-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4494438-1751137596/watcher-4494438-1751137596 -o /tmp/evaluation-result-4494438-1751137596/solver-4494438-1751137596 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751133631-11125 --watchdog 3760  CASHWMaxSAT-DisjCad-S HOME/instance-4494438-1751137596.opb -total-t=3600 -no-par -v0

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

MD5SUM BENCH= f8e7200d7e9c4a7cfb6b4e6c5b6d430a
RANDOM SEED=1371888859

nodeC005 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        129389820 kB
MemAvailable:   129004516 kB
Buffers:            3280 kB
Cached:           396788 kB
SwapCached:            0 kB
Active:           852360 kB
Inactive:         198732 kB
Active(anon):     668988 kB
Inactive(anon):        0 kB
Active(file):     183372 kB
Inactive(file):   198732 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             40176 kB
Writeback:             0 kB
AnonPages:        654212 kB
Mapped:           113748 kB
Shmem:             17960 kB
KReclaimable:      83168 kB
Slab:             161460 kB
SReclaimable:      83168 kB
SUnreclaim:        78292 kB
KernelStack:        4048 kB
PageTables:         4188 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    1003440 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149400 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    454656 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:      201544 kB
DirectMap2M:     8089600 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432960 MiB
End job on nodeC005 at 2025-06-28 22:06:47