Trace number 4543737

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
CASHWMaxSATDisjCom-S 2025-06-01? (TO) 3600.1 3610.02

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-exit/normalized-phpexit_v1_14_088.opb
MD5SUM24c7738c3c83b878554c33cfdaf58c44
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark1.47269
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables109662
Total number of constraints2479
Number of constraints which are clauses1247
Number of constraints which are cardinality constraints (but not clauses)1232
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint14
Maximum length of a constraint89
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 13
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 90
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

4.47/4.51	c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
4.47/4.51	c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
3600.08/3610.01	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 (62738 MiB free)
  memory of node 1: 64465 MiB (63050 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4543737-1753226755/watcher-4543737-1753226755 -o /tmp/evaluation-result-4543737-1753226755/solver-4543737-1753226755 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1753223143-168490 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4543737-1753226755.opb -total-t=3600 -no-par -v0 

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
Current StackSize limit: 8192 KiB

solver pid=168894, runsolver pid=168890

[startup+0.100069 s]*
/proc/loadavg: 4.16 4.11 4.05 5/251 168912
/proc/meminfo: memFree=128803524/131382120 swapFree=33010160/33010684
[pid=168894] ppid=168890 vsize=29052 memory=10112 CPUtime=0.1 cores=0,2
/proc/168894/stat : 168894 (CASHWMaxSAT-Dis) R 168890 168894 168480 0 -1 4194304 1986 0 0 0 10 0 0 0 20 0 1 0 238354625 29749248 2528 18446744073709551615 4198400 14093885 140730852757360 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 28368896 140730852759912 140730852760027 140730852760027 140730852765631 0
/proc/168894/statm: 7263 2528 736 2416 0 4365 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 29052 KiB
Current children cumulated memory: 10112 KiB

[startup+0.213373 s]*
/proc/loadavg: 4.16 4.11 4.05 5/251 168912
/proc/meminfo: memFree=128791448/131382120 swapFree=33010160/33010684
[pid=168894] ppid=168890 vsize=35708 memory=16592 CPUtime=0.21 cores=0,2
/proc/168894/stat : 168894 (CASHWMaxSAT-Dis) R 168890 168894 168480 0 -1 4194304 3686 0 0 0 20 1 0 0 20 0 1 0 238354625 36564992 4148 18446744073709551615 4198400 14093885 140730852757360 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 28368896 140730852759912 140730852760027 140730852760027 140730852765631 0
/proc/168894/statm: 8927 4148 736 2416 0 6029 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 35708 KiB
Current children cumulated memory: 16592 KiB

[startup+0.313039 s]*
/proc/loadavg: 4.16 4.11 4.05 6/251 168912
/proc/meminfo: memFree=128768768/131382120 swapFree=33010160/33010684
[pid=168894] ppid=168890 vsize=41808 memory=21712 CPUtime=0.31 cores=0,2
/proc/168894/stat : 168894 (CASHWMaxSAT-Dis) R 168890 168894 168480 0 -1 4194304 4966 0 0 0 29 2 0 0 20 0 1 0 238354625 42811392 5428 18446744073709551615 4198400 14093885 140730852757360 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 28368896 140730852759912 140730852760027 140730852760027 140730852765631 0
/proc/168894/statm: 10452 5428 736 2416 0 7554 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 41808 KiB
Current children cumulated memory: 21712 KiB

[startup+0.700254 s]
/proc/loadavg: 4.15 4.11 4.05 6/251 168912
/proc/meminfo: memFree=128728700/131382120 swapFree=33010160/33010684
[pid=168894] ppid=168890 vsize=67448 memory=44944 CPUtime=0.69 cores=0,2
/proc/168894/stat : 168894 (CASHWMaxSAT-Dis) R 168890 168894 168480 0 -1 4194304 10956 0 0 0 64 5 0 0 20 0 1 0 238354625 69066752 11236 18446744073709551615 4198400 14093885 140730852757360 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 28368896 140730852759912 140730852760027 140730852760027 140730852765631 0
/proc/168894/statm: 16862 11236 736 2416 0 13964 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 67448 KiB
Current children cumulated memory: 44944 KiB

[startup+1.50026 s]
/proc/loadavg: 4.15 4.11 4.05 5/251 168912
/proc/meminfo: memFree=128641416/131382120 swapFree=33010160/33010684
[pid=168894] ppid=168890 vsize=158328 memory=135452 CPUtime=1.48 cores=0,2
/proc/168894/stat : 168894 (CASHWMaxSAT-Dis) R 168890 168894 168480 0 -1 4194304 29486 0 0 0 136 12 0 0 20 0 1 0 238354625 162127872 33863 18446744073709551615 4198400 14093885 140730852757360 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 28368896 140730852759912 140730852760027 140730852760027 140730852765631 0
/proc/168894/statm: 39582 33863 768 2416 0 36684 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 158328 KiB
Current children cumulated memory: 135452 KiB

[startup+3.1133 s]
/proc/loadavg: 4.15 4.11 4.05 5/251 168912
/proc/meminfo: memFree=127975736/131382120 swapFree=33010160/33010684
[pid=168894] ppid=168890 vsize=174556 memory=144804 CPUtime=3.09 cores=0,2
/proc/168894/stat : 168894 (CASHWMaxSAT-Dis) R 168890 168894 168480 0 -1 4194304 32655 0 0 0 296 13 0 0 20 0 1 0 238354625 178745344 36201 18446744073709551615 4198400 14093885 140730852757360 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 28368896 140730852759912 140730852760027 140730852760027 140730852765631 0
/proc/168894/statm: 43639 36201 800 2416 0 40741 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 174556 KiB
Current children cumulated memory: 144804 KiB

[startup+6.30024 s]
/proc/loadavg: 4.06 4.09 4.04 4/247 168953
/proc/meminfo: memFree=128076652/131382120 swapFree=33010160/33010684
[pid=168894] ppid=168890 vsize=186232 memory=154432 CPUtime=6.27 cores=0,2
/proc/168894/stat : 168894 (CASHWMaxSAT-Dis) R 168890 168894 168480 0 -1 4194304 33768 0 0 0 612 15 0 0 20 0 1 0 238354625 190701568 38608 18446744073709551615 4198400 14093885 140730852757360 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 28368896 140730852759912 140730852760027 140730852760027 140730852765631 0
/proc/168894/statm: 46558 38608 800 2416 0 43660 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 186232 KiB
Current children cumulated memory: 154432 KiB

[startup+12.7003 s]
/proc/loadavg: 4.05 4.09 4.04 5/251 168957
/proc/meminfo: memFree=127831952/131382120 swapFree=33010160/33010684
[pid=168894] ppid=168890 vsize=205200 memory=173400 CPUtime=12.64 cores=0,2
/proc/168894/stat : 168894 (CASHWMaxSAT-Dis) R 168890 168894 168480 0 -1 4194304 36024 0 0 0 1246 18 0 0 20 0 1 0 238354625 210124800 43350 18446744073709551615 4198400 14093885 140730852757360 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 28368896 140730852759912 140730852760027 140730852760027 140730852765631 0
/proc/168894/statm: 51300 43350 800 2416 0 48402 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 205200 KiB
Current children cumulated memory: 173400 KiB

[startup+25.5003 s]
/proc/loadavg: 4.04 4.09 4.04 5/251 168957
/proc/meminfo: memFree=127855944/131382120 swapFree=33010160/33010684
[pid=168894] ppid=168890 vsize=239716 memory=183580 CPUtime=25.41 cores=0,2
/proc/168894/stat : 168894 (CASHWMaxSAT-Dis) R 168890 168894 168480 0 -1 4194304 41283 0 0 0 2514 27 0 0 20 0 1 0 238354625 245469184 45895 18446744073709551615 4198400 14093885 140730852757360 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 28368896 140730852759912 140730852760027 140730852760027 140730852765631 0
/proc/168894/statm: 59929 45895 800 2416 0 57031 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 239716 KiB
Current children cumulated memory: 183580 KiB

[startup+51.1129 s]
/proc/loadavg: 4.09 4.09 4.05 5/251 168958
/proc/meminfo: memFree=127732880/131382120 swapFree=33010160/33010684
[pid=168894] ppid=168890 vsize=251564 memory=197332 CPUtime=50.93 cores=0,2
/proc/168894/stat : 168894 (CASHWMaxSAT-Dis) R 168890 168894 168480 0 -1 4194304 50837 0 0 0 5053 40 0 0 20 0 1 0 238354625 257601536 49333 18446744073709551615 4198400 14093885 140730852757360 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 28368896 140730852759912 140730852760027 140730852760027 140730852765631 0
/proc/168894/statm: 62891 49333 800 2416 0 59993 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 251564 KiB
Current children cumulated memory: 197332 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.09 4.05 5/251 168959
/proc/meminfo: memFree=127584280/131382120 swapFree=33010160/33010684
[pid=168894] ppid=168890 vsize=272612 memory=229140 CPUtime=101.96 cores=0,2
/proc/168894/stat : 168894 (CASHWMaxSAT-Dis) R 168890 168894 168480 0 -1 4194304 69714 0 0 0 10132 64 0 0 20 0 1 0 238354625 279154688 57285 18446744073709551615 4198400 14093885 140730852757360 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 28368896 140730852759912 140730852760027 140730852760027 140730852765631 0
/proc/168894/statm: 68153 57285 800 2416 0 65255 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 272612 KiB
Current children cumulated memory: 229140 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 4.09 4.05 5/251 168961
/proc/meminfo: memFree=127598812/131382120 swapFree=33010160/33010684
[pid=168894] ppid=168890 vsize=258656 memory=228056 CPUtime=161.8 cores=0,2
/proc/168894/stat : 168894 (CASHWMaxSAT-Dis) R 168890 168894 168480 0 -1 4194304 89368 0 0 0 16087 93 0 0 20 0 1 0 238354625 264863744 57014 18446744073709551615 4198400 14093885 140730852757360 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 28368896 140730852759912 140730852760027 140730852760027 140730852765631 0
/proc/168894/statm: 64664 57014 800 2416 0 61766 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 258656 KiB
Current children cumulated memory: 228056 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.10 4.05 5/251 168963
/proc/meminfo: memFree=127577152/131382120 swapFree=33010160/33010684
[pid=168894] ppid=168890 vsize=274604 memory=247496 CPUtime=221.64 cores=0,2
/proc/168894/stat : 168894 (CASHWMaxSAT-Dis) R 168890 168894 168480 0 -1 4194304 107993 0 0 0 22048 116 0 0 20 0 1 0 238354625 281194496 61874 18446744073709551615 4198400 14093885 140730852757360 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 28368896 140730852759912 140730852760027 140730852760027 140730852765631 0
/proc/168894/statm: 68651 61874 800 2416 0 65753 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 274604 KiB
Current children cumulated memory: 247496 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.09 4.05 5/251 168965
/proc/meminfo: memFree=127524728/131382120 swapFree=33010160/33010684
[pid=168894] ppid=168890 vsize=289524 memory=251476 CPUtime=281.48 cores=0,2
/proc/168894/stat : 168894 (CASHWMaxSAT-Dis) R 168890 168894 168480 0 -1 4194304 125535 0 0 0 28006 142 0 0 20 0 1 0 238354625 296472576 62869 18446744073709551615 4198400 14093885 140730852757360 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 28368896 140730852759912 140730852760027 140730852760027 140730852765631 0
/proc/168894/statm: 72381 62869 800 2416 0 69483 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 289524 KiB
Current children cumulated memory: 251476 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 4.09 4.05 5/250 168967
/proc/meminfo: memFree=127248456/131382120 swapFree=33010160/33010684
[pid=168894] ppid=168890 vsize=301496 memory=265056 CPUtime=341.32 cores=0,2
/proc/168894/stat : 168894 (CASHWMaxSAT-Dis) R 168890 168894 168480 0 -1 4194304 143213 0 0 0 33966 166 0 0 20 0 1 0 238354625 308731904 66264 18446744073709551615 4198400 14093885 140730852757360 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 28368896 140730852759912 140730852760027 140730852760027 140730852765631 0
/proc/168894/statm: 75374 66264 800 2416 0 72476 0
Current children cumulated CPU time: 341.32 s
Current children cumulated vsize: 301496 KiB
Current children cumulated memory: 265056 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 4.10 4.06 5/250 168969
/proc/meminfo: memFree=127400364/131382120 swapFree=33010160/33010684
[pid=168894] ppid=168890 vsize=340852 memory=282704 CPUtime=401.16 cores=0,2
/proc/168894/stat : 168894 (CASHWMaxSAT-Dis) R 168890 168894 168480 0 -1 4194304 156614 0 0 0 39931 185 0 0 20 0 1 0 238354625 349032448 70676 18446744073709551615 4198400 14093885 140730852757360 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 28368896 140730852759912 140730852760027 140730852760027 140730852765631 0
/proc/168894/statm: 85213 70676 800 2416 0 82315 0
Current children cumulated CPU time: 401.16 s
Current children cumulated vsize: 340852 KiB
Current children cumulated memory: 282704 KiB

[startup+462.3 s]
/proc/loadavg: 4.04 4.08 4.05 5/250 168971
/proc/meminfo: memFree=127377764/131382120 swapFree=33010160/33010684
[pid=168894] ppid=168890 vsize=401948 memory=351600 CPUtime=461 cores=0,2
/proc/168894/stat : 168894 (CASHWMaxSAT-Dis) R 168890 168894 168480 0 -1 4194304 171993 0 0 0 45888 212 0 0 20 0 1 0 238354625 411594752 87900 18446744073709551615 4198400 14093885 140730852757360 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 28368896 140730852759912 140730852760027 140730852760027 140730852765631 0
/proc/168894/statm: 100487 87900 800 2416 0 97589 0
Current children cumulated CPU time: 461 s

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

Current children cumulated memory: 526652 KiB

[startup+2862.3 s]
/proc/loadavg: 4.64 4.24 4.14 5/249 169094
/proc/meminfo: memFree=126670388/131382120 swapFree=33010160/33010684
[pid=168894] ppid=168890 vsize=501224 memory=467804 CPUtime=2854.38 cores=0,2
/proc/168894/stat : 168894 (CASHWMaxSAT-Dis) R 168890 168894 168480 0 -1 4194304 776183 0 0 0 284277 1161 0 0 20 0 1 0 238354625 513253376 116951 18446744073709551615 4198400 14093885 140730852757360 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 28368896 140730852759912 140730852760027 140730852760027 140730852765631 0
/proc/168894/statm: 125306 116951 800 2416 0 122408 0
Current children cumulated CPU time: 2854.38 s
Current children cumulated vsize: 501224 KiB
Current children cumulated memory: 467804 KiB

[startup+2922.3 s]
/proc/loadavg: 4.66 4.32 4.18 5/250 169099
/proc/meminfo: memFree=126466224/131382120 swapFree=33010160/33010684
[pid=168894] ppid=168890 vsize=532580 memory=478768 CPUtime=2914.23 cores=0,2
/proc/168894/stat : 168894 (CASHWMaxSAT-Dis) R 168890 168894 168480 0 -1 4194304 793529 0 0 0 290243 1180 0 0 20 0 1 0 238354625 545361920 119692 18446744073709551615 4198400 14093885 140730852757360 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 28368896 140730852759912 140730852760027 140730852760027 140730852765631 0
/proc/168894/statm: 133145 119692 800 2416 0 130247 0
Current children cumulated CPU time: 2914.23 s
Current children cumulated vsize: 532580 KiB
Current children cumulated memory: 478768 KiB

[startup+2982.3 s]
/proc/loadavg: 4.76 4.43 4.22 5/250 169101
/proc/meminfo: memFree=126569256/131382120 swapFree=33010160/33010684
[pid=168894] ppid=168890 vsize=502160 memory=468716 CPUtime=2974.07 cores=0,2
/proc/168894/stat : 168894 (CASHWMaxSAT-Dis) R 168890 168894 168480 0 -1 4194304 809713 0 0 0 296209 1198 0 0 20 0 1 0 238354625 514211840 117179 18446744073709551615 4198400 14093885 140730852757360 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 28368896 140730852759912 140730852760027 140730852760027 140730852765631 0
/proc/168894/statm: 125540 117179 800 2416 0 122642 0
Current children cumulated CPU time: 2974.07 s
Current children cumulated vsize: 502160 KiB
Current children cumulated memory: 468716 KiB

[startup+3042.3 s]
/proc/loadavg: 4.33 4.36 4.21 5/250 169107
/proc/meminfo: memFree=126616276/131382120 swapFree=33010160/33010684
[pid=168894] ppid=168890 vsize=588764 memory=545288 CPUtime=3033.91 cores=0,2
/proc/168894/stat : 168894 (CASHWMaxSAT-Dis) R 168890 168894 168480 0 -1 4194304 824872 0 0 0 302164 1227 0 0 20 0 1 0 238354625 602894336 136322 18446744073709551615 4198400 14093885 140730852757360 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 28368896 140730852759912 140730852760027 140730852760027 140730852765631 0
/proc/168894/statm: 147191 136322 800 2416 0 144293 0
Current children cumulated CPU time: 3033.91 s
Current children cumulated vsize: 588764 KiB
Current children cumulated memory: 545288 KiB

[startup+3102.3 s]
/proc/loadavg: 4.23 4.32 4.20 5/250 169109
/proc/meminfo: memFree=126656436/131382120 swapFree=33010160/33010684
[pid=168894] ppid=168890 vsize=753504 memory=617820 CPUtime=3093.73 cores=0,2
/proc/168894/stat : 168894 (CASHWMaxSAT-Dis) R 168890 168894 168480 0 -1 4194304 835860 0 0 0 308110 1263 0 0 20 0 1 0 238354625 771588096 154455 18446744073709551615 4198400 14093885 140730852757360 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 28368896 140730852759912 140730852760027 140730852760027 140730852765631 0
/proc/168894/statm: 188376 154455 800 2416 0 185478 0
Current children cumulated CPU time: 3093.73 s
Current children cumulated vsize: 753504 KiB
Current children cumulated memory: 617820 KiB

[startup+3162.3 s]
/proc/loadavg: 4.14 4.28 4.19 5/250 169111
/proc/meminfo: memFree=126672656/131382120 swapFree=33010160/33010684
[pid=168894] ppid=168890 vsize=512124 memory=483984 CPUtime=3153.58 cores=0,2
/proc/168894/stat : 168894 (CASHWMaxSAT-Dis) R 168890 168894 168480 0 -1 4194304 849359 0 0 0 314070 1288 0 0 20 0 1 0 238354625 524414976 120996 18446744073709551615 4198400 14093885 140730852757360 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 28368896 140730852759912 140730852760027 140730852760027 140730852765631 0
/proc/168894/statm: 128031 120996 800 2416 0 125133 0
Current children cumulated CPU time: 3153.58 s
Current children cumulated vsize: 512124 KiB
Current children cumulated memory: 483984 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.24 4.18 5/250 169113
/proc/meminfo: memFree=126688300/131382120 swapFree=33010160/33010684
[pid=168894] ppid=168890 vsize=493684 memory=466356 CPUtime=3213.42 cores=0,2
/proc/168894/stat : 168894 (CASHWMaxSAT-Dis) R 168890 168894 168480 0 -1 4194304 866593 0 0 0 320036 1306 0 0 20 0 1 0 238354625 505532416 116589 18446744073709551615 4198400 14093885 140730852757360 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 28368896 140730852759912 140730852760027 140730852760027 140730852765631 0
/proc/168894/statm: 123421 116589 800 2416 0 120523 0
Current children cumulated CPU time: 3213.42 s
Current children cumulated vsize: 493684 KiB
Current children cumulated memory: 466356 KiB

[startup+3282.3 s]
/proc/loadavg: 4.81 4.41 4.25 5/250 169115
/proc/meminfo: memFree=126635876/131382120 swapFree=33010160/33010684
[pid=168894] ppid=168890 vsize=513052 memory=484916 CPUtime=3273.26 cores=0,2
/proc/168894/stat : 168894 (CASHWMaxSAT-Dis) R 168890 168894 168480 0 -1 4194304 883303 0 0 0 326002 1324 0 0 20 0 1 0 238354625 525365248 121229 18446744073709551615 4198400 14093885 140730852757360 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 28368896 140730852759912 140730852760027 140730852760027 140730852765631 0
/proc/168894/statm: 128263 121229 800 2416 0 125365 0
Current children cumulated CPU time: 3273.26 s
Current children cumulated vsize: 513052 KiB
Current children cumulated memory: 484916 KiB

[startup+3342.3 s]
/proc/loadavg: 5.05 4.57 4.31 5/250 169117
/proc/meminfo: memFree=126541800/131382120 swapFree=33010160/33010684
[pid=168894] ppid=168890 vsize=599836 memory=528792 CPUtime=3333.11 cores=0,2
/proc/168894/stat : 168894 (CASHWMaxSAT-Dis) R 168890 168894 168480 0 -1 4194304 901065 0 0 0 331961 1350 0 0 20 0 1 0 238354625 614232064 132198 18446744073709551615 4198400 14093885 140730852757360 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 28368896 140730852759912 140730852760027 140730852760027 140730852765631 0
/proc/168894/statm: 149959 132198 800 2416 0 147061 0
Current children cumulated CPU time: 3333.11 s
Current children cumulated vsize: 599836 KiB
Current children cumulated memory: 528792 KiB

[startup+3402.3 s]
/proc/loadavg: 4.56 4.51 4.30 5/250 169119
/proc/meminfo: memFree=126443376/131382120 swapFree=33010160/33010684
[pid=168894] ppid=168890 vsize=683672 memory=586780 CPUtime=3392.94 cores=0,2
/proc/168894/stat : 168894 (CASHWMaxSAT-Dis) R 168890 168894 168480 0 -1 4194304 909931 0 0 0 337909 1385 0 0 20 0 1 0 238354625 700080128 146695 18446744073709551615 4198400 14093885 140730852757360 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 28368896 140730852759912 140730852760027 140730852760027 140730852765631 0
/proc/168894/statm: 170918 146695 800 2416 0 168020 0
Current children cumulated CPU time: 3392.94 s
Current children cumulated vsize: 683672 KiB
Current children cumulated memory: 586780 KiB

[startup+3462.3 s]
/proc/loadavg: 4.27 4.43 4.29 5/250 169121
/proc/meminfo: memFree=126519792/131382120 swapFree=33010160/33010684
[pid=168894] ppid=168890 vsize=524520 memory=491492 CPUtime=3452.77 cores=0,2
/proc/168894/stat : 168894 (CASHWMaxSAT-Dis) R 168890 168894 168480 0 -1 4194304 918580 0 0 0 343862 1415 0 0 20 0 1 0 238354625 537108480 122873 18446744073709551615 4198400 14093885 140730852757360 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 28368896 140730852759912 140730852760027 140730852760027 140730852765631 0
/proc/168894/statm: 131130 122873 800 2416 0 128232 0
Current children cumulated CPU time: 3452.77 s
Current children cumulated vsize: 524520 KiB
Current children cumulated memory: 491492 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.36 4.27 5/250 169125
/proc/meminfo: memFree=126489960/131382120 swapFree=33010160/33010684
[pid=168894] ppid=168890 vsize=524788 memory=485576 CPUtime=3512.61 cores=0,2
/proc/168894/stat : 168894 (CASHWMaxSAT-Dis) R 168890 168894 168480 0 -1 4194304 934315 0 0 0 349830 1431 0 0 20 0 1 0 238354625 537382912 121394 18446744073709551615 4198400 14093885 140730852757360 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 28368896 140730852759912 140730852760027 140730852760027 140730852765631 0
/proc/168894/statm: 131197 121394 800 2416 0 128299 0
Current children cumulated CPU time: 3512.61 s
Current children cumulated vsize: 524788 KiB
Current children cumulated memory: 485576 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.32 4.26 5/249 169128
/proc/meminfo: memFree=126529036/131382120 swapFree=33010160/33010684
[pid=168894] ppid=168890 vsize=556008 memory=500560 CPUtime=3572.45 cores=0,2
/proc/168894/stat : 168894 (CASHWMaxSAT-Dis) R 168890 168894 168480 0 -1 4194304 950717 0 0 0 355795 1450 0 0 20 0 1 0 238354625 569352192 125140 18446744073709551615 4198400 14093885 140730852757360 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 28368896 140730852759912 140730852760027 140730852760027 140730852765631 0
/proc/168894/statm: 139002 125140 800 2416 0 136104 0
Current children cumulated CPU time: 3572.45 s
Current children cumulated vsize: 556008 KiB
Current children cumulated memory: 500560 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610 s]*
/proc/loadavg: 4.10 4.30 4.26 4/247 169129
/proc/meminfo: memFree=127259500/131382120 swapFree=33010160/33010684
[pid=168894] ppid=168890 vsize=525592 memory=494816 CPUtime=3600.08 cores=0,2
/proc/168894/stat : 168894 (CASHWMaxSAT-Dis) R 168890 168894 168480 0 -1 4194304 957537 0 0 0 358548 1460 0 0 20 0 1 0 238354625 538206208 123704 18446744073709551615 4198400 14093885 140730852757360 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 28368896 140730852759912 140730852760027 140730852760027 140730852765631 0
/proc/168894/statm: 131398 123704 800 2416 0 128500 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 525592 KiB
Current children cumulated memory: 494816 KiB

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

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

