Trace number 4543034

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.11 3609.9

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-original/normalized-php_390_389.opb
MD5SUM8c310f5c6bc12dfd4cf754da21955474
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.43418
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables151710
Total number of constraints779
Number of constraints which are clauses390
Number of constraints which are cardinality constraints (but not clauses)389
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint389
Maximum length of a constraint390
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 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 391
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

3600.09/3609.90	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: 63708 MiB (55322 MiB free)
  memory of node 1: 64465 MiB (63648 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100062 s]*
/proc/loadavg: 1.13 1.20 1.88 5/265 160966
/proc/meminfo: memFree=121785332/131250000 swapFree=33010416/33010684
[pid=160965] ppid=160958 vsize=42372 memory=27172 CPUtime=0.1 cores=4,6
/proc/160965/stat : 160965 (CASHWMaxSAT-Dis) R 160958 160965 160897 0 -1 4194304 6512 0 0 0 9 1 0 0 20 0 1 0 238101476 43388928 6793 18446744073709551615 4198400 14817773 140729896139536 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39505920 140729896147304 140729896147419 140729896147419 140729896153023 0
/proc/160965/statm: 10593 6793 864 2593 0 7486 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 42372 KiB
Current children cumulated memory: 27172 KiB

[startup+0.204956 s]*
/proc/loadavg: 1.13 1.20 1.88 5/265 160966
/proc/meminfo: memFree=121748792/131250000 swapFree=33010416/33010684
[pid=160965] ppid=160958 vsize=66012 memory=50296 CPUtime=0.2 cores=4,6
/proc/160965/stat : 160965 (CASHWMaxSAT-Dis) R 160958 160965 160897 0 -1 4194304 12283 0 0 0 18 2 0 0 20 0 1 0 238101476 67596288 12574 18446744073709551615 4198400 14817773 140729896139536 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39505920 140729896147304 140729896147419 140729896147419 140729896153023 0
/proc/160965/statm: 16503 12574 864 2593 0 13396 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 66012 KiB
Current children cumulated memory: 50296 KiB

[startup+0.304798 s]*
/proc/loadavg: 1.13 1.20 1.88 5/265 160966
/proc/meminfo: memFree=121707400/131250000 swapFree=33010416/33010684
[pid=160965] ppid=160958 vsize=99556 memory=82480 CPUtime=0.29 cores=4,6
/proc/160965/stat : 160965 (CASHWMaxSAT-Dis) R 160958 160965 160897 0 -1 4194304 18287 0 0 0 26 3 0 0 20 0 1 0 238101476 101945344 20620 18446744073709551615 4198400 14817773 140729896139536 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39505920 140729896147304 140729896147419 140729896147419 140729896153023 0
/proc/160965/statm: 24889 20620 864 2593 0 21782 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 99556 KiB
Current children cumulated memory: 82480 KiB

[startup+0.700129 s]
/proc/loadavg: 1.13 1.20 1.88 5/265 160966
/proc/meminfo: memFree=121663172/131250000 swapFree=33010416/33010684
[pid=160965] ppid=160958 vsize=129160 memory=111832 CPUtime=0.68 cores=4,6
/proc/160965/stat : 160965 (CASHWMaxSAT-Dis) R 160958 160965 160897 0 -1 4194304 28571 0 0 0 63 5 0 0 20 0 1 0 238101476 132259840 27958 18446744073709551615 4198400 14817773 140729896139536 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39505920 140729896147304 140729896147419 140729896147419 140729896153023 0
/proc/160965/statm: 32290 27958 896 2593 0 29183 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 129160 KiB
Current children cumulated memory: 111832 KiB

