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 (62030 MiB free)
memory of node 1: 64465 MiB (63555 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4490770-1751380718/watcher-4490770-1751380718 -o /tmp/evaluation-result-4490770-1751380718/solver-4490770-1751380718 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751371686-53845 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4490770-1751380718.opb -total-t=3600 -no-par -v0
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=54919, runsolver pid=54916
[startup+0.100015 s]*
/proc/loadavg: 4.06 4.11 4.10 5/264 54920
/proc/meminfo: memFree=128584168/131249996 swapFree=33006296/33010684
[pid=54919] ppid=54916 vsize=31956 memory=13440 CPUtime=0.09 cores=5,7
/proc/54919/stat : 54919 (CASHWMaxSAT-Dis) R 54916 54919 53832 0 -1 4194304 2748 0 0 0 9 0 0 0 20 0 1 0 53749305 32722944 3360 18446744073709551615 4198400 14093885 140723576024640 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 15976432 16051504 34672640 140723576031594 140723576031709 140723576031709 140723576037311 0
/proc/54919/statm: 7989 3360 736 2416 0 5091 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 31956 KiB
Current children cumulated memory: 13440 KiB
[startup+0.205596 s]*
/proc/loadavg: 4.06 4.11 4.10 5/264 54920
/proc/meminfo: memFree=128576104/131249996 swapFree=33006296/33010684
[pid=54919] ppid=54916 vsize=41960 memory=23552 CPUtime=0.19 cores=5,7
/proc/54919/stat : 54919 (CASHWMaxSAT-Dis) R 54916 54919 53832 0 -1 4194304 5261 0 0 0 18 1 0 0 20 0 1 0 53749305 42967040 5888 18446744073709551615 4198400 14093885 140723576024640 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 15976432 16051504 34672640 140723576031594 140723576031709 140723576031709 140723576037311 0
/proc/54919/statm: 10490 5888 736 2416 0 7592 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 41960 KiB
Current children cumulated memory: 23552 KiB
[startup+0.305502 s]*
/proc/loadavg: 4.06 4.11 4.10 5/264 54920
/proc/meminfo: memFree=128568040/131249996 swapFree=33006296/33010684
[pid=54919] ppid=54916 vsize=51748 memory=33152 CPUtime=0.29 cores=5,7
/proc/54919/stat : 54919 (CASHWMaxSAT-Dis) R 54916 54919 53832 0 -1 4194304 7706 0 0 0 28 1 0 0 20 0 1 0 53749305 52989952 8288 18446744073709551615 4198400 14093885 140723576024640 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 34672640 140723576031594 140723576031709 140723576031709 140723576037311 0
/proc/54919/statm: 12937 8288 736 2416 0 10039 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 51748 KiB
Current children cumulated memory: 33152 KiB
[startup+0.700167 s]
/proc/loadavg: 4.06 4.11 4.10 5/264 54920
/proc/meminfo: memFree=128551916/131249996 swapFree=33006296/33010684
[pid=54919] ppid=54916 vsize=90848 memory=72064 CPUtime=0.67 cores=5,7
/proc/54919/stat : 54919 (CASHWMaxSAT-Dis) R 54916 54919 53832 0 -1 4194304 17419 0 0 0 65 2 0 0 20 0 1 0 53749305 93028352 18016 18446744073709551615 4198400 14093885 140723576024640 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 34672640 140723576031594 140723576031709 140723576031709 140723576037311 0
/proc/54919/statm: 22712 18016 736 2416 0 19814 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 90848 KiB
Current children cumulated memory: 72064 KiB
[startup+1.50017 s]
/proc/loadavg: 4.06 4.11 4.10 5/264 54920
/proc/meminfo: memFree=128495760/131249996 swapFree=33006296/33010684
[pid=54919] ppid=54916 vsize=169728 memory=148988 CPUtime=1.47 cores=5,7
/proc/54919/stat : 54919 (CASHWMaxSAT-Dis) R 54916 54919 53832 0 -1 4194304 36702 0 0 0 141 6 0 0 20 0 1 0 53749305 173801472 37247 18446744073709551615 4198400 14093885 140723576024640 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 34672640 140723576031594 140723576031709 140723576031709 140723576037311 0
/proc/54919/statm: 42432 37247 768 2416 0 39534 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 169728 KiB
Current children cumulated memory: 148988 KiB
[startup+3.10537 s]
/proc/loadavg: 4.06 4.11 4.10 5/260 54928
/proc/meminfo: memFree=129083200/131249996 swapFree=33006296/33010684
[pid=54919] ppid=54916 vsize=344528 memory=304592 CPUtime=3.08 cores=5,7
/proc/54919/stat : 54919 (CASHWMaxSAT-Dis) R 54916 54919 53832 0 -1 4194304 54706 0 0 0 297 11 0 0 20 0 1 0 53749305 352796672 76148 18446744073709551615 4198400 14093885 140723576024640 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 34672640 140723576031594 140723576031709 140723576031709 140723576037311 0
/proc/54919/statm: 86132 76148 768 2416 0 83234 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 344528 KiB
Current children cumulated memory: 304592 KiB
[startup+6.30015 s]
/proc/loadavg: 4.05 4.11 4.10 5/264 54965
/proc/meminfo: memFree=128253876/131249996 swapFree=33006296/33010684
[pid=54919] ppid=54916 vsize=818344 memory=733208 CPUtime=6.26 cores=5,7
/proc/54919/stat : 54919 (CASHWMaxSAT-Dis) R 54916 54919 53832 0 -1 4194304 91668 0 0 0 602 24 0 0 20 0 1 0 53749305 837984256 183302 18446744073709551615 4198400 14093885 140723576024640 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 34672640 140723576031594 140723576031709 140723576031709 140723576037311 0
/proc/54919/statm: 204586 183302 768 2416 0 201688 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 818344 KiB
Current children cumulated memory: 733208 KiB
[startup+12.7002 s]
/proc/loadavg: 4.05 4.11 4.10 5/264 54965
/proc/meminfo: memFree=127083476/131249996 swapFree=33006296/33010684
[pid=54919] ppid=54916 vsize=1400160 memory=1228884 CPUtime=12.63 cores=5,7
/proc/54919/stat : 54919 (CASHWMaxSAT-Dis) R 54916 54919 53832 0 -1 4194304 121243 0 0 0 1226 37 0 0 20 0 1 0 53749305 1433763840 307221 18446744073709551615 4198400 14093885 140723576024640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 34672640 140723576031594 140723576031709 140723576031709 140723576037311 0
/proc/54919/statm: 350040 307221 768 2416 0 347142 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 1400160 KiB
Current children cumulated memory: 1228884 KiB
[startup+25.5002 s]
/proc/loadavg: 4.04 4.10 4.09 5/264 54965
/proc/meminfo: memFree=126755196/131249996 swapFree=33006296/33010684
[pid=54919] ppid=54916 vsize=1532780 memory=1396148 CPUtime=25.39 cores=5,7
/proc/54919/stat : 54919 (CASHWMaxSAT-Dis) R 54916 54919 53832 0 -1 4194304 133141 0 0 0 2494 45 0 0 20 0 1 0 53749305 1569566720 349037 18446744073709551615 4198400 14093885 140723576024640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 34672640 140723576031594 140723576031709 140723576031709 140723576037311 0
/proc/54919/statm: 383195 349037 768 2416 0 380297 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 1532780 KiB
Current children cumulated memory: 1396148 KiB
[startup+51.1056 s]
/proc/loadavg: 4.09 4.11 4.10 5/264 54966
/proc/meminfo: memFree=126373320/131249996 swapFree=33006296/33010684
[pid=54919] ppid=54916 vsize=1504196 memory=1297364 CPUtime=50.89 cores=5,7
/proc/54919/stat : 54919 (CASHWMaxSAT-Dis) R 54916 54919 53832 0 -1 4194304 134888 0 0 0 5038 51 0 0 20 0 1 0 53749305 1540296704 324341 18446744073709551615 4198400 14093885 140723576024640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 34672640 140723576031594 140723576031709 140723576031709 140723576037311 0
/proc/54919/statm: 376049 324341 800 2416 0 373151 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 1504196 KiB
Current children cumulated memory: 1297364 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/265 54972
/proc/meminfo: memFree=126266820/131249996 swapFree=33006296/33010684
[pid=54919] ppid=54916 vsize=1504196 memory=1297364 CPUtime=101.88 cores=5,7
/proc/54919/stat : 54919 (CASHWMaxSAT-Dis) R 54916 54919 53832 0 -1 4194304 134964 0 0 0 10137 51 0 0 20 0 1 0 53749305 1540296704 324341 18446744073709551615 4198400 14093885 140723576024640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 34672640 140723576031594 140723576031709 140723576031709 140723576037311 0
/proc/54919/statm: 376049 324341 800 2416 0 373151 0
Current children cumulated CPU time: 101.88 s
Current children cumulated vsize: 1504196 KiB
Current children cumulated memory: 1297364 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/264 54974
/proc/meminfo: memFree=126188332/131249996 swapFree=33006296/33010684
[pid=54919] ppid=54916 vsize=1504196 memory=1297364 CPUtime=161.65 cores=5,7
/proc/54919/stat : 54919 (CASHWMaxSAT-Dis) R 54916 54919 53832 0 -1 4194304 135112 0 0 0 16114 51 0 0 20 0 1 0 53749305 1540296704 324341 18446744073709551615 4198400 14093885 140723576024640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 34672640 140723576031594 140723576031709 140723576031709 140723576037311 0
/proc/54919/statm: 376049 324341 800 2416 0 373151 0
Current children cumulated CPU time: 161.65 s
Current children cumulated vsize: 1504196 KiB
Current children cumulated memory: 1297364 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/263 54976
/proc/meminfo: memFree=126161880/131249996 swapFree=33006296/33010684
[pid=54919] ppid=54916 vsize=1504196 memory=1299460 CPUtime=221.42 cores=5,7
/proc/54919/stat : 54919 (CASHWMaxSAT-Dis) R 54916 54919 53832 0 -1 4194304 135188 0 0 0 22091 51 0 0 20 0 1 0 53749305 1540296704 324865 18446744073709551615 4198400 14093885 140723576024640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 34672640 140723576031594 140723576031709 140723576031709 140723576037311 0
/proc/54919/statm: 376049 324865 800 2416 0 373151 0
Current children cumulated CPU time: 221.42 s
Current children cumulated vsize: 1504196 KiB
Current children cumulated memory: 1299460 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/263 54978
/proc/meminfo: memFree=126137532/131249996 swapFree=33006296/33010684
[pid=54919] ppid=54916 vsize=1504196 memory=1299460 CPUtime=281.18 cores=5,7
/proc/54919/stat : 54919 (CASHWMaxSAT-Dis) R 54916 54919 53832 0 -1 4194304 135260 0 0 0 28067 51 0 0 20 0 1 0 53749305 1540296704 324865 18446744073709551615 4198400 14093885 140723576024640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 34672640 140723576031594 140723576031709 140723576031709 140723576037311 0
/proc/54919/statm: 376049 324865 800 2416 0 373151 0
Current children cumulated CPU time: 281.18 s
Current children cumulated vsize: 1504196 KiB
Current children cumulated memory: 1299460 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/264 54981
/proc/meminfo: memFree=126052624/131249996 swapFree=33006296/33010684
[pid=54919] ppid=54916 vsize=1504196 memory=1299460 CPUtime=340.94 cores=5,7
/proc/54919/stat : 54919 (CASHWMaxSAT-Dis) R 54916 54919 53832 0 -1 4194304 135263 0 0 0 34043 51 0 0 20 0 1 0 53749305 1540296704 324865 18446744073709551615 4198400 14093885 140723576024640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 34672640 140723576031594 140723576031709 140723576031709 140723576037311 0
/proc/54919/statm: 376049 324865 800 2416 0 373151 0
Current children cumulated CPU time: 340.94 s
Current children cumulated vsize: 1504196 KiB
Current children cumulated memory: 1299460 KiB
[startup+402.3 s]
/proc/loadavg: 4.18 4.13 4.10 5/264 54983
/proc/meminfo: memFree=126032092/131249996 swapFree=33006296/33010684
[pid=54919] ppid=54916 vsize=1504196 memory=1299460 CPUtime=400.71 cores=5,7
/proc/54919/stat : 54919 (CASHWMaxSAT-Dis) R 54916 54919 53832 0 -1 4194304 135338 0 0 0 40020 51 0 0 20 0 1 0 53749305 1540296704 324865 18446744073709551615 4198400 14093885 140723576024640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 34672640 140723576031594 140723576031709 140723576031709 140723576037311 0
/proc/54919/statm: 376049 324865 800 2416 0 373151 0
Current children cumulated CPU time: 400.71 s
Current children cumulated vsize: 1504196 KiB
Current children cumulated memory: 1299460 KiB
[startup+462.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/266 54989
/proc/meminfo: memFree=125941760/131249996 swapFree=33006296/33010684
[pid=54919] ppid=54916 vsize=1504196 memory=1301508 CPUtime=460.47 cores=5,7
/proc/54919/stat : 54919 (CASHWMaxSAT-Dis) R 54916 54919 53832 0 -1 4194304 135414 0 0 0 45996 51 0 0 20 0 1 0 53749305 1540296704 325377 18446744073709551615 4198400 14093885 140723576024640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 34672640 140723576031594 140723576031709 140723576031709 140723576037311 0
/proc/54919/statm: 376049 325377 800 2416 0 373151 0
Current children cumulated CPU time: 460.47 s
################
# More data... #
################
Current children cumulated memory: 1318228 KiB
[startup+2862.3 s]
/proc/loadavg: 3.10 3.14 3.30 4/256 55147
/proc/meminfo: memFree=126675808/131249996 swapFree=33006296/33010684
[pid=54919] ppid=54916 vsize=1504196 memory=1320276 CPUtime=2853.31 cores=5,7
/proc/54919/stat : 54919 (CASHWMaxSAT-Dis) R 54916 54919 53832 0 -1 4194304 139266 0 0 0 285277 54 0 0 20 0 1 0 53749305 1540296704 330069 18446744073709551615 4198400 14093885 140723576024640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 34672640 140723576031594 140723576031709 140723576031709 140723576037311 0
/proc/54919/statm: 376049 330069 800 2416 0 373151 0
Current children cumulated CPU time: 2853.31 s
Current children cumulated vsize: 1504196 KiB
Current children cumulated memory: 1320276 KiB
[startup+2922.3 s]
/proc/loadavg: 3.15 3.14 3.29 4/257 55152
/proc/meminfo: memFree=126675260/131249996 swapFree=33006296/33010684
[pid=54919] ppid=54916 vsize=1504196 memory=1320276 CPUtime=2913.16 cores=5,7
/proc/54919/stat : 54919 (CASHWMaxSAT-Dis) R 54916 54919 53832 0 -1 4194304 139372 0 0 0 291262 54 0 0 20 0 1 0 53749305 1540296704 330069 18446744073709551615 4198400 14093885 140723576024640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 34672640 140723576031594 140723576031709 140723576031709 140723576037311 0
/proc/54919/statm: 376049 330069 800 2416 0 373151 0
Current children cumulated CPU time: 2913.16 s
Current children cumulated vsize: 1504196 KiB
Current children cumulated memory: 1320276 KiB
[startup+2982.3 s]
/proc/loadavg: 3.18 3.14 3.27 4/258 55155
/proc/meminfo: memFree=126677576/131249996 swapFree=33006296/33010684
[pid=54919] ppid=54916 vsize=1504196 memory=1322324 CPUtime=2972.99 cores=5,7
/proc/54919/stat : 54919 (CASHWMaxSAT-Dis) R 54916 54919 53832 0 -1 4194304 139479 0 0 0 297245 54 0 0 20 0 1 0 53749305 1540296704 330581 18446744073709551615 4198400 14093885 140723576024640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 34672640 140723576031594 140723576031709 140723576031709 140723576037311 0
/proc/54919/statm: 376049 330581 800 2416 0 373151 0
Current children cumulated CPU time: 2972.99 s
Current children cumulated vsize: 1504196 KiB
Current children cumulated memory: 1322324 KiB
[startup+3042.3 s]
/proc/loadavg: 3.11 3.13 3.26 4/259 55158
/proc/meminfo: memFree=126678908/131249996 swapFree=33006296/33010684
[pid=54919] ppid=54916 vsize=1504196 memory=1324372 CPUtime=3032.83 cores=5,7
/proc/54919/stat : 54919 (CASHWMaxSAT-Dis) R 54916 54919 53832 0 -1 4194304 139587 0 0 0 303229 54 0 0 20 0 1 0 53749305 1540296704 331093 18446744073709551615 4198400 14093885 140723576024640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 34672640 140723576031594 140723576031709 140723576031709 140723576037311 0
/proc/54919/statm: 376049 331093 800 2416 0 373151 0
Current children cumulated CPU time: 3032.83 s
Current children cumulated vsize: 1504196 KiB
Current children cumulated memory: 1324372 KiB
[startup+3102.3 s]
/proc/loadavg: 2.99 3.10 3.25 3/253 55191
/proc/meminfo: memFree=127130268/131249996 swapFree=33006296/33010684
[pid=54919] ppid=54916 vsize=1504196 memory=1324372 CPUtime=3092.67 cores=5,7
/proc/54919/stat : 54919 (CASHWMaxSAT-Dis) R 54916 54919 53832 0 -1 4194304 139695 0 0 0 309213 54 0 0 20 0 1 0 53749305 1540296704 331093 18446744073709551615 4198400 14093885 140723576024640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 34672640 140723576031594 140723576031709 140723576031709 140723576037311 0
/proc/54919/statm: 376049 331093 800 2416 0 373151 0
Current children cumulated CPU time: 3092.67 s
Current children cumulated vsize: 1504196 KiB
Current children cumulated memory: 1324372 KiB
[startup+3162.3 s]
/proc/loadavg: 2.41 2.92 3.17 3/253 55198
/proc/meminfo: memFree=127131004/131249996 swapFree=33006296/33010684
[pid=54919] ppid=54916 vsize=1504196 memory=1326420 CPUtime=3152.52 cores=5,7
/proc/54919/stat : 54919 (CASHWMaxSAT-Dis) R 54916 54919 53832 0 -1 4194304 139804 0 0 0 315198 54 0 0 20 0 1 0 53749305 1540296704 331605 18446744073709551615 4198400 14093885 140723576024640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 34672640 140723576031594 140723576031709 140723576031709 140723576037311 0
/proc/54919/statm: 376049 331605 800 2416 0 373151 0
Current children cumulated CPU time: 3152.52 s
Current children cumulated vsize: 1504196 KiB
Current children cumulated memory: 1326420 KiB
[startup+3222.3 s]
/proc/loadavg: 2.19 2.76 3.10 3/253 55200
/proc/meminfo: memFree=127131080/131249996 swapFree=33006296/33010684
[pid=54919] ppid=54916 vsize=1504196 memory=1328468 CPUtime=3212.36 cores=5,7
/proc/54919/stat : 54919 (CASHWMaxSAT-Dis) R 54916 54919 53832 0 -1 4194304 139914 0 0 0 321182 54 0 0 20 0 1 0 53749305 1540296704 332117 18446744073709551615 4198400 14093885 140723576024640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 34672640 140723576031594 140723576031709 140723576031709 140723576037311 0
/proc/54919/statm: 376049 332117 800 2416 0 373151 0
Current children cumulated CPU time: 3212.36 s
Current children cumulated vsize: 1504196 KiB
Current children cumulated memory: 1328468 KiB
[startup+3282.3 s]
/proc/loadavg: 2.16 2.65 3.04 3/253 55203
/proc/meminfo: memFree=127132972/131249996 swapFree=33006296/33010684
[pid=54919] ppid=54916 vsize=1504196 memory=1328468 CPUtime=3272.21 cores=5,7
/proc/54919/stat : 54919 (CASHWMaxSAT-Dis) R 54916 54919 53832 0 -1 4194304 140024 0 0 0 327167 54 0 0 20 0 1 0 53749305 1540296704 332117 18446744073709551615 4198400 14093885 140723576024640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 34672640 140723576031594 140723576031709 140723576031709 140723576037311 0
/proc/54919/statm: 376049 332117 800 2416 0 373151 0
Current children cumulated CPU time: 3272.21 s
Current children cumulated vsize: 1504196 KiB
Current children cumulated memory: 1328468 KiB
[startup+3342.3 s]
/proc/loadavg: 2.10 2.54 2.97 3/252 55205
/proc/meminfo: memFree=127132584/131249996 swapFree=33006296/33010684
[pid=54919] ppid=54916 vsize=1504196 memory=1330516 CPUtime=3332.05 cores=5,7
/proc/54919/stat : 54919 (CASHWMaxSAT-Dis) R 54916 54919 53832 0 -1 4194304 140135 0 0 0 333151 54 0 0 20 0 1 0 53749305 1540296704 332629 18446744073709551615 4198400 14093885 140723576024640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 34672640 140723576031594 140723576031709 140723576031709 140723576037311 0
/proc/54919/statm: 376049 332629 800 2416 0 373151 0
Current children cumulated CPU time: 3332.05 s
Current children cumulated vsize: 1504196 KiB
Current children cumulated memory: 1330516 KiB
[startup+3402.3 s]
/proc/loadavg: 2.14 2.47 2.92 3/252 55207
/proc/meminfo: memFree=127133200/131249996 swapFree=33006296/33010684
[pid=54919] ppid=54916 vsize=1504196 memory=1332564 CPUtime=3391.89 cores=5,7
/proc/54919/stat : 54919 (CASHWMaxSAT-Dis) R 54916 54919 53832 0 -1 4194304 140247 0 0 0 339135 54 0 0 20 0 1 0 53749305 1540296704 333141 18446744073709551615 4198400 14093885 140723576024640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 34672640 140723576031594 140723576031709 140723576031709 140723576037311 0
/proc/54919/statm: 376049 333141 800 2416 0 373151 0
Current children cumulated CPU time: 3391.89 s
Current children cumulated vsize: 1504196 KiB
Current children cumulated memory: 1332564 KiB
[startup+3462.3 s]
/proc/loadavg: 2.11 2.40 2.87 3/252 55209
/proc/meminfo: memFree=127133568/131249996 swapFree=33006296/33010684
[pid=54919] ppid=54916 vsize=1504196 memory=1334612 CPUtime=3451.75 cores=5,7
/proc/54919/stat : 54919 (CASHWMaxSAT-Dis) R 54916 54919 53832 0 -1 4194304 140360 0 0 0 345120 55 0 0 20 0 1 0 53749305 1540296704 333653 18446744073709551615 4198400 14093885 140723576024640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 34672640 140723576031594 140723576031709 140723576031709 140723576037311 0
/proc/54919/statm: 376049 333653 800 2416 0 373151 0
Current children cumulated CPU time: 3451.75 s
Current children cumulated vsize: 1504196 KiB
Current children cumulated memory: 1334612 KiB
[startup+3522.3 s]
/proc/loadavg: 2.19 2.37 2.83 3/252 55214
/proc/meminfo: memFree=127134932/131249996 swapFree=33006296/33010684
[pid=54919] ppid=54916 vsize=1504196 memory=1334612 CPUtime=3511.6 cores=5,7
/proc/54919/stat : 54919 (CASHWMaxSAT-Dis) R 54916 54919 53832 0 -1 4194304 140473 0 0 0 351105 55 0 0 20 0 1 0 53749305 1540296704 333653 18446744073709551615 4198400 14093885 140723576024640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 34672640 140723576031594 140723576031709 140723576031709 140723576037311 0
/proc/54919/statm: 376049 333653 800 2416 0 373151 0
Current children cumulated CPU time: 3511.6 s
Current children cumulated vsize: 1504196 KiB
Current children cumulated memory: 1334612 KiB
[startup+3582.3 s]
/proc/loadavg: 2.13 2.32 2.78 3/251 55216
/proc/meminfo: memFree=127131284/131249996 swapFree=33006296/33010684
[pid=54919] ppid=54916 vsize=1504196 memory=1338708 CPUtime=3571.44 cores=5,7
/proc/54919/stat : 54919 (CASHWMaxSAT-Dis) R 54916 54919 53832 0 -1 4194304 140589 0 0 0 357089 55 0 0 20 0 1 0 53749305 1540296704 334677 18446744073709551615 4198400 14093885 140723576024640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 34672640 140723576031594 140723576031709 140723576031709 140723576037311 0
/proc/54919/statm: 376049 334677 800 2416 0 373151 0
Current children cumulated CPU time: 3571.44 s
Current children cumulated vsize: 1504196 KiB
Current children cumulated memory: 1338708 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611 s]*
/proc/loadavg: 2.16 2.30 2.76 3/251 55216
/proc/meminfo: memFree=127131292/131249996 swapFree=33006296/33010684
[pid=54919] ppid=54916 vsize=1504196 memory=1338708 CPUtime=3600.07 cores=5,7
/proc/54919/stat : 54919 (CASHWMaxSAT-Dis) R 54916 54919 53832 0 -1 4194304 140704 0 0 0 359952 55 0 0 20 0 1 0 53749305 1540296704 334677 18446744073709551615 4198400 14093885 140723576024640 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 34672640 140723576031594 140723576031709 140723576031709 140723576037311 0
/proc/54919/statm: 376049 334677 800 2416 0 373151 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 1504196 KiB
Current children cumulated memory: 1338708 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.01 s]
# the end of solver process 54919 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3599.52 s, system=0.554141 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3611.01
CPU time (s): 3600.08
CPU user time (s): 3599.52
CPU system time (s): 0.554141
CPU usage (%): 99.6973
Max. virtual memory (cumulated for all children) (KiB): 1744396
Max. memory (cumulated for all children) (KiB): 1547340
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.52
system time used= 0.554141
maximum resident set size= 1547340
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 140704
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= 120
involuntary context switches= 1085
# summary of solver processes directly reported to runsolver:
# pid: 54919
# total CPU time (s): 3600.08
# total CPU user time (s): 3599.52
# total CPU system time (s): 0.554141
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.60563 second user time and 15.6438 second system time
The end
Begin job on nodeC015 at 2025-07-01 16:38:38
IDJOB=4490770
IDBENCH=147620
IDSOLVER=3323
FILE ID=nodeC015/4490770-1751380718
RUNJOBID= nodeC015-1751371686-53845
SLURM_JOB_ID= 9598198
Free space on /tmp= 432972 MiB
SOLVER NAME= CASHWMaxSATDisjCom-S 2025-06-01
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_19.opb
COMMAND LINE= CASHWMaxSAT-DisjCom-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4490770-1751380718/watcher-4490770-1751380718 -o /tmp/evaluation-result-4490770-1751380718/solver-4490770-1751380718 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751371686-53845 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4490770-1751380718.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 329db8d421c28e548757e1dbc8e6ec5f
RANDOM SEED=1876525649
nodeC015 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.047
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
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 : 3600.432
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
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 : 3577.487
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
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 : 3600.503
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.141
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.068
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
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 : 3493.866
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
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 : 3574.684
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 128600236 kB
MemAvailable: 128289896 kB
Buffers: 1508 kB
Cached: 475172 kB
SwapCached: 3880 kB
Active: 1730008 kB
Inactive: 239796 kB
Active(anon): 1458200 kB
Inactive(anon): 49076 kB
Active(file): 271808 kB
Inactive(file): 190720 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33006296 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 31776 kB
Writeback: 0 kB
AnonPages: 1492384 kB
Mapped: 129784 kB
Shmem: 14152 kB
KReclaimable: 132744 kB
Slab: 221540 kB
SReclaimable: 132744 kB
SUnreclaim: 88796 kB
KernelStack: 4288 kB
PageTables: 6012 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 2084196 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150504 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 782336 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 205524 kB
DirectMap2M: 11100160 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 432988 MiB
End job on nodeC015 at 2025-07-01 17:38:49