# cumulated CPU time of all completed processes:  user=3585.49 s, system=14.6137 s

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

Child status: 0

Real time (s): 3610.02
CPU time (s): 3600.1
CPU user time (s): 3585.49
CPU system time (s): 14.6137
CPU usage (%): 99.7254
Max. virtual memory (cumulated for all children) (KiB): 813688
Max. memory (cumulated for all children) (KiB): 675724

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.49
system time used= 14.6137
maximum resident set size= 697500
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 957537
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= 98
involuntary context switches= 7965


# summary of solver processes directly reported to runsolver:
#   pid: 168894
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3585.49
#   total CPU system time (s): 14.6137

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.6728 second user time and 34.4046 second system time

The end

Launcher Data

Begin job on nodeC008 at 2025-07-23 01:25:55
IDJOB=4543737
IDBENCH=174609
IDSOLVER=3323
FILE ID=nodeC008/4543737-1753226755
RUNJOBID= nodeC008-1753223143-168490
SLURM_JOB_ID= 9687826
Free space on /tmp= 432668 MiB

SOLVER NAME= CASHWMaxSATDisjCom-S 2025-06-01
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/php-exit/normalized-phpexit_v1_14_088.opb
COMMAND LINE= CASHWMaxSAT-DisjCom-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4543737-1753226755/watcher-4543737-1753226755 -o /tmp/evaluation-result-4543737-1753226755/solver-4543737-1753226755 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1753223143-168490 --watchdog 3760  CASHWMaxSAT-DisjCom-S HOME/instance-4543737-1753226755.opb -total-t=3600 -no-par -v0

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

MD5SUM BENCH= 24c7738c3c83b878554c33cfdaf58c44
RANDOM SEED=1132368427

nodeC008 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		: 1197.369
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.72
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		: 1197.208
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.72
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.130
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.72
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		: 1197.410
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.72
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		: 1197.217
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.72
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.623
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.72
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.504
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.72
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.109
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.72
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        128817532 kB
MemAvailable:   129701328 kB
Buffers:            2128 kB
Cached:          1655836 kB
SwapCached:           24 kB
Active:          1269808 kB
Inactive:         639600 kB
Active(anon):     245996 kB
Inactive(anon):    31568 kB
Active(file):    1023812 kB
Inactive(file):   608032 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             39416 kB
Writeback:            52 kB
AnonPages:        254516 kB
Mapped:           111748 kB
Shmem:             26120 kB
KReclaimable:     183160 kB
Slab:             274248 kB
SReclaimable:     183160 kB
SUnreclaim:        91088 kB
KernelStack:        4000 kB
PageTables:         3324 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:     557976 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149304 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:    188416 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:      181064 kB
DirectMap2M:     9158656 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432628 MiB
End job on nodeC008 at 2025-07-23 02:26:05