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 (62447 MiB free)
memory of node 1: 64465 MiB (63635 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4502941-1751434242/watcher-4502941-1751434242 -o /tmp/evaluation-result-4502941-1751434242/solver-4502941-1751434242 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751434242-62322 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=2032771564 --ls=360 --inp-dombreaklim=0 HOME/instance-4502941-1751434242.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=62375, runsolver pid=62372
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 0.86 2.90 3.65 5/264 62381
/proc/meminfo: memFree=129020768/131250000 swapFree=33010684/33010684
[pid=62375] ppid=62372 vsize=63984 memory=42560 CPUtime=0.09 cores=4,6
/proc/62375/stat : 62375 (Exact) R 62372 62375 62285 0 -1 4194304 10115 0 0 0 8 1 0 0 20 0 1 0 59046784 65519616 10640 18446744073709551615 4198400 9112445 140727684434432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 44716032 140727684438310 140727684438509 140727684438509 140727684444111 0
/proc/62375/statm: 15996 10640 1024 1200 0 14476 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 63984 KiB
Current children cumulated memory: 42560 KiB
[startup+0.205557 s]*
/proc/loadavg: 0.86 2.90 3.65 5/264 62381
/proc/meminfo: memFree=128948444/131250000 swapFree=33010684/33010684
[pid=62375] ppid=62372 vsize=81500 memory=59840 CPUtime=0.2 cores=4,6
/proc/62375/stat : 62375 (Exact) R 62372 62375 62285 0 -1 4194304 14421 0 0 0 18 2 0 0 20 0 1 0 59046784 83456000 14960 18446744073709551615 4198400 9112445 140727684434432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 44716032 140727684438310 140727684438509 140727684438509 140727684444111 0
/proc/62375/statm: 20375 14960 1024 1200 0 18855 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 81500 KiB
Current children cumulated memory: 59840 KiB
[startup+0.305516 s]*
/proc/loadavg: 0.86 2.90 3.65 5/264 62381
/proc/meminfo: memFree=128924000/131250000 swapFree=33010684/33010684
[pid=62375] ppid=62372 vsize=90420 memory=69056 CPUtime=0.3 cores=4,6
/proc/62375/stat : 62375 (Exact) R 62372 62375 62285 0 -1 4194304 16725 0 0 0 27 3 0 0 20 0 1 0 59046784 92590080 17264 18446744073709551615 4198400 9112445 140727684434432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 44716032 140727684438310 140727684438509 140727684438509 140727684444111 0
/proc/62375/statm: 22605 17264 1024 1200 0 21085 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 90420 KiB
Current children cumulated memory: 69056 KiB
[startup+0.700182 s]
/proc/loadavg: 1.11 2.92 3.66 5/264 62381
/proc/meminfo: memFree=128815324/131250000 swapFree=33010684/33010684
[pid=62375] ppid=62372 vsize=164180 memory=145404 CPUtime=0.69 cores=4,6
/proc/62375/stat : 62375 (Exact) R 62372 62375 62285 0 -1 4194304 34257 0 0 0 63 6 0 0 20 0 1 0 59046784 168120320 36319 18446744073709551615 4198400 9112445 140727684434432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 44716032 140727684438310 140727684438509 140727684438509 140727684444111 0
/proc/62375/statm: 41045 36351 1024 1200 0 39525 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 164180 KiB
Current children cumulated memory: 145404 KiB
[startup+1.50018 s]
/proc/loadavg: 1.11 2.92 3.66 5/264 62381
/proc/meminfo: memFree=128613860/131250000 swapFree=33010684/33010684
[pid=62375] ppid=62372 vsize=321216 memory=305800 CPUtime=1.49 cores=4,6
/proc/62375/stat : 62375 (Exact) R 62372 62375 62285 0 -1 4194304 73166 0 0 0 136 13 0 0 20 0 1 0 59046784 328925184 76450 18446744073709551615 4198400 9112445 140727684434432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 44716032 140727684438310 140727684438509 140727684438509 140727684444111 0
/proc/62375/statm: 80304 76450 1024 1200 0 78784 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 321216 KiB
Current children cumulated memory: 305800 KiB
[startup+3.10551 s]
/proc/loadavg: 1.11 2.92 3.66 5/264 62381
/proc/meminfo: memFree=127989892/131250000 swapFree=33010684/33010684
[pid=62375] ppid=62372 vsize=489872 memory=461772 CPUtime=3.08 cores=4,6
/proc/62375/stat : 62375 (Exact) R 62372 62375 62285 0 -1 4194304 110007 0 0 0 288 20 0 0 20 0 1 0 59046784 501628928 115443 18446744073709551615 4198400 9112445 140727684434432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 44716032 140727684438310 140727684438509 140727684438509 140727684444111 0
/proc/62375/statm: 122468 115443 1024 1200 0 120948 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 489872 KiB
Current children cumulated memory: 461772 KiB
[startup+6.30018 s]
/proc/loadavg: 1.34 2.94 3.66 5/264 62381
/proc/meminfo: memFree=127958340/131250000 swapFree=33010684/33010684
[pid=62375] ppid=62372 vsize=489872 memory=461772 CPUtime=6.26 cores=4,6
/proc/62375/stat : 62375 (Exact) R 62372 62375 62285 0 -1 4194304 110009 0 0 0 606 20 0 0 20 0 1 0 59046784 501628928 115443 18446744073709551615 4198400 9112445 140727684434432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 44716032 140727684438310 140727684438509 140727684438509 140727684444111 0
/proc/62375/statm: 122468 115443 1024 1200 0 120948 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 489872 KiB
Current children cumulated memory: 461772 KiB
[startup+12.7002 s]
/proc/loadavg: 1.56 2.96 3.66 5/264 62381
/proc/meminfo: memFree=127958844/131250000 swapFree=33010684/33010684
[pid=62375] ppid=62372 vsize=489872 memory=461772 CPUtime=12.63 cores=4,6
/proc/62375/stat : 62375 (Exact) R 62372 62375 62285 0 -1 4194304 110011 0 0 0 1243 20 0 0 20 0 1 0 59046784 501628928 115443 18446744073709551615 4198400 9112445 140727684434432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 44716032 140727684438310 140727684438509 140727684438509 140727684444111 0
/proc/62375/statm: 122468 115443 1024 1200 0 120948 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 489872 KiB
Current children cumulated memory: 461772 KiB
[startup+25.5002 s]
/proc/loadavg: 1.93 2.99 3.66 5/264 62382
/proc/meminfo: memFree=127959852/131250000 swapFree=33010684/33010684
[pid=62375] ppid=62372 vsize=489872 memory=461772 CPUtime=25.38 cores=4,6
/proc/62375/stat : 62375 (Exact) R 62372 62375 62285 0 -1 4194304 110013 0 0 0 2517 21 0 0 20 0 1 0 59046784 501628928 115443 18446744073709551615 4198400 9112445 140727684434432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 44716032 140727684438310 140727684438509 140727684438509 140727684444111 0
/proc/62375/statm: 122468 115443 1024 1200 0 120948 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 489872 KiB
Current children cumulated memory: 461772 KiB
[startup+51.1056 s]
/proc/loadavg: 2.81 3.10 3.68 5/264 62382
/proc/meminfo: memFree=127967480/131250000 swapFree=33010684/33010684
[pid=62375] ppid=62372 vsize=489872 memory=461772 CPUtime=50.87 cores=4,6
/proc/62375/stat : 62375 (Exact) R 62372 62375 62285 0 -1 4194304 110015 0 0 0 5066 21 0 0 20 0 1 0 59046784 501628928 115443 18446744073709551615 4198400 9112445 140727684434432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 44716032 140727684438310 140727684438509 140727684438509 140727684444111 0
/proc/62375/statm: 122468 115443 1024 1200 0 120948 0
Current children cumulated CPU time: 50.87 s
Current children cumulated vsize: 489872 KiB
Current children cumulated memory: 461772 KiB
[startup+102.3 s]
/proc/loadavg: 3.53 3.26 3.70 5/265 62387
/proc/meminfo: memFree=127965520/131250000 swapFree=33010684/33010684
[pid=62375] ppid=62372 vsize=489872 memory=461772 CPUtime=101.83 cores=4,6
/proc/62375/stat : 62375 (Exact) R 62372 62375 62285 0 -1 4194304 110017 0 0 0 10162 21 0 0 20 0 1 0 59046784 501628928 115443 18446744073709551615 4198400 9112445 140727684434432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 44716032 140727684438310 140727684438509 140727684438509 140727684444111 0
/proc/62375/statm: 122468 115443 1024 1200 0 120948 0
Current children cumulated CPU time: 101.83 s
Current children cumulated vsize: 489872 KiB
Current children cumulated memory: 461772 KiB
[startup+162.3 s]
/proc/loadavg: 3.95 3.43 3.74 5/265 62389
/proc/meminfo: memFree=127950612/131250000 swapFree=33010684/33010684
[pid=62375] ppid=62372 vsize=489872 memory=461772 CPUtime=161.55 cores=4,6
/proc/62375/stat : 62375 (Exact) R 62372 62375 62285 0 -1 4194304 110019 0 0 0 16134 21 0 0 20 0 1 0 59046784 501628928 115443 18446744073709551615 4198400 9112445 140727684434432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 44716032 140727684438310 140727684438509 140727684438509 140727684444111 0
/proc/62375/statm: 122468 115443 1024 1200 0 120948 0
Current children cumulated CPU time: 161.55 s
Current children cumulated vsize: 489872 KiB
Current children cumulated memory: 461772 KiB
[startup+222.3 s]
/proc/loadavg: 4.04 3.55 3.76 5/265 62391
/proc/meminfo: memFree=127950260/131250000 swapFree=33010684/33010684
[pid=62375] ppid=62372 vsize=489872 memory=461772 CPUtime=221.26 cores=4,6
/proc/62375/stat : 62375 (Exact) R 62372 62375 62285 0 -1 4194304 110023 0 0 0 22105 21 0 0 20 0 1 0 59046784 501628928 115443 18446744073709551615 4198400 9112445 140727684434432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 44716032 140727684438310 140727684438509 140727684438509 140727684444111 0
/proc/62375/statm: 122468 115443 1024 1200 0 120948 0
Current children cumulated CPU time: 221.26 s
Current children cumulated vsize: 489872 KiB
Current children cumulated memory: 461772 KiB
[startup+282.3 s]
/proc/loadavg: 4.06 3.65 3.78 5/264 62393
/proc/meminfo: memFree=127948104/131250000 swapFree=33010684/33010684
[pid=62375] ppid=62372 vsize=489872 memory=461772 CPUtime=280.96 cores=4,6
/proc/62375/stat : 62375 (Exact) R 62372 62375 62285 0 -1 4194304 110023 0 0 0 28075 21 0 0 20 0 1 0 59046784 501628928 115443 18446744073709551615 4198400 9112445 140727684434432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 44716032 140727684438310 140727684438509 140727684438509 140727684444111 0
/proc/62375/statm: 122468 115443 1024 1200 0 120948 0
Current children cumulated CPU time: 280.96 s
Current children cumulated vsize: 489872 KiB
Current children cumulated memory: 461772 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 3.75 3.81 5/264 62400
/proc/meminfo: memFree=127955236/131250000 swapFree=33010684/33010684
[pid=62375] ppid=62372 vsize=489872 memory=461772 CPUtime=340.64 cores=4,6
/proc/62375/stat : 62375 (Exact) R 62372 62375 62285 0 -1 4194304 110087 0 0 0 34043 21 0 0 20 0 1 0 59046784 501628928 115443 18446744073709551615 4198400 9112445 140727684434432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 44716032 140727684438310 140727684438509 140727684438509 140727684444111 0
/proc/62375/statm: 122468 115443 1024 1200 0 120948 0
Current children cumulated CPU time: 340.64 s
Current children cumulated vsize: 489872 KiB
Current children cumulated memory: 461772 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 3.81 3.83 5/263 62402
/proc/meminfo: memFree=125186336/131250000 swapFree=33010684/33010684
[pid=62375] ppid=62372 vsize=1491736 memory=1373180 CPUtime=400.43 cores=4,6
/proc/62375/stat : 62375 (Exact) R 62372 62375 62285 0 -1 4194304 251821 0 0 0 39970 73 0 0 20 0 1 0 59046784 1527537664 343295 18446744073709551615 4198400 9112445 140727684434432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 44716032 140727684438310 140727684438509 140727684438509 140727684444111 0
/proc/62375/statm: 372934 343295 1280 1200 0 371414 0
Current children cumulated CPU time: 400.43 s
Current children cumulated vsize: 1491736 KiB
Current children cumulated memory: 1373180 KiB
[startup+462.3 s]
/proc/loadavg: 4.07 3.86 3.85 5/263 62404
/proc/meminfo: memFree=122277512/131250000 swapFree=33010684/33010684
[pid=62375] ppid=62372 vsize=3066320 memory=2827916 CPUtime=460.25 cores=4,6
/proc/62375/stat : 62375 (Exact) R 62372 62375 62285 0 -1 4194304 488500 0 0 0 45881 144 0 0 20 0 1 0 59046784 3139911680 706979 18446744073709551615 4198400 9112445 140727684434432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 44716032 140727684438310 140727684438509 140727684438509 140727684444111 0
/proc/62375/statm: 766580 706979 1280 1200 0 765060 0
Current children cumulated CPU time: 460.25 s
################
# More data... #
################
[startup+3102.3 s]
/proc/loadavg: 3.06 3.11 3.19 4/258 62581
/proc/meminfo: memFree=119924436/131250000 swapFree=33010684/33010684
[pid=62375] ppid=62372 vsize=3916084 memory=3640824 CPUtime=3091.55 cores=4,6
/proc/62375/stat : 62375 (Exact) R 62372 62375 62285 0 -1 4194304 560987 0 0 0 308906 249 0 0 20 0 1 0 59046784 4010070016 910206 18446744073709551615 4198400 9112445 140727684434432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 44716032 140727684438310 140727684438509 140727684438509 140727684444111 0
/proc/62375/statm: 979021 910206 1280 1200 0 977501 0
Current children cumulated CPU time: 3091.55 s
Current children cumulated vsize: 3916084 KiB
Current children cumulated memory: 3640824 KiB
[startup+3162.3 s]
/proc/loadavg: 3.06 3.10 3.18 4/259 62584
/proc/meminfo: memFree=119904560/131250000 swapFree=33010684/33010684
[pid=62375] ppid=62372 vsize=3912664 memory=3660196 CPUtime=3151.37 cores=4,6
/proc/62375/stat : 62375 (Exact) R 62372 62375 62285 0 -1 4194304 563807 0 0 0 314885 252 0 0 20 0 1 0 59046784 4006567936 915049 18446744073709551615 4198400 9112445 140727684434432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 44716032 140727684438310 140727684438509 140727684438509 140727684444111 0
/proc/62375/statm: 978166 915049 1280 1200 0 976646 0
Current children cumulated CPU time: 3151.37 s
Current children cumulated vsize: 3912664 KiB
Current children cumulated memory: 3660196 KiB
[startup+3222.3 s]
/proc/loadavg: 3.13 3.11 3.18 4/259 62586
/proc/meminfo: memFree=119786472/131250000 swapFree=33010684/33010684
[pid=62375] ppid=62372 vsize=3966948 memory=3737332 CPUtime=3211.16 cores=4,6
/proc/62375/stat : 62375 (Exact) R 62372 62375 62285 0 -1 4194304 567556 0 0 0 320862 254 0 0 20 0 1 0 59046784 4062154752 934333 18446744073709551615 4198400 9112445 140727684434432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 44716032 140727684438310 140727684438509 140727684438509 140727684444111 0
/proc/62375/statm: 991737 934333 1280 1200 0 990217 0
Current children cumulated CPU time: 3211.16 s
Current children cumulated vsize: 3966948 KiB
Current children cumulated memory: 3737332 KiB
[startup+3282.3 s]
/proc/loadavg: 3.10 3.10 3.17 4/259 62588
/proc/meminfo: memFree=119774444/131250000 swapFree=33010684/33010684
[pid=62375] ppid=62372 vsize=3975776 memory=3752712 CPUtime=3270.97 cores=4,6
/proc/62375/stat : 62375 (Exact) R 62372 62375 62285 0 -1 4194304 570016 0 0 0 326841 256 0 0 20 0 1 0 59046784 4071194624 938178 18446744073709551615 4198400 9112445 140727684434432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 44716032 140727684438310 140727684438509 140727684438509 140727684444111 0
/proc/62375/statm: 993944 938178 1280 1200 0 992424 0
Current children cumulated CPU time: 3270.97 s
Current children cumulated vsize: 3975776 KiB
Current children cumulated memory: 3752712 KiB
[startup+3342.3 s]
/proc/loadavg: 3.16 3.11 3.17 4/259 62594
/proc/meminfo: memFree=119735732/131250000 swapFree=33010684/33010684
[pid=62375] ppid=62372 vsize=4019336 memory=3782708 CPUtime=3330.79 cores=4,6
/proc/62375/stat : 62375 (Exact) R 62372 62375 62285 0 -1 4194304 574249 0 0 0 332818 261 0 0 20 0 1 0 59046784 4115800064 945677 18446744073709551615 4198400 9112445 140727684434432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 44716032 140727684438310 140727684438509 140727684438509 140727684444111 0
/proc/62375/statm: 1004834 945677 1280 1200 0 1003314 0
Current children cumulated CPU time: 3330.79 s
Current children cumulated vsize: 4019336 KiB
Current children cumulated memory: 3782708 KiB
[startup+3402.3 s]
/proc/loadavg: 3.12 3.11 3.17 4/258 62596
/proc/meminfo: memFree=119620516/131250000 swapFree=33010684/33010684
[pid=62375] ppid=62372 vsize=4268112 memory=3866416 CPUtime=3390.6 cores=4,6
/proc/62375/stat : 62375 (Exact) R 62372 62375 62285 0 -1 4194304 578466 0 0 0 338793 267 0 0 20 0 1 0 59046784 4370546688 966604 18446744073709551615 4198400 9112445 140727684434432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 44716032 140727684438310 140727684438509 140727684438509 140727684444111 0
/proc/62375/statm: 1067028 966604 1280 1200 0 1065508 0
Current children cumulated CPU time: 3390.6 s
Current children cumulated vsize: 4268112 KiB
Current children cumulated memory: 3866416 KiB
[startup+3462.3 s]
/proc/loadavg: 3.09 3.10 3.16 4/257 62598
/proc/meminfo: memFree=119605124/131250000 swapFree=33010684/33010684
[pid=62375] ppid=62372 vsize=4268112 memory=3866416 CPUtime=3450.42 cores=4,6
/proc/62375/stat : 62375 (Exact) R 62372 62375 62285 0 -1 4194304 578495 0 0 0 344774 268 0 0 20 0 1 0 59046784 4370546688 966604 18446744073709551615 4198400 9112445 140727684434432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 44716032 140727684438310 140727684438509 140727684438509 140727684444111 0
/proc/62375/statm: 1067028 966604 1280 1200 0 1065508 0
Current children cumulated CPU time: 3450.42 s
Current children cumulated vsize: 4268112 KiB
Current children cumulated memory: 3866416 KiB
[startup+3522.3 s]
/proc/loadavg: 3.23 3.13 3.17 4/257 62599
/proc/meminfo: memFree=119650592/131250000 swapFree=33010684/33010684
[pid=62375] ppid=62372 vsize=4232460 memory=3859800 CPUtime=3510.22 cores=4,6
/proc/62375/stat : 62375 (Exact) R 62372 62375 62285 0 -1 4194304 582328 0 0 0 350752 270 0 0 20 0 1 0 59046784 4334039040 964950 18446744073709551615 4198400 9112445 140727684434432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 44716032 140727684438310 140727684438509 140727684438509 140727684444111 0
/proc/62375/statm: 1058115 964950 1280 1200 0 1056595 0
Current children cumulated CPU time: 3510.22 s
Current children cumulated vsize: 4232460 KiB
Current children cumulated memory: 3859800 KiB
[startup+3582.3 s]
/proc/loadavg: 3.28 3.18 3.18 4/257 62601
/proc/meminfo: memFree=119580880/131250000 swapFree=33010684/33010684
[pid=62375] ppid=62372 vsize=4288228 memory=3929900 CPUtime=3570.02 cores=4,6
/proc/62375/stat : 62375 (Exact) R 62372 62375 62285 0 -1 4194304 583848 0 0 0 356728 274 0 0 20 0 1 0 59046784 4391145472 982475 18446744073709551615 4198400 9112445 140727684434432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 44716032 140727684438310 140727684438509 140727684438509 140727684444111 0
/proc/62375/statm: 1072057 982475 1280 1200 0 1070537 0
Current children cumulated CPU time: 3570.02 s
Current children cumulated vsize: 4288228 KiB
Current children cumulated memory: 3929900 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.4 s]
/proc/loadavg: 3.24 3.17 3.18 5/256 62617
/proc/meminfo: memFree=123787832/131250000 swapFree=33010684/33010684
[pid=62375] ppid=62372 vsize=4296148 memory=3942872 CPUtime=3600.02 cores=4,6
/proc/62375/stat : 62375 (Exact) R 62372 62375 62285 0 -1 4194304 585558 0 0 0 359727 275 0 0 20 0 1 0 59046784 4399255552 985718 18446744073709551615 4198400 9112445 140727684434432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 44716032 140727684438310 140727684438509 140727684438509 140727684444111 0
/proc/62375/statm: 1074037 985718 1280 1200 0 1072517 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 4296148 KiB
Current children cumulated memory: 3942872 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+3614.5 s]
# the end of solver process 62375 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3599.26 s, system=2.84893 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3612.8 s]
/proc/loadavg: 3.24 3.17 3.18 5/256 62617
/proc/meminfo: memFree=123787832/131250000 swapFree=33010684/33010684
[pid=62375] ppid=62372 vsize=4296148 memory=3942872 CPUtime=3600.41 cores=4,6
/proc/62375/stat : 62375 (Exact) R 62372 62375 62285 0 -1 4194304 585558 0 0 0 359766 275 0 0 20 0 1 0 59046784 4399255552 985718 18446744073709551615 4198400 9112445 140727684434432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 44716032 140727684438310 140727684438509 140727684438509 140727684444111 0
/proc/62375/statm: 1074037 985718 1280 1200 0 1072517 0
Current children cumulated CPU time: 3600.41 s
Current children cumulated vsize: 4296148 KiB
Current children cumulated memory: 3942872 KiB
[startup+3613.6 s]
/proc/loadavg: 3.24 3.17 3.18 4/256 62617
/proc/meminfo: memFree=123787584/131250000 swapFree=33010684/33010684
[pid=62375] ppid=62372 vsize=4296148 memory=3942872 CPUtime=3601.21 cores=4,6
/proc/62375/stat : 62375 (Exact) R 62372 62375 62285 0 -1 4194304 585558 0 0 0 359846 275 0 0 20 0 1 0 59046784 4399255552 985718 18446744073709551615 4198400 9112445 140727684434432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 44716032 140727684438310 140727684438509 140727684438509 140727684444111 0
/proc/62375/statm: 1074037 985718 1280 1200 0 1072517 0
Current children cumulated CPU time: 3601.21 s
Current children cumulated vsize: 4296148 KiB
Current children cumulated memory: 3942872 KiB
[startup+3614 s]*
/proc/loadavg: 3.24 3.17 3.18 3/252 62651
/proc/meminfo: memFree=125200672/131250000 swapFree=33010684/33010684
[pid=62375] ppid=62372 vsize=4296148 memory=3942872 CPUtime=3601.62 cores=4,6
/proc/62375/stat : 62375 (Exact) R 62372 62375 62285 0 -1 4194304 585558 0 0 0 359887 275 0 0 20 0 1 0 59046784 4399255552 985718 18446744073709551615 4198400 9112445 140727684434432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 44716032 140727684438310 140727684438509 140727684438509 140727684444111 0
/proc/62375/statm: 1074037 985718 1280 1200 0 1072517 0
Current children cumulated CPU time: 3601.62 s
Current children cumulated vsize: 4296148 KiB
Current children cumulated memory: 3942872 KiB
[startup+3614.4 s]
/proc/loadavg: 3.24 3.17 3.18 3/252 62651
/proc/meminfo: memFree=125200672/131250000 swapFree=33010684/33010684
[pid=62375] ppid=62372 vsize=4296148 memory=3942872 CPUtime=3602.01 cores=4,6
/proc/62375/stat : 62375 (Exact) R 62372 62375 62285 0 -1 4194304 585558 0 0 0 359926 275 0 0 20 0 1 0 59046784 4399255552 985718 18446744073709551615 4198400 9112445 140727684434432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 44716032 140727684438310 140727684438509 140727684438509 140727684444111 0
/proc/62375/statm: 1074037 985718 1280 1200 0 1072517 0
Current children cumulated CPU time: 3602.01 s
Current children cumulated vsize: 4296148 KiB
Current children cumulated memory: 3942872 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3614.5
CPU time (s): 3602.11
CPU user time (s): 3599.26
CPU system time (s): 2.84893
CPU usage (%): 99.6574
Max. virtual memory (cumulated for all children) (KiB): 4296148
Max. memory (cumulated for all children) (KiB): 3942872
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.26
system time used= 2.84893
maximum resident set size= 4048020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 585558
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= 64
involuntary context switches= 3286
# summary of solver processes directly reported to runsolver:
# pid: 62375
# total CPU time (s): 3602.11
# total CPU user time (s): 3599.26
# total CPU system time (s): 2.84893
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.0542 second user time and 15.8413 second system time
The end
Begin job on nodeC028 at 2025-07-02 07:30:43
IDJOB=4502941
IDBENCH=155402
IDSOLVER=3319
FILE ID=nodeC028/4502941-1751434242
RUNJOBID= nodeC028-1751434242-62322
SLURM_JOB_ID= 9598386
Free space on /tmp= 432520 MiB
SOLVER NAME= Exact_no_dombreaking 2025-06-16
BENCH NAME= PB24/normalized-PB11/OPT-LIN/kullmann/normalized-mul_8_14_shg.opb
COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED --ls=360 --inp-dombreaklim=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4502941-1751434242/watcher-4502941-1751434242 -o /tmp/evaluation-result-4502941-1751434242/solver-4502941-1751434242 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751434242-62322 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=2032771564 --ls=360 --inp-dombreaklim=0 HOME/instance-4502941-1751434242.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c0e25a71d8726d42148f3e780c01ff44
RANDOM SEED=2032771564
nodeC028 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.041
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.16
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.226
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.16
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 : 3605.966
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.16
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.911
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.16
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 : 3598.888
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.16
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.011
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.16
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.089
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.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 129091276 kB
MemAvailable: 129705076 kB
Buffers: 3280 kB
Cached: 1419216 kB
SwapCached: 0 kB
Active: 417388 kB
Inactive: 1109664 kB
Active(anon): 122948 kB
Inactive(anon): 0 kB
Active(file): 294440 kB
Inactive(file): 1109664 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 136728 kB
Writeback: 0 kB
AnonPages: 108320 kB
Mapped: 112172 kB
Shmem: 18068 kB
KReclaimable: 97872 kB
Slab: 185220 kB
SReclaimable: 97872 kB
SUnreclaim: 87348 kB
KernelStack: 4120 kB
PageTables: 2548 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 457504 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150424 kB
VmallocChunk: 0 kB
Percpu: 3712 kB
HardwareCorrupted: 0 kB
AnonHugePages: 20480 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: 7962624 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432528 MiB
End job on nodeC028 at 2025-07-02 08:30:57