[startup+1.50019 s]
/proc/loadavg: 1.13 1.20 1.88 5/265 160966
/proc/meminfo: memFree=121556504/131250000 swapFree=33010416/33010684
[pid=160965] ppid=160958 vsize=248864 memory=219508 CPUtime=1.48 cores=4,6
/proc/160965/stat : 160965 (CASHWMaxSAT-Dis) R 160958 160965 160897 0 -1 4194304 49133 0 0 0 138 10 0 0 20 0 1 0 238101476 254836736 54877 18446744073709551615 4198400 14817773 140729896139536 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39505920 140729896147304 140729896147419 140729896147419 140729896153023 0
/proc/160965/statm: 62216 54877 960 2593 0 59109 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 248864 KiB
Current children cumulated memory: 219508 KiB

[startup+3.10488 s]
/proc/loadavg: 1.36 1.25 1.89 5/261 160974
/proc/meminfo: memFree=121437284/131250000 swapFree=33010416/33010684
[pid=160965] ppid=160958 vsize=295124 memory=266592 CPUtime=3.09 cores=4,6
/proc/160965/stat : 160965 (CASHWMaxSAT-Dis) R 160958 160965 160897 0 -1 4194304 52782 0 0 0 297 12 0 0 20 0 1 0 238101476 302206976 66648 18446744073709551615 4198400 14817773 140729896139536 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39505920 140729896147304 140729896147419 140729896147419 140729896153023 0
/proc/160965/statm: 73781 66648 992 2593 0 70674 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 295124 KiB
Current children cumulated memory: 266592 KiB

[startup+6.30018 s]
/proc/loadavg: 1.36 1.25 1.89 5/265 161011
/proc/meminfo: memFree=121322508/131250000 swapFree=33010416/33010684
[pid=160965] ppid=160958 vsize=296380 memory=267896 CPUtime=6.27 cores=4,6
/proc/160965/stat : 160965 (CASHWMaxSAT-Dis) R 160958 160965 160897 0 -1 4194304 53713 0 0 0 614 13 0 0 20 0 1 0 238101476 303493120 66974 18446744073709551615 4198400 14817773 140729896139536 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39505920 140729896147304 140729896147419 140729896147419 140729896153023 0
/proc/160965/statm: 74095 66974 992 2593 0 70988 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 296380 KiB
Current children cumulated memory: 267896 KiB

[startup+12.7001 s]
/proc/loadavg: 1.76 1.34 1.92 5/265 161011
/proc/meminfo: memFree=121307688/131250000 swapFree=33010416/33010684
[pid=160965] ppid=160958 vsize=289536 memory=261200 CPUtime=12.65 cores=4,6
/proc/160965/stat : 160965 (CASHWMaxSAT-Dis) R 160958 160965 160897 0 -1 4194304 55656 0 0 0 1250 15 0 0 20 0 1 0 238101476 296484864 65300 18446744073709551615 4198400 14817773 140729896139536 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39505920 140729896147304 140729896147419 140729896147419 140729896153023 0
/proc/160965/statm: 72384 65300 992 2593 0 69277 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 289536 KiB
Current children cumulated memory: 261200 KiB

[startup+25.5002 s]
/proc/loadavg: 2.11 1.43 1.94 5/265 161012
/proc/meminfo: memFree=121289644/131250000 swapFree=33010416/33010684
[pid=160965] ppid=160958 vsize=307824 memory=279384 CPUtime=25.42 cores=4,6
/proc/160965/stat : 160965 (CASHWMaxSAT-Dis) R 160958 160965 160897 0 -1 4194304 56140 0 0 0 2526 16 0 0 20 0 1 0 238101476 315211776 69846 18446744073709551615 4198400 14817773 140729896139536 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39505920 140729896147304 140729896147419 140729896147419 140729896153023 0
/proc/160965/statm: 76956 69846 992 2593 0 73849 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 307824 KiB
Current children cumulated memory: 279384 KiB

[startup+51.1049 s]
/proc/loadavg: 2.82 1.65 2.00 5/265 161012
/proc/meminfo: memFree=121237388/131250000 swapFree=33010416/33010684
[pid=160965] ppid=160958 vsize=286728 memory=258392 CPUtime=50.95 cores=4,6
/proc/160965/stat : 160965 (CASHWMaxSAT-Dis) R 160958 160965 160897 0 -1 4194304 61577 0 0 0 5073 22 0 0 20 0 1 0 238101476 293609472 64598 18446744073709551615 4198400 14817773 140729896139536 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39505920 140729896147304 140729896147419 140729896147419 140729896153023 0
/proc/160965/statm: 71682 64598 992 2593 0 68575 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 286728 KiB
Current children cumulated memory: 258392 KiB

