Trace number 4516484

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.05 3609.2

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
subsetcard/larger/random4reg_opb_shuffle/normalized-subsetcard-eq-random4reg-1500.shuf-1.opb
MD5SUM32d8cc264951b7044fd33d2e6b7cca98
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 benchmark0.247327
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6001
Total number of constraints6000
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)698
Number of constraints which are nor clauses,nor cardinality constraints5302
Minimum length of a constraint4
Maximum length of a constraint5
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 6
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.04/3609.20	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: 63665 MiB (62967 MiB free)
  memory of node 1: 64507 MiB (63019 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4516484-1751235964/watcher-4516484-1751235964 -o /tmp/evaluation-result-4516484-1751235964/solver-4516484-1751235964 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751235960-33748 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4516484-1751235964.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=34163, runsolver pid=34160

[startup+0.100068 s]*
/proc/loadavg: 1.36 1.18 1.57 5/264 34164
/proc/meminfo: memFree=129009616/131249996 swapFree=33010684/33010684
[pid=34163] ppid=34160 vsize=34252 memory=19032 CPUtime=0.09 cores=5,7
/proc/34163/stat : 34163 (CASHWMaxSAT-Dis) R 34160 34163 30935 0 -1 4194304 4869 0 0 0 9 0 0 0 20 0 1 0 39274137 35074048 4758 18446744073709551615 4198400 14817773 140727578931616 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41172992 140727578933610 140727578933725 140727578933725 140727578939327 0
/proc/34163/statm: 8563 4758 960 2593 0 5456 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 34252 KiB
Current children cumulated memory: 19032 KiB

[startup+0.205594 s]*
/proc/loadavg: 1.36 1.18 1.57 5/264 34164
/proc/meminfo: memFree=129008608/131249996 swapFree=33010684/33010684
[pid=34163] ppid=34160 vsize=36100 memory=20824 CPUtime=0.19 cores=5,7
/proc/34163/stat : 34163 (CASHWMaxSAT-Dis) R 34160 34163 30935 0 -1 4194304 5331 0 0 0 19 0 0 0 20 0 1 0 39274137 36966400 5206 18446744073709551615 4198400 14817773 140727578931616 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41172992 140727578933610 140727578933725 140727578933725 140727578939327 0
/proc/34163/statm: 9025 5206 960 2593 0 5918 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 36100 KiB
Current children cumulated memory: 20824 KiB

[startup+0.305382 s]*
/proc/loadavg: 1.36 1.18 1.57 5/264 34164
/proc/meminfo: memFree=129007852/131249996 swapFree=33010684/33010684
[pid=34163] ppid=34160 vsize=35576 memory=20356 CPUtime=0.3 cores=5,7
/proc/34163/stat : 34163 (CASHWMaxSAT-Dis) R 34160 34163 30935 0 -1 4194304 6127 0 0 0 29 1 0 0 20 0 1 0 39274137 36429824 5089 18446744073709551615 4198400 14817773 140727578931616 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41172992 140727578933610 140727578933725 140727578933725 140727578939327 0
/proc/34163/statm: 8894 5089 960 2593 0 5787 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 35576 KiB
Current children cumulated memory: 20356 KiB

[startup+0.700146 s]
/proc/loadavg: 1.36 1.18 1.57 5/264 34164
/proc/meminfo: memFree=129007020/131249996 swapFree=33010684/33010684
[pid=34163] ppid=34160 vsize=37564 memory=22292 CPUtime=0.69 cores=5,7
/proc/34163/stat : 34163 (CASHWMaxSAT-Dis) R 34160 34163 30935 0 -1 4194304 7036 0 0 0 68 1 0 0 20 0 1 0 39274137 38465536 5573 18446744073709551615 4198400 14817773 140727578931616 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41172992 140727578933610 140727578933725 140727578933725 140727578939327 0
/proc/34163/statm: 9391 5573 960 2593 0 6284 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 37564 KiB
Current children cumulated memory: 22292 KiB

[startup+1.50013 s]
/proc/loadavg: 1.36 1.18 1.57 5/264 34164
/proc/meminfo: memFree=129006012/131249996 swapFree=33010684/33010684
[pid=34163] ppid=34160 vsize=36824 memory=21544 CPUtime=1.48 cores=5,7
/proc/34163/stat : 34163 (CASHWMaxSAT-Dis) R 34160 34163 30935 0 -1 4194304 7899 0 0 0 147 1 0 0 20 0 1 0 39274137 37707776 5386 18446744073709551615 4198400 14817773 140727578931616 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41172992 140727578933610 140727578933725 140727578933725 140727578939327 0
/proc/34163/statm: 9206 5386 960 2593 0 6099 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 36824 KiB
Current children cumulated memory: 21544 KiB

[startup+3.10537 s]
/proc/loadavg: 1.57 1.23 1.58 5/264 34164
/proc/meminfo: memFree=128997976/131249996 swapFree=33010684/33010684
[pid=34163] ppid=34160 vsize=38644 memory=23424 CPUtime=3.08 cores=5,7
/proc/34163/stat : 34163 (CASHWMaxSAT-Dis) R 34160 34163 30935 0 -1 4194304 9677 0 0 0 307 1 0 0 20 0 1 0 39274137 39571456 5856 18446744073709551615 4198400 14817773 140727578931616 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41172992 140727578933610 140727578933725 140727578933725 140727578939327 0
/proc/34163/statm: 9661 5856 960 2593 0 6554 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 38644 KiB
Current children cumulated memory: 23424 KiB

[startup+6.30016 s]
/proc/loadavg: 1.57 1.23 1.58 5/265 34166
/proc/meminfo: memFree=128995004/131249996 swapFree=33010684/33010684
[pid=34163] ppid=34160 vsize=47316 memory=31328 CPUtime=6.27 cores=5,7
/proc/34163/stat : 34163 (CASHWMaxSAT-Dis) R 34160 34163 30935 0 -1 4194304 13127 0 0 0 625 2 0 0 20 0 1 0 39274137 48451584 7832 18446744073709551615 4198400 14817773 140727578931616 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41172992 140727578933610 140727578933725 140727578933725 140727578939327 0
/proc/34163/statm: 11829 7832 960 2593 0 8722 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 47316 KiB
Current children cumulated memory: 31328 KiB

[startup+12.7002 s]
/proc/loadavg: 1.77 1.27 1.60 5/265 34166
/proc/meminfo: memFree=128979648/131249996 swapFree=33010684/33010684
[pid=34163] ppid=34160 vsize=67484 memory=51784 CPUtime=12.65 cores=5,7
/proc/34163/stat : 34163 (CASHWMaxSAT-Dis) R 34160 34163 30935 0 -1 4194304 15063 0 0 0 1262 3 0 0 20 0 1 0 39274137 69103616 12946 18446744073709551615 4198400 14817773 140727578931616 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41172992 140727578933610 140727578933725 140727578933725 140727578939327 0
/proc/34163/statm: 16871 12946 960 2593 0 13764 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 67484 KiB
Current children cumulated memory: 51784 KiB

[startup+25.5002 s]
/proc/loadavg: 2.26 1.41 1.64 5/265 34166
/proc/meminfo: memFree=128932988/131249996 swapFree=33010684/33010684
[pid=34163] ppid=34160 vsize=66580 memory=50824 CPUtime=25.42 cores=5,7
/proc/34163/stat : 34163 (CASHWMaxSAT-Dis) R 34160 34163 30935 0 -1 4194304 17409 0 0 0 2538 4 0 0 20 0 1 0 39274137 68177920 12706 18446744073709551615 4198400 14817773 140727578931616 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41172992 140727578933610 140727578933725 140727578933725 140727578939327 0
/proc/34163/statm: 16645 12706 960 2593 0 13538 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 66580 KiB
Current children cumulated memory: 50824 KiB

[startup+51.1055 s]
/proc/loadavg: 2.91 1.63 1.70 5/265 34166
/proc/meminfo: memFree=128861096/131249996 swapFree=33010684/33010684
[pid=34163] ppid=34160 vsize=129856 memory=114160 CPUtime=50.96 cores=5,7
/proc/34163/stat : 34163 (CASHWMaxSAT-Dis) R 34160 34163 30935 0 -1 4194304 20922 0 0 0 5090 6 0 0 20 0 1 0 39274137 132972544 28540 18446744073709551615 4198400 14817773 140727578931616 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41172992 140727578933610 140727578933725 140727578933725 140727578939327 0
/proc/34163/statm: 32464 28540 960 2593 0 29357 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 129856 KiB
Current children cumulated memory: 114160 KiB

[startup+102.3 s]
/proc/loadavg: 3.58 2.02 1.83 5/265 34168
/proc/meminfo: memFree=128665240/131249996 swapFree=33010684/33010684
[pid=34163] ppid=34160 vsize=229968 memory=214944 CPUtime=102.03 cores=5,7
/proc/34163/stat : 34163 (CASHWMaxSAT-Dis) R 34160 34163 30935 0 -1 4194304 23439 0 0 0 10190 13 0 0 20 0 1 0 39274137 235487232 53736 18446744073709551615 4198400 14817773 140727578931616 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41172992 140727578933610 140727578933725 140727578933725 140727578939327 0
/proc/34163/statm: 57492 53736 960 2593 0 54385 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 229968 KiB
Current children cumulated memory: 214944 KiB

[startup+162.3 s]
/proc/loadavg: 3.96 2.41 1.98 5/265 34170
/proc/meminfo: memFree=128746292/131249996 swapFree=33010684/33010684
[pid=34163] ppid=34160 vsize=166524 memory=151496 CPUtime=161.88 cores=5,7
/proc/34163/stat : 34163 (CASHWMaxSAT-Dis) R 34160 34163 30935 0 -1 4194304 27631 0 0 0 16173 15 0 0 20 0 1 0 39274137 170520576 37874 18446744073709551615 4198400 14817773 140727578931616 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41172992 140727578933610 140727578933725 140727578933725 140727578939327 0
/proc/34163/statm: 41631 37874 960 2593 0 38524 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 166524 KiB
Current children cumulated memory: 151496 KiB

[startup+222.3 s]
/proc/loadavg: 4.04 2.72 2.12 5/265 34172
/proc/meminfo: memFree=128690932/131249996 swapFree=33010684/33010684
[pid=34163] ppid=34160 vsize=166524 memory=151500 CPUtime=221.73 cores=5,7
/proc/34163/stat : 34163 (CASHWMaxSAT-Dis) R 34160 34163 30935 0 -1 4194304 30659 0 0 0 22151 22 0 0 20 0 1 0 39274137 170520576 37875 18446744073709551615 4198400 14817773 140727578931616 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41172992 140727578933610 140727578933725 140727578933725 140727578939327 0
/proc/34163/statm: 41631 37875 960 2593 0 38524 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 166524 KiB
Current children cumulated memory: 151500 KiB

[startup+282.3 s]
/proc/loadavg: 4.06 2.97 2.24 5/266 34177
/proc/meminfo: memFree=128612740/131249996 swapFree=33010684/33010684
[pid=34163] ppid=34160 vsize=232400 memory=217068 CPUtime=281.59 cores=5,7
/proc/34163/stat : 34163 (CASHWMaxSAT-Dis) R 34160 34163 30935 0 -1 4194304 36041 0 0 0 28127 32 0 0 20 0 1 0 39274137 237977600 54267 18446744073709551615 4198400 14817773 140727578931616 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41172992 140727578933610 140727578933725 140727578933725 140727578939327 0
/proc/34163/statm: 58100 54267 960 2593 0 54993 0
Current children cumulated CPU time: 281.59 s
Current children cumulated vsize: 232400 KiB
Current children cumulated memory: 217068 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 3.19 2.37 5/264 34179
/proc/meminfo: memFree=128374812/131249996 swapFree=33010684/33010684
[pid=34163] ppid=34160 vsize=470004 memory=454580 CPUtime=341.44 cores=5,7
/proc/34163/stat : 34163 (CASHWMaxSAT-Dis) R 34160 34163 30935 0 -1 4194304 59393 0 0 0 34094 50 0 0 20 0 1 0 39274137 481284096 113645 18446744073709551615 4198400 14817773 140727578931616 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41172992 140727578933610 140727578933725 140727578933725 140727578939327 0
/proc/34163/statm: 117501 113645 960 2593 0 114394 0
Current children cumulated CPU time: 341.44 s
Current children cumulated vsize: 470004 KiB
Current children cumulated memory: 454580 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 3.35 2.47 5/264 34181
/proc/meminfo: memFree=128389260/131249996 swapFree=33010684/33010684
[pid=34163] ppid=34160 vsize=445720 memory=430352 CPUtime=401.29 cores=5,7
/proc/34163/stat : 34163 (CASHWMaxSAT-Dis) R 34160 34163 30935 0 -1 4194304 61541 0 0 0 40067 62 0 0 20 0 1 0 39274137 456417280 107588 18446744073709551615 4198400 14817773 140727578931616 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41172992 140727578933610 140727578933725 140727578933725 140727578939327 0
/proc/34163/statm: 111430 107588 960 2593 0 108323 0
Current children cumulated CPU time: 401.29 s
Current children cumulated vsize: 445720 KiB
Current children cumulated memory: 430352 KiB

[startup+462.3 s]
/proc/loadavg: 4.15 3.51 2.58 5/263 34185
/proc/meminfo: memFree=128342912/131249996 swapFree=33010684/33010684
[pid=34163] ppid=34160 vsize=463572 memory=448224 CPUtime=461.15 cores=5,7
/proc/34163/stat : 34163 (CASHWMaxSAT-Dis) R 34160 34163 30935 0 -1 4194304 64428 0 0 0 46044 71 0 0 20 0 1 0 39274137 474697728 112056 18446744073709551615 4198400 14817773 140727578931616 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41172992 140727578933610 140727578933725 140727578933725 140727578939327 0
/proc/34163/statm: 115893 112056 960 2593 0 112786 0

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

Current children cumulated memory: 828340 KiB

[startup+2862.3 s]
/proc/loadavg: 4.11 4.13 4.03 5/263 34357
/proc/meminfo: memFree=127122688/131249996 swapFree=33010684/33010684
[pid=34163] ppid=34160 vsize=994064 memory=978244 CPUtime=2854.98 cores=5,7
/proc/34163/stat : 34163 (CASHWMaxSAT-Dis) R 34160 34163 30935 0 -1 4194304 267222 0 0 0 285014 484 0 0 20 0 1 0 39274137 1017921536 244561 18446744073709551615 4198400 14817773 140727578931616 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41172992 140727578933610 140727578933725 140727578933725 140727578939327 0
/proc/34163/statm: 248516 244561 960 2593 0 245409 0
Current children cumulated CPU time: 2854.98 s
Current children cumulated vsize: 994064 KiB
Current children cumulated memory: 978244 KiB

[startup+2922.3 s]
/proc/loadavg: 4.15 4.14 4.04 5/263 34360
/proc/meminfo: memFree=127392040/131249996 swapFree=33010684/33010684
[pid=34163] ppid=34160 vsize=722472 memory=707076 CPUtime=2914.83 cores=5,7
/proc/34163/stat : 34163 (CASHWMaxSAT-Dis) R 34160 34163 30935 0 -1 4194304 268684 0 0 0 290986 497 0 0 20 0 1 0 39274137 739811328 176769 18446744073709551615 4198400 14817773 140727578931616 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41172992 140727578933610 140727578933725 140727578933725 140727578939327 0
/proc/34163/statm: 180618 176769 960 2593 0 177511 0
Current children cumulated CPU time: 2914.83 s
Current children cumulated vsize: 722472 KiB
Current children cumulated memory: 707076 KiB

[startup+2982.3 s]
/proc/loadavg: 4.10 4.12 4.04 5/263 34362
/proc/meminfo: memFree=127429084/131249996 swapFree=33010684/33010684
[pid=34163] ppid=34160 vsize=642660 memory=627264 CPUtime=2974.69 cores=5,7
/proc/34163/stat : 34163 (CASHWMaxSAT-Dis) R 34160 34163 30935 0 -1 4194304 269681 0 0 0 296964 505 0 0 20 0 1 0 39274137 658083840 156816 18446744073709551615 4198400 14817773 140727578931616 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41172992 140727578933610 140727578933725 140727578933725 140727578939327 0
/proc/34163/statm: 160665 156816 960 2593 0 157558 0
Current children cumulated CPU time: 2974.69 s
Current children cumulated vsize: 642660 KiB
Current children cumulated memory: 627264 KiB

[startup+3042.3 s]
/proc/loadavg: 4.15 4.13 4.04 5/263 34368
/proc/meminfo: memFree=127125680/131249996 swapFree=33010684/33010684
[pid=34163] ppid=34160 vsize=938316 memory=922920 CPUtime=3034.53 cores=5,7
/proc/34163/stat : 34163 (CASHWMaxSAT-Dis) R 34160 34163 30935 0 -1 4194304 270670 0 0 0 302941 512 0 0 20 0 1 0 39274137 960835584 230730 18446744073709551615 4198400 14817773 140727578931616 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41172992 140727578933610 140727578933725 140727578933725 140727578939327 0
/proc/34163/statm: 234579 230730 960 2593 0 231472 0
Current children cumulated CPU time: 3034.53 s
Current children cumulated vsize: 938316 KiB
Current children cumulated memory: 922920 KiB

[startup+3102.3 s]
/proc/loadavg: 4.12 4.12 4.04 5/264 34371
/proc/meminfo: memFree=127205228/131249996 swapFree=33010684/33010684
[pid=34163] ppid=34160 vsize=995996 memory=980176 CPUtime=3094.39 cores=5,7
/proc/34163/stat : 34163 (CASHWMaxSAT-Dis) R 34160 34163 30935 0 -1 4194304 275253 0 0 0 308917 522 0 0 20 0 1 0 39274137 1019899904 245044 18446744073709551615 4198400 14817773 140727578931616 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41172992 140727578933610 140727578933725 140727578933725 140727578939327 0
/proc/34163/statm: 248999 245044 960 2593 0 245892 0
Current children cumulated CPU time: 3094.39 s
Current children cumulated vsize: 995996 KiB
Current children cumulated memory: 980176 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.11 4.04 5/264 34373
/proc/meminfo: memFree=127128956/131249996 swapFree=33010684/33010684
[pid=34163] ppid=34160 vsize=945516 memory=929696 CPUtime=3154.25 cores=5,7
/proc/34163/stat : 34163 (CASHWMaxSAT-Dis) R 34160 34163 30935 0 -1 4194304 275749 0 0 0 314895 530 0 0 20 0 1 0 39274137 968208384 232424 18446744073709551615 4198400 14817773 140727578931616 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41172992 140727578933610 140727578933725 140727578933725 140727578939327 0
/proc/34163/statm: 236379 232424 960 2593 0 233272 0
Current children cumulated CPU time: 3154.25 s
Current children cumulated vsize: 945516 KiB
Current children cumulated memory: 929696 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.12 4.05 5/264 34375
/proc/meminfo: memFree=127232260/131249996 swapFree=33010684/33010684
[pid=34163] ppid=34160 vsize=883388 memory=867568 CPUtime=3214.09 cores=5,7
/proc/34163/stat : 34163 (CASHWMaxSAT-Dis) R 34160 34163 30935 0 -1 4194304 277079 0 0 0 320873 536 0 0 20 0 1 0 39274137 904589312 216892 18446744073709551615 4198400 14817773 140727578931616 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41172992 140727578933610 140727578933725 140727578933725 140727578939327 0
/proc/34163/statm: 220847 216892 960 2593 0 217740 0
Current children cumulated CPU time: 3214.09 s
Current children cumulated vsize: 883388 KiB
Current children cumulated memory: 867568 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.11 4.05 5/263 34377
/proc/meminfo: memFree=127111588/131249996 swapFree=33010684/33010684
[pid=34163] ppid=34160 vsize=1059980 memory=1043972 CPUtime=3273.94 cores=5,7
/proc/34163/stat : 34163 (CASHWMaxSAT-Dis) R 34160 34163 30935 0 -1 4194304 283082 0 0 0 326848 546 0 0 20 0 1 0 39274137 1085419520 260993 18446744073709551615 4198400 14817773 140727578931616 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41172992 140727578933610 140727578933725 140727578933725 140727578939327 0
/proc/34163/statm: 264995 260993 960 2593 0 261888 0
Current children cumulated CPU time: 3273.94 s
Current children cumulated vsize: 1059980 KiB
Current children cumulated memory: 1043972 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.10 4.05 5/263 34379
/proc/meminfo: memFree=127038856/131249996 swapFree=33010684/33010684
[pid=34163] ppid=34160 vsize=1018948 memory=1002940 CPUtime=3333.79 cores=5,7
/proc/34163/stat : 34163 (CASHWMaxSAT-Dis) R 34160 34163 30935 0 -1 4194304 284017 0 0 0 332824 555 0 0 20 0 1 0 39274137 1043402752 250735 18446744073709551615 4198400 14817773 140727578931616 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41172992 140727578933610 140727578933725 140727578933725 140727578939327 0
/proc/34163/statm: 254737 250735 960 2593 0 251630 0
Current children cumulated CPU time: 3333.79 s
Current children cumulated vsize: 1018948 KiB
Current children cumulated memory: 1002940 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.11 4.05 5/262 34381
/proc/meminfo: memFree=126997424/131249996 swapFree=33010684/33010684
[pid=34163] ppid=34160 vsize=1048144 memory=1032392 CPUtime=3393.65 cores=5,7
/proc/34163/stat : 34163 (CASHWMaxSAT-Dis) R 34160 34163 30935 0 -1 4194304 284498 0 0 0 338800 565 0 0 20 0 1 0 39274137 1073299456 258098 18446744073709551615 4198400 14817773 140727578931616 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41172992 140727578933610 140727578933725 140727578933725 140727578939327 0
/proc/34163/statm: 262036 258098 960 2593 0 258929 0
Current children cumulated CPU time: 3393.65 s
Current children cumulated vsize: 1048144 KiB
Current children cumulated memory: 1032392 KiB

[startup+3462.3 s]
/proc/loadavg: 4.33 4.18 4.08 5/263 34386
/proc/meminfo: memFree=127486052/131249996 swapFree=33010684/33010684
[pid=34163] ppid=34160 vsize=755812 memory=739996 CPUtime=3453.5 cores=5,7
/proc/34163/stat : 34163 (CASHWMaxSAT-Dis) R 34160 34163 30935 0 -1 4194304 287003 0 0 0 344771 579 0 0 20 0 1 0 39274137 773951488 184999 18446744073709551615 4198400 14817773 140727578931616 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41172992 140727578933610 140727578933725 140727578933725 140727578939327 0
/proc/34163/statm: 188953 184999 960 2593 0 185846 0
Current children cumulated CPU time: 3453.5 s
Current children cumulated vsize: 755812 KiB
Current children cumulated memory: 739996 KiB

[startup+3522.3 s]
/proc/loadavg: 4.23 4.18 4.09 5/263 34388
/proc/meminfo: memFree=127546116/131249996 swapFree=33010684/33010684
[pid=34163] ppid=34160 vsize=626212 memory=611308 CPUtime=3513.35 cores=5,7
/proc/34163/stat : 34163 (CASHWMaxSAT-Dis) R 34160 34163 30935 0 -1 4194304 289106 0 0 0 350746 589 0 0 20 0 1 0 39274137 641241088 152827 18446744073709551615 4198400 14817773 140727578931616 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41172992 140727578933610 140727578933725 140727578933725 140727578939327 0
/proc/34163/statm: 156553 152827 960 2593 0 153446 0
Current children cumulated CPU time: 3513.35 s
Current children cumulated vsize: 626212 KiB
Current children cumulated memory: 611308 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.16 4.09 5/263 34390
/proc/meminfo: memFree=127572452/131249996 swapFree=33010684/33010684
[pid=34163] ppid=34160 vsize=617228 memory=602324 CPUtime=3573.2 cores=5,7
/proc/34163/stat : 34163 (CASHWMaxSAT-Dis) R 34160 34163 30935 0 -1 4194304 290642 0 0 0 356725 595 0 0 20 0 1 0 39274137 632041472 150581 18446744073709551615 4198400 14817773 140727578931616 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41172992 140727578933610 140727578933725 140727578933725 140727578939327 0
/proc/34163/statm: 154307 150581 960 2593 0 151200 0
Current children cumulated CPU time: 3573.2 s
Current children cumulated vsize: 617228 KiB
Current children cumulated memory: 602324 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.2 s]
/proc/loadavg: 4.15 4.16 4.09 5/263 34440
/proc/meminfo: memFree=127712088/131249996 swapFree=33010684/33010684
[pid=34163] ppid=34160 vsize=614028 memory=599124 CPUtime=3600.04 cores=5,7
/proc/34163/stat : 34163 (CASHWMaxSAT-Dis) R 34160 34163 30935 0 -1 4194304 291942 0 0 0 359404 600 0 0 20 0 1 0 39274137 628764672 149781 18446744073709551615 4198400 14817773 140727578931616 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41172992 140727578933610 140727578933725 140727578933725 140727578939327 0
/proc/34163/statm: 153507 149781 960 2593 0 150400 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 614028 KiB
Current children cumulated memory: 599124 KiB

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

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

