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 (62629 MiB free)
memory of node 1: 64507 MiB (60278 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4503805-1751467946/watcher-4503805-1751467946 -o /tmp/evaluation-result-4503805-1751467946/solver-4503805-1751467946 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751460709-68573 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4503805-1751467946.opb -mem-lim=31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=69899, runsolver pid=69895
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 4.22 4.14 4.10 3/257 69904
/proc/meminfo: memFree=125832976/131249996 swapFree=33010684/33010684
[pid=69899] ppid=69895 vsize=18480 memory=17332 CPUtime=0.09 cores=0,2
/proc/69899/stat : 69899 (uwrmaxsat) R 69895 69899 68560 0 -1 4194304 4112 0 0 0 8 1 0 0 20 0 1 0 62472336 18923520 4333 18446744073709551615 4198400 6176925 140720967754816 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 29855744 140720967756138 140720967756265 140720967756265 140720967761867 0
/proc/69899/statm: 4620 4333 480 484 0 4031 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 18480 KiB
Current children cumulated memory: 17332 KiB
[startup+0.205424 s]*
/proc/loadavg: 4.22 4.14 4.10 3/255 69912
/proc/meminfo: memFree=125835064/131249996 swapFree=33010684/33010684
[pid=69899] ppid=69895 vsize=49636 memory=44972 CPUtime=0.2 cores=0,2
/proc/69899/stat : 69899 (uwrmaxsat) R 69895 69899 68560 0 -1 4194304 9916 0 0 0 18 2 0 0 20 0 1 0 62472336 50827264 11243 18446744073709551615 4198400 6176925 140720967754816 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 29855744 140720967756138 140720967756265 140720967756265 140720967761867 0
/proc/69899/statm: 12409 11243 480 484 0 11820 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 49636 KiB
Current children cumulated memory: 44972 KiB
[startup+0.305478 s]*
/proc/loadavg: 4.22 4.14 4.10 4/258 69918
/proc/meminfo: memFree=125829828/131249996 swapFree=33010684/33010684
[pid=69899] ppid=69895 vsize=64896 memory=57812 CPUtime=0.3 cores=0,2
/proc/69899/stat : 69899 (uwrmaxsat) R 69895 69899 68560 0 -1 4194304 13802 0 0 0 27 3 0 0 20 0 1 0 62472336 66453504 14453 18446744073709551615 4198400 6176925 140720967754816 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 29855744 140720967756138 140720967756265 140720967756265 140720967761867 0
/proc/69899/statm: 16224 14453 480 484 0 15635 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 64896 KiB
Current children cumulated memory: 57812 KiB
[startup+0.700168 s]
/proc/loadavg: 4.22 4.14 4.10 3/255 69931
/proc/meminfo: memFree=125843948/131249996 swapFree=33010684/33010684
[pid=69899] ppid=69895 vsize=72576 memory=64596 CPUtime=0.68 cores=0,2
/proc/69899/stat : 69899 (uwrmaxsat) R 69895 69899 68560 0 -1 4194304 15437 0 0 0 65 3 0 0 20 0 1 0 62472336 74317824 16149 18446744073709551615 4198400 6176925 140720967754816 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 29855744 140720967756138 140720967756265 140720967756265 140720967761867 0
/proc/69899/statm: 18144 16149 544 484 0 17555 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 72576 KiB
Current children cumulated memory: 64596 KiB
[startup+1.50015 s]
/proc/loadavg: 4.22 4.14 4.10 5/261 69967
/proc/meminfo: memFree=125817188/131249996 swapFree=33010684/33010684
[pid=69899] ppid=69895 vsize=93068 memory=85076 CPUtime=1.48 cores=0,2
/proc/69899/stat : 69899 (uwrmaxsat) R 69895 69899 68560 0 -1 4194304 16480 0 0 0 145 3 0 0 20 0 1 0 62472336 95301632 21269 18446744073709551615 4198400 6176925 140720967754816 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 29855744 140720967756138 140720967756265 140720967756265 140720967761867 0
/proc/69899/statm: 23267 21269 544 484 0 22678 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 93068 KiB
Current children cumulated memory: 85076 KiB
[startup+3.10529 s]
/proc/loadavg: 4.28 4.15 4.10 5/263 69986
/proc/meminfo: memFree=125601600/131249996 swapFree=33010684/33010684
[pid=69899] ppid=69895 vsize=89932 memory=83912 CPUtime=3.08 cores=0,2
/proc/69899/stat : 69899 (uwrmaxsat) R 69895 69899 68560 0 -1 4194304 18906 0 0 0 304 4 0 0 20 0 1 0 62472336 92090368 20978 18446744073709551615 4198400 6176925 140720967754816 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 29855744 140720967756138 140720967756265 140720967756265 140720967761867 0
/proc/69899/statm: 22483 20978 544 484 0 21894 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 89932 KiB
Current children cumulated memory: 83912 KiB
[startup+6.30016 s]
/proc/loadavg: 4.28 4.15 4.10 5/263 69986
/proc/meminfo: memFree=125531040/131249996 swapFree=33010684/33010684
[pid=69899] ppid=69895 vsize=98076 memory=92060 CPUtime=6.27 cores=0,2
/proc/69899/stat : 69899 (uwrmaxsat) R 69895 69899 68560 0 -1 4194304 19934 0 0 0 622 5 0 0 20 0 1 0 62472336 100429824 23015 18446744073709551615 4198400 6176925 140720967754816 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 29855744 140720967756138 140720967756265 140720967756265 140720967761867 0
/proc/69899/statm: 24519 23015 544 484 0 23930 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 98076 KiB
Current children cumulated memory: 92060 KiB
[startup+12.7002 s]
/proc/loadavg: 4.24 4.15 4.10 5/263 69987
/proc/meminfo: memFree=125558700/131249996 swapFree=33010684/33010684
[pid=69899] ppid=69895 vsize=99732 memory=93852 CPUtime=12.65 cores=0,2
/proc/69899/stat : 69899 (uwrmaxsat) R 69895 69899 68560 0 -1 4194304 20365 0 0 0 1260 5 0 0 20 0 1 0 62472336 102125568 23463 18446744073709551615 4198400 6176925 140720967754816 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 29855744 140720967756138 140720967756265 140720967756265 140720967761867 0
/proc/69899/statm: 24933 23463 544 484 0 24344 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 99732 KiB
Current children cumulated memory: 93852 KiB
[startup+25.5002 s]
/proc/loadavg: 4.20 4.14 4.10 5/263 69987
/proc/meminfo: memFree=125527164/131249996 swapFree=33010684/33010684
[pid=69899] ppid=69895 vsize=104772 memory=99012 CPUtime=25.41 cores=0,2
/proc/69899/stat : 69899 (uwrmaxsat) R 69895 69899 68560 0 -1 4194304 20661 0 0 0 2536 5 0 0 20 0 1 0 62472336 107286528 24753 18446744073709551615 4198400 6176925 140720967754816 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 29855744 140720967756138 140720967756265 140720967756265 140720967761867 0
/proc/69899/statm: 26193 24753 544 484 0 25604 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 104772 KiB
Current children cumulated memory: 99012 KiB
[startup+51.1054 s]
/proc/loadavg: 4.21 4.15 4.10 5/263 69987
/proc/meminfo: memFree=125481932/131249996 swapFree=33010684/33010684
[pid=69899] ppid=69895 vsize=128440 memory=122900 CPUtime=50.94 cores=0,2
/proc/69899/stat : 69899 (uwrmaxsat) R 69895 69899 68560 0 -1 4194304 22522 0 0 0 5088 6 0 0 20 0 1 0 62472336 131522560 30725 18446744073709551615 4198400 6176925 140720967754816 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 29855744 140720967756138 140720967756265 140720967756265 140720967761867 0
/proc/69899/statm: 32110 30725 544 484 0 31521 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 128440 KiB
Current children cumulated memory: 122900 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/265 69993
/proc/meminfo: memFree=125350204/131249996 swapFree=33010684/33010684
[pid=69899] ppid=69895 vsize=157884 memory=152472 CPUtime=101.96 cores=0,2
/proc/69899/stat : 69899 (uwrmaxsat) R 69895 69899 68560 0 -1 4194304 29731 0 0 0 10185 11 0 0 20 0 1 0 62472336 161673216 38118 18446744073709551615 4198400 6176925 140720967754816 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 29855744 140720967756138 140720967756265 140720967756265 140720967761867 0
/proc/69899/statm: 39471 38118 544 484 0 38882 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 157884 KiB
Current children cumulated memory: 152472 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/265 69995
/proc/meminfo: memFree=125218048/131249996 swapFree=33010684/33010684
[pid=69899] ppid=69895 vsize=162236 memory=156960 CPUtime=161.75 cores=0,2
/proc/69899/stat : 69899 (uwrmaxsat) R 69895 69899 68560 0 -1 4194304 33701 0 0 0 16160 15 0 0 20 0 1 0 62472336 166129664 39240 18446744073709551615 4198400 6176925 140720967754816 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 29855744 140720967756138 140720967756265 140720967756265 140720967761867 0
/proc/69899/statm: 40559 39240 544 484 0 39970 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 162236 KiB
Current children cumulated memory: 156960 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/265 69997
/proc/meminfo: memFree=125169016/131249996 swapFree=33010684/33010684
[pid=69899] ppid=69895 vsize=174100 memory=165316 CPUtime=221.59 cores=0,2
/proc/69899/stat : 69899 (uwrmaxsat) R 69895 69899 68560 0 -1 4194304 41222 0 0 0 22135 24 0 0 20 0 1 0 62472336 178278400 41329 18446744073709551615 4198400 6176925 140720967754816 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 29855744 140720967756138 140720967756265 140720967756265 140720967761867 0
/proc/69899/statm: 43525 41329 544 484 0 42936 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 174100 KiB
Current children cumulated memory: 165316 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/265 69999
/proc/meminfo: memFree=125041144/131249996 swapFree=33010684/33010684
[pid=69899] ppid=69895 vsize=205208 memory=194552 CPUtime=281.43 cores=0,2
/proc/69899/stat : 69899 (uwrmaxsat) R 69895 69899 68560 0 -1 4194304 47402 0 0 0 28110 33 0 0 20 0 1 0 62472336 210132992 48638 18446744073709551615 4198400 6176925 140720967754816 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 29855744 140720967756138 140720967756265 140720967756265 140720967761867 0
/proc/69899/statm: 51302 48638 544 484 0 50713 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 205208 KiB
Current children cumulated memory: 194552 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/264 70001
/proc/meminfo: memFree=125058176/131249996 swapFree=33010684/33010684
[pid=69899] ppid=69895 vsize=207800 memory=199192 CPUtime=341.26 cores=0,2
/proc/69899/stat : 69899 (uwrmaxsat) R 69895 69899 68560 0 -1 4194304 52461 0 0 0 34087 39 0 0 20 0 1 0 62472336 212787200 49798 18446744073709551615 4198400 6176925 140720967754816 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 29855744 140720967756138 140720967756265 140720967756265 140720967761867 0
/proc/69899/statm: 51950 49798 544 484 0 51361 0
Current children cumulated CPU time: 341.26 s
Current children cumulated vsize: 207800 KiB
Current children cumulated memory: 199192 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/263 70004
/proc/meminfo: memFree=125045612/131249996 swapFree=33010684/33010684
[pid=69899] ppid=69895 vsize=218324 memory=213636 CPUtime=401.09 cores=0,2
/proc/69899/stat : 69899 (uwrmaxsat) R 69895 69899 68560 0 -1 4194304 56164 0 0 0 40064 45 0 0 20 0 1 0 62472336 223563776 53409 18446744073709551615 4198400 6176925 140720967754816 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 29855744 140720967756138 140720967756265 140720967756265 140720967761867 0
/proc/69899/statm: 54581 53409 544 484 0 53992 0
Current children cumulated CPU time: 401.09 s
Current children cumulated vsize: 218324 KiB
Current children cumulated memory: 213636 KiB
[startup+462.3 s]
/proc/loadavg: 4.32 4.16 4.11 5/263 70006
/proc/meminfo: memFree=124989624/131249996 swapFree=33010684/33010684
[pid=69899] ppid=69895 vsize=242120 memory=232288 CPUtime=460.93 cores=0,2
/proc/69899/stat : 69899 (uwrmaxsat) R 69895 69899 68560 0 -1 4194304 60559 0 0 0 46040 53 0 0 20 0 1 0 62472336 247930880 58072 18446744073709551615 4198400 6176925 140720967754816 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 29855744 140720967756138 140720967756265 140720967756265 140720967761867 0
/proc/69899/statm: 60530 58072 544 484 0 59941 0
################
# More data... #
################
Current children cumulated memory: 366184 KiB
[startup+2862.3 s]
/proc/loadavg: 4.33 4.23 4.14 5/263 70175
/proc/meminfo: memFree=123329700/131249996 swapFree=33010684/33010684
[pid=69899] ppid=69895 vsize=381488 memory=372672 CPUtime=2854.28 cores=0,2
/proc/69899/stat : 69899 (uwrmaxsat) R 69895 69899 68560 0 -1 4194304 135131 0 0 0 285159 269 0 0 20 0 1 0 62472336 390643712 93168 18446744073709551615 4198400 6176925 140720967754816 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 29855744 140720967756138 140720967756265 140720967756265 140720967761867 0
/proc/69899/statm: 95372 93168 544 484 0 94783 0
Current children cumulated CPU time: 2854.28 s
Current children cumulated vsize: 381488 KiB
Current children cumulated memory: 372672 KiB
[startup+2922.3 s]
/proc/loadavg: 4.17 4.20 4.14 5/263 70177
/proc/meminfo: memFree=123269284/131249996 swapFree=33010684/33010684
[pid=69899] ppid=69895 vsize=355720 memory=346904 CPUtime=2914.11 cores=0,2
/proc/69899/stat : 69899 (uwrmaxsat) R 69895 69899 68560 0 -1 4194304 136308 0 0 0 291138 273 0 0 20 0 1 0 62472336 364257280 86726 18446744073709551615 4198400 6176925 140720967754816 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 29855744 140720967756138 140720967756265 140720967756265 140720967761867 0
/proc/69899/statm: 88930 86726 544 484 0 88341 0
Current children cumulated CPU time: 2914.11 s
Current children cumulated vsize: 355720 KiB
Current children cumulated memory: 346904 KiB
[startup+2982.3 s]
/proc/loadavg: 4.18 4.19 4.14 5/263 70179
/proc/meminfo: memFree=122474896/131249996 swapFree=33010684/33010684
[pid=69899] ppid=69895 vsize=1306476 memory=1196716 CPUtime=2973.94 cores=0,2
/proc/69899/stat : 69899 (uwrmaxsat) R 69895 69899 68560 0 -1 4194304 199188 0 0 0 297073 321 0 0 20 0 1 0 62472336 1337831424 299179 18446744073709551615 4198400 6176925 140720967754816 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 29855744 140720967756138 140720967756265 140720967756265 140720967761867 0
/proc/69899/statm: 326619 299179 544 484 0 326030 0
Current children cumulated CPU time: 2973.94 s
Current children cumulated vsize: 1306476 KiB
Current children cumulated memory: 1196716 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.17 4.13 5/264 70186
/proc/meminfo: memFree=122461744/131249996 swapFree=33010684/33010684
[pid=69899] ppid=69895 vsize=1163708 memory=1083084 CPUtime=3033.76 cores=0,2
/proc/69899/stat : 69899 (uwrmaxsat) R 69895 69899 68560 0 -1 4194304 206769 0 0 0 303041 335 0 0 20 0 1 0 62472336 1191636992 270771 18446744073709551615 4198400 6176925 140720967754816 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 29855744 140720967756138 140720967756265 140720967756265 140720967761867 0
/proc/69899/statm: 290927 270771 544 484 0 290338 0
Current children cumulated CPU time: 3033.76 s
Current children cumulated vsize: 1163708 KiB
Current children cumulated memory: 1083084 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.15 4.13 5/264 70188
/proc/meminfo: memFree=122477348/131249996 swapFree=33010684/33010684
[pid=69899] ppid=69895 vsize=1131916 memory=1051296 CPUtime=3093.57 cores=0,2
/proc/69899/stat : 69899 (uwrmaxsat) R 69895 69899 68560 0 -1 4194304 207661 0 0 0 309018 339 0 0 20 0 1 0 62472336 1159081984 262824 18446744073709551615 4198400 6176925 140720967754816 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 29855744 140720967756138 140720967756265 140720967756265 140720967761867 0
/proc/69899/statm: 282979 262824 544 484 0 282390 0
Current children cumulated CPU time: 3093.57 s
Current children cumulated vsize: 1131916 KiB
Current children cumulated memory: 1051296 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.15 4.13 5/264 70192
/proc/meminfo: memFree=122449376/131249996 swapFree=33010684/33010684
[pid=69899] ppid=69895 vsize=1131916 memory=1051296 CPUtime=3153.37 cores=0,2
/proc/69899/stat : 69899 (uwrmaxsat) R 69895 69899 68560 0 -1 4194304 207909 0 0 0 314998 339 0 0 20 0 1 0 62472336 1159081984 262824 18446744073709551615 4198400 6176925 140720967754816 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 29855744 140720967756138 140720967756265 140720967756265 140720967761867 0
/proc/69899/statm: 282979 262824 544 484 0 282390 0
Current children cumulated CPU time: 3153.37 s
Current children cumulated vsize: 1131916 KiB
Current children cumulated memory: 1051296 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.14 4.12 5/264 70194
/proc/meminfo: memFree=122581300/131249996 swapFree=33010684/33010684
[pid=69899] ppid=69895 vsize=1131916 memory=1053216 CPUtime=3213.2 cores=0,2
/proc/69899/stat : 69899 (uwrmaxsat) R 69895 69899 68560 0 -1 4194304 208115 0 0 0 320981 339 0 0 20 0 1 0 62472336 1159081984 263304 18446744073709551615 4198400 6176925 140720967754816 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 29855744 140720967756138 140720967756265 140720967756265 140720967761867 0
/proc/69899/statm: 282979 263304 544 484 0 282390 0
Current children cumulated CPU time: 3213.2 s
Current children cumulated vsize: 1131916 KiB
Current children cumulated memory: 1053216 KiB
[startup+3282.3 s]
/proc/loadavg: 4.22 4.16 4.12 5/264 70196
/proc/meminfo: memFree=122518988/131249996 swapFree=33010684/33010684
[pid=69899] ppid=69895 vsize=1165908 memory=1070532 CPUtime=3273.03 cores=0,2
/proc/69899/stat : 69899 (uwrmaxsat) R 69895 69899 68560 0 -1 4194304 208645 0 0 0 326963 340 0 0 20 0 1 0 62472336 1193889792 267633 18446744073709551615 4198400 6176925 140720967754816 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 29855744 140720967756138 140720967756265 140720967756265 140720967761867 0
/proc/69899/statm: 291477 267633 544 484 0 290888 0
Current children cumulated CPU time: 3273.03 s
Current children cumulated vsize: 1165908 KiB
Current children cumulated memory: 1070532 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.14 4.12 5/264 70198
/proc/meminfo: memFree=122537552/131249996 swapFree=33010684/33010684
[pid=69899] ppid=69895 vsize=1165908 memory=1070532 CPUtime=3332.87 cores=0,2
/proc/69899/stat : 69899 (uwrmaxsat) R 69895 69899 68560 0 -1 4194304 208973 0 0 0 332946 341 0 0 20 0 1 0 62472336 1193889792 267633 18446744073709551615 4198400 6176925 140720967754816 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 29855744 140720967756138 140720967756265 140720967756265 140720967761867 0
/proc/69899/statm: 291477 267633 544 484 0 290888 0
Current children cumulated CPU time: 3332.87 s
Current children cumulated vsize: 1165908 KiB
Current children cumulated memory: 1070532 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.13 4.11 5/264 70200
/proc/meminfo: memFree=122464608/131249996 swapFree=33010684/33010684
[pid=69899] ppid=69895 vsize=1165908 memory=1072580 CPUtime=3392.71 cores=0,2
/proc/69899/stat : 69899 (uwrmaxsat) R 69895 69899 68560 0 -1 4194304 209189 0 0 0 338929 342 0 0 20 0 1 0 62472336 1193889792 268145 18446744073709551615 4198400 6176925 140720967754816 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 29855744 140720967756138 140720967756265 140720967756265 140720967761867 0
/proc/69899/statm: 291477 268145 544 484 0 290888 0
Current children cumulated CPU time: 3392.71 s
Current children cumulated vsize: 1165908 KiB
Current children cumulated memory: 1072580 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.13 4.11 5/264 70203
/proc/meminfo: memFree=122384960/131249996 swapFree=33010684/33010684
[pid=69899] ppid=69895 vsize=1255760 memory=1177068 CPUtime=3452.54 cores=0,2
/proc/69899/stat : 69899 (uwrmaxsat) R 69895 69899 68560 0 -1 4194304 210376 0 0 0 344907 347 0 0 20 0 1 0 62472336 1285898240 294267 18446744073709551615 4198400 6176925 140720967754816 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 29855744 140720967756138 140720967756265 140720967756265 140720967761867 0
/proc/69899/statm: 313940 294267 544 484 0 313351 0
Current children cumulated CPU time: 3452.54 s
Current children cumulated vsize: 1255760 KiB
Current children cumulated memory: 1177068 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.12 4.11 5/264 70205
/proc/meminfo: memFree=122366896/131249996 swapFree=33010684/33010684
[pid=69899] ppid=69895 vsize=1255760 memory=1177324 CPUtime=3512.38 cores=0,2
/proc/69899/stat : 69899 (uwrmaxsat) R 69895 69899 68560 0 -1 4194304 210648 0 0 0 350890 348 0 0 20 0 1 0 62472336 1285898240 294331 18446744073709551615 4198400 6176925 140720967754816 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 29855744 140720967756138 140720967756265 140720967756265 140720967761867 0
/proc/69899/statm: 313940 294331 544 484 0 313351 0
Current children cumulated CPU time: 3512.38 s
Current children cumulated vsize: 1255760 KiB
Current children cumulated memory: 1177324 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.13 4.11 5/264 70207
/proc/meminfo: memFree=122342428/131249996 swapFree=33010684/33010684
[pid=69899] ppid=69895 vsize=1255760 memory=1177324 CPUtime=3572.22 cores=0,2
/proc/69899/stat : 69899 (uwrmaxsat) R 69895 69899 68560 0 -1 4194304 211088 0 0 0 356874 348 0 0 20 0 1 0 62472336 1285898240 294331 18446744073709551615 4198400 6176925 140720967754816 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 29855744 140720967756138 140720967756265 140720967756265 140720967761867 0
/proc/69899/statm: 313940 294331 544 484 0 313351 0
Current children cumulated CPU time: 3572.22 s
Current children cumulated vsize: 1255760 KiB
Current children cumulated memory: 1177324 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.2 s]
/proc/loadavg: 4.09 4.11 4.10 5/264 70212
/proc/meminfo: memFree=122337044/131249996 swapFree=33010684/33010684
[pid=69899] ppid=69895 vsize=1255760 memory=1177324 CPUtime=3600.05 cores=0,2
/proc/69899/stat : 69899 (uwrmaxsat) R 69895 69899 68560 0 -1 4194304 211095 0 0 0 359657 348 0 0 20 0 1 0 62472336 1285898240 294331 18446744073709551615 4198400 6176925 140720967754816 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 29855744 140720967756138 140720967756265 140720967756265 140720967761867 0
/proc/69899/statm: 313940 294331 544 484 0 313351 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 1255760 KiB
Current children cumulated memory: 1177324 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.2 s]
# the end of solver process 69899 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3596.57 s, system=3.4899 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3610.2
CPU time (s): 3600.06
CPU user time (s): 3596.57
CPU system time (s): 3.4899
CPU usage (%): 99.719
Max. virtual memory (cumulated for all children) (KiB): 1460852
Max. memory (cumulated for all children) (KiB): 1376596
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.57
system time used= 3.4899
maximum resident set size= 1376596
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 211104
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= 128
involuntary context switches= 4674
# summary of solver processes directly reported to runsolver:
# pid: 69899
# total CPU time (s): 3600.06
# total CPU user time (s): 3596.57
# total CPU system time (s): 3.4899
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.7773 second user time and 15.4385 second system time
The end
Begin job on nodeC017 at 2025-07-02 16:52:26
IDJOB=4503805
IDBENCH=155603
IDSOLVER=3372
FILE ID=nodeC017/4503805-1751467946
RUNJOBID= nodeC017-1751460709-68573
SLURM_JOB_ID= 9598463
Free space on /tmp= 432516 MiB
SOLVER NAME= UWrMaxSat 2025-06-04
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat50_4_16_2.opb
COMMAND LINE= HOME/uwrmaxsat BENCHNAME -mem-lim=MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4503805-1751467946/watcher-4503805-1751467946 -o /tmp/evaluation-result-4503805-1751467946/solver-4503805-1751467946 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751460709-68573 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4503805-1751467946.opb -mem-lim=31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 768a18ffa3b1a9fc42159a5899fb070e
RANDOM SEED=176201721
nodeC017 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 : 3598.557
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.12
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.071
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.12
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.971
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.12
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 : 3566.803
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.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.060
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.12
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.061
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.12
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 : 3599.814
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.12
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.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 125849908 kB
MemAvailable: 129496840 kB
Buffers: 2380 kB
Cached: 4415880 kB
SwapCached: 0 kB
Active: 564192 kB
Inactive: 4097588 kB
Active(anon): 261588 kB
Inactive(anon): 12 kB
Active(file): 302604 kB
Inactive(file): 4097576 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 9892 kB
Writeback: 0 kB
AnonPages: 246068 kB
Mapped: 106148 kB
Shmem: 18080 kB
KReclaimable: 171584 kB
Slab: 261508 kB
SReclaimable: 171584 kB
SUnreclaim: 89924 kB
KernelStack: 4140 kB
PageTables: 3464 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 532160 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150408 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 151552 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: 176852 kB
DirectMap2M: 6934528 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 432512 MiB
End job on nodeC017 at 2025-07-02 17:52:36