[startup+102.3 s]
/proc/loadavg: 3.59 2.07 2.12 5/267 161017
/proc/meminfo: memFree=121166316/131250000 swapFree=33010416/33010684
[pid=160965] ppid=160958 vsize=303776 memory=275440 CPUtime=102 cores=4,6
/proc/160965/stat : 160965 (CASHWMaxSAT-Dis) R 160958 160965 160897 0 -1 4194304 68490 0 0 0 10166 34 0 0 20 0 1 0 238101476 311066624 68860 18446744073709551615 4198400 14817773 140729896139536 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39505920 140729896147304 140729896147419 140729896147419 140729896153023 0
/proc/160965/statm: 75944 68860 992 2593 0 72837 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 303776 KiB
Current children cumulated memory: 275440 KiB

[startup+162.3 s]
/proc/loadavg: 3.93 2.44 2.25 5/268 161020
/proc/meminfo: memFree=121087860/131250000 swapFree=33010416/33010684
[pid=160965] ppid=160958 vsize=320560 memory=294272 CPUtime=161.81 cores=4,6
/proc/160965/stat : 160965 (CASHWMaxSAT-Dis) R 160958 160965 160897 0 -1 4194304 74616 0 0 0 16135 46 0 0 20 0 1 0 238101476 328253440 73568 18446744073709551615 4198400 14817773 140729896139536 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39505920 140729896147304 140729896147419 140729896147419 140729896153023 0
/proc/160965/statm: 80140 73568 992 2593 0 77033 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 320560 KiB
Current children cumulated memory: 294272 KiB

[startup+222.3 s]
/proc/loadavg: 4.04 2.74 2.37 5/269 161023
/proc/meminfo: memFree=121019720/131250000 swapFree=33010416/33010684
[pid=160965] ppid=160958 vsize=344664 memory=320740 CPUtime=221.63 cores=4,6
/proc/160965/stat : 160965 (CASHWMaxSAT-Dis) R 160958 160965 160897 0 -1 4194304 80811 0 0 0 22104 59 0 0 20 0 1 0 238101476 352935936 80185 18446744073709551615 4198400 14817773 140729896139536 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39505920 140729896147304 140729896147419 140729896147419 140729896153023 0
/proc/160965/statm: 86166 80185 992 2593 0 83059 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 344664 KiB
Current children cumulated memory: 320740 KiB

[startup+282.3 s]
/proc/loadavg: 4.40 3.07 2.50 5/269 161025
/proc/meminfo: memFree=121037124/131250000 swapFree=33010416/33010684
[pid=160965] ppid=160958 vsize=353220 memory=331380 CPUtime=281.45 cores=4,6
/proc/160965/stat : 160965 (CASHWMaxSAT-Dis) R 160958 160965 160897 0 -1 4194304 103676 0 0 0 28071 74 0 0 20 0 1 0 238101476 361697280 82845 18446744073709551615 4198400 14817773 140729896139536 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39505920 140729896147304 140729896147419 140729896147419 140729896153023 0
/proc/160965/statm: 88305 82845 992 2593 0 85198 0
Current children cumulated CPU time: 281.45 s
Current children cumulated vsize: 353220 KiB
Current children cumulated memory: 331380 KiB

[startup+342.3 s]
/proc/loadavg: 4.18 3.26 2.60 5/267 161027
/proc/meminfo: memFree=120906948/131250000 swapFree=33010416/33010684
[pid=160965] ppid=160958 vsize=434160 memory=412448 CPUtime=341.29 cores=4,6
/proc/160965/stat : 160965 (CASHWMaxSAT-Dis) R 160958 160965 160897 0 -1 4194304 106535 0 0 0 34048 81 0 0 20 0 1 0 238101476 444579840 103112 18446744073709551615 4198400 14817773 140729896139536 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39505920 140729896147304 140729896147419 140729896147419 140729896153023 0
/proc/160965/statm: 108540 103112 992 2593 0 105433 0
Current children cumulated CPU time: 341.29 s
Current children cumulated vsize: 434160 KiB
Current children cumulated memory: 412448 KiB