# cumulated CPU time of all completed processes:  user=3594.04 s, system=6.00428 s

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

Child status: 0

Real time (s): 3609.2
CPU time (s): 3600.05
CPU user time (s): 3594.04
CPU system time (s): 6.00428
CPU usage (%): 99.7463
Max. virtual memory (cumulated for all children) (KiB): 1587088
Max. memory (cumulated for all children) (KiB): 1498520

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.04
system time used= 6.00428
maximum resident set size= 1571224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 291942
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= 79
involuntary context switches= 1836


# summary of solver processes directly reported to runsolver:
#   pid: 34163
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3594.04
#   total CPU system time (s): 6.00428

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.74646 second user time and 17.1608 second system time

The end

Launcher Data 

Begin job on nodeC022 at 2025-06-30 00:26:04
IDJOB=4516484
IDBENCH=175640
IDSOLVER=3322
FILE ID=nodeC022/4516484-1751235964
RUNJOBID= nodeC022-1751235960-33748
SLURM_JOB_ID= 9587707
Free space on /tmp= 433024 MiB

SOLVER NAME= CASHWMaxSATDisjCad-S 2025-06-01
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/larger/random4reg_opb_shuffle/normalized-subsetcard-eq-random4reg-1500.shuf-1.opb
COMMAND LINE= CASHWMaxSAT-DisjCad-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4516484-1751235964/watcher-4516484-1751235964 -o /tmp/evaluation-result-4516484-1751235964/solver-4516484-1751235964 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751235960-33748 --watchdog 3760  CASHWMaxSAT-DisjCad-S HOME/instance-4516484-1751235964.opb -total-t=3600 -no-par -v0

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

MD5SUM BENCH= 32d8cc264951b7044fd33d2e6b7cca98
RANDOM SEED=1873605326

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        129011568 kB
MemAvailable:   129746944 kB
Buffers:            3280 kB
Cached:          1539560 kB
SwapCached:            0 kB
Active:           347404 kB
Inactive:        1291192 kB
Active(anon):     113824 kB
Inactive(anon):        0 kB
Active(file):     233580 kB
Inactive(file):  1291192 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             55620 kB
Writeback:             0 kB
AnonPages:         98860 kB
Mapped:           114216 kB
Shmem:             18060 kB
KReclaimable:      99284 kB
Slab:             186568 kB
SReclaimable:      99284 kB
SUnreclaim:        87284 kB
KernelStack:        4304 kB
PageTables:         3148 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     448740 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150552 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     16384 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433008 MiB
End job on nodeC022 at 2025-06-30 01:26:13