runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63837 MiB (53445 MiB free)
memory of node 1: 64465 MiB (47656 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4542996-1753224989/watcher-4542996-1753224989 -o /tmp/evaluation-result-4542996-1753224989/solver-4542996-1753224989 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1753224989-162024 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4542996-1753224989.opb -total-t=3600 -no-par -v0
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
solver pid=162072, runsolver pid=162068
Current StackSize limit: 8192 KiB
[startup+0.100068 s]*
/proc/loadavg: 1.08 1.36 2.24 5/250 162082
/proc/meminfo: memFree=103518536/131382120 swapFree=33010160/33010684
[pid=162072] ppid=162068 vsize=30452 memory=11520 CPUtime=0.1 cores=1,3
/proc/162072/stat : 162072 (CASHWMaxSAT-Dis) R 162068 162072 162012 0 -1 4194304 2304 0 0 0 10 0 0 0 20 0 1 0 238177570 31182848 2880 18446744073709551615 4198400 14093885 140727307458752 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 41930752 140727307463016 140727307463131 140727307463131 140727307468735 0
/proc/162072/statm: 7613 2880 736 2416 0 4715 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 30452 KiB
Current children cumulated memory: 11520 KiB
[startup+0.212762 s]*
/proc/loadavg: 1.08 1.36 2.24 5/250 162082
/proc/meminfo: memFree=103506692/131382120 swapFree=33010160/33010684
[pid=162072] ppid=162068 vsize=38528 memory=19268 CPUtime=0.22 cores=1,3
/proc/162072/stat : 162072 (CASHWMaxSAT-Dis) R 162068 162072 162012 0 -1 4194304 4334 0 0 0 20 2 0 0 20 0 1 0 238177570 39452672 4817 18446744073709551615 4198400 14093885 140727307458752 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 41930752 140727307463016 140727307463131 140727307463131 140727307468735 0
/proc/162072/statm: 9632 4817 736 2416 0 6734 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 38528 KiB
Current children cumulated memory: 19268 KiB
[startup+0.312691 s]*
/proc/loadavg: 1.08 1.36 2.24 5/250 162082
/proc/meminfo: memFree=103486532/131382120 swapFree=33010160/33010684
[pid=162072] ppid=162068 vsize=46752 memory=26604 CPUtime=0.31 cores=1,3
/proc/162072/stat : 162072 (CASHWMaxSAT-Dis) R 162068 162072 162012 0 -1 4194304 6320 0 0 0 29 2 0 0 20 0 1 0 238177570 47874048 6651 18446744073709551615 4198400 14093885 140727307458752 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 41930752 140727307463016 140727307463131 140727307463131 140727307468735 0
/proc/162072/statm: 11688 6651 736 2416 0 8790 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 46752 KiB
Current children cumulated memory: 26604 KiB
[startup+0.700272 s]
/proc/loadavg: 1.08 1.36 2.24 5/250 162082
/proc/meminfo: memFree=103475192/131382120 swapFree=33010160/33010684
[pid=162072] ppid=162068 vsize=68296 memory=47900 CPUtime=0.68 cores=1,3
/proc/162072/stat : 162072 (CASHWMaxSAT-Dis) R 162068 162072 162012 0 -1 4194304 12938 0 0 0 63 5 0 0 20 0 1 0 238177570 69935104 11975 18446744073709551615 4198400 14093885 140727307458752 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 41930752 140727307463016 140727307463131 140727307463131 140727307468735 0
/proc/162072/statm: 17074 11975 768 2416 0 14176 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 68296 KiB
Current children cumulated memory: 47900 KiB
[startup+1.50033 s]
/proc/loadavg: 1.39 1.42 2.25 5/250 162082
/proc/meminfo: memFree=103351080/131382120 swapFree=33010160/33010684
[pid=162072] ppid=162068 vsize=89564 memory=70304 CPUtime=1.48 cores=1,3
/proc/162072/stat : 162072 (CASHWMaxSAT-Dis) R 162068 162072 162012 0 -1 4194304 19702 0 0 0 141 7 0 0 20 0 1 0 238177570 91713536 17576 18446744073709551615 4198400 14093885 140727307458752 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 41930752 140727307463016 140727307463131 140727307463131 140727307468735 0
/proc/162072/statm: 22391 17576 800 2416 0 19493 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 89564 KiB
Current children cumulated memory: 70304 KiB
[startup+3.1125 s]
/proc/loadavg: 1.39 1.42 2.25 5/250 162082
/proc/meminfo: memFree=103195168/131382120 swapFree=33010160/33010684
[pid=162072] ppid=162068 vsize=112840 memory=86144 CPUtime=3.09 cores=1,3
/proc/162072/stat : 162072 (CASHWMaxSAT-Dis) R 162068 162072 162012 0 -1 4194304 21107 0 0 0 301 8 0 0 20 0 1 0 238177570 115548160 21536 18446744073709551615 4198400 14093885 140727307458752 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 41930752 140727307463016 140727307463131 140727307463131 140727307468735 0
/proc/162072/statm: 28210 21536 800 2416 0 25312 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 112840 KiB
Current children cumulated memory: 86144 KiB
[startup+6.30029 s]
/proc/loadavg: 1.60 1.46 2.26 5/250 162082
/proc/meminfo: memFree=103129460/131382120 swapFree=33010160/33010684
[pid=162072] ppid=162068 vsize=162628 memory=119080 CPUtime=6.26 cores=1,3
/proc/162072/stat : 162072 (CASHWMaxSAT-Dis) R 162068 162072 162012 0 -1 4194304 22187 0 0 0 618 8 0 0 20 0 1 0 238177570 166531072 29770 18446744073709551615 4198400 14093885 140727307458752 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 41930752 140727307463016 140727307463131 140727307463131 140727307468735 0
/proc/162072/statm: 40657 29770 800 2416 0 37759 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 162628 KiB
Current children cumulated memory: 119080 KiB
[startup+12.7003 s]
/proc/loadavg: 1.79 1.51 2.27 5/250 162082
/proc/meminfo: memFree=102998728/131382120 swapFree=33010160/33010684
[pid=162072] ppid=162068 vsize=296460 memory=178856 CPUtime=12.64 cores=1,3
/proc/162072/stat : 162072 (CASHWMaxSAT-Dis) R 162068 162072 162012 0 -1 4194304 24467 0 0 0 1253 11 0 0 20 0 1 0 238177570 303575040 44714 18446744073709551615 4198400 14093885 140727307458752 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 41930752 140727307463016 140727307463131 140727307463131 140727307468735 0
/proc/162072/statm: 74115 44714 800 2416 0 71217 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 296460 KiB
Current children cumulated memory: 178856 KiB
[startup+25.5003 s]
/proc/loadavg: 2.13 1.59 2.29 5/250 162082
/proc/meminfo: memFree=102917180/131382120 swapFree=33010160/33010684
[pid=162072] ppid=162068 vsize=226156 memory=160144 CPUtime=25.4 cores=1,3
/proc/162072/stat : 162072 (CASHWMaxSAT-Dis) R 162068 162072 162012 0 -1 4194304 29362 0 0 0 2521 19 0 0 20 0 1 0 238177570 231583744 40036 18446744073709551615 4198400 14093885 140727307458752 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 41930752 140727307463016 140727307463131 140727307463131 140727307468735 0
/proc/162072/statm: 56539 40036 800 2416 0 53641 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 226156 KiB
Current children cumulated memory: 160144 KiB
[startup+51.1126 s]
/proc/loadavg: 2.94 1.84 2.35 5/250 162083
/proc/meminfo: memFree=102837348/131382120 swapFree=33010160/33010684
[pid=162072] ppid=162068 vsize=243204 memory=179064 CPUtime=50.93 cores=1,3
/proc/162072/stat : 162072 (CASHWMaxSAT-Dis) R 162068 162072 162012 0 -1 4194304 37154 0 0 0 5059 34 0 0 20 0 1 0 238177570 249040896 44766 18446744073709551615 4198400 14093885 140727307458752 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 41930752 140727307463016 140727307463131 140727307463131 140727307468735 0
/proc/162072/statm: 60801 44766 800 2416 0 57903 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 243204 KiB
Current children cumulated memory: 179064 KiB
[startup+102.3 s]
/proc/loadavg: 3.61 2.19 2.45 5/250 162085
/proc/meminfo: memFree=102683600/131382120 swapFree=33010160/33010684
[pid=162072] ppid=162068 vsize=268268 memory=231628 CPUtime=101.94 cores=1,3
/proc/162072/stat : 162072 (CASHWMaxSAT-Dis) R 162068 162072 162012 0 -1 4194304 49489 0 0 0 10135 59 0 0 20 0 1 0 238177570 274706432 57907 18446744073709551615 4198400 14093885 140727307458752 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 41930752 140727307463016 140727307463131 140727307463131 140727307468735 0
/proc/162072/statm: 67067 57907 800 2416 0 64169 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 268268 KiB
Current children cumulated memory: 231628 KiB
[startup+162.3 s]
/proc/loadavg: 3.90 2.54 2.55 5/250 162087
/proc/meminfo: memFree=102544504/131382120 swapFree=33010160/33010684
[pid=162072] ppid=162068 vsize=371244 memory=273396 CPUtime=161.75 cores=1,3
/proc/162072/stat : 162072 (CASHWMaxSAT-Dis) R 162068 162072 162012 0 -1 4194304 61629 0 0 0 16083 92 0 0 20 0 1 0 238177570 380153856 68349 18446744073709551615 4198400 14093885 140727307458752 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 41930752 140727307463016 140727307463131 140727307463131 140727307468735 0
/proc/162072/statm: 92811 68349 800 2416 0 89913 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 371244 KiB
Current children cumulated memory: 273396 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 2.83 2.66 5/250 162089
/proc/meminfo: memFree=102474168/131382120 swapFree=33010160/33010684
[pid=162072] ppid=162068 vsize=390140 memory=298196 CPUtime=221.58 cores=1,3
/proc/162072/stat : 162072 (CASHWMaxSAT-Dis) R 162068 162072 162012 0 -1 4194304 72677 0 0 0 22035 123 0 0 20 0 1 0 238177570 399503360 74549 18446744073709551615 4198400 14093885 140727307458752 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 41930752 140727307463016 140727307463131 140727307463131 140727307468735 0
/proc/162072/statm: 97535 74549 800 2416 0 94637 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 390140 KiB
Current children cumulated memory: 298196 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 3.07 2.75 5/250 162106
/proc/meminfo: memFree=102281860/131382120 swapFree=33010160/33010684
[pid=162072] ppid=162068 vsize=538472 memory=401568 CPUtime=281.42 cores=1,3
/proc/162072/stat : 162072 (CASHWMaxSAT-Dis) R 162068 162072 162012 0 -1 4194304 83070 0 0 0 27989 153 0 0 20 0 1 0 238177570 551395328 100392 18446744073709551615 4198400 14093885 140727307458752 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 41930752 140727307463016 140727307463131 140727307463131 140727307468735 0
/proc/162072/statm: 134618 100392 800 2416 0 131720 0
Current children cumulated CPU time: 281.42 s
Current children cumulated vsize: 538472 KiB
Current children cumulated memory: 401568 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 3.27 2.84 5/250 162111
/proc/meminfo: memFree=102424488/131382120 swapFree=33010160/33010684
[pid=162072] ppid=162068 vsize=337896 memory=319992 CPUtime=341.25 cores=1,3
/proc/162072/stat : 162072 (CASHWMaxSAT-Dis) R 162068 162072 162012 0 -1 4194304 91452 0 0 0 33946 179 0 0 20 0 1 0 238177570 346005504 79998 18446744073709551615 4198400 14093885 140727307458752 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 41930752 140727307463016 140727307463131 140727307463131 140727307468735 0
/proc/162072/statm: 84474 79998 800 2416 0 81576 0
Current children cumulated CPU time: 341.25 s
Current children cumulated vsize: 337896 KiB
Current children cumulated memory: 319992 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 3.42 2.92 5/250 162113
/proc/meminfo: memFree=102406280/131382120 swapFree=33010160/33010684
[pid=162072] ppid=162068 vsize=348460 memory=303548 CPUtime=401.09 cores=1,3
/proc/162072/stat : 162072 (CASHWMaxSAT-Dis) R 162068 162072 162012 0 -1 4194304 99829 0 0 0 39900 209 0 0 20 0 1 0 238177570 356823040 75887 18446744073709551615 4198400 14093885 140727307458752 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 41930752 140727307463016 140727307463131 140727307463131 140727307468735 0
/proc/162072/statm: 87115 75887 800 2416 0 84217 0
Current children cumulated CPU time: 401.09 s
Current children cumulated vsize: 348460 KiB
Current children cumulated memory: 303548 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 3.54 3.00 5/250 162119
/proc/meminfo: memFree=102363148/131382120 swapFree=33010160/33010684
[pid=162072] ppid=162068 vsize=358196 memory=304876 CPUtime=460.92 cores=1,3
/proc/162072/stat : 162072 (CASHWMaxSAT-Dis) R 162068 162072 162012 0 -1 4194304 107702 0 0 0 45858 234 0 0 20 0 1 0 238177570 366792704 76219 18446744073709551615 4198400 14093885 140727307458752 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 41930752 140727307463016 140727307463131 140727307463131 140727307468735 0
/proc/162072/statm: 89549 76219 800 2416 0 86651 0
################
# More data... #
################
Current children cumulated memory: 541124 KiB
[startup+2922.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/249 162230
/proc/meminfo: memFree=101612876/131382120 swapFree=33010160/33010684
[pid=162072] ppid=162068 vsize=739956 memory=689604 CPUtime=2913.72 cores=1,3
/proc/162072/stat : 162072 (CASHWMaxSAT-Dis) R 162068 162072 162012 0 -1 4194304 361463 0 0 0 290121 1251 0 0 20 0 1 0 238177570 757714944 172401 18446744073709551615 4198400 14093885 140727307458752 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 41930752 140727307463016 140727307463131 140727307463131 140727307468735 0
/proc/162072/statm: 184989 172401 800 2416 0 182091 0
Current children cumulated CPU time: 2913.72 s
Current children cumulated vsize: 739956 KiB
Current children cumulated memory: 689604 KiB
[startup+2982.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/249 162232
/proc/meminfo: memFree=101432340/131382120 swapFree=33010160/33010684
[pid=162072] ppid=162068 vsize=740504 memory=661344 CPUtime=2973.56 cores=1,3
/proc/162072/stat : 162072 (CASHWMaxSAT-Dis) R 162068 162072 162012 0 -1 4194304 365668 0 0 0 296081 1275 0 0 20 0 1 0 238177570 758276096 165336 18446744073709551615 4198400 14093885 140727307458752 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 41930752 140727307463016 140727307463131 140727307463131 140727307468735 0
/proc/162072/statm: 185126 165336 800 2416 0 182228 0
Current children cumulated CPU time: 2973.56 s
Current children cumulated vsize: 740504 KiB
Current children cumulated memory: 661344 KiB
[startup+3042.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/249 162234
/proc/meminfo: memFree=101703656/131382120 swapFree=33010160/33010684
[pid=162072] ppid=162068 vsize=530900 memory=504580 CPUtime=3033.39 cores=1,3
/proc/162072/stat : 162072 (CASHWMaxSAT-Dis) R 162068 162072 162012 0 -1 4194304 373094 0 0 0 302039 1300 0 0 20 0 1 0 238177570 543641600 126145 18446744073709551615 4198400 14093885 140727307458752 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 41930752 140727307463016 140727307463131 140727307463131 140727307468735 0
/proc/162072/statm: 132725 126145 800 2416 0 129827 0
Current children cumulated CPU time: 3033.39 s
Current children cumulated vsize: 530900 KiB
Current children cumulated memory: 504580 KiB
[startup+3102.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/249 162236
/proc/meminfo: memFree=101827320/131382120 swapFree=33010160/33010684
[pid=162072] ppid=162068 vsize=530900 memory=480004 CPUtime=3093.22 cores=1,3
/proc/162072/stat : 162072 (CASHWMaxSAT-Dis) R 162068 162072 162012 0 -1 4194304 380695 0 0 0 307998 1324 0 0 20 0 1 0 238177570 543641600 120001 18446744073709551615 4198400 14093885 140727307458752 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 41930752 140727307463016 140727307463131 140727307463131 140727307468735 0
/proc/162072/statm: 132725 120001 800 2416 0 129827 0
Current children cumulated CPU time: 3093.22 s
Current children cumulated vsize: 530900 KiB
Current children cumulated memory: 480004 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/249 162237
/proc/meminfo: memFree=101654800/131382120 swapFree=33010160/33010684
[pid=162072] ppid=162068 vsize=615140 memory=590336 CPUtime=3153.06 cores=1,3
/proc/162072/stat : 162072 (CASHWMaxSAT-Dis) R 162068 162072 162012 0 -1 4194304 385903 0 0 0 313954 1352 0 0 20 0 1 0 238177570 629903360 147584 18446744073709551615 4198400 14093885 140727307458752 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 41930752 140727307463016 140727307463131 140727307463131 140727307468735 0
/proc/162072/statm: 153785 147584 800 2416 0 150887 0
Current children cumulated CPU time: 3153.06 s
Current children cumulated vsize: 615140 KiB
Current children cumulated memory: 590336 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/249 162239
/proc/meminfo: memFree=101388940/131382120 swapFree=33010160/33010684
[pid=162072] ppid=162068 vsize=618056 memory=586768 CPUtime=3212.88 cores=1,3
/proc/162072/stat : 162072 (CASHWMaxSAT-Dis) R 162068 162072 162012 0 -1 4194304 390307 0 0 0 319908 1380 0 0 20 0 1 0 238177570 632889344 146692 18446744073709551615 4198400 14093885 140727307458752 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 41930752 140727307463016 140727307463131 140727307463131 140727307468735 0
/proc/162072/statm: 154514 146692 800 2416 0 151616 0
Current children cumulated CPU time: 3212.88 s
Current children cumulated vsize: 618056 KiB
Current children cumulated memory: 586768 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/249 162241
/proc/meminfo: memFree=101192048/131382120 swapFree=33010160/33010684
[pid=162072] ppid=162068 vsize=620248 memory=551804 CPUtime=3272.72 cores=1,3
/proc/162072/stat : 162072 (CASHWMaxSAT-Dis) R 162068 162072 162012 0 -1 4194304 396264 0 0 0 325861 1411 0 0 20 0 1 0 238177570 635133952 137951 18446744073709551615 4198400 14093885 140727307458752 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 41930752 140727307463016 140727307463131 140727307463131 140727307468735 0
/proc/162072/statm: 155062 137951 800 2416 0 152164 0
Current children cumulated CPU time: 3272.72 s
Current children cumulated vsize: 620248 KiB
Current children cumulated memory: 551804 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/250 162246
/proc/meminfo: memFree=101080804/131382120 swapFree=33010160/33010684
[pid=162072] ppid=162068 vsize=541480 memory=483572 CPUtime=3332.55 cores=1,3
/proc/162072/stat : 162072 (CASHWMaxSAT-Dis) R 162068 162072 162012 0 -1 4194304 403797 0 0 0 331820 1435 0 0 20 0 1 0 238177570 554475520 120893 18446744073709551615 4198400 14093885 140727307458752 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 41930752 140727307463016 140727307463131 140727307463131 140727307468735 0
/proc/162072/statm: 135370 120893 800 2416 0 132472 0
Current children cumulated CPU time: 3332.55 s
Current children cumulated vsize: 541480 KiB
Current children cumulated memory: 483572 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/250 162248
/proc/meminfo: memFree=101102508/131382120 swapFree=33010160/33010684
[pid=162072] ppid=162068 vsize=491392 memory=470096 CPUtime=3392.38 cores=1,3
/proc/162072/stat : 162072 (CASHWMaxSAT-Dis) R 162068 162072 162012 0 -1 4194304 411105 0 0 0 337778 1460 0 0 20 0 1 0 238177570 503185408 117524 18446744073709551615 4198400 14093885 140727307458752 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 41930752 140727307463016 140727307463131 140727307463131 140727307468735 0
/proc/162072/statm: 122848 117524 800 2416 0 119950 0
Current children cumulated CPU time: 3392.38 s
Current children cumulated vsize: 491392 KiB
Current children cumulated memory: 470096 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/251 162255
/proc/meminfo: memFree=100914180/131382120 swapFree=33010160/33010684
[pid=162072] ppid=162068 vsize=757352 memory=728720 CPUtime=3452.22 cores=1,3
/proc/162072/stat : 162072 (CASHWMaxSAT-Dis) R 162068 162072 162012 0 -1 4194304 417686 0 0 0 343738 1484 0 0 20 0 1 0 238177570 775528448 182180 18446744073709551615 4198400 14093885 140727307458752 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 41930752 140727307463016 140727307463131 140727307463131 140727307468735 0
/proc/162072/statm: 189338 182180 800 2416 0 186440 0
Current children cumulated CPU time: 3452.22 s
Current children cumulated vsize: 757352 KiB
Current children cumulated memory: 728720 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/251 162257
/proc/meminfo: memFree=101266100/131382120 swapFree=33010160/33010684
[pid=162072] ppid=162068 vsize=1323456 memory=993000 CPUtime=3512.06 cores=1,3
/proc/162072/stat : 162072 (CASHWMaxSAT-Dis) R 162068 162072 162012 0 -1 4194304 421701 0 0 0 349698 1508 0 0 20 0 1 0 238177570 1355218944 248250 18446744073709551615 4198400 14093885 140727307458752 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 41930752 140727307463016 140727307463131 140727307463131 140727307468735 0
/proc/162072/statm: 330864 248250 800 2416 0 327966 0
Current children cumulated CPU time: 3512.06 s
Current children cumulated vsize: 1323456 KiB
Current children cumulated memory: 993000 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/251 162259
/proc/meminfo: memFree=101482016/131382120 swapFree=33010160/33010684
[pid=162072] ppid=162068 vsize=760380 memory=740692 CPUtime=3571.91 cores=1,3
/proc/162072/stat : 162072 (CASHWMaxSAT-Dis) R 162068 162072 162012 0 -1 4194304 425440 0 0 0 355648 1543 0 0 20 0 1 0 238177570 778629120 185173 18446744073709551615 4198400 14093885 140727307458752 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 41930752 140727307463016 140727307463131 140727307463131 140727307468735 0
/proc/162072/statm: 190095 185173 800 2416 0 187197 0
Current children cumulated CPU time: 3571.91 s
Current children cumulated vsize: 760380 KiB
Current children cumulated memory: 740692 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.5 s]
/proc/loadavg: 4.10 4.11 4.09 5/247 162269
/proc/meminfo: memFree=102164860/131382120 swapFree=33010160/33010684
[pid=162072] ppid=162068 vsize=760888 memory=732848 CPUtime=3600.03 cores=1,3
/proc/162072/stat : 162072 (CASHWMaxSAT-Dis) R 162068 162072 162012 0 -1 4194304 426834 0 0 0 358448 1555 0 0 20 0 1 0 238177570 779149312 183212 18446744073709551615 4198400 14093885 140727307458752 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 41930752 140727307463016 140727307463131 140727307463131 140727307468735 0
/proc/162072/statm: 190222 183212 800 2416 0 187324 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 760888 KiB
Current children cumulated memory: 732848 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.51 s]
# the end of solver process 162072 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3584.48 s, system=15.5574 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.5 s]
/proc/loadavg: 4.10 4.11 4.09 5/247 162269
/proc/meminfo: memFree=102164860/131382120 swapFree=33010160/33010684
[pid=162072] ppid=162068 vsize=760888 memory=732848 CPUtime=3600.03 cores=1,3
/proc/162072/stat : 162072 (CASHWMaxSAT-Dis) R 162068 162072 162012 0 -1 4194304 426834 0 0 0 358448 1555 0 0 20 0 1 0 238177570 779149312 183212 18446744073709551615 4198400 14093885 140727307458752 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 41930752 140727307463016 140727307463131 140727307463131 140727307468735 0
/proc/162072/statm: 190222 183212 800 2416 0 187324 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 760888 KiB
Current children cumulated memory: 732848 KiB
Child status: 0
Real time (s): 3610.51
CPU time (s): 3600.04
CPU user time (s): 3584.48
CPU system time (s): 15.5574
CPU usage (%): 99.7101
Max. virtual memory (cumulated for all children) (KiB): 1668768
Max. memory (cumulated for all children) (KiB): 1185936
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.48
system time used= 15.5574
maximum resident set size= 1321392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 426834
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= 140
involuntary context switches= 4641
# summary of solver processes directly reported to runsolver:
# pid: 162072
# total CPU time (s): 3600.04
# total CPU user time (s): 3584.48
# total CPU system time (s): 15.5574
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.701 second user time and 33.9171 second system time
The end
Begin job on nodeC003 at 2025-07-23 00:56:29
IDJOB=4542996
IDBENCH=171726
IDSOLVER=3323
FILE ID=nodeC003/4542996-1753224989
RUNJOBID= nodeC003-1753224989-162024
SLURM_JOB_ID= 9687837
Free space on /tmp= 432260 MiB
SOLVER NAME= CASHWMaxSATDisjCom-S 2025-06-01
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/php-original/normalized-php_230_229.opb
COMMAND LINE= CASHWMaxSAT-DisjCom-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4542996-1753224989/watcher-4542996-1753224989 -o /tmp/evaluation-result-4542996-1753224989/solver-4542996-1753224989 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1753224989-162024 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4542996-1753224989.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a824f24e2c7503f02a1883bfe38cfded
RANDOM SEED=735458020
nodeC003 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.158
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.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 : 0xb00001f
cpu MHz : 1197.160
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.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 : 0xb00001f
cpu MHz : 1197.554
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.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 : 0xb00001f
cpu MHz : 1197.086
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.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 : 0xb00001f
cpu MHz : 1197.171
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.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 : 0xb00001f
cpu MHz : 1197.124
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.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 : 0xb00001f
cpu MHz : 1197.230
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.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 : 0xb00001f
cpu MHz : 1197.235
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 103528116 kB
MemAvailable: 129864832 kB
Buffers: 2736 kB
Cached: 27097156 kB
SwapCached: 36 kB
Active: 1176656 kB
Inactive: 25991852 kB
Active(anon): 87128 kB
Inactive(anon): 7604 kB
Active(file): 1089528 kB
Inactive(file): 25984248 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 55556 kB
Writeback: 20 kB
AnonPages: 72032 kB
Mapped: 107732 kB
Shmem: 26116 kB
KReclaimable: 205136 kB
Slab: 296256 kB
SReclaimable: 205136 kB
SUnreclaim: 91120 kB
KernelStack: 3780 kB
PageTables: 2676 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 341868 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149224 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 8192 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: 191304 kB
DirectMap2M: 11245568 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 432208 MiB
End job on nodeC003 at 2025-07-23 01:56:40