[startup+402.3 s]
/proc/loadavg: 4.19 3.42 2.71 5/267 161029
/proc/meminfo: memFree=120923912/131250000 swapFree=33010416/33010684
[pid=160965] ppid=160958 vsize=438480 memory=417408 CPUtime=401.15 cores=4,6
/proc/160965/stat : 160965 (CASHWMaxSAT-Dis) R 160958 160965 160897 0 -1 4194304 109958 0 0 0 40025 90 0 0 20 0 1 0 238101476 449003520 104352 18446744073709551615 4198400 14817773 140729896139536 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39505920 140729896147304 140729896147419 140729896147419 140729896153023 0
/proc/160965/statm: 109620 104352 992 2593 0 106513 0
Current children cumulated CPU time: 401.15 s
Current children cumulated vsize: 438480 KiB
Current children cumulated memory: 417408 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 3.55 2.79 5/264 161031
/proc/meminfo: memFree=120836384/131250000 swapFree=33010416/33010684
[pid=160965] ppid=160958 vsize=445492 memory=424448 CPUtime=461 cores=4,6
/proc/160965/stat : 160965 (CASHWMaxSAT-Dis) R 160958 160965 160897 0 -1 4194304 113161 0 0 0 46003 97 0 0 20 0 1 0 238101476 456183808 106112 18446744073709551615 4198400 14817773 140729896139536 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39505920 140729896147304 140729896147419 140729896147419 140729896153023 0
/proc/160965/statm: 111373 106112 992 2593 0 108266 0
Current children cumulated CPU time: 461 s

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

Current children cumulated memory: 659012 KiB

[startup+2922.3 s]
/proc/loadavg: 4.69 4.32 4.10 5/265 161164
/proc/meminfo: memFree=120351224/131250000 swapFree=33010416/33010684
[pid=160965] ppid=160958 vsize=641168 memory=619160 CPUtime=2914.32 cores=4,6
/proc/160965/stat : 160965 (CASHWMaxSAT-Dis) R 160958 160965 160897 0 -1 4194304 203151 0 0 0 291000 432 0 0 20 0 1 0 238101476 656556032 154790 18446744073709551615 4198400 14817773 140729896139536 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39505920 140729896147304 140729896147419 140729896147419 140729896153023 0
/proc/160965/statm: 160292 154790 992 2593 0 157185 0
Current children cumulated CPU time: 2914.32 s
Current children cumulated vsize: 641168 KiB
Current children cumulated memory: 619160 KiB

[startup+2982.3 s]
/proc/loadavg: 4.31 4.29 4.10 5/263 161168
/proc/meminfo: memFree=120348988/131250000 swapFree=33010416/33010684
[pid=160965] ppid=160958 vsize=637928 memory=615952 CPUtime=2974.16 cores=4,6
/proc/160965/stat : 160965 (CASHWMaxSAT-Dis) R 160958 160965 160897 0 -1 4194304 204364 0 0 0 296976 440 0 0 20 0 1 0 238101476 653238272 153988 18446744073709551615 4198400 14817773 140729896139536 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39505920 140729896147304 140729896147419 140729896147419 140729896153023 0
/proc/160965/statm: 159482 153988 992 2593 0 156375 0
Current children cumulated CPU time: 2974.16 s
Current children cumulated vsize: 637928 KiB
Current children cumulated memory: 615952 KiB

