405.28/406.67 c Using cadical-2.0.0-2df7b7f SAT solver by Armin Biere (2022)
405.28/406.67 c Using SCIP solver, version 8.1.0, https://www.scipopt.org
405.37/406.73 c Starting SCIP solver (with time-limit = 1800s) ...
2200.84/2206.74 c SCIP timeout with lower and upper bounds: [2057, 9223372036854775807]
3600.00/3609.40 s UNKNOWN
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 (61827 MiB free)
memory of node 1: 64465 MiB (62188 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4486859-1751335959/watcher-4486859-1751335959 -o /tmp/evaluation-result-4486859-1751335959/solver-4486859-1751335959 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751335915-55867 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4486859-1751335959.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=56105, runsolver pid=56102
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 2.75 2.72 3.42 5/267 56106
/proc/meminfo: memFree=126963084/131250000 swapFree=33010684/33010684
[pid=56105] ppid=56102 vsize=38848 memory=24320 CPUtime=0.1 cores=4,6
/proc/56105/stat : 56105 (CASHWMaxSAT-Dis) R 56102 56105 55856 0 -1 4194304 5384 0 0 0 9 1 0 0 20 0 1 0 49273509 39780352 6080 18446744073709551615 4198400 14817773 140729931096736 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39673856 140729931102570 140729931102685 140729931102685 140729931108287 0
/proc/56105/statm: 9712 6080 864 2593 0 6605 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 38848 KiB
Current children cumulated memory: 24320 KiB
[startup+0.205729 s]*
/proc/loadavg: 2.75 2.72 3.42 5/267 56106
/proc/meminfo: memFree=126946956/131250000 swapFree=33010684/33010684
[pid=56105] ppid=56102 vsize=57768 memory=43264 CPUtime=0.2 cores=4,6
/proc/56105/stat : 56105 (CASHWMaxSAT-Dis) R 56102 56105 55856 0 -1 4194304 10143 0 0 0 19 1 0 0 20 0 1 0 49273509 59154432 10816 18446744073709551615 4198400 14817773 140729931096736 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39673856 140729931102570 140729931102685 140729931102685 140729931108287 0
/proc/56105/statm: 14442 10816 864 2593 0 11335 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 57768 KiB
Current children cumulated memory: 43264 KiB
[startup+0.305674 s]*
/proc/loadavg: 2.75 2.72 3.42 5/267 56106
/proc/meminfo: memFree=126933348/131250000 swapFree=33010684/33010684
[pid=56105] ppid=56102 vsize=75272 memory=60472 CPUtime=0.3 cores=4,6
/proc/56105/stat : 56105 (CASHWMaxSAT-Dis) R 56102 56105 55856 0 -1 4194304 14784 0 0 0 28 2 0 0 20 0 1 0 49273509 77078528 15118 18446744073709551615 4198400 14817773 140729931096736 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39673856 140729931102570 140729931102685 140729931102685 140729931108287 0
/proc/56105/statm: 18818 15118 960 2593 0 15711 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 75272 KiB
Current children cumulated memory: 60472 KiB
[startup+0.700185 s]
/proc/loadavg: 2.75 2.72 3.42 5/267 56106
/proc/meminfo: memFree=126925284/131250000 swapFree=33010684/33010684
[pid=56105] ppid=56102 vsize=81120 memory=66364 CPUtime=0.68 cores=4,6
/proc/56105/stat : 56105 (CASHWMaxSAT-Dis) R 56102 56105 55856 0 -1 4194304 17047 0 0 0 66 2 0 0 20 0 1 0 49273509 83066880 16591 18446744073709551615 4198400 14817773 140729931096736 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39673856 140729931102570 140729931102685 140729931102685 140729931108287 0
/proc/56105/statm: 20280 16591 960 2593 0 17173 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 81120 KiB
Current children cumulated memory: 66364 KiB
[startup+1.50018 s]
/proc/loadavg: 2.75 2.72 3.42 5/267 56106
/proc/meminfo: memFree=126917240/131250000 swapFree=33010684/33010684
[pid=56105] ppid=56102 vsize=77392 memory=62824 CPUtime=1.49 cores=4,6
/proc/56105/stat : 56105 (CASHWMaxSAT-Dis) R 56102 56105 55856 0 -1 4194304 18773 0 0 0 146 3 0 0 20 0 1 0 49273509 79249408 15706 18446744073709551615 4198400 14817773 140729931096736 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39673856 140729931102570 140729931102685 140729931102685 140729931108287 0
/proc/56105/statm: 19348 15706 960 2593 0 16241 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 77392 KiB
Current children cumulated memory: 62824 KiB
[startup+3.10587 s]
/proc/loadavg: 2.75 2.72 3.42 5/267 56106
/proc/meminfo: memFree=126924168/131250000 swapFree=33010684/33010684
[pid=56105] ppid=56102 vsize=83916 memory=69216 CPUtime=3.08 cores=4,6
/proc/56105/stat : 56105 (CASHWMaxSAT-Dis) R 56102 56105 55856 0 -1 4194304 22439 0 0 0 305 3 0 0 20 0 1 0 49273509 85929984 17304 18446744073709551615 4198400 14817773 140729931096736 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39673856 140729931102570 140729931102685 140729931102685 140729931108287 0
/proc/56105/statm: 20979 17304 960 2593 0 17872 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 83916 KiB
Current children cumulated memory: 69216 KiB
[startup+6.30014 s]
/proc/loadavg: 2.85 2.74 3.42 5/267 56106
/proc/meminfo: memFree=126923800/131250000 swapFree=33010684/33010684
[pid=56105] ppid=56102 vsize=81376 memory=66752 CPUtime=6.27 cores=4,6
/proc/56105/stat : 56105 (CASHWMaxSAT-Dis) R 56102 56105 55856 0 -1 4194304 24482 0 0 0 623 4 0 0 20 0 1 0 49273509 83329024 16688 18446744073709551615 4198400 14817773 140729931096736 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39673856 140729931102570 140729931102685 140729931102685 140729931108287 0
/proc/56105/statm: 20344 16688 960 2593 0 17237 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 81376 KiB
Current children cumulated memory: 66752 KiB
[startup+12.7002 s]
/proc/loadavg: 2.94 2.76 3.43 5/267 56106
/proc/meminfo: memFree=126920020/131250000 swapFree=33010684/33010684
[pid=56105] ppid=56102 vsize=81952 memory=67388 CPUtime=12.66 cores=4,6
/proc/56105/stat : 56105 (CASHWMaxSAT-Dis) R 56102 56105 55856 0 -1 4194304 27232 0 0 0 1261 5 0 0 20 0 1 0 49273509 83918848 16847 18446744073709551615 4198400 14817773 140729931096736 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39673856 140729931102570 140729931102685 140729931102685 140729931108287 0
/proc/56105/statm: 20488 16847 960 2593 0 17381 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 81952 KiB
Current children cumulated memory: 67388 KiB
[startup+25.5002 s]
/proc/loadavg: 3.24 2.84 3.44 5/267 56107
/proc/meminfo: memFree=126894048/131250000 swapFree=33010684/33010684
[pid=56105] ppid=56102 vsize=80248 memory=65880 CPUtime=25.43 cores=4,6
/proc/56105/stat : 56105 (CASHWMaxSAT-Dis) R 56102 56105 55856 0 -1 4194304 32112 0 0 0 2537 6 0 0 20 0 1 0 49273509 82173952 16470 18446744073709551615 4198400 14817773 140729931096736 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39673856 140729931102570 140729931102685 140729931102685 140729931108287 0
/proc/56105/statm: 20062 16470 960 2593 0 16955 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 80248 KiB
Current children cumulated memory: 65880 KiB
[startup+51.1056 s]
/proc/loadavg: 3.50 2.93 3.46 5/265 56107
/proc/meminfo: memFree=126839412/131250000 swapFree=33010684/33010684
[pid=56105] ppid=56102 vsize=95016 memory=80560 CPUtime=50.96 cores=4,6
/proc/56105/stat : 56105 (CASHWMaxSAT-Dis) R 56102 56105 55856 0 -1 4194304 38626 0 0 0 5088 8 0 0 20 0 1 0 49273509 97296384 20140 18446744073709551615 4198400 14817773 140729931096736 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39673856 140729931102570 140729931102685 140729931102685 140729931108287 0
/proc/56105/statm: 23754 20140 960 2593 0 20647 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 95016 KiB
Current children cumulated memory: 80560 KiB
[startup+102.3 s]
/proc/loadavg: 3.83 3.11 3.49 5/264 56335
/proc/meminfo: memFree=127034012/131250000 swapFree=33010684/33010684
[pid=56105] ppid=56102 vsize=101116 memory=86844 CPUtime=101.95 cores=4,6
/proc/56105/stat : 56105 (CASHWMaxSAT-Dis) R 56102 56105 55856 0 -1 4194304 45771 0 0 0 10176 19 0 0 20 0 1 0 49273509 103542784 21711 18446744073709551615 4198400 14817773 140729931096736 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39673856 140729931102570 140729931102685 140729931102685 140729931108287 0
/proc/56105/statm: 25279 21711 960 2593 0 22172 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 101116 KiB
Current children cumulated memory: 86844 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 3.34 3.55 4/264 56769
/proc/meminfo: memFree=126996904/131250000 swapFree=33010684/33010684
[pid=56105] ppid=56102 vsize=109700 memory=95484 CPUtime=161.68 cores=4,6
/proc/56105/stat : 56105 (CASHWMaxSAT-Dis) R 56102 56105 55856 0 -1 4194304 51014 0 0 0 16138 30 0 0 20 0 1 0 49273509 112332800 23871 18446744073709551615 4198400 14817773 140729931096736 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39673856 140729931102570 140729931102685 140729931102685 140729931108287 0
/proc/56105/statm: 27425 23871 960 2593 0 24318 0
Current children cumulated CPU time: 161.68 s
Current children cumulated vsize: 109700 KiB
Current children cumulated memory: 95484 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 3.50 3.59 5/266 56969
/proc/meminfo: memFree=126885396/131250000 swapFree=33010684/33010684
[pid=56105] ppid=56102 vsize=112968 memory=98676 CPUtime=221.47 cores=4,6
/proc/56105/stat : 56105 (CASHWMaxSAT-Dis) R 56102 56105 55856 0 -1 4194304 55666 0 0 0 22108 39 0 0 20 0 1 0 49273509 115679232 24669 18446744073709551615 4198400 14817773 140729931096736 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39673856 140729931102570 140729931102685 140729931102685 140729931108287 0
/proc/56105/statm: 28242 24669 960 2593 0 25135 0
Current children cumulated CPU time: 221.47 s
Current children cumulated vsize: 112968 KiB
Current children cumulated memory: 98676 KiB
[startup+282.3 s]
/proc/loadavg: 4.17 3.63 3.63 5/265 56971
/proc/meminfo: memFree=126849012/131250000 swapFree=33010684/33010684
[pid=56105] ppid=56102 vsize=89576 memory=75400 CPUtime=281.3 cores=4,6
/proc/56105/stat : 56105 (CASHWMaxSAT-Dis) R 56102 56105 55856 0 -1 4194304 59106 0 0 0 28089 41 0 0 20 0 1 0 49273509 91725824 18850 18446744073709551615 4198400 14817773 140729931096736 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39673856 140729931102570 140729931102685 140729931102685 140729931108287 0
/proc/56105/statm: 22394 18850 960 2593 0 19287 0
Current children cumulated CPU time: 281.3 s
Current children cumulated vsize: 89576 KiB
Current children cumulated memory: 75400 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 3.71 3.66 5/266 56980
/proc/meminfo: memFree=126799168/131250000 swapFree=33010684/33010684
[pid=56105] ppid=56102 vsize=117976 memory=103740 CPUtime=341.15 cores=4,6
/proc/56105/stat : 56105 (CASHWMaxSAT-Dis) R 56102 56105 55856 0 -1 4194304 62908 0 0 0 34071 44 0 0 20 0 1 0 49273509 120807424 25935 18446744073709551615 4198400 14817773 140729931096736 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39673856 140729931102570 140729931102685 140729931102685 140729931108287 0
/proc/56105/statm: 29494 25935 960 2593 0 26387 0
Current children cumulated CPU time: 341.15 s
Current children cumulated vsize: 117976 KiB
Current children cumulated memory: 103740 KiB
[startup+402.3 s]
/proc/loadavg: 4.17 3.80 3.70 5/265 56982
/proc/meminfo: memFree=126794056/131250000 swapFree=33010684/33010684
[pid=56105] ppid=56102 vsize=121376 memory=107196 CPUtime=400.99 cores=4,6
/proc/56105/stat : 56105 (CASHWMaxSAT-Dis) R 56102 56105 55856 0 -1 4194304 63776 0 0 0 40055 44 0 0 20 0 1 0 49273509 124289024 26799 18446744073709551615 4198400 14817773 140729931096736 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39673856 140729931102570 140729931102685 140729931102685 140729931108287 0
/proc/56105/statm: 30344 26799 960 2593 0 27237 0
Current children cumulated CPU time: 400.99 s
Current children cumulated vsize: 121376 KiB
Current children cumulated memory: 107196 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 3.86 3.73 5/264 56985
/proc/meminfo: memFree=126133548/131250000 swapFree=33010684/33010684
[pid=56105] ppid=56102 vsize=919772 memory=719336 CPUtime=460.83 cores=4,6
/proc/56105/stat : 56105 (CASHWMaxSAT-Dis) R 56102 56105 55856 0 -1 4194304 134682 0 0 0 46020 63 0 0 20 0 1 0 49273509 941846528 179834 18446744073709551615 4198400 14817773 140729931096736 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39673856 140729931102570 140729931102685 140729931102685 140729931108287 0
/proc/56105/statm: 229943 179834 2688 2593 0 226836 0
Current children cumulated CPU time: 460.83 s
################
# More data... #
################
Current children cumulated memory: 657060 KiB
[startup+2862.3 s]
/proc/loadavg: 4.13 4.13 4.08 5/265 57108
/proc/meminfo: memFree=126415684/131250000 swapFree=33010684/33010684
[pid=56105] ppid=56102 vsize=717444 memory=665252 CPUtime=2854.84 cores=4,6
/proc/56105/stat : 56105 (CASHWMaxSAT-Dis) R 56102 56105 55856 0 -1 4194304 239773 0 0 0 285399 85 0 0 20 0 1 0 49273509 734662656 166313 18446744073709551615 4198400 14817773 140729931096736 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39673856 140729931102570 140729931102685 140729931102685 140729931108287 0
/proc/56105/statm: 179361 166313 2688 2593 0 176254 0
Current children cumulated CPU time: 2854.84 s
Current children cumulated vsize: 717444 KiB
Current children cumulated memory: 665252 KiB
[startup+2922.3 s]
/proc/loadavg: 4.10 4.12 4.08 5/265 57121
/proc/meminfo: memFree=126415444/131250000 swapFree=33010684/33010684
[pid=56105] ppid=56102 vsize=717444 memory=665252 CPUtime=2914.69 cores=4,6
/proc/56105/stat : 56105 (CASHWMaxSAT-Dis) R 56102 56105 55856 0 -1 4194304 239773 0 0 0 291384 85 0 0 20 0 1 0 49273509 734662656 166313 18446744073709551615 4198400 14817773 140729931096736 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39673856 140729931102570 140729931102685 140729931102685 140729931108287 0
/proc/56105/statm: 179361 166313 2688 2593 0 176254 0
Current children cumulated CPU time: 2914.69 s
Current children cumulated vsize: 717444 KiB
Current children cumulated memory: 665252 KiB
[startup+2982.3 s]
/proc/loadavg: 4.08 4.11 4.08 5/265 57123
/proc/meminfo: memFree=126421824/131250000 swapFree=33010684/33010684
[pid=56105] ppid=56102 vsize=717444 memory=665252 CPUtime=2974.54 cores=4,6
/proc/56105/stat : 56105 (CASHWMaxSAT-Dis) R 56102 56105 55856 0 -1 4194304 239843 0 0 0 297369 85 0 0 20 0 1 0 49273509 734662656 166313 18446744073709551615 4198400 14817773 140729931096736 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39673856 140729931102570 140729931102685 140729931102685 140729931108287 0
/proc/56105/statm: 179361 166313 2688 2593 0 176254 0
Current children cumulated CPU time: 2974.54 s
Current children cumulated vsize: 717444 KiB
Current children cumulated memory: 665252 KiB
[startup+3042.3 s]
/proc/loadavg: 4.09 4.10 4.08 5/264 57125
/proc/meminfo: memFree=126370156/131250000 swapFree=33010684/33010684
[pid=56105] ppid=56102 vsize=717444 memory=665252 CPUtime=3034.38 cores=4,6
/proc/56105/stat : 56105 (CASHWMaxSAT-Dis) R 56102 56105 55856 0 -1 4194304 239852 0 0 0 303353 85 0 0 20 0 1 0 49273509 734662656 166313 18446744073709551615 4198400 14817773 140729931096736 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39673856 140729931102570 140729931102685 140729931102685 140729931108287 0
/proc/56105/statm: 179361 166313 2688 2593 0 176254 0
Current children cumulated CPU time: 3034.38 s
Current children cumulated vsize: 717444 KiB
Current children cumulated memory: 665252 KiB
[startup+3102.3 s]
/proc/loadavg: 4.48 4.19 4.11 5/264 57127
/proc/meminfo: memFree=126394040/131250000 swapFree=33010684/33010684
[pid=56105] ppid=56102 vsize=717444 memory=665252 CPUtime=3094.23 cores=4,6
/proc/56105/stat : 56105 (CASHWMaxSAT-Dis) R 56102 56105 55856 0 -1 4194304 239945 0 0 0 309338 85 0 0 20 0 1 0 49273509 734662656 166313 18446744073709551615 4198400 14817773 140729931096736 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39673856 140729931102570 140729931102685 140729931102685 140729931108287 0
/proc/56105/statm: 179361 166313 2688 2593 0 176254 0
Current children cumulated CPU time: 3094.23 s
Current children cumulated vsize: 717444 KiB
Current children cumulated memory: 665252 KiB
[startup+3162.3 s]
/proc/loadavg: 4.29 4.19 4.11 5/262 57129
/proc/meminfo: memFree=126388316/131250000 swapFree=33010684/33010684
[pid=56105] ppid=56102 vsize=717444 memory=665252 CPUtime=3154.08 cores=4,6
/proc/56105/stat : 56105 (CASHWMaxSAT-Dis) R 56102 56105 55856 0 -1 4194304 239976 0 0 0 315323 85 0 0 20 0 1 0 49273509 734662656 166313 18446744073709551615 4198400 14817773 140729931096736 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39673856 140729931102570 140729931102685 140729931102685 140729931108287 0
/proc/56105/statm: 179361 166313 2688 2593 0 176254 0
Current children cumulated CPU time: 3154.08 s
Current children cumulated vsize: 717444 KiB
Current children cumulated memory: 665252 KiB
[startup+3222.3 s]
/proc/loadavg: 4.37 4.24 4.14 5/263 57132
/proc/meminfo: memFree=126373012/131250000 swapFree=33010684/33010684
[pid=56105] ppid=56102 vsize=717444 memory=665252 CPUtime=3213.92 cores=4,6
/proc/56105/stat : 56105 (CASHWMaxSAT-Dis) R 56102 56105 55856 0 -1 4194304 240042 0 0 0 321307 85 0 0 20 0 1 0 49273509 734662656 166313 18446744073709551615 4198400 14817773 140729931096736 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39673856 140729931102570 140729931102685 140729931102685 140729931108287 0
/proc/56105/statm: 179361 166313 2688 2593 0 176254 0
Current children cumulated CPU time: 3213.92 s
Current children cumulated vsize: 717444 KiB
Current children cumulated memory: 665252 KiB
[startup+3282.3 s]
/proc/loadavg: 4.17 4.21 4.13 5/263 57134
/proc/meminfo: memFree=126369164/131250000 swapFree=33010684/33010684
[pid=56105] ppid=56102 vsize=717444 memory=665252 CPUtime=3273.76 cores=4,6
/proc/56105/stat : 56105 (CASHWMaxSAT-Dis) R 56102 56105 55856 0 -1 4194304 240057 0 0 0 327291 85 0 0 20 0 1 0 49273509 734662656 166313 18446744073709551615 4198400 14817773 140729931096736 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39673856 140729931102570 140729931102685 140729931102685 140729931108287 0
/proc/56105/statm: 179361 166313 2688 2593 0 176254 0
Current children cumulated CPU time: 3273.76 s
Current children cumulated vsize: 717444 KiB
Current children cumulated memory: 665252 KiB
[startup+3342.3 s]
/proc/loadavg: 4.16 4.20 4.13 5/265 57144
/proc/meminfo: memFree=126375272/131250000 swapFree=33010684/33010684
[pid=56105] ppid=56102 vsize=717444 memory=665252 CPUtime=3333.61 cores=4,6
/proc/56105/stat : 56105 (CASHWMaxSAT-Dis) R 56102 56105 55856 0 -1 4194304 240123 0 0 0 333276 85 0 0 20 0 1 0 49273509 734662656 166313 18446744073709551615 4198400 14817773 140729931096736 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39673856 140729931102570 140729931102685 140729931102685 140729931108287 0
/proc/56105/statm: 179361 166313 2688 2593 0 176254 0
Current children cumulated CPU time: 3333.61 s
Current children cumulated vsize: 717444 KiB
Current children cumulated memory: 665252 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.18 4.13 5/265 57146
/proc/meminfo: memFree=126375408/131250000 swapFree=33010684/33010684
[pid=56105] ppid=56102 vsize=717444 memory=665252 CPUtime=3393.45 cores=4,6
/proc/56105/stat : 56105 (CASHWMaxSAT-Dis) R 56102 56105 55856 0 -1 4194304 240134 0 0 0 339260 85 0 0 20 0 1 0 49273509 734662656 166313 18446744073709551615 4198400 14817773 140729931096736 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39673856 140729931102570 140729931102685 140729931102685 140729931108287 0
/proc/56105/statm: 179361 166313 2688 2593 0 176254 0
Current children cumulated CPU time: 3393.45 s
Current children cumulated vsize: 717444 KiB
Current children cumulated memory: 665252 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.17 4.13 5/265 57148
/proc/meminfo: memFree=126367516/131250000 swapFree=33010684/33010684
[pid=56105] ppid=56102 vsize=717444 memory=665252 CPUtime=3453.3 cores=4,6
/proc/56105/stat : 56105 (CASHWMaxSAT-Dis) R 56102 56105 55856 0 -1 4194304 240225 0 0 0 345244 86 0 0 20 0 1 0 49273509 734662656 166313 18446744073709551615 4198400 14817773 140729931096736 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39673856 140729931102570 140729931102685 140729931102685 140729931108287 0
/proc/56105/statm: 179361 166313 2688 2593 0 176254 0
Current children cumulated CPU time: 3453.3 s
Current children cumulated vsize: 717444 KiB
Current children cumulated memory: 665252 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.16 4.12 5/264 57150
/proc/meminfo: memFree=126403872/131250000 swapFree=33010684/33010684
[pid=56105] ppid=56102 vsize=717444 memory=665252 CPUtime=3513.14 cores=4,6
/proc/56105/stat : 56105 (CASHWMaxSAT-Dis) R 56102 56105 55856 0 -1 4194304 240237 0 0 0 351228 86 0 0 20 0 1 0 49273509 734662656 166313 18446744073709551615 4198400 14817773 140729931096736 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39673856 140729931102570 140729931102685 140729931102685 140729931108287 0
/proc/56105/statm: 179361 166313 2688 2593 0 176254 0
Current children cumulated CPU time: 3513.14 s
Current children cumulated vsize: 717444 KiB
Current children cumulated memory: 665252 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.14 4.11 5/265 57242
/proc/meminfo: memFree=127667952/131250000 swapFree=33010684/33010684
[pid=56105] ppid=56102 vsize=717444 memory=665252 CPUtime=3572.98 cores=4,6
/proc/56105/stat : 56105 (CASHWMaxSAT-Dis) R 56102 56105 55856 0 -1 4194304 240314 0 0 0 357212 86 0 0 20 0 1 0 49273509 734662656 166313 18446744073709551615 4198400 14817773 140729931096736 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39673856 140729931102570 140729931102685 140729931102685 140729931108287 0
/proc/56105/statm: 179361 166313 2688 2593 0 176254 0
Current children cumulated CPU time: 3572.98 s
Current children cumulated vsize: 717444 KiB
Current children cumulated memory: 665252 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.4 s]
/proc/loadavg: 4.12 4.14 4.12 5/265 57243
/proc/meminfo: memFree=127622260/131250000 swapFree=33010684/33010684
[pid=56105] ppid=56102 vsize=717444 memory=665252 CPUtime=3600 cores=4,6
/proc/56105/stat : 56105 (CASHWMaxSAT-Dis) R 56102 56105 55856 0 -1 4194304 240328 0 0 0 359914 86 0 0 20 0 1 0 49273509 734662656 166313 18446744073709551615 4198400 14817773 140729931096736 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 39673856 140729931102570 140729931102685 140729931102685 140729931108287 0
/proc/56105/statm: 179361 166313 2688 2593 0 176254 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 717444 KiB
Current children cumulated memory: 665252 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.4 s]
# the end of solver process 56105 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3599.14 s, system=0.865555 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.4
CPU time (s): 3600.01
CPU user time (s): 3599.14
CPU system time (s): 0.865555
CPU usage (%): 99.7398
Max. virtual memory (cumulated for all children) (KiB): 1510980
Max. memory (cumulated for all children) (KiB): 1165432
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.14
system time used= 0.865555
maximum resident set size= 1165432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 240328
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= 35
involuntary context switches= 2628
# summary of solver processes directly reported to runsolver:
# pid: 56105
# total CPU time (s): 3600.01
# total CPU user time (s): 3599.14
# total CPU system time (s): 0.865555
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.49395 second user time and 16.3589 second system time
The end
Begin job on nodeC016 at 2025-07-01 04:12:39
IDJOB=4486859
IDBENCH=147077
IDSOLVER=3322
FILE ID=nodeC016/4486859-1751335959
RUNJOBID= nodeC016-1751335915-55867
SLURM_JOB_ID= 9594381
Free space on /tmp= 433016 MiB
SOLVER NAME= CASHWMaxSATDisjCad-S 2025-06-01
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-g125.18.opb
COMMAND LINE= CASHWMaxSAT-DisjCad-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4486859-1751335959/watcher-4486859-1751335959 -o /tmp/evaluation-result-4486859-1751335959/solver-4486859-1751335959 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751335915-55867 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4486859-1751335959.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 95947120f800d2178fb6b614b0e3950b
RANDOM SEED=701931610
nodeC016 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.727
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.48
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.731
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.48
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 : 3571.656
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.48
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 : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt 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.48
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 : 3601.399
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.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.737
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.48
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.744
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.48
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 : 3700.000
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.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 126993132 kB
MemAvailable: 127964316 kB
Buffers: 3280 kB
Cached: 1774088 kB
SwapCached: 0 kB
Active: 2126732 kB
Inactive: 1503916 kB
Active(anon): 1871352 kB
Inactive(anon): 0 kB
Active(file): 255380 kB
Inactive(file): 1503916 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 29856 kB
Writeback: 4 kB
AnonPages: 1856368 kB
Mapped: 128392 kB
Shmem: 18072 kB
KReclaimable: 102252 kB
Slab: 189764 kB
SReclaimable: 102252 kB
SUnreclaim: 87512 kB
KernelStack: 4304 kB
PageTables: 6724 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 2338680 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150552 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 407552 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: 201428 kB
DirectMap2M: 7958528 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433008 MiB
End job on nodeC016 at 2025-07-01 05:12:49