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 (57621 MiB free)
memory of node 1: 64465 MiB (57593 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4544161-1753206472/watcher-4544161-1753206472 -o /tmp/evaluation-result-4544161-1753206472/solver-4544161-1753206472 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1753198970-188855 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1129722772 --ls=0 --inp-dombreaklim=0 HOME/instance-4544161-1753206472.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
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=190846, runsolver pid=190840
[startup+0.100064 s]*
/proc/loadavg: 4.20 4.22 4.15 5/265 190858
/proc/meminfo: memFree=117947156/131250000 swapFree=33010160/33010684
[pid=190846] ppid=190840 vsize=59824 memory=36284 CPUtime=0.09 cores=0,2
/proc/190846/stat : 190846 (Exact) R 190840 190846 188838 0 -1 4194304 8946 0 0 0 8 1 0 0 20 0 1 0 236324764 61259776 9071 18446744073709551615 4198400 9112445 140728350199184 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 10316848 10407236 18722816 140728350202150 140728350202347 140728350202347 140728350207951 0
/proc/190846/statm: 14956 9071 1184 1200 0 13436 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 59824 KiB
Current children cumulated memory: 36284 KiB
[startup+0.206082 s]*
/proc/loadavg: 4.20 4.22 4.15 4/264 190858
/proc/meminfo: memFree=117955536/131250000 swapFree=33010160/33010684
[pid=190846] ppid=190840 vsize=62828 memory=38972 CPUtime=0.19 cores=0,2
/proc/190846/stat : 190846 (Exact) R 190840 190846 188838 0 -1 4194304 9605 0 0 0 17 2 0 0 20 0 1 0 236324764 64335872 9743 18446744073709551615 4198400 9112445 140728350199184 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 18722816 140728350202150 140728350202347 140728350202347 140728350207951 0
/proc/190846/statm: 15707 9743 1184 1200 0 14187 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 62828 KiB
Current children cumulated memory: 38972 KiB
[startup+0.305445 s]*
/proc/loadavg: 4.20 4.22 4.15 5/262 190871
/proc/meminfo: memFree=117969360/131250000 swapFree=33010160/33010684
[pid=190846] ppid=190840 vsize=64300 memory=41020 CPUtime=0.28 cores=0,2
/proc/190846/stat : 190846 (Exact) R 190840 190846 188838 0 -1 4194304 10079 0 0 0 26 2 0 0 20 0 1 0 236324764 65843200 10255 18446744073709551615 4198400 9112445 140728350199184 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 18722816 140728350202150 140728350202347 140728350202347 140728350207951 0
/proc/190846/statm: 16075 10255 1248 1200 0 14555 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 64300 KiB
Current children cumulated memory: 41020 KiB
[startup+0.700187 s]
/proc/loadavg: 4.20 4.22 4.15 5/266 190889
/proc/meminfo: memFree=117946744/131250000 swapFree=33010160/33010684
[pid=190846] ppid=190840 vsize=65752 memory=48708 CPUtime=0.66 cores=0,2
/proc/190846/stat : 190846 (Exact) R 190840 190846 188838 0 -1 4194304 10473 0 0 0 64 2 0 0 20 0 1 0 236324764 67330048 12177 18446744073709551615 4198400 9112445 140728350199184 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 18722816 140728350202150 140728350202347 140728350202347 140728350207951 0
/proc/190846/statm: 16438 12177 1248 1200 0 14918 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 65752 KiB
Current children cumulated memory: 48708 KiB
[startup+1.50017 s]
/proc/loadavg: 4.20 4.22 4.15 5/266 190889
/proc/meminfo: memFree=117931120/131250000 swapFree=33010160/33010684
[pid=190846] ppid=190840 vsize=71836 memory=63160 CPUtime=1.46 cores=0,2
/proc/190846/stat : 190846 (Exact) R 190840 190846 188838 0 -1 4194304 12021 0 0 0 143 3 0 0 20 0 1 0 236324764 73560064 15790 18446744073709551615 4198400 9112445 140728350199184 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 18722816 140728350202150 140728350202347 140728350202347 140728350207951 0
/proc/190846/statm: 17959 15790 1248 1200 0 16439 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 71836 KiB
Current children cumulated memory: 63160 KiB
[startup+3.10533 s]
/proc/loadavg: 4.20 4.22 4.15 5/266 190889
/proc/meminfo: memFree=117912500/131250000 swapFree=33010160/33010684
[pid=190846] ppid=190840 vsize=93744 memory=84980 CPUtime=3.06 cores=0,2
/proc/190846/stat : 190846 (Exact) R 190840 190846 188838 0 -1 4194304 15180 0 0 0 302 4 0 0 20 0 1 0 236324764 95993856 21245 18446744073709551615 4198400 9112445 140728350199184 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 18722816 140728350202150 140728350202347 140728350202347 140728350207951 0
/proc/190846/statm: 23436 21245 1248 1200 0 21916 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 93744 KiB
Current children cumulated memory: 84980 KiB
[startup+6.30011 s]
/proc/loadavg: 4.19 4.21 4.15 5/266 190889
/proc/meminfo: memFree=117881616/131250000 swapFree=33010160/33010684
[pid=190846] ppid=190840 vsize=128756 memory=118064 CPUtime=6.24 cores=0,2
/proc/190846/stat : 190846 (Exact) R 190840 190846 188838 0 -1 4194304 18227 0 0 0 618 6 0 0 20 0 1 0 236324764 131846144 29516 18446744073709551615 4198400 9112445 140728350199184 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 18722816 140728350202150 140728350202347 140728350202347 140728350207951 0
/proc/190846/statm: 32189 29516 1248 1200 0 30669 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 128756 KiB
Current children cumulated memory: 118064 KiB
[startup+12.7002 s]
/proc/loadavg: 4.17 4.21 4.15 5/266 190889
/proc/meminfo: memFree=117804892/131250000 swapFree=33010160/33010684
[pid=190846] ppid=190840 vsize=215116 memory=193116 CPUtime=12.63 cores=0,2
/proc/190846/stat : 190846 (Exact) R 190840 190846 188838 0 -1 4194304 29773 0 0 0 1252 11 0 0 20 0 1 0 236324764 220278784 48279 18446744073709551615 4198400 9112445 140728350199184 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 18722816 140728350202150 140728350202347 140728350202347 140728350207951 0
/proc/190846/statm: 53779 48279 1248 1200 0 52259 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 215116 KiB
Current children cumulated memory: 193116 KiB
[startup+25.5002 s]
/proc/loadavg: 4.13 4.20 4.15 5/266 190889
/proc/meminfo: memFree=117615672/131250000 swapFree=33010160/33010684
[pid=190846] ppid=190840 vsize=311056 memory=270388 CPUtime=25.39 cores=0,2
/proc/190846/stat : 190846 (Exact) R 190840 190846 188838 0 -1 4194304 36485 0 0 0 2520 19 0 0 20 0 1 0 236324764 318521344 67597 18446744073709551615 4198400 9112445 140728350199184 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 18722816 140728350202150 140728350202347 140728350202347 140728350207951 0
/proc/190846/statm: 77764 67597 1248 1200 0 76244 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 311056 KiB
Current children cumulated memory: 270388 KiB
[startup+51.1053 s]
/proc/loadavg: 4.17 4.20 4.15 5/267 190891
/proc/meminfo: memFree=117160416/131250000 swapFree=33010160/33010684
[pid=190846] ppid=190840 vsize=877188 memory=611632 CPUtime=50.93 cores=0,2
/proc/190846/stat : 190846 (Exact) R 190840 190846 188838 0 -1 4194304 84506 0 0 0 5050 43 0 0 20 0 1 0 236324764 898240512 152908 18446744073709551615 4198400 9112445 140728350199184 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 18722816 140728350202150 140728350202347 140728350202347 140728350207951 0
/proc/190846/statm: 219297 152908 1248 1200 0 217777 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 877188 KiB
Current children cumulated memory: 611632 KiB
[startup+102.3 s]
/proc/loadavg: 4.19 4.20 4.15 5/266 191026
/proc/meminfo: memFree=116813044/131250000 swapFree=33010160/33010684
[pid=190846] ppid=190840 vsize=1033824 memory=753772 CPUtime=101.97 cores=0,2
/proc/190846/stat : 190846 (Exact) R 190840 190846 188838 0 -1 4194304 118766 0 0 0 10134 63 0 0 20 0 1 0 236324764 1058635776 188443 18446744073709551615 4198400 9112445 140728350199184 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 18722816 140728350202150 140728350202347 140728350202347 140728350207951 0
/proc/190846/statm: 258456 188443 1248 1200 0 256936 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 1033824 KiB
Current children cumulated memory: 753772 KiB
[startup+162.3 s]
/proc/loadavg: 4.39 4.27 4.18 5/265 191028
/proc/meminfo: memFree=116543404/131250000 swapFree=33010160/33010684
[pid=190846] ppid=190840 vsize=1101596 memory=819692 CPUtime=161.81 cores=0,2
/proc/190846/stat : 190846 (Exact) R 190840 190846 188838 0 -1 4194304 135292 0 0 0 16101 80 0 0 20 0 1 0 236324764 1128034304 204923 18446744073709551615 4198400 9112445 140728350199184 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 18722816 140728350202150 140728350202347 140728350202347 140728350207951 0
/proc/190846/statm: 275399 204923 1248 1200 0 273879 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 1101596 KiB
Current children cumulated memory: 819692 KiB
[startup+222.3 s]
/proc/loadavg: 4.18 4.23 4.17 5/266 191031
/proc/meminfo: memFree=116382324/131250000 swapFree=33010160/33010684
[pid=190846] ppid=190840 vsize=1105484 memory=824940 CPUtime=221.64 cores=0,2
/proc/190846/stat : 190846 (Exact) R 190840 190846 188838 0 -1 4194304 136692 0 0 0 22072 92 0 0 20 0 1 0 236324764 1132015616 206235 18446744073709551615 4198400 9112445 140728350199184 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 18722816 140728350202150 140728350202347 140728350202347 140728350207951 0
/proc/190846/statm: 276371 206235 1248 1200 0 274851 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 1105484 KiB
Current children cumulated memory: 824940 KiB
[startup+282.3 s]
/proc/loadavg: 4.16 4.22 4.17 5/265 191033
/proc/meminfo: memFree=116227976/131250000 swapFree=33010160/33010684
[pid=190846] ppid=190840 vsize=1122384 memory=840044 CPUtime=281.49 cores=0,2
/proc/190846/stat : 190846 (Exact) R 190840 190846 188838 0 -1 4194304 140566 0 0 0 28044 105 0 0 20 0 1 0 236324764 1149321216 210011 18446744073709551615 4198400 9112445 140728350199184 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 18722816 140728350202150 140728350202347 140728350202347 140728350207951 0
/proc/190846/statm: 280596 210011 1248 1200 0 279076 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 1122384 KiB
Current children cumulated memory: 840044 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.19 4.17 5/265 191035
/proc/meminfo: memFree=116027824/131250000 swapFree=33010160/33010684
[pid=190846] ppid=190840 vsize=1147316 memory=862700 CPUtime=341.31 cores=0,2
/proc/190846/stat : 190846 (Exact) R 190840 190846 188838 0 -1 4194304 146289 0 0 0 34016 115 0 0 20 0 1 0 236324764 1174851584 215675 18446744073709551615 4198400 9112445 140728350199184 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 18722816 140728350202150 140728350202347 140728350202347 140728350207951 0
/proc/190846/statm: 286829 215675 1248 1200 0 285309 0
Current children cumulated CPU time: 341.31 s
Current children cumulated vsize: 1147316 KiB
Current children cumulated memory: 862700 KiB
[startup+402.3 s]
/proc/loadavg: 4.16 4.18 4.17 5/264 191083
/proc/meminfo: memFree=116271220/131250000 swapFree=33010160/33010684
[pid=190846] ppid=190840 vsize=1152084 memory=868332 CPUtime=401.15 cores=0,2
/proc/190846/stat : 190846 (Exact) R 190840 190846 188838 0 -1 4194304 147724 0 0 0 39989 126 0 0 20 0 1 0 236324764 1179734016 217083 18446744073709551615 4198400 9112445 140728350199184 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 18722816 140728350202150 140728350202347 140728350202347 140728350207951 0
/proc/190846/statm: 288021 217083 1248 1200 0 286501 0
Current children cumulated CPU time: 401.15 s
Current children cumulated vsize: 1152084 KiB
Current children cumulated memory: 868332 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.16 4.16 5/264 191135
/proc/meminfo: memFree=116144624/131250000 swapFree=33010160/33010684
[pid=190846] ppid=190840 vsize=1155556 memory=871660 CPUtime=460.98 cores=0,2
/proc/190846/stat : 190846 (Exact) R 190840 190846 188838 0 -1 4194304 148642 0 0 0 45961 137 0 0 20 0 1 0 236324764 1183289344 217915 18446744073709551615 4198400 9112445 140728350199184 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 18722816 140728350202150 140728350202347 140728350202347 140728350207951 0
/proc/190846/statm: 288889 217915 1248 1200 0 287369 0
################
# More data... #
################
Current children cumulated memory: 1237996 KiB
[startup+2922.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/265 191632
/proc/meminfo: memFree=126327824/131250000 swapFree=33010160/33010684
[pid=190846] ppid=190840 vsize=1464036 memory=1242732 CPUtime=2914.17 cores=0,2
/proc/190846/stat : 190846 (Exact) R 190840 190846 188838 0 -1 4194304 219683 0 0 0 290809 608 0 0 20 0 1 0 236324764 1499172864 310683 18446744073709551615 4198400 9112445 140728350199184 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 18722816 140728350202150 140728350202347 140728350202347 140728350207951 0
/proc/190846/statm: 366009 310683 1248 1200 0 364489 0
Current children cumulated CPU time: 2914.17 s
Current children cumulated vsize: 1464036 KiB
Current children cumulated memory: 1242732 KiB
[startup+2982.3 s]
/proc/loadavg: 4.18 4.15 4.10 5/265 191634
/proc/meminfo: memFree=126320608/131250000 swapFree=33010160/33010684
[pid=190846] ppid=190840 vsize=1466644 memory=1245164 CPUtime=2974 cores=0,2
/proc/190846/stat : 190846 (Exact) R 190840 190846 188838 0 -1 4194304 220411 0 0 0 296783 617 0 0 20 0 1 0 236324764 1501843456 311291 18446744073709551615 4198400 9112445 140728350199184 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 18722816 140728350202150 140728350202347 140728350202347 140728350207951 0
/proc/190846/statm: 366661 311291 1248 1200 0 365141 0
Current children cumulated CPU time: 2974 s
Current children cumulated vsize: 1466644 KiB
Current children cumulated memory: 1245164 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.13 4.10 5/265 191636
/proc/meminfo: memFree=126311456/131250000 swapFree=33010160/33010684
[pid=190846] ppid=190840 vsize=1472392 memory=1250540 CPUtime=3033.84 cores=0,2
/proc/190846/stat : 190846 (Exact) R 190840 190846 188838 0 -1 4194304 222172 0 0 0 302756 628 0 0 20 0 1 0 236324764 1507729408 312635 18446744073709551615 4198400 9112445 140728350199184 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 18722816 140728350202150 140728350202347 140728350202347 140728350207951 0
/proc/190846/statm: 368098 312635 1248 1200 0 366578 0
Current children cumulated CPU time: 3033.84 s
Current children cumulated vsize: 1472392 KiB
Current children cumulated memory: 1250540 KiB
[startup+3102.3 s]
/proc/loadavg: 4.04 4.11 4.09 5/265 191638
/proc/meminfo: memFree=126313084/131250000 swapFree=33010160/33010684
[pid=190846] ppid=190840 vsize=1474428 memory=1252588 CPUtime=3093.67 cores=0,2
/proc/190846/stat : 190846 (Exact) R 190840 190846 188838 0 -1 4194304 222838 0 0 0 308727 640 0 0 20 0 1 0 236324764 1509814272 313147 18446744073709551615 4198400 9112445 140728350199184 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 18722816 140728350202150 140728350202347 140728350202347 140728350207951 0
/proc/190846/statm: 368607 313147 1248 1200 0 367087 0
Current children cumulated CPU time: 3093.67 s
Current children cumulated vsize: 1474428 KiB
Current children cumulated memory: 1252588 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/265 191641
/proc/meminfo: memFree=126313836/131250000 swapFree=33010160/33010684
[pid=190846] ppid=190840 vsize=1478028 memory=1255916 CPUtime=3153.49 cores=0,2
/proc/190846/stat : 190846 (Exact) R 190840 190846 188838 0 -1 4194304 223995 0 0 0 314698 651 0 0 20 0 1 0 236324764 1513500672 313979 18446744073709551615 4198400 9112445 140728350199184 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 18722816 140728350202150 140728350202347 140728350202347 140728350207951 0
/proc/190846/statm: 369507 313979 1248 1200 0 367987 0
Current children cumulated CPU time: 3153.49 s
Current children cumulated vsize: 1478028 KiB
Current children cumulated memory: 1255916 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/265 191644
/proc/meminfo: memFree=126281716/131250000 swapFree=33010160/33010684
[pid=190846] ppid=190840 vsize=1486396 memory=1271404 CPUtime=3213.32 cores=0,2
/proc/190846/stat : 190846 (Exact) R 190840 190846 188838 0 -1 4194304 226108 0 0 0 320668 664 0 0 20 0 1 0 236324764 1522069504 317851 18446744073709551615 4198400 9112445 140728350199184 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 18722816 140728350202150 140728350202347 140728350202347 140728350207951 0
/proc/190846/statm: 371599 317851 1248 1200 0 370079 0
Current children cumulated CPU time: 3213.32 s
Current children cumulated vsize: 1486396 KiB
Current children cumulated memory: 1271404 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/265 191646
/proc/meminfo: memFree=126273652/131250000 swapFree=33010160/33010684
[pid=190846] ppid=190840 vsize=1495232 memory=1288172 CPUtime=3273.15 cores=0,2
/proc/190846/stat : 190846 (Exact) R 190840 190846 188838 0 -1 4194304 228349 0 0 0 326639 676 0 0 20 0 1 0 236324764 1531117568 322043 18446744073709551615 4198400 9112445 140728350199184 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 18722816 140728350202150 140728350202347 140728350202347 140728350207951 0
/proc/190846/statm: 373808 322043 1248 1200 0 372288 0
Current children cumulated CPU time: 3273.15 s
Current children cumulated vsize: 1495232 KiB
Current children cumulated memory: 1288172 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/265 191648
/proc/meminfo: memFree=126258696/131250000 swapFree=33010160/33010684
[pid=190846] ppid=190840 vsize=1500152 memory=1292524 CPUtime=3332.98 cores=0,2
/proc/190846/stat : 190846 (Exact) R 190840 190846 188838 0 -1 4194304 229948 0 0 0 332610 688 0 0 20 0 1 0 236324764 1536155648 323131 18446744073709551615 4198400 9112445 140728350199184 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 18722816 140728350202150 140728350202347 140728350202347 140728350207951 0
/proc/190846/statm: 375038 323131 1248 1200 0 373518 0
Current children cumulated CPU time: 3332.98 s
Current children cumulated vsize: 1500152 KiB
Current children cumulated memory: 1292524 KiB
[startup+3402.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/266 191653
/proc/meminfo: memFree=126265568/131250000 swapFree=33010160/33010684
[pid=190846] ppid=190840 vsize=1504184 memory=1296236 CPUtime=3392.81 cores=0,2
/proc/190846/stat : 190846 (Exact) R 190840 190846 188838 0 -1 4194304 230902 0 0 0 338581 700 0 0 20 0 1 0 236324764 1540284416 324059 18446744073709551615 4198400 9112445 140728350199184 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 18722816 140728350202150 140728350202347 140728350202347 140728350207951 0
/proc/190846/statm: 376046 324059 1248 1200 0 374526 0
Current children cumulated CPU time: 3392.81 s
Current children cumulated vsize: 1504184 KiB
Current children cumulated memory: 1296236 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/266 191661
/proc/meminfo: memFree=126262604/131250000 swapFree=33010160/33010684
[pid=190846] ppid=190840 vsize=1507264 memory=1299052 CPUtime=3452.65 cores=0,2
/proc/190846/stat : 190846 (Exact) R 190840 190846 188838 0 -1 4194304 232159 0 0 0 344555 710 0 0 20 0 1 0 236324764 1543438336 324763 18446744073709551615 4198400 9112445 140728350199184 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 18722816 140728350202150 140728350202347 140728350202347 140728350207951 0
/proc/190846/statm: 376816 324763 1248 1200 0 375296 0
Current children cumulated CPU time: 3452.65 s
Current children cumulated vsize: 1507264 KiB
Current children cumulated memory: 1299052 KiB
[startup+3522.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/266 191663
/proc/meminfo: memFree=126253484/131250000 swapFree=33010160/33010684
[pid=190846] ppid=190840 vsize=1509316 memory=1301100 CPUtime=3512.49 cores=0,2
/proc/190846/stat : 190846 (Exact) R 190840 190846 188838 0 -1 4194304 233071 0 0 0 350525 724 0 0 20 0 1 0 236324764 1545539584 325275 18446744073709551615 4198400 9112445 140728350199184 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 18722816 140728350202150 140728350202347 140728350202347 140728350207951 0
/proc/190846/statm: 377329 325275 1248 1200 0 375809 0
Current children cumulated CPU time: 3512.49 s
Current children cumulated vsize: 1509316 KiB
Current children cumulated memory: 1301100 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/266 191666
/proc/meminfo: memFree=126247836/131250000 swapFree=33010160/33010684
[pid=190846] ppid=190840 vsize=1516060 memory=1305964 CPUtime=3572.32 cores=0,2
/proc/190846/stat : 190846 (Exact) R 190840 190846 188838 0 -1 4194304 234420 0 0 0 356496 736 0 0 20 0 1 0 236324764 1552445440 326491 18446744073709551615 4198400 9112445 140728350199184 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 18722816 140728350202150 140728350202347 140728350202347 140728350207951 0
/proc/190846/statm: 379015 326491 1248 1200 0 377495 0
Current children cumulated CPU time: 3572.32 s
Current children cumulated vsize: 1516060 KiB
Current children cumulated memory: 1305964 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.11 s]
/proc/loadavg: 4.09 4.09 4.09 5/266 191666
/proc/meminfo: memFree=126248156/131250000 swapFree=33010160/33010684
[pid=190846] ppid=190840 vsize=1516060 memory=1305964 CPUtime=3600.05 cores=0,2
/proc/190846/stat : 190846 (Exact) R 190840 190846 188838 0 -1 4194304 234548 0 0 0 359264 741 0 0 20 0 1 0 236324764 1552445440 326491 18446744073709551615 4198400 9112445 140728350199184 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 18722816 140728350202150 140728350202347 140728350202347 140728350207951 0
/proc/190846/statm: 379015 326491 1248 1200 0 377495 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 1516060 KiB
Current children cumulated memory: 1305964 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.12 s]
# the end of solver process 190846 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3592.65 s, system=7.42306 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.11 s]
/proc/loadavg: 4.09 4.09 4.09 5/266 191666
/proc/meminfo: memFree=126248156/131250000 swapFree=33010160/33010684
[pid=190846] ppid=190840 vsize=1516060 memory=1305964 CPUtime=3600.05 cores=0,2
/proc/190846/stat : 190846 (Exact) R 190840 190846 188838 0 -1 4194304 234548 0 0 0 359264 741 0 0 20 0 1 0 236324764 1552445440 326491 18446744073709551615 4198400 9112445 140728350199184 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 18722816 140728350202150 140728350202347 140728350202347 140728350207951 0
/proc/190846/statm: 379015 326491 1248 1200 0 377495 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 1516060 KiB
Current children cumulated memory: 1305964 KiB
Child status: 0
Real time (s): 3610.12
CPU time (s): 3600.07
CPU user time (s): 3592.65
CPU system time (s): 7.42306
CPU usage (%): 99.7217
Max. virtual memory (cumulated for all children) (KiB): 1516060
Max. memory (cumulated for all children) (KiB): 1305964
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.65
system time used= 7.42306
maximum resident set size= 1306092
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 234551
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= 184
involuntary context switches= 8137
# summary of solver processes directly reported to runsolver:
# pid: 190846
# total CPU time (s): 3600.07
# total CPU user time (s): 3592.65
# total CPU system time (s): 7.42306
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.2091 second user time and 11.7618 second system time
The end
Begin job on nodeC016 at 2025-07-22 19:47:52
IDJOB=4544161
IDBENCH=174960
IDSOLVER=3318
FILE ID=nodeC016/4544161-1753206472
RUNJOBID= nodeC016-1753198970-188855
SLURM_JOB_ID= 9687749
Free space on /tmp= 432908 MiB
SOLVER NAME= Exact_no_db_no_ls 2025-06-19
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/extended-even-colouring/random_rational_opb/normalized-ec_random_rational_random8reg_split_750.opb
COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED --ls=0 --inp-dombreaklim=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4544161-1753206472/watcher-4544161-1753206472 -o /tmp/evaluation-result-4544161-1753206472/solver-4544161-1753206472 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1753198970-188855 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1129722772 --ls=0 --inp-dombreaklim=0 HOME/instance-4544161-1753206472.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 9d0f67967ac2bc71f5ce17bb15e814c1
RANDOM SEED=1129722772
nodeC016 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.733
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.843
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3618.022
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.738
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.109
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.746
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3610.726
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 117980544 kB
MemAvailable: 118908944 kB
Buffers: 2144 kB
Cached: 1644196 kB
SwapCached: 24 kB
Active: 11751276 kB
Inactive: 407296 kB
Active(anon): 10536364 kB
Inactive(anon): 2108 kB
Active(file): 1214912 kB
Inactive(file): 405188 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 14964 kB
Writeback: 0 kB
AnonPages: 10511224 kB
Mapped: 119504 kB
Shmem: 26240 kB
KReclaimable: 295080 kB
Slab: 394492 kB
SReclaimable: 295080 kB
SUnreclaim: 99412 kB
KernelStack: 4168 kB
PageTables: 23940 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 11245064 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150568 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 6545408 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 201428 kB
DirectMap2M: 7958528 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432968 MiB
End job on nodeC016 at 2025-07-22 20:48:02