[startup+3042.3 s]
/proc/loadavg: 4.16 4.25 4.10 5/263 161174
/proc/meminfo: memFree=120324672/131250000 swapFree=33010416/33010684
[pid=160965] ppid=160958 vsize=672108 memory=651164 CPUtime=3034.01 cores=4,6
/proc/160965/stat : 160965 (CASHWMaxSAT-Dis) R 160958 160965 160897 0 -1 4194304 224658 0 0 0 302946 455 0 0 20 0 1 0 238101476 688238592 162791 18446744073709551615 4198400 14817773 140729896139536 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39505920 140729896147304 140729896147419 140729896147419 140729896153023 0
/proc/160965/statm: 168027 162791 992 2593 0 164920 0
Current children cumulated CPU time: 3034.01 s
Current children cumulated vsize: 672108 KiB
Current children cumulated memory: 651164 KiB

[startup+3102.3 s]
/proc/loadavg: 4.17 4.23 4.10 5/263 161177
/proc/meminfo: memFree=120322568/131250000 swapFree=33010416/33010684
[pid=160965] ppid=160958 vsize=632920 memory=611976 CPUtime=3093.85 cores=4,6
/proc/160965/stat : 160965 (CASHWMaxSAT-Dis) R 160958 160965 160897 0 -1 4194304 226058 0 0 0 308923 462 0 0 20 0 1 0 238101476 648110080 152994 18446744073709551615 4198400 14817773 140729896139536 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39505920 140729896147304 140729896147419 140729896147419 140729896153023 0
/proc/160965/statm: 158230 152994 992 2593 0 155123 0
Current children cumulated CPU time: 3093.85 s
Current children cumulated vsize: 632920 KiB
Current children cumulated memory: 611976 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.20 4.09 5/263 161179
/proc/meminfo: memFree=120347620/131250000 swapFree=33010416/33010684
[pid=160965] ppid=160958 vsize=642108 memory=621164 CPUtime=3153.69 cores=4,6
/proc/160965/stat : 160965 (CASHWMaxSAT-Dis) R 160958 160965 160897 0 -1 4194304 227197 0 0 0 314899 470 0 0 20 0 1 0 238101476 657518592 155291 18446744073709551615 4198400 14817773 140729896139536 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39505920 140729896147304 140729896147419 140729896147419 140729896153023 0
/proc/160965/statm: 160527 155291 992 2593 0 157420 0
Current children cumulated CPU time: 3153.69 s
Current children cumulated vsize: 642108 KiB
Current children cumulated memory: 621164 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.18 4.09 5/264 161182
/proc/meminfo: memFree=120327308/131250000 swapFree=33010416/33010684
[pid=160965] ppid=160958 vsize=639256 memory=618312 CPUtime=3213.53 cores=4,6
/proc/160965/stat : 160965 (CASHWMaxSAT-Dis) R 160958 160965 160897 0 -1 4194304 228129 0 0 0 320875 478 0 0 20 0 1 0 238101476 654598144 154578 18446744073709551615 4198400 14817773 140729896139536 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39505920 140729896147304 140729896147419 140729896147419 140729896153023 0
/proc/160965/statm: 159814 154578 992 2593 0 156707 0
Current children cumulated CPU time: 3213.53 s
Current children cumulated vsize: 639256 KiB
Current children cumulated memory: 618312 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.16 4.09 7/264 161184
/proc/meminfo: memFree=120160396/131250000 swapFree=33010416/33010684
[pid=160965] ppid=160958 vsize=818176 memory=796228 CPUtime=3273.38 cores=4,6
/proc/160965/stat : 160965 (CASHWMaxSAT-Dis) R 160958 160965 160897 0 -1 4194304 250654 0 0 0 326848 490 0 0 20 0 1 0 238101476 837812224 199057 18446744073709551615 4198400 14817773 140729896139536 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39505920 140729896147304 140729896147419 140729896147419 140729896153023 0
/proc/160965/statm: 204544 199057 992 2593 0 201437 0
Current children cumulated CPU time: 3273.38 s
Current children cumulated vsize: 818176 KiB
Current children cumulated memory: 796228 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.14 4.09 5/264 161186
/proc/meminfo: memFree=120222224/131250000 swapFree=33010416/33010684
[pid=160965] ppid=160958 vsize=730536 memory=708912 CPUtime=3333.22 cores=4,6
/proc/160965/stat : 160965 (CASHWMaxSAT-Dis) R 160958 160965 160897 0 -1 4194304 251894 0 0 0 332823 499 0 0 20 0 1 0 238101476 748068864 177228 18446744073709551615 4198400 14817773 140729896139536 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39505920 140729896147304 140729896147419 140729896147419 140729896153023 0
/proc/160965/statm: 182634 177228 992 2593 0 179527 0
Current children cumulated CPU time: 3333.22 s
Current children cumulated vsize: 730536 KiB
Current children cumulated memory: 708912 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.13 4.09 5/264 161188
/proc/meminfo: memFree=120232344/131250000 swapFree=33010416/33010684
[pid=160965] ppid=160958 vsize=734520 memory=713152 CPUtime=3393.06 cores=4,6
/proc/160965/stat : 160965 (CASHWMaxSAT-Dis) R 160958 160965 160897 0 -1 4194304 253350 0 0 0 338798 508 0 0 20 0 1 0 238101476 752148480 178288 18446744073709551615 4198400 14817773 140729896139536 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39505920 140729896147304 140729896147419 140729896147419 140729896153023 0
/proc/160965/statm: 183630 178288 992 2593 0 180523 0
Current children cumulated CPU time: 3393.06 s
Current children cumulated vsize: 734520 KiB
Current children cumulated memory: 713152 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/263 161190
/proc/meminfo: memFree=120208352/131250000 swapFree=33010416/33010684
[pid=160965] ppid=160958 vsize=746536 memory=725168 CPUtime=3452.9 cores=4,6
/proc/160965/stat : 160965 (CASHWMaxSAT-Dis) R 160958 160965 160897 0 -1 4194304 254770 0 0 0 344774 516 0 0 20 0 1 0 238101476 764452864 181292 18446744073709551615 4198400 14817773 140729896139536 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39505920 140729896147304 140729896147419 140729896147419 140729896153023 0
/proc/160965/statm: 186634 181292 992 2593 0 183527 0
Current children cumulated CPU time: 3452.9 s
Current children cumulated vsize: 746536 KiB
Current children cumulated memory: 725168 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/262 161192
/proc/meminfo: memFree=120175104/131250000 swapFree=33010416/33010684
[pid=160965] ppid=160958 vsize=753944 memory=732576 CPUtime=3512.74 cores=4,6
/proc/160965/stat : 160965 (CASHWMaxSAT-Dis) R 160958 160965 160897 0 -1 4194304 255999 0 0 0 350748 526 0 0 20 0 1 0 238101476 772038656 183144 18446744073709551615 4198400 14817773 140729896139536 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39505920 140729896147304 140729896147419 140729896147419 140729896153023 0
/proc/160965/statm: 188486 183144 992 2593 0 185379 0
Current children cumulated CPU time: 3512.74 s
Current children cumulated vsize: 753944 KiB
Current children cumulated memory: 732576 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/263 161196
/proc/meminfo: memFree=120335964/131250000 swapFree=33010416/33010684
[pid=160965] ppid=160958 vsize=605248 memory=584268 CPUtime=3572.58 cores=4,6
/proc/160965/stat : 160965 (CASHWMaxSAT-Dis) R 160958 160965 160897 0 -1 4194304 257626 0 0 0 356720 538 0 0 20 0 1 0 238101476 619773952 146067 18446744073709551615 4198400 14817773 140729896139536 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39505920 140729896147304 140729896147419 140729896147419 140729896153023 0
/proc/160965/statm: 151312 146067 992 2593 0 148205 0
Current children cumulated CPU time: 3572.58 s
Current children cumulated vsize: 605248 KiB
Current children cumulated memory: 584268 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.9 s]
/proc/loadavg: 4.08 4.11 4.09 5/263 161202
/proc/meminfo: memFree=120303212/131250000 swapFree=33010416/33010684
[pid=160965] ppid=160958 vsize=610600 memory=589620 CPUtime=3600.09 cores=4,6
/proc/160965/stat : 160965 (CASHWMaxSAT-Dis) R 160958 160965 160897 0 -1 4194304 257963 0 0 0 359467 542 0 0 20 0 1 0 238101476 625254400 147405 18446744073709551615 4198400 14817773 140729896139536 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39505920 140729896147304 140729896147419 140729896147419 140729896153023 0
/proc/160965/statm: 152650 147405 992 2593 0 149543 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 610600 KiB
Current children cumulated memory: 589620 KiB

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

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

