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: 63665 MiB (61107 MiB free)
memory of node 1: 64507 MiB (63796 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4518843-1751537393/watcher-4518843-1751537393 -o /tmp/evaluation-result-4518843-1751537393/solver-4518843-1751537393 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751528342-75432 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1950167583 --ls=360 --inp-dombreaklim=0 HOME/instance-4518843-1751537393.opb
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
solver pid=77570, runsolver pid=77567
Current StackSize limit: 8192 KiB
[startup+0.100055 s]*
/proc/loadavg: 4.08 4.08 4.09 5/264 77571
/proc/meminfo: memFree=127895064/131249996 swapFree=33010416/33010684
[pid=77570] ppid=77567 vsize=34640 memory=10836 CPUtime=0.09 cores=5,7
/proc/77570/stat : 77570 (Exact) R 77567 77570 75419 0 -1 4194304 2027 0 0 0 9 0 0 0 20 0 1 0 69417080 35471360 2709 18446744073709551615 4198400 9112445 140731043013168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47325184 140731043014950 140731043015149 140731043015149 140731043020751 0
/proc/77570/statm: 8660 2709 1056 1200 0 7140 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 34640 KiB
Current children cumulated memory: 10836 KiB
[startup+0.204717 s]*
/proc/loadavg: 4.08 4.08 4.09 5/264 77571
/proc/meminfo: memFree=127895064/131249996 swapFree=33010416/33010684
[pid=77570] ppid=77567 vsize=34640 memory=10836 CPUtime=0.2 cores=5,7
/proc/77570/stat : 77570 (Exact) R 77567 77570 75419 0 -1 4194304 2027 0 0 0 20 0 0 0 20 0 1 0 69417080 35471360 2709 18446744073709551615 4198400 9112445 140731043013168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47325184 140731043014950 140731043015149 140731043015149 140731043020751 0
/proc/77570/statm: 8660 2709 1056 1200 0 7140 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 34640 KiB
Current children cumulated memory: 10836 KiB
[startup+0.304474 s]*
/proc/loadavg: 4.08 4.08 4.09 5/264 77571
/proc/meminfo: memFree=127895064/131249996 swapFree=33010416/33010684
[pid=77570] ppid=77567 vsize=34640 memory=10836 CPUtime=0.3 cores=5,7
/proc/77570/stat : 77570 (Exact) R 77567 77570 75419 0 -1 4194304 2027 0 0 0 30 0 0 0 20 0 1 0 69417080 35471360 2709 18446744073709551615 4198400 9112445 140731043013168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47325184 140731043014950 140731043015149 140731043015149 140731043020751 0
/proc/77570/statm: 8660 2709 1056 1200 0 7140 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 34640 KiB
Current children cumulated memory: 10836 KiB
[startup+0.700094 s]
/proc/loadavg: 4.08 4.08 4.09 5/264 77571
/proc/meminfo: memFree=127895064/131249996 swapFree=33010416/33010684
[pid=77570] ppid=77567 vsize=34640 memory=10836 CPUtime=0.69 cores=5,7
/proc/77570/stat : 77570 (Exact) R 77567 77570 75419 0 -1 4194304 2027 0 0 0 69 0 0 0 20 0 1 0 69417080 35471360 2709 18446744073709551615 4198400 9112445 140731043013168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47325184 140731043014950 140731043015149 140731043015149 140731043020751 0
/proc/77570/statm: 8660 2709 1056 1200 0 7140 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 34640 KiB
Current children cumulated memory: 10836 KiB
[startup+1.50009 s]
/proc/loadavg: 4.08 4.08 4.09 5/264 77571
/proc/meminfo: memFree=127895064/131249996 swapFree=33010416/33010684
[pid=77570] ppid=77567 vsize=34640 memory=10836 CPUtime=1.49 cores=5,7
/proc/77570/stat : 77570 (Exact) R 77567 77570 75419 0 -1 4194304 2027 0 0 0 149 0 0 0 20 0 1 0 69417080 35471360 2709 18446744073709551615 4198400 9112445 140731043013168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47325184 140731043014950 140731043015149 140731043015149 140731043020751 0
/proc/77570/statm: 8660 2709 1056 1200 0 7140 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 34640 KiB
Current children cumulated memory: 10836 KiB
[startup+3.10471 s]
/proc/loadavg: 4.08 4.08 4.09 5/264 77571
/proc/meminfo: memFree=127895420/131249996 swapFree=33010416/33010684
[pid=77570] ppid=77567 vsize=34640 memory=10836 CPUtime=3.09 cores=5,7
/proc/77570/stat : 77570 (Exact) R 77567 77570 75419 0 -1 4194304 2027 0 0 0 309 0 0 0 20 0 1 0 69417080 35471360 2709 18446744073709551615 4198400 9112445 140731043013168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47325184 140731043014950 140731043015149 140731043015149 140731043020751 0
/proc/77570/statm: 8660 2709 1056 1200 0 7140 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 34640 KiB
Current children cumulated memory: 10836 KiB
[startup+6.3001 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 77571
/proc/meminfo: memFree=127875448/131249996 swapFree=33010416/33010684
[pid=77570] ppid=77567 vsize=34640 memory=10836 CPUtime=6.28 cores=5,7
/proc/77570/stat : 77570 (Exact) R 77567 77570 75419 0 -1 4194304 2027 0 0 0 628 0 0 0 20 0 1 0 69417080 35471360 2709 18446744073709551615 4198400 9112445 140731043013168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47325184 140731043014950 140731043015149 140731043015149 140731043020751 0
/proc/77570/statm: 8660 2709 1056 1200 0 7140 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 34640 KiB
Current children cumulated memory: 10836 KiB
[startup+12.7001 s]
/proc/loadavg: 4.15 4.10 4.09 5/265 77621
/proc/meminfo: memFree=127891360/131249996 swapFree=33010416/33010684
[pid=77570] ppid=77567 vsize=34640 memory=10836 CPUtime=12.66 cores=5,7
/proc/77570/stat : 77570 (Exact) R 77567 77570 75419 0 -1 4194304 2027 0 0 0 1266 0 0 0 20 0 1 0 69417080 35471360 2709 18446744073709551615 4198400 9112445 140731043013168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47325184 140731043014950 140731043015149 140731043015149 140731043020751 0
/proc/77570/statm: 8660 2709 1056 1200 0 7140 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 34640 KiB
Current children cumulated memory: 10836 KiB
[startup+25.5001 s]
/proc/loadavg: 4.11 4.09 4.09 5/267 77624
/proc/meminfo: memFree=127901232/131249996 swapFree=33010416/33010684
[pid=77570] ppid=77567 vsize=34640 memory=10836 CPUtime=25.43 cores=5,7
/proc/77570/stat : 77570 (Exact) R 77567 77570 75419 0 -1 4194304 2027 0 0 0 2543 0 0 0 20 0 1 0 69417080 35471360 2709 18446744073709551615 4198400 9112445 140731043013168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47325184 140731043014950 140731043015149 140731043015149 140731043020751 0
/proc/77570/statm: 8660 2709 1056 1200 0 7140 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 34640 KiB
Current children cumulated memory: 10836 KiB
[startup+51.1047 s]
/proc/loadavg: 4.07 4.08 4.09 5/267 77625
/proc/meminfo: memFree=127905568/131249996 swapFree=33010416/33010684
[pid=77570] ppid=77567 vsize=34640 memory=10836 CPUtime=50.96 cores=5,7
/proc/77570/stat : 77570 (Exact) R 77567 77570 75419 0 -1 4194304 2027 0 0 0 5096 0 0 0 20 0 1 0 69417080 35471360 2709 18446744073709551615 4198400 9112445 140731043013168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47325184 140731043014950 140731043015149 140731043015149 140731043020751 0
/proc/77570/statm: 8660 2709 1056 1200 0 7140 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 34640 KiB
Current children cumulated memory: 10836 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/267 77628
/proc/meminfo: memFree=127900352/131249996 swapFree=33010416/33010684
[pid=77570] ppid=77567 vsize=34640 memory=10836 CPUtime=102.01 cores=5,7
/proc/77570/stat : 77570 (Exact) R 77567 77570 75419 0 -1 4194304 2027 0 0 0 10201 0 0 0 20 0 1 0 69417080 35471360 2709 18446744073709551615 4198400 9112445 140731043013168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47325184 140731043014950 140731043015149 140731043015149 140731043020751 0
/proc/77570/statm: 8660 2709 1056 1200 0 7140 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 34640 KiB
Current children cumulated memory: 10836 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/265 77674
/proc/meminfo: memFree=129312284/131249996 swapFree=33010416/33010684
[pid=77570] ppid=77567 vsize=34640 memory=10836 CPUtime=161.84 cores=5,7
/proc/77570/stat : 77570 (Exact) R 77567 77570 75419 0 -1 4194304 2027 0 0 0 16184 0 0 0 20 0 1 0 69417080 35471360 2709 18446744073709551615 4198400 9112445 140731043013168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47325184 140731043014950 140731043015149 140731043015149 140731043020751 0
/proc/77570/statm: 8660 2709 1056 1200 0 7140 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 34640 KiB
Current children cumulated memory: 10836 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/265 77676
/proc/meminfo: memFree=129293176/131249996 swapFree=33010416/33010684
[pid=77570] ppid=77567 vsize=34640 memory=10836 CPUtime=221.71 cores=5,7
/proc/77570/stat : 77570 (Exact) R 77567 77570 75419 0 -1 4194304 2031 0 0 0 22171 0 0 0 20 0 1 0 69417080 35471360 2709 18446744073709551615 4198400 9112445 140731043013168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47325184 140731043014950 140731043015149 140731043015149 140731043020751 0
/proc/77570/statm: 8660 2709 1056 1200 0 7140 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 34640 KiB
Current children cumulated memory: 10836 KiB
[startup+282.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/266 77679
/proc/meminfo: memFree=129295864/131249996 swapFree=33010416/33010684
[pid=77570] ppid=77567 vsize=34640 memory=10836 CPUtime=281.59 cores=5,7
/proc/77570/stat : 77570 (Exact) R 77567 77570 75419 0 -1 4194304 2033 0 0 0 28159 0 0 0 20 0 1 0 69417080 35471360 2709 18446744073709551615 4198400 9112445 140731043013168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47325184 140731043014950 140731043015149 140731043015149 140731043020751 0
/proc/77570/statm: 8660 2709 1056 1200 0 7140 0
Current children cumulated CPU time: 281.59 s
Current children cumulated vsize: 34640 KiB
Current children cumulated memory: 10836 KiB
[startup+342.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/265 77681
/proc/meminfo: memFree=129295724/131249996 swapFree=33010416/33010684
[pid=77570] ppid=77567 vsize=34640 memory=10836 CPUtime=341.46 cores=5,7
/proc/77570/stat : 77570 (Exact) R 77567 77570 75419 0 -1 4194304 2035 0 0 0 34146 0 0 0 20 0 1 0 69417080 35471360 2709 18446744073709551615 4198400 9112445 140731043013168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47325184 140731043014950 140731043015149 140731043015149 140731043020751 0
/proc/77570/statm: 8660 2709 1056 1200 0 7140 0
Current children cumulated CPU time: 341.46 s
Current children cumulated vsize: 34640 KiB
Current children cumulated memory: 10836 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/263 77728
/proc/meminfo: memFree=128788000/131249996 swapFree=33010416/33010684
[pid=77570] ppid=77567 vsize=58044 memory=51752 CPUtime=401.32 cores=5,7
/proc/77570/stat : 77570 (Exact) R 77567 77570 75419 0 -1 4194304 8190 0 0 0 40111 21 0 0 20 0 1 0 69417080 59437056 12938 18446744073709551615 4198400 9112445 140731043013168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47325184 140731043014950 140731043015149 140731043015149 140731043020751 0
/proc/77570/statm: 14511 12938 1312 1200 0 12991 0
Current children cumulated CPU time: 401.32 s
Current children cumulated vsize: 58044 KiB
Current children cumulated memory: 51752 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/263 77730
/proc/meminfo: memFree=128669876/131249996 swapFree=33010416/33010684
[pid=77570] ppid=77567 vsize=80908 memory=65636 CPUtime=461.19 cores=5,7
/proc/77570/stat : 77570 (Exact) R 77567 77570 75419 0 -1 4194304 10880 0 0 0 46072 47 0 0 20 0 1 0 69417080 82849792 16409 18446744073709551615 4198400 9112445 140731043013168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47325184 140731043014950 140731043015149 140731043015149 140731043020751 0
/proc/77570/statm: 20227 16409 1312 1200 0 18707 0
Current children cumulated CPU time: 461.19 s
################
# More data... #
################
Current children cumulated memory: 176420 KiB
[startup+2922.3 s]
/proc/loadavg: 3.09 3.11 3.19 4/256 77873
/proc/meminfo: memFree=128766672/131249996 swapFree=33010416/33010684
[pid=77570] ppid=77567 vsize=197020 memory=179236 CPUtime=2915.2 cores=5,7
/proc/77570/stat : 77570 (Exact) R 77567 77570 75419 0 -1 4194304 33553 0 0 0 290671 849 0 0 20 0 1 0 69417080 201748480 44809 18446744073709551615 4198400 9112445 140731043013168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47325184 140731043014950 140731043015149 140731043015149 140731043020751 0
/proc/77570/statm: 49255 44809 1312 1200 0 47735 0
Current children cumulated CPU time: 2915.2 s
Current children cumulated vsize: 197020 KiB
Current children cumulated memory: 179236 KiB
[startup+2982.3 s]
/proc/loadavg: 3.14 3.12 3.18 4/257 77876
/proc/meminfo: memFree=128759396/131249996 swapFree=33010416/33010684
[pid=77570] ppid=77567 vsize=203140 memory=184484 CPUtime=2975.03 cores=5,7
/proc/77570/stat : 77570 (Exact) R 77567 77570 75419 0 -1 4194304 34874 0 0 0 296640 863 0 0 20 0 1 0 69417080 208015360 46121 18446744073709551615 4198400 9112445 140731043013168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47325184 140731043014950 140731043015149 140731043015149 140731043020751 0
/proc/77570/statm: 50785 46121 1312 1200 0 49265 0
Current children cumulated CPU time: 2975.03 s
Current children cumulated vsize: 203140 KiB
Current children cumulated memory: 184484 KiB
[startup+3042.3 s]
/proc/loadavg: 3.11 3.11 3.18 4/257 77880
/proc/meminfo: memFree=128756132/131249996 swapFree=33010416/33010684
[pid=77570] ppid=77567 vsize=203140 memory=184484 CPUtime=3034.85 cores=5,7
/proc/77570/stat : 77570 (Exact) R 77567 77570 75419 0 -1 4194304 34874 0 0 0 302604 881 0 0 20 0 1 0 69417080 208015360 46121 18446744073709551615 4198400 9112445 140731043013168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47325184 140731043014950 140731043015149 140731043015149 140731043020751 0
/proc/77570/statm: 50785 46121 1312 1200 0 49265 0
Current children cumulated CPU time: 3034.85 s
Current children cumulated vsize: 203140 KiB
Current children cumulated memory: 184484 KiB
[startup+3102.3 s]
/proc/loadavg: 3.08 3.10 3.17 4/257 77897
/proc/meminfo: memFree=128748784/131249996 swapFree=33010416/33010684
[pid=77570] ppid=77567 vsize=203140 memory=184612 CPUtime=3094.69 cores=5,7
/proc/77570/stat : 77570 (Exact) R 77567 77570 75419 0 -1 4194304 34886 0 0 0 308574 895 0 0 20 0 1 0 69417080 208015360 46153 18446744073709551615 4198400 9112445 140731043013168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47325184 140731043014950 140731043015149 140731043015149 140731043020751 0
/proc/77570/statm: 50785 46153 1312 1200 0 49265 0
Current children cumulated CPU time: 3094.69 s
Current children cumulated vsize: 203140 KiB
Current children cumulated memory: 184612 KiB
[startup+3162.3 s]
/proc/loadavg: 3.09 3.10 3.16 4/257 77899
/proc/meminfo: memFree=128717872/131249996 swapFree=33010416/33010684
[pid=77570] ppid=77567 vsize=203600 memory=184996 CPUtime=3154.52 cores=5,7
/proc/77570/stat : 77570 (Exact) R 77567 77570 75419 0 -1 4194304 35002 0 0 0 314538 914 0 0 20 0 1 0 69417080 208486400 46249 18446744073709551615 4198400 9112445 140731043013168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47325184 140731043014950 140731043015149 140731043015149 140731043020751 0
/proc/77570/statm: 50900 46249 1312 1200 0 49380 0
Current children cumulated CPU time: 3154.52 s
Current children cumulated vsize: 203600 KiB
Current children cumulated memory: 184996 KiB
[startup+3222.3 s]
/proc/loadavg: 3.08 3.09 3.16 4/257 77901
/proc/meminfo: memFree=128682964/131249996 swapFree=33010416/33010684
[pid=77570] ppid=77567 vsize=204348 memory=186788 CPUtime=3214.38 cores=5,7
/proc/77570/stat : 77570 (Exact) R 77567 77570 75419 0 -1 4194304 35216 0 0 0 320513 925 0 0 20 0 1 0 69417080 209252352 46697 18446744073709551615 4198400 9112445 140731043013168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47325184 140731043014950 140731043015149 140731043015149 140731043020751 0
/proc/77570/statm: 51087 46697 1312 1200 0 49567 0
Current children cumulated CPU time: 3214.38 s
Current children cumulated vsize: 204348 KiB
Current children cumulated memory: 186788 KiB
[startup+3282.3 s]
/proc/loadavg: 3.15 3.10 3.16 4/257 77904
/proc/meminfo: memFree=128684124/131249996 swapFree=33010416/33010684
[pid=77570] ppid=77567 vsize=206452 memory=188836 CPUtime=3274.23 cores=5,7
/proc/77570/stat : 77570 (Exact) R 77567 77570 75419 0 -1 4194304 35724 0 0 0 326483 940 0 0 20 0 1 0 69417080 211406848 47209 18446744073709551615 4198400 9112445 140731043013168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47325184 140731043014950 140731043015149 140731043015149 140731043020751 0
/proc/77570/statm: 51613 47209 1312 1200 0 50093 0
Current children cumulated CPU time: 3274.23 s
Current children cumulated vsize: 206452 KiB
Current children cumulated memory: 188836 KiB
[startup+3342.3 s]
/proc/loadavg: 3.09 3.10 3.15 4/257 77906
/proc/meminfo: memFree=128680640/131249996 swapFree=33010416/33010684
[pid=77570] ppid=77567 vsize=206452 memory=188836 CPUtime=3334.09 cores=5,7
/proc/77570/stat : 77570 (Exact) R 77567 77570 75419 0 -1 4194304 35724 0 0 0 332458 951 0 0 20 0 1 0 69417080 211406848 47209 18446744073709551615 4198400 9112445 140731043013168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47325184 140731043014950 140731043015149 140731043015149 140731043020751 0
/proc/77570/statm: 51613 47209 1312 1200 0 50093 0
Current children cumulated CPU time: 3334.09 s
Current children cumulated vsize: 206452 KiB
Current children cumulated memory: 188836 KiB
[startup+3402.3 s]
/proc/loadavg: 3.07 3.09 3.15 4/257 77908
/proc/meminfo: memFree=128622520/131249996 swapFree=33010416/33010684
[pid=77570] ppid=77567 vsize=208284 memory=190628 CPUtime=3393.94 cores=5,7
/proc/77570/stat : 77570 (Exact) R 77567 77570 75419 0 -1 4194304 36183 0 0 0 338433 961 0 0 20 0 1 0 69417080 213282816 47657 18446744073709551615 4198400 9112445 140731043013168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47325184 140731043014950 140731043015149 140731043015149 140731043020751 0
/proc/77570/statm: 52071 47657 1312 1200 0 50551 0
Current children cumulated CPU time: 3393.94 s
Current children cumulated vsize: 208284 KiB
Current children cumulated memory: 190628 KiB
[startup+3462.3 s]
/proc/loadavg: 3.12 3.10 3.15 4/258 77911
/proc/meminfo: memFree=128608132/131249996 swapFree=33010416/33010684
[pid=77570] ppid=77567 vsize=209484 memory=198096 CPUtime=3453.77 cores=5,7
/proc/77570/stat : 77570 (Exact) R 77567 77570 75419 0 -1 4194304 36516 0 0 0 344401 976 0 0 20 0 1 0 69417080 214511616 49524 18446744073709551615 4198400 9112445 140731043013168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47325184 140731043014950 140731043015149 140731043015149 140731043020751 0
/proc/77570/statm: 52371 49524 1312 1200 0 50851 0
Current children cumulated CPU time: 3453.77 s
Current children cumulated vsize: 209484 KiB
Current children cumulated memory: 198096 KiB
[startup+3522.3 s]
/proc/loadavg: 3.10 3.09 3.14 4/259 77914
/proc/meminfo: memFree=128617248/131249996 swapFree=33010416/33010684
[pid=77570] ppid=77567 vsize=209800 memory=198352 CPUtime=3513.61 cores=5,7
/proc/77570/stat : 77570 (Exact) R 77567 77570 75419 0 -1 4194304 36585 0 0 0 350359 1002 0 0 20 0 1 0 69417080 214835200 49588 18446744073709551615 4198400 9112445 140731043013168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47325184 140731043014950 140731043015149 140731043015149 140731043020751 0
/proc/77570/statm: 52450 49588 1312 1200 0 50930 0
Current children cumulated CPU time: 3513.61 s
Current children cumulated vsize: 209800 KiB
Current children cumulated memory: 198352 KiB
[startup+3582.3 s]
/proc/loadavg: 3.11 3.09 3.14 4/259 77916
/proc/meminfo: memFree=128623860/131249996 swapFree=33010416/33010684
[pid=77570] ppid=77567 vsize=209800 memory=198352 CPUtime=3573.43 cores=5,7
/proc/77570/stat : 77570 (Exact) R 77567 77570 75419 0 -1 4194304 36585 0 0 0 356320 1023 0 0 20 0 1 0 69417080 214835200 49588 18446744073709551615 4198400 9112445 140731043013168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47325184 140731043014950 140731043015149 140731043015149 140731043020751 0
/proc/77570/statm: 52450 49588 1312 1200 0 50930 0
Current children cumulated CPU time: 3573.43 s
Current children cumulated vsize: 209800 KiB
Current children cumulated memory: 198352 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609 s]*
/proc/loadavg: 3.06 3.08 3.13 4/259 77916
/proc/meminfo: memFree=128624884/131249996 swapFree=33010416/33010684
[pid=77570] ppid=77567 vsize=209800 memory=198352 CPUtime=3600.06 cores=5,7
/proc/77570/stat : 77570 (Exact) R 77567 77570 75419 0 -1 4194304 36585 0 0 0 358976 1030 0 0 20 0 1 0 69417080 214835200 49588 18446744073709551615 4198400 9112445 140731043013168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47325184 140731043014950 140731043015149 140731043015149 140731043020751 0
/proc/77570/statm: 52450 49588 1312 1200 0 50930 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 209800 KiB
Current children cumulated memory: 198352 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.21 s]
# the end of solver process 77570 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3589.97 s, system=10.3128 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.2 s]
/proc/loadavg: 3.06 3.08 3.13 4/259 77916
/proc/meminfo: memFree=128624884/131249996 swapFree=33010416/33010684
[pid=77570] ppid=77567 vsize=209800 memory=198352 CPUtime=3600.26 cores=5,7
/proc/77570/stat : 77570 (Exact) R 77567 77570 75419 0 -1 4194304 36585 0 0 0 358995 1031 0 0 20 0 1 0 69417080 214835200 49588 18446744073709551615 4198400 9112445 140731043013168 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 47325184 140731043014950 140731043015149 140731043015149 140731043020751 0
/proc/77570/statm: 52450 49588 1312 1200 0 50930 0
Current children cumulated CPU time: 3600.26 s
Current children cumulated vsize: 209800 KiB
Current children cumulated memory: 198352 KiB
Child status: 10
Real time (s): 3609.21
CPU time (s): 3600.28
CPU user time (s): 3589.97
CPU system time (s): 10.3128
CPU usage (%): 99.7524
Max. virtual memory (cumulated for all children) (KiB): 209800
Max. memory (cumulated for all children) (KiB): 198352
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.97
system time used= 10.3128
maximum resident set size= 198352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36586
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= 55
involuntary context switches= 2146
# summary of solver processes directly reported to runsolver:
# pid: 77570
# total CPU time (s): 3600.28
# total CPU user time (s): 3589.97
# total CPU system time (s): 10.3128
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.74527 second user time and 15.1166 second system time
The end
Begin job on nodeC022 at 2025-07-03 12:09:53
IDJOB=4518843
IDBENCH=177132
IDSOLVER=3319
FILE ID=nodeC022/4518843-1751537393
RUNJOBID= nodeC022-1751528342-75432
SLURM_JOB_ID= 9598665
Free space on /tmp= 432368 MiB
SOLVER NAME= Exact_no_dombreaking 2025-06-16
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_19.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-4518843-1751537393/watcher-4518843-1751537393 -o /tmp/evaluation-result-4518843-1751537393/solver-4518843-1751537393 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751528342-75432 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1950167583 --ls=360 --inp-dombreaklim=0 HOME/instance-4518843-1751537393.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d7b5082e0c8210cd1db8ac24c14853d2
RANDOM SEED=1950167583
nodeC022 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.676
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.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.667
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.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.860
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.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3598.531
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.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.794
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.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.709
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.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.336
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.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.100
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.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 127901236 kB
MemAvailable: 128224496 kB
Buffers: 2128 kB
Cached: 1107032 kB
SwapCached: 32 kB
Active: 2094096 kB
Inactive: 564680 kB
Active(anon): 1563468 kB
Inactive(anon): 4176 kB
Active(file): 530628 kB
Inactive(file): 560504 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7136 kB
Writeback: 4 kB
AnonPages: 1552840 kB
Mapped: 117120 kB
Shmem: 18028 kB
KReclaimable: 142336 kB
Slab: 232032 kB
SReclaimable: 142336 kB
SUnreclaim: 89696 kB
KernelStack: 4284 kB
PageTables: 6152 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 2088392 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150504 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1458176 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: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432368 MiB
End job on nodeC022 at 2025-07-03 13:10:03