1.99/2.06 c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
1.99/2.06 c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
832.13/834.58 c Using SCIP solver, version 8.1.0, https://www.scipopt.org
832.43/834.88 c Starting SCIP solver (with time-limit = 1800s) ...
2627.51/2634.90 c SCIP timeout with lower and upper bounds: [5, 9223372036854775807]
3600.01/3610.20 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 (62998 MiB free)
memory of node 1: 64465 MiB (63946 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4499050-1751471455/watcher-4499050-1751471455 -o /tmp/evaluation-result-4499050-1751471455/solver-4499050-1751471455 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751471455-66945 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4499050-1751471455.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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=66991, runsolver pid=66979
[startup+0.100062 s]*
/proc/loadavg: 1.22 1.93 2.50 6/260 66992
/proc/meminfo: memFree=129948364/131249996 swapFree=33004236/33010684
[pid=66991] ppid=66979 vsize=46932 memory=28264 CPUtime=0.09 cores=1,3
/proc/66991/stat : 66991 (CASHWMaxSAT-Dis) R 66979 66991 66933 0 -1 4194304 6171 0 0 0 9 0 0 0 20 0 1 0 62823400 48058368 7066 18446744073709551615 4198400 14093885 140729441593408 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 54288384 140729441597802 140729441597917 140729441597917 140729441603519 0
/proc/66991/statm: 11733 7066 768 2416 0 8835 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 46932 KiB
Current children cumulated memory: 28264 KiB
[startup+0.20464 s]*
/proc/loadavg: 1.22 1.93 2.50 6/260 66992
/proc/meminfo: memFree=129853416/131249996 swapFree=33004236/33010684
[pid=66991] ppid=66979 vsize=72556 memory=54844 CPUtime=0.2 cores=1,3
/proc/66991/stat : 66991 (CASHWMaxSAT-Dis) R 66979 66991 66933 0 -1 4194304 10056 0 0 0 19 1 0 0 20 0 1 0 62823400 74297344 13711 18446744073709551615 4198400 14093885 140729441593408 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 54288384 140729441597802 140729441597917 140729441597917 140729441603519 0
/proc/66991/statm: 18139 13711 768 2416 0 15241 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 72556 KiB
Current children cumulated memory: 54844 KiB
[startup+0.305185 s]*
/proc/loadavg: 1.22 1.93 2.50 6/260 66992
/proc/meminfo: memFree=129769176/131249996 swapFree=33004236/33010684
[pid=66991] ppid=66979 vsize=98236 memory=82008 CPUtime=0.3 cores=1,3
/proc/66991/stat : 66991 (CASHWMaxSAT-Dis) R 66979 66991 66933 0 -1 4194304 14806 0 0 0 28 2 0 0 20 0 1 0 62823400 100593664 20502 18446744073709551615 4198400 14093885 140729441593408 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 54288384 140729441597802 140729441597917 140729441597917 140729441603519 0
/proc/66991/statm: 24559 20502 768 2416 0 21661 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 98236 KiB
Current children cumulated memory: 82008 KiB
[startup+0.700132 s]
/proc/loadavg: 1.22 1.93 2.50 6/258 66992
/proc/meminfo: memFree=129636584/131249996 swapFree=33004236/33010684
[pid=66991] ppid=66979 vsize=115936 memory=96912 CPUtime=0.69 cores=1,3
/proc/66991/stat : 66991 (CASHWMaxSAT-Dis) R 66979 66991 66933 0 -1 4194304 17612 0 0 0 66 3 0 0 20 0 1 0 62823400 118718464 24228 18446744073709551615 4198400 14093885 140729441593408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 54288384 140729441597802 140729441597917 140729441597917 140729441603519 0
/proc/66991/statm: 28984 24228 768 2416 0 26086 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 115936 KiB
Current children cumulated memory: 96912 KiB
[startup+1.50013 s]
/proc/loadavg: 1.22 1.93 2.50 6/263 67002
/proc/meminfo: memFree=129492252/131249996 swapFree=33004236/33010684
[pid=66991] ppid=66979 vsize=115936 memory=97040 CPUtime=1.49 cores=1,3
/proc/66991/stat : 66991 (CASHWMaxSAT-Dis) R 66979 66991 66933 0 -1 4194304 17616 0 0 0 146 3 0 0 20 0 1 0 62823400 118718464 24260 18446744073709551615 4198400 14093885 140729441593408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 54288384 140729441597802 140729441597917 140729441597917 140729441603519 0
/proc/66991/statm: 28984 24260 800 2416 0 26086 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 115936 KiB
Current children cumulated memory: 97040 KiB
[startup+3.10447 s]
/proc/loadavg: 1.44 1.97 2.51 6/263 67002
/proc/meminfo: memFree=128665100/131249996 swapFree=33004236/33010684
[pid=66991] ppid=66979 vsize=115936 memory=97552 CPUtime=3.09 cores=1,3
/proc/66991/stat : 66991 (CASHWMaxSAT-Dis) R 66979 66991 66933 0 -1 4194304 17778 0 0 0 306 3 0 0 20 0 1 0 62823400 118718464 24388 18446744073709551615 4198400 14093885 140729441593408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 54288384 140729441597802 140729441597917 140729441597917 140729441603519 0
/proc/66991/statm: 28984 24388 800 2416 0 26086 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 115936 KiB
Current children cumulated memory: 97552 KiB
[startup+6.30012 s]
/proc/loadavg: 1.44 1.97 2.51 6/263 67002
/proc/meminfo: memFree=128401244/131249996 swapFree=33004236/33010684
[pid=66991] ppid=66979 vsize=123116 memory=107652 CPUtime=6.27 cores=1,3
/proc/66991/stat : 66991 (CASHWMaxSAT-Dis) R 66979 66991 66933 0 -1 4194304 18779 0 0 0 624 3 0 0 20 0 1 0 62823400 126070784 26913 18446744073709551615 4198400 14093885 140729441593408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 54288384 140729441597802 140729441597917 140729441597917 140729441603519 0
/proc/66991/statm: 30779 26913 800 2416 0 27881 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 123116 KiB
Current children cumulated memory: 107652 KiB
[startup+12.7001 s]
/proc/loadavg: 1.91 2.05 2.53 6/263 67003
/proc/meminfo: memFree=128169708/131249996 swapFree=33004236/33010684
[pid=66991] ppid=66979 vsize=111624 memory=92036 CPUtime=12.65 cores=1,3
/proc/66991/stat : 66991 (CASHWMaxSAT-Dis) R 66979 66991 66933 0 -1 4194304 19637 0 0 0 1261 4 0 0 20 0 1 0 62823400 114302976 23009 18446744073709551615 4198400 14093885 140729441593408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 54288384 140729441597802 140729441597917 140729441597917 140729441603519 0
/proc/66991/statm: 27906 23009 800 2416 0 25008 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 111624 KiB
Current children cumulated memory: 92036 KiB
[startup+25.5001 s]
/proc/loadavg: 2.24 2.12 2.55 6/263 67003
/proc/meminfo: memFree=127197160/131249996 swapFree=33004236/33010684
[pid=66991] ppid=66979 vsize=160648 memory=128908 CPUtime=25.42 cores=1,3
/proc/66991/stat : 66991 (CASHWMaxSAT-Dis) R 66979 66991 66933 0 -1 4194304 20697 0 0 0 2537 5 0 0 20 0 1 0 62823400 164503552 32227 18446744073709551615 4198400 14093885 140729441593408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 54288384 140729441597802 140729441597917 140729441597917 140729441603519 0
/proc/66991/statm: 40162 32227 800 2416 0 37264 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 160648 KiB
Current children cumulated memory: 128908 KiB
[startup+51.1054 s]
/proc/loadavg: 2.84 2.27 2.59 5/263 67048
/proc/meminfo: memFree=125113520/131249996 swapFree=33004236/33010684
[pid=66991] ppid=66979 vsize=160648 memory=137152 CPUtime=50.95 cores=1,3
/proc/66991/stat : 66991 (CASHWMaxSAT-Dis) R 66979 66991 66933 0 -1 4194304 20746 0 0 0 5090 5 0 0 20 0 1 0 62823400 164503552 34288 18446744073709551615 4198400 14093885 140729441593408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 54288384 140729441597802 140729441597917 140729441597917 140729441603519 0
/proc/66991/statm: 40162 34288 800 2416 0 37264 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 160648 KiB
Current children cumulated memory: 137152 KiB
[startup+102.3 s]
/proc/loadavg: 3.66 2.59 2.68 5/263 67139
/proc/meminfo: memFree=122381696/131249996 swapFree=33004236/33010684
[pid=66991] ppid=66979 vsize=160648 memory=145344 CPUtime=101.99 cores=1,3
/proc/66991/stat : 66991 (CASHWMaxSAT-Dis) R 66979 66991 66933 0 -1 4194304 20830 0 0 0 10194 5 0 0 20 0 1 0 62823400 164503552 36336 18446744073709551615 4198400 14093885 140729441593408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 54288384 140729441597802 140729441597917 140729441597917 140729441603519 0
/proc/66991/statm: 40162 36336 800 2416 0 37264 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 160648 KiB
Current children cumulated memory: 145344 KiB
[startup+162.3 s]
/proc/loadavg: 3.94 2.87 2.77 5/264 67146
/proc/meminfo: memFree=122100632/131249996 swapFree=33004236/33010684
[pid=66991] ppid=66979 vsize=160648 memory=145412 CPUtime=161.82 cores=1,3
/proc/66991/stat : 66991 (CASHWMaxSAT-Dis) R 66979 66991 66933 0 -1 4194304 23485 0 0 0 16173 9 0 0 20 0 1 0 62823400 164503552 36353 18446744073709551615 4198400 14093885 140729441593408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 54288384 140729441597802 140729441597917 140729441597917 140729441603519 0
/proc/66991/statm: 40162 36353 800 2416 0 37264 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 160648 KiB
Current children cumulated memory: 145412 KiB
[startup+222.3 s]
/proc/loadavg: 4.24 3.16 2.88 5/264 67148
/proc/meminfo: memFree=121325160/131249996 swapFree=33004236/33010684
[pid=66991] ppid=66979 vsize=160716 memory=143612 CPUtime=221.64 cores=1,3
/proc/66991/stat : 66991 (CASHWMaxSAT-Dis) R 66979 66991 66933 0 -1 4194304 27013 0 0 0 22150 14 0 0 20 0 1 0 62823400 164573184 35903 18446744073709551615 4198400 14093885 140729441593408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 54288384 140729441597802 140729441597917 140729441597917 140729441603519 0
/proc/66991/statm: 40179 35903 800 2416 0 37281 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 160716 KiB
Current children cumulated memory: 143612 KiB
[startup+282.3 s]
/proc/loadavg: 4.19 3.35 2.97 5/265 67152
/proc/meminfo: memFree=118084064/131249996 swapFree=33004236/33010684
[pid=66991] ppid=66979 vsize=210036 memory=177140 CPUtime=281.47 cores=1,3
/proc/66991/stat : 66991 (CASHWMaxSAT-Dis) R 66979 66991 66933 0 -1 4194304 30593 0 0 0 28129 18 0 0 20 0 1 0 62823400 215076864 44285 18446744073709551615 4198400 14093885 140729441593408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 54288384 140729441597802 140729441597917 140729441597917 140729441603519 0
/proc/66991/statm: 52509 44285 800 2416 0 49611 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 210036 KiB
Current children cumulated memory: 177140 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 3.48 3.04 5/266 67157
/proc/meminfo: memFree=119018552/131249996 swapFree=33004236/33010684
[pid=66991] ppid=66979 vsize=160716 memory=146440 CPUtime=341.31 cores=1,3
/proc/66991/stat : 66991 (CASHWMaxSAT-Dis) R 66979 66991 66933 0 -1 4194304 34309 0 0 0 34108 23 0 0 20 0 1 0 62823400 164573184 36610 18446744073709551615 4198400 14093885 140729441593408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 54288384 140729441597802 140729441597917 140729441597917 140729441603519 0
/proc/66991/statm: 40179 36610 800 2416 0 37281 0
Current children cumulated CPU time: 341.31 s
Current children cumulated vsize: 160716 KiB
Current children cumulated memory: 146440 KiB
[startup+402.3 s]
/proc/loadavg: 4.16 3.61 3.11 5/266 67159
/proc/meminfo: memFree=118523776/131249996 swapFree=33004236/33010684
[pid=66991] ppid=66979 vsize=160716 memory=146440 CPUtime=401.14 cores=1,3
/proc/66991/stat : 66991 (CASHWMaxSAT-Dis) R 66979 66991 66933 0 -1 4194304 37995 0 0 0 40086 28 0 0 20 0 1 0 62823400 164573184 36610 18446744073709551615 4198400 14093885 140729441593408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 54288384 140729441597802 140729441597917 140729441597917 140729441603519 0
/proc/66991/statm: 40179 36610 800 2416 0 37281 0
Current children cumulated CPU time: 401.14 s
Current children cumulated vsize: 160716 KiB
Current children cumulated memory: 146440 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 3.70 3.18 5/265 67161
/proc/meminfo: memFree=118149852/131249996 swapFree=33004236/33010684
[pid=66991] ppid=66979 vsize=173572 memory=159296 CPUtime=460.97 cores=1,3
/proc/66991/stat : 66991 (CASHWMaxSAT-Dis) R 66979 66991 66933 0 -1 4194304 43041 0 0 0 46063 34 0 0 20 0 1 0 62823400 177737728 39824 18446744073709551615 4198400 14093885 140729441593408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 54288384 140729441597802 140729441597917 140729441597917 140729441603519 0
/proc/66991/statm: 43393 39824 800 2416 0 40495 0
Current children cumulated CPU time: 460.97 s
################
# More data... #
################
Current children cumulated memory: 1630676 KiB
[startup+2862.3 s]
/proc/loadavg: 4.12 4.09 4.02 5/264 67331
/proc/meminfo: memFree=125193848/131249996 swapFree=33004236/33010684
[pid=66991] ppid=66979 vsize=2087300 memory=1642580 CPUtime=2854.27 cores=1,3
/proc/66991/stat : 66991 (CASHWMaxSAT-Dis) R 66979 66991 66933 0 -1 4194304 467922 0 0 0 285285 142 0 0 20 0 1 0 62823400 2137395200 410645 18446744073709551615 4198400 14093885 140729441593408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 54288384 140729441597802 140729441597917 140729441597917 140729441603519 0
/proc/66991/statm: 521825 410645 2528 2416 0 518927 0
Current children cumulated CPU time: 2854.27 s
Current children cumulated vsize: 2087300 KiB
Current children cumulated memory: 1642580 KiB
[startup+2922.3 s]
/proc/loadavg: 4.10 4.09 4.02 5/262 67333
/proc/meminfo: memFree=125059604/131249996 swapFree=33004236/33010684
[pid=66991] ppid=66979 vsize=2087300 memory=1648724 CPUtime=2914.1 cores=1,3
/proc/66991/stat : 66991 (CASHWMaxSAT-Dis) R 66979 66991 66933 0 -1 4194304 468029 0 0 0 291268 142 0 0 20 0 1 0 62823400 2137395200 412181 18446744073709551615 4198400 14093885 140729441593408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 54288384 140729441597802 140729441597917 140729441597917 140729441603519 0
/proc/66991/statm: 521825 412181 2528 2416 0 518927 0
Current children cumulated CPU time: 2914.1 s
Current children cumulated vsize: 2087300 KiB
Current children cumulated memory: 1648724 KiB
[startup+2982.3 s]
/proc/loadavg: 4.08 4.08 4.02 5/263 67336
/proc/meminfo: memFree=125056672/131249996 swapFree=33004236/33010684
[pid=66991] ppid=66979 vsize=2087300 memory=1655124 CPUtime=2973.93 cores=1,3
/proc/66991/stat : 66991 (CASHWMaxSAT-Dis) R 66979 66991 66933 0 -1 4194304 468106 0 0 0 297251 142 0 0 20 0 1 0 62823400 2137395200 413781 18446744073709551615 4198400 14093885 140729441593408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 54288384 140729441597802 140729441597917 140729441597917 140729441603519 0
/proc/66991/statm: 521825 413781 2528 2416 0 518927 0
Current children cumulated CPU time: 2973.93 s
Current children cumulated vsize: 2087300 KiB
Current children cumulated memory: 1655124 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.10 4.02 5/263 67338
/proc/meminfo: memFree=125052712/131249996 swapFree=33004236/33010684
[pid=66991] ppid=66979 vsize=2087300 memory=1661268 CPUtime=3033.76 cores=1,3
/proc/66991/stat : 66991 (CASHWMaxSAT-Dis) R 66979 66991 66933 0 -1 4194304 468286 0 0 0 303234 142 0 0 20 0 1 0 62823400 2137395200 415317 18446744073709551615 4198400 14093885 140729441593408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 54288384 140729441597802 140729441597917 140729441597917 140729441603519 0
/proc/66991/statm: 521825 415317 2528 2416 0 518927 0
Current children cumulated CPU time: 3033.76 s
Current children cumulated vsize: 2087300 KiB
Current children cumulated memory: 1661268 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.09 4.02 5/263 67340
/proc/meminfo: memFree=125045012/131249996 swapFree=33004236/33010684
[pid=66991] ppid=66979 vsize=2087300 memory=1663060 CPUtime=3093.59 cores=1,3
/proc/66991/stat : 66991 (CASHWMaxSAT-Dis) R 66979 66991 66933 0 -1 4194304 468288 0 0 0 309217 142 0 0 20 0 1 0 62823400 2137395200 415765 18446744073709551615 4198400 14093885 140729441593408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 54288384 140729441597802 140729441597917 140729441597917 140729441603519 0
/proc/66991/statm: 521825 415765 2528 2416 0 518927 0
Current children cumulated CPU time: 3093.59 s
Current children cumulated vsize: 2087300 KiB
Current children cumulated memory: 1663060 KiB
[startup+3162.3 s]
/proc/loadavg: 4.15 4.10 4.03 5/263 67342
/proc/meminfo: memFree=125048576/131249996 swapFree=33004236/33010684
[pid=66991] ppid=66979 vsize=2087300 memory=1663060 CPUtime=3153.42 cores=1,3
/proc/66991/stat : 66991 (CASHWMaxSAT-Dis) R 66979 66991 66933 0 -1 4194304 468458 0 0 0 315200 142 0 0 20 0 1 0 62823400 2137395200 415765 18446744073709551615 4198400 14093885 140729441593408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 54288384 140729441597802 140729441597917 140729441597917 140729441603519 0
/proc/66991/statm: 521825 415765 2528 2416 0 518927 0
Current children cumulated CPU time: 3153.42 s
Current children cumulated vsize: 2087300 KiB
Current children cumulated memory: 1663060 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.10 4.03 5/264 67349
/proc/meminfo: memFree=125043244/131249996 swapFree=33004236/33010684
[pid=66991] ppid=66979 vsize=2087300 memory=1670740 CPUtime=3213.25 cores=1,3
/proc/66991/stat : 66991 (CASHWMaxSAT-Dis) R 66979 66991 66933 0 -1 4194304 468572 0 0 0 321183 142 0 0 20 0 1 0 62823400 2137395200 417685 18446744073709551615 4198400 14093885 140729441593408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 54288384 140729441597802 140729441597917 140729441597917 140729441603519 0
/proc/66991/statm: 521825 417685 2528 2416 0 518927 0
Current children cumulated CPU time: 3213.25 s
Current children cumulated vsize: 2087300 KiB
Current children cumulated memory: 1670740 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.09 4.03 5/263 67351
/proc/meminfo: memFree=125022032/131249996 swapFree=33004236/33010684
[pid=66991] ppid=66979 vsize=2087300 memory=1676500 CPUtime=3273.08 cores=1,3
/proc/66991/stat : 66991 (CASHWMaxSAT-Dis) R 66979 66991 66933 0 -1 4194304 468674 0 0 0 327166 142 0 0 20 0 1 0 62823400 2137395200 419125 18446744073709551615 4198400 14093885 140729441593408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 54288384 140729441597802 140729441597917 140729441597917 140729441603519 0
/proc/66991/statm: 521825 419125 2528 2416 0 518927 0
Current children cumulated CPU time: 3273.08 s
Current children cumulated vsize: 2087300 KiB
Current children cumulated memory: 1676500 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.10 4.03 5/263 67353
/proc/meminfo: memFree=125016804/131249996 swapFree=33004236/33010684
[pid=66991] ppid=66979 vsize=2087300 memory=1681108 CPUtime=3332.91 cores=1,3
/proc/66991/stat : 66991 (CASHWMaxSAT-Dis) R 66979 66991 66933 0 -1 4194304 468776 0 0 0 333149 142 0 0 20 0 1 0 62823400 2137395200 420277 18446744073709551615 4198400 14093885 140729441593408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 54288384 140729441597802 140729441597917 140729441597917 140729441603519 0
/proc/66991/statm: 521825 420277 2528 2416 0 518927 0
Current children cumulated CPU time: 3332.91 s
Current children cumulated vsize: 2087300 KiB
Current children cumulated memory: 1681108 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.10 4.03 5/264 67358
/proc/meminfo: memFree=124976408/131249996 swapFree=33004236/33010684
[pid=66991] ppid=66979 vsize=2087300 memory=1681108 CPUtime=3392.74 cores=1,3
/proc/66991/stat : 66991 (CASHWMaxSAT-Dis) R 66979 66991 66933 0 -1 4194304 468881 0 0 0 339132 142 0 0 20 0 1 0 62823400 2137395200 420277 18446744073709551615 4198400 14093885 140729441593408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 54288384 140729441597802 140729441597917 140729441597917 140729441603519 0
/proc/66991/statm: 521825 420277 2528 2416 0 518927 0
Current children cumulated CPU time: 3392.74 s
Current children cumulated vsize: 2087300 KiB
Current children cumulated memory: 1681108 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.11 4.04 5/264 67360
/proc/meminfo: memFree=124975528/131249996 swapFree=33004236/33010684
[pid=66991] ppid=66979 vsize=2087300 memory=1681108 CPUtime=3452.58 cores=1,3
/proc/66991/stat : 66991 (CASHWMaxSAT-Dis) R 66979 66991 66933 0 -1 4194304 469028 0 0 0 345116 142 0 0 20 0 1 0 62823400 2137395200 420277 18446744073709551615 4198400 14093885 140729441593408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 54288384 140729441597802 140729441597917 140729441597917 140729441603519 0
/proc/66991/statm: 521825 420277 2528 2416 0 518927 0
Current children cumulated CPU time: 3452.58 s
Current children cumulated vsize: 2087300 KiB
Current children cumulated memory: 1681108 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.10 4.04 5/263 67362
/proc/meminfo: memFree=125025612/131249996 swapFree=33004236/33010684
[pid=66991] ppid=66979 vsize=2087300 memory=1681108 CPUtime=3512.39 cores=1,3
/proc/66991/stat : 66991 (CASHWMaxSAT-Dis) R 66979 66991 66933 0 -1 4194304 469182 0 0 0 351096 143 0 0 20 0 1 0 62823400 2137395200 420277 18446744073709551615 4198400 14093885 140729441593408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 54288384 140729441597802 140729441597917 140729441597917 140729441603519 0
/proc/66991/statm: 521825 420277 2528 2416 0 518927 0
Current children cumulated CPU time: 3512.39 s
Current children cumulated vsize: 2087300 KiB
Current children cumulated memory: 1681108 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.09 4.04 5/263 67364
/proc/meminfo: memFree=125024988/131249996 swapFree=33004236/33010684
[pid=66991] ppid=66979 vsize=2087300 memory=1681108 CPUtime=3572.19 cores=1,3
/proc/66991/stat : 66991 (CASHWMaxSAT-Dis) R 66979 66991 66933 0 -1 4194304 469249 0 0 0 357076 143 0 0 20 0 1 0 62823400 2137395200 420277 18446744073709551615 4198400 14093885 140729441593408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 54288384 140729441597802 140729441597917 140729441597917 140729441603519 0
/proc/66991/statm: 521825 420277 2528 2416 0 518927 0
Current children cumulated CPU time: 3572.19 s
Current children cumulated vsize: 2087300 KiB
Current children cumulated memory: 1681108 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.2 s]
/proc/loadavg: 4.11 4.10 4.04 5/263 67365
/proc/meminfo: memFree=125025100/131249996 swapFree=33004236/33010684
[pid=66991] ppid=66979 vsize=2087300 memory=1681108 CPUtime=3600.01 cores=1,3
/proc/66991/stat : 66991 (CASHWMaxSAT-Dis) R 66979 66991 66933 0 -1 4194304 469332 0 0 0 359858 143 0 0 20 0 1 0 62823400 2137395200 420277 18446744073709551615 4198400 14093885 140729441593408 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 54288384 140729441597802 140729441597917 140729441597917 140729441603519 0
/proc/66991/statm: 521825 420277 2528 2416 0 518927 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 2087300 KiB
Current children cumulated memory: 1681108 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.2 s]
# the end of solver process 66991 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3598.58 s, system=1.4347 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.2
CPU time (s): 3600.02
CPU user time (s): 3598.58
CPU system time (s): 1.4347
CPU usage (%): 99.7178
Max. virtual memory (cumulated for all children) (KiB): 2361616
Max. memory (cumulated for all children) (KiB): 1877136
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.58
system time used= 1.4347
maximum resident set size= 1877136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 469332
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= 32
involuntary context switches= 4273
# summary of solver processes directly reported to runsolver:
# pid: 66991
# total CPU time (s): 3600.02
# total CPU user time (s): 3598.58
# total CPU system time (s): 1.4347
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.83391 second user time and 15.6525 second system time
The end
Begin job on nodeC023 at 2025-07-02 17:50:55
IDJOB=4499050
IDBENCH=148770
IDSOLVER=3323
FILE ID=nodeC023/4499050-1751471455
RUNJOBID= nodeC023-1751471455-66945
SLURM_JOB_ID= 9598494
Free space on /tmp= 431868 MiB
SOLVER NAME= CASHWMaxSATDisjCom-S 2025-06-01
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx49.opb
COMMAND LINE= CASHWMaxSAT-DisjCom-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4499050-1751471455/watcher-4499050-1751471455 -o /tmp/evaluation-result-4499050-1751471455/solver-4499050-1751471455 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751471455-66945 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4499050-1751471455.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= bb00c8681178995acecbc2b6e4ec1a1a
RANDOM SEED=1784848102
nodeC023 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.712
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.78
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 : 3598.240
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.78
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 : 3599.890
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.78
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 : 3599.901
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.78
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.885
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.78
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.884
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.78
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 : 3601.066
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.78
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 : 3596.253
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.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 130016048 kB
MemAvailable: 129726376 kB
Buffers: 16 kB
Cached: 508336 kB
SwapCached: 596 kB
Active: 267088 kB
Inactive: 328564 kB
Active(anon): 66056 kB
Inactive(anon): 34752 kB
Active(file): 201032 kB
Inactive(file): 293812 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33004236 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 80192 kB
Writeback: 0 kB
AnonPages: 89888 kB
Mapped: 99340 kB
Shmem: 13396 kB
KReclaimable: 109444 kB
Slab: 199424 kB
SReclaimable: 109444 kB
SUnreclaim: 89980 kB
KernelStack: 4080 kB
PageTables: 3012 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 349604 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150344 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 32768 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 197332 kB
DirectMap2M: 9011200 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 431820 MiB
End job on nodeC023 at 2025-07-02 18:51:06