# cumulated CPU time of all completed processes:  user=3594.68 s, system=5.43124 s

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

[startup+3609.9 s]
/proc/loadavg: 4.08 4.11 4.09 5/263 161202
/proc/meminfo: memFree=120303212/131250000 swapFree=33010416/33010684
[pid=160965] ppid=160958 vsize=610600 memory=589620 CPUtime=3600.09 cores=4,6
/proc/160965/stat : 160965 (CASHWMaxSAT-Dis) R 160958 160965 160897 0 -1 4194304 257963 0 0 0 359467 542 0 0 20 0 1 0 238101476 625254400 147405 18446744073709551615 4198400 14817773 140729896139536 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39505920 140729896147304 140729896147419 140729896147419 140729896153023 0
/proc/160965/statm: 152650 147405 992 2593 0 149543 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 610600 KiB
Current children cumulated memory: 589620 KiB

Child status: 0

Real time (s): 3609.9
CPU time (s): 3600.11
CPU user time (s): 3594.68
CPU system time (s): 5.43124
CPU usage (%): 99.7287
Max. virtual memory (cumulated for all children) (KiB): 1049464
Max. memory (cumulated for all children) (KiB): 1027552

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.68
system time used= 5.43124
maximum resident set size= 1027552
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 257963
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= 91
involuntary context switches= 3296


# summary of solver processes directly reported to runsolver:
#   pid: 160965
#   total CPU time (s): 3600.11
#   total CPU user time (s): 3594.68
#   total CPU system time (s): 5.43124

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.74921 second user time and 14.3162 second system time

The end

Launcher Data 

Begin job on nodeC028 at 2025-07-23 00:53:10
IDJOB=4543034
IDBENCH=171748
IDSOLVER=3322
FILE ID=nodeC028/4543034-1753224789
RUNJOBID= nodeC028-1753224789-160908
SLURM_JOB_ID= 9687835
Free space on /tmp= 433000 MiB

SOLVER NAME= CASHWMaxSATDisjCad-S 2025-06-01
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/php-original/normalized-php_390_389.opb
COMMAND LINE= CASHWMaxSAT-DisjCad-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4543034-1753224789/watcher-4543034-1753224789 -o /tmp/evaluation-result-4543034-1753224789/solver-4543034-1753224789 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1753224789-160908 --watchdog 3760  CASHWMaxSAT-DisjCad-S HOME/instance-4543034-1753224789.opb -total-t=3600 -no-par -v0

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

MD5SUM BENCH= 8c310f5c6bc12dfd4cf754da21955474
RANDOM SEED=1423529905

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

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

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        121826720 kB
MemAvailable:   129653540 kB
Buffers:            2132 kB
Cached:          8594232 kB
SwapCached:            4 kB
Active:          1025128 kB
Inactive:        7637052 kB
Active(anon):      83764 kB
Inactive(anon):     8308 kB
Active(file):     941364 kB
Inactive(file):  7628744 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             59192 kB
Writeback:            20 kB
AnonPages:         68876 kB
Mapped:           108960 kB
Shmem:             26256 kB
KReclaimable:     191904 kB
Slab:             287428 kB
SReclaimable:     191904 kB
SUnreclaim:        95524 kB
KernelStack:        4068 kB
PageTables:         2620 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     345056 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150472 kB
VmallocChunk:          0 kB
Percpu:             3904 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 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:      197332 kB
DirectMap2M:     7962624 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432972 MiB
End job on nodeC028 at 2025-07-23 01:53:20