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 (62903 MiB free)
memory of node 1: 64465 MiB (62888 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4506812-1751172358/watcher-4506812-1751172358 -o /tmp/evaluation-result-4506812-1751172358/solver-4506812-1751172358 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751168627-20768 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4506812-1751172358.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=21686, runsolver pid=21683
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 4.26 4.12 4.03 5/264 21687
/proc/meminfo: memFree=128793288/131249988 swapFree=33010684/33010684
[pid=21686] ppid=21683 vsize=23624 memory=22132 CPUtime=0.09 cores=0,2
/proc/21686/stat : 21686 (uwrmaxsat) R 21683 21686 20758 0 -1 4194304 5529 0 0 0 9 0 0 0 20 0 1 0 32914363 24190976 5533 18446744073709551615 4198400 6176925 140732986280240 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 9728000 140732986288490 140732986288617 140732986288617 140732986294219 0
/proc/21686/statm: 5906 5533 448 484 0 5317 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 23624 KiB
Current children cumulated memory: 22132 KiB
[startup+0.205714 s]*
/proc/loadavg: 4.26 4.12 4.03 5/264 21687
/proc/meminfo: memFree=128777244/131249988 swapFree=33010684/33010684
[pid=21686] ppid=21683 vsize=38708 memory=37364 CPUtime=0.2 cores=0,2
/proc/21686/stat : 21686 (uwrmaxsat) R 21683 21686 20758 0 -1 4194304 9294 0 0 0 19 1 0 0 20 0 1 0 32914363 39636992 9341 18446744073709551615 4198400 6176925 140732986280240 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 9728000 140732986288490 140732986288617 140732986288617 140732986294219 0
/proc/21686/statm: 9677 9341 480 484 0 9088 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 38708 KiB
Current children cumulated memory: 37364 KiB
[startup+0.305651 s]*
/proc/loadavg: 4.26 4.12 4.03 5/264 21687
/proc/meminfo: memFree=128777244/131249988 swapFree=33010684/33010684
[pid=21686] ppid=21683 vsize=41616 memory=39664 CPUtime=0.3 cores=0,2
/proc/21686/stat : 21686 (uwrmaxsat) R 21683 21686 20758 0 -1 4194304 10301 0 0 0 29 1 0 0 20 0 1 0 32914363 42614784 9916 18446744073709551615 4198400 6176925 140732986280240 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 9728000 140732986288490 140732986288617 140732986288617 140732986294219 0
/proc/21686/statm: 10404 9916 544 484 0 9815 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 41616 KiB
Current children cumulated memory: 39664 KiB
[startup+0.700172 s]
/proc/loadavg: 4.26 4.12 4.03 5/264 21687
/proc/meminfo: memFree=128777244/131249988 swapFree=33010684/33010684
[pid=21686] ppid=21683 vsize=45296 memory=43376 CPUtime=0.68 cores=0,2
/proc/21686/stat : 21686 (uwrmaxsat) R 21683 21686 20758 0 -1 4194304 10965 0 0 0 67 1 0 0 20 0 1 0 32914363 46383104 10844 18446744073709551615 4198400 6176925 140732986280240 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 9728000 140732986288490 140732986288617 140732986288617 140732986294219 0
/proc/21686/statm: 11324 10844 544 484 0 10735 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 45296 KiB
Current children cumulated memory: 43376 KiB
[startup+1.50018 s]
/proc/loadavg: 4.26 4.12 4.03 5/264 21687
/proc/meminfo: memFree=128778740/131249988 swapFree=33010684/33010684
[pid=21686] ppid=21683 vsize=82556 memory=80112 CPUtime=1.48 cores=0,2
/proc/21686/stat : 21686 (uwrmaxsat) R 21683 21686 20758 0 -1 4194304 21647 0 0 0 145 3 0 0 20 0 1 0 32914363 84537344 20028 18446744073709551615 4198400 6176925 140732986280240 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 9728000 140732986288490 140732986288617 140732986288617 140732986294219 0
/proc/21686/statm: 20639 20028 544 484 0 20050 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 82556 KiB
Current children cumulated memory: 80112 KiB
[startup+3.10552 s]
/proc/loadavg: 4.40 4.15 4.04 5/264 21687
/proc/meminfo: memFree=128727992/131249988 swapFree=33010684/33010684
[pid=21686] ppid=21683 vsize=88040 memory=86540 CPUtime=3.09 cores=0,2
/proc/21686/stat : 21686 (uwrmaxsat) R 21683 21686 20758 0 -1 4194304 23342 0 0 0 305 4 0 0 20 0 1 0 32914363 90152960 21635 18446744073709551615 4198400 6176925 140732986280240 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 9728000 140732986288490 140732986288617 140732986288617 140732986294219 0
/proc/21686/statm: 22010 21635 544 484 0 21421 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 88040 KiB
Current children cumulated memory: 86540 KiB
[startup+6.30017 s]
/proc/loadavg: 4.40 4.15 4.04 5/264 21687
/proc/meminfo: memFree=128695540/131249988 swapFree=33010684/33010684
[pid=21686] ppid=21683 vsize=88884 memory=87692 CPUtime=6.27 cores=0,2
/proc/21686/stat : 21686 (uwrmaxsat) R 21683 21686 20758 0 -1 4194304 23652 0 0 0 623 4 0 0 20 0 1 0 32914363 91017216 21923 18446744073709551615 4198400 6176925 140732986280240 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 9728000 140732986288490 140732986288617 140732986288617 140732986294219 0
/proc/21686/statm: 22221 21923 544 484 0 21632 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 88884 KiB
Current children cumulated memory: 87692 KiB
[startup+12.7002 s]
/proc/loadavg: 4.45 4.17 4.05 5/264 21688
/proc/meminfo: memFree=128658040/131249988 swapFree=33010684/33010684
[pid=21686] ppid=21683 vsize=94028 memory=92844 CPUtime=12.65 cores=0,2
/proc/21686/stat : 21686 (uwrmaxsat) R 21683 21686 20758 0 -1 4194304 25652 0 0 0 1260 5 0 0 20 0 1 0 32914363 96284672 23211 18446744073709551615 4198400 6176925 140732986280240 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 9728000 140732986288490 140732986288617 140732986288617 140732986294219 0
/proc/21686/statm: 23507 23211 544 484 0 22918 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 94028 KiB
Current children cumulated memory: 92844 KiB
[startup+25.5002 s]
/proc/loadavg: 4.35 4.16 4.04 5/264 21688
/proc/meminfo: memFree=128644432/131249988 swapFree=33010684/33010684
[pid=21686] ppid=21683 vsize=100352 memory=99244 CPUtime=25.41 cores=0,2
/proc/21686/stat : 21686 (uwrmaxsat) R 21683 21686 20758 0 -1 4194304 26211 0 0 0 2536 5 0 0 20 0 1 0 32914363 102760448 24811 18446744073709551615 4198400 6176925 140732986280240 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 9728000 140732986288490 140732986288617 140732986288617 140732986294219 0
/proc/21686/statm: 25088 24811 544 484 0 24499 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 100352 KiB
Current children cumulated memory: 99244 KiB
[startup+51.1056 s]
/proc/loadavg: 4.31 4.16 4.05 5/264 21688
/proc/meminfo: memFree=128634960/131249988 swapFree=33010684/33010684
[pid=21686] ppid=21683 vsize=104424 memory=102336 CPUtime=50.94 cores=0,2
/proc/21686/stat : 21686 (uwrmaxsat) R 21683 21686 20758 0 -1 4194304 31401 0 0 0 5087 7 0 0 20 0 1 0 32914363 106930176 25584 18446744073709551615 4198400 6176925 140732986280240 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 9728000 140732986288490 140732986288617 140732986288617 140732986294219 0
/proc/21686/statm: 26106 25584 544 484 0 25517 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 104424 KiB
Current children cumulated memory: 102336 KiB
[startup+102.3 s]
/proc/loadavg: 4.21 4.15 4.05 5/264 21690
/proc/meminfo: memFree=128565556/131249988 swapFree=33010684/33010684
[pid=21686] ppid=21683 vsize=131144 memory=126896 CPUtime=101.96 cores=0,2
/proc/21686/stat : 21686 (uwrmaxsat) R 21683 21686 20758 0 -1 4194304 35455 0 0 0 10187 9 0 0 20 0 1 0 32914363 134291456 31724 18446744073709551615 4198400 6176925 140732986280240 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 9728000 140732986288490 140732986288617 140732986288617 140732986294219 0
/proc/21686/statm: 32786 31724 544 484 0 32197 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 131144 KiB
Current children cumulated memory: 126896 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.14 4.05 5/265 21695
/proc/meminfo: memFree=128581960/131249988 swapFree=33010684/33010684
[pid=21686] ppid=21683 vsize=137584 memory=136492 CPUtime=161.77 cores=0,2
/proc/21686/stat : 21686 (uwrmaxsat) R 21683 21686 20758 0 -1 4194304 37211 0 0 0 16167 10 0 0 20 0 1 0 32914363 140886016 34123 18446744073709551615 4198400 6176925 140732986280240 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 9728000 140732986288490 140732986288617 140732986288617 140732986294219 0
/proc/21686/statm: 34396 34123 544 484 0 33807 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 137584 KiB
Current children cumulated memory: 136492 KiB
[startup+222.3 s]
/proc/loadavg: 4.28 4.16 4.06 5/263 21711
/proc/meminfo: memFree=129455648/131249988 swapFree=33010684/33010684
[pid=21686] ppid=21683 vsize=149136 memory=148012 CPUtime=221.58 cores=0,2
/proc/21686/stat : 21686 (uwrmaxsat) R 21683 21686 20758 0 -1 4194304 37587 0 0 0 22148 10 0 0 20 0 1 0 32914363 152715264 37003 18446744073709551615 4198400 6176925 140732986280240 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 9728000 140732986288490 140732986288617 140732986288617 140732986294219 0
/proc/21686/statm: 37284 37003 544 484 0 36695 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 149136 KiB
Current children cumulated memory: 148012 KiB
[startup+282.3 s]
/proc/loadavg: 4.31 4.20 4.08 5/263 21788
/proc/meminfo: memFree=129432164/131249988 swapFree=33010684/33010684
[pid=21686] ppid=21683 vsize=159864 memory=158796 CPUtime=281.39 cores=0,2
/proc/21686/stat : 21686 (uwrmaxsat) R 21683 21686 20758 0 -1 4194304 39311 0 0 0 28127 12 0 0 20 0 1 0 32914363 163700736 39699 18446744073709551615 4198400 6176925 140732986280240 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 9728000 140732986288490 140732986288617 140732986288617 140732986294219 0
/proc/21686/statm: 39966 39699 544 484 0 39377 0
Current children cumulated CPU time: 281.39 s
Current children cumulated vsize: 159864 KiB
Current children cumulated memory: 158796 KiB
[startup+342.3 s]
/proc/loadavg: 4.16 4.18 4.08 5/263 21791
/proc/meminfo: memFree=129249232/131249988 swapFree=33010684/33010684
[pid=21686] ppid=21683 vsize=188188 memory=187052 CPUtime=341.19 cores=0,2
/proc/21686/stat : 21686 (uwrmaxsat) R 21683 21686 20758 0 -1 4194304 42333 0 0 0 34107 12 0 0 20 0 1 0 32914363 192704512 46763 18446744073709551615 4198400 6176925 140732986280240 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 9728000 140732986288490 140732986288617 140732986288617 140732986294219 0
/proc/21686/statm: 47047 46763 544 484 0 46458 0
Current children cumulated CPU time: 341.19 s
Current children cumulated vsize: 188188 KiB
Current children cumulated memory: 187052 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.16 4.08 5/263 21793
/proc/meminfo: memFree=129140028/131249988 swapFree=33010684/33010684
[pid=21686] ppid=21683 vsize=222400 memory=221228 CPUtime=401 cores=0,2
/proc/21686/stat : 21686 (uwrmaxsat) R 21683 21686 20758 0 -1 4194304 44754 0 0 0 40087 13 0 0 20 0 1 0 32914363 227737600 55307 18446744073709551615 4198400 6176925 140732986280240 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 9728000 140732986288490 140732986288617 140732986288617 140732986294219 0
/proc/21686/statm: 55600 55307 544 484 0 55011 0
Current children cumulated CPU time: 401 s
Current children cumulated vsize: 222400 KiB
Current children cumulated memory: 221228 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.14 4.08 5/263 21800
/proc/meminfo: memFree=129113432/131249988 swapFree=33010684/33010684
[pid=21686] ppid=21683 vsize=244556 memory=243372 CPUtime=460.81 cores=0,2
/proc/21686/stat : 21686 (uwrmaxsat) R 21683 21686 20758 0 -1 4194304 46765 0 0 0 46067 14 0 0 20 0 1 0 32914363 250425344 60843 18446744073709551615 4198400 6176925 140732986280240 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 9728000 140732986288490 140732986288617 140732986288617 140732986294219 0
/proc/21686/statm: 61139 60843 544 484 0 60550 0
################
# More data... #
################
Current children cumulated memory: 377420 KiB
[startup+2862.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/263 22004
/proc/meminfo: memFree=128822184/131249988 swapFree=33010684/33010684
[pid=21686] ppid=21683 vsize=367952 memory=365508 CPUtime=2854.3 cores=0,2
/proc/21686/stat : 21686 (uwrmaxsat) R 21683 21686 20758 0 -1 4194304 126907 0 0 0 285313 117 0 0 20 0 1 0 32914363 376782848 91377 18446744073709551615 4198400 6176925 140732986280240 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 9728000 140732986288490 140732986288617 140732986288617 140732986294219 0
/proc/21686/statm: 91988 91377 544 484 0 91399 0
Current children cumulated CPU time: 2854.3 s
Current children cumulated vsize: 367952 KiB
Current children cumulated memory: 365508 KiB
[startup+2922.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/263 22011
/proc/meminfo: memFree=128847612/131249988 swapFree=33010684/33010684
[pid=21686] ppid=21683 vsize=370584 memory=368140 CPUtime=2914.14 cores=0,2
/proc/21686/stat : 21686 (uwrmaxsat) R 21683 21686 20758 0 -1 4194304 128924 0 0 0 291295 119 0 0 20 0 1 0 32914363 379478016 92035 18446744073709551615 4198400 6176925 140732986280240 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 9728000 140732986288490 140732986288617 140732986288617 140732986294219 0
/proc/21686/statm: 92646 92035 544 484 0 92057 0
Current children cumulated CPU time: 2914.14 s
Current children cumulated vsize: 370584 KiB
Current children cumulated memory: 368140 KiB
[startup+2982.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/263 22013
/proc/meminfo: memFree=128811876/131249988 swapFree=33010684/33010684
[pid=21686] ppid=21683 vsize=379536 memory=377092 CPUtime=2973.99 cores=0,2
/proc/21686/stat : 21686 (uwrmaxsat) R 21683 21686 20758 0 -1 4194304 130485 0 0 0 297276 123 0 0 20 0 1 0 32914363 388644864 94273 18446744073709551615 4198400 6176925 140732986280240 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 9728000 140732986288490 140732986288617 140732986288617 140732986294219 0
/proc/21686/statm: 94884 94273 544 484 0 94295 0
Current children cumulated CPU time: 2973.99 s
Current children cumulated vsize: 379536 KiB
Current children cumulated memory: 377092 KiB
[startup+3042.3 s]
/proc/loadavg: 4.34 4.14 4.11 5/264 22062
/proc/meminfo: memFree=128877140/131249988 swapFree=33010684/33010684
[pid=21686] ppid=21683 vsize=369868 memory=367424 CPUtime=3033.83 cores=0,2
/proc/21686/stat : 21686 (uwrmaxsat) R 21683 21686 20758 0 -1 4194304 131931 0 0 0 303258 125 0 0 20 0 1 0 32914363 378744832 91856 18446744073709551615 4198400 6176925 140732986280240 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 9728000 140732986288490 140732986288617 140732986288617 140732986294219 0
/proc/21686/statm: 92467 91856 544 484 0 91878 0
Current children cumulated CPU time: 3033.83 s
Current children cumulated vsize: 369868 KiB
Current children cumulated memory: 367424 KiB
[startup+3102.3 s]
/proc/loadavg: 4.20 4.14 4.11 5/264 22064
/proc/meminfo: memFree=128820944/131249988 swapFree=33010684/33010684
[pid=21686] ppid=21683 vsize=365476 memory=363032 CPUtime=3093.67 cores=0,2
/proc/21686/stat : 21686 (uwrmaxsat) R 21683 21686 20758 0 -1 4194304 134358 0 0 0 309238 129 0 0 20 0 1 0 32914363 374247424 90758 18446744073709551615 4198400 6176925 140732986280240 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 9728000 140732986288490 140732986288617 140732986288617 140732986294219 0
/proc/21686/statm: 91369 90758 544 484 0 90780 0
Current children cumulated CPU time: 3093.67 s
Current children cumulated vsize: 365476 KiB
Current children cumulated memory: 363032 KiB
[startup+3162.3 s]
/proc/loadavg: 4.17 4.14 4.11 5/264 22066
/proc/meminfo: memFree=128780832/131249988 swapFree=33010684/33010684
[pid=21686] ppid=21683 vsize=368148 memory=365704 CPUtime=3153.52 cores=0,2
/proc/21686/stat : 21686 (uwrmaxsat) R 21683 21686 20758 0 -1 4194304 136101 0 0 0 315220 132 0 0 20 0 1 0 32914363 376983552 91426 18446744073709551615 4198400 6176925 140732986280240 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 9728000 140732986288490 140732986288617 140732986288617 140732986294219 0
/proc/21686/statm: 92037 91426 544 484 0 91448 0
Current children cumulated CPU time: 3153.52 s
Current children cumulated vsize: 368148 KiB
Current children cumulated memory: 365704 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.13 4.10 5/265 22072
/proc/meminfo: memFree=128866144/131249988 swapFree=33010684/33010684
[pid=21686] ppid=21683 vsize=338440 memory=336136 CPUtime=3213.36 cores=0,2
/proc/21686/stat : 21686 (uwrmaxsat) R 21683 21686 20758 0 -1 4194304 138303 0 0 0 321200 136 0 0 20 0 1 0 32914363 346562560 84034 18446744073709551615 4198400 6176925 140732986280240 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 9728000 140732986288490 140732986288617 140732986288617 140732986294219 0
/proc/21686/statm: 84610 84034 544 484 0 84021 0
Current children cumulated CPU time: 3213.36 s
Current children cumulated vsize: 338440 KiB
Current children cumulated memory: 336136 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.12 4.10 5/265 22074
/proc/meminfo: memFree=128857896/131249988 swapFree=33010684/33010684
[pid=21686] ppid=21683 vsize=323900 memory=323308 CPUtime=3273.2 cores=0,2
/proc/21686/stat : 21686 (uwrmaxsat) R 21683 21686 20758 0 -1 4194304 140371 0 0 0 327182 138 0 0 20 0 1 0 32914363 331673600 80827 18446744073709551615 4198400 6176925 140732986280240 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 9728000 140732986288490 140732986288617 140732986288617 140732986294219 0
/proc/21686/statm: 80975 80827 544 484 0 80386 0
Current children cumulated CPU time: 3273.2 s
Current children cumulated vsize: 323900 KiB
Current children cumulated memory: 323308 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 22076
/proc/meminfo: memFree=128848656/131249988 swapFree=33010684/33010684
[pid=21686] ppid=21683 vsize=321688 memory=321096 CPUtime=3333.05 cores=0,2
/proc/21686/stat : 21686 (uwrmaxsat) R 21683 21686 20758 0 -1 4194304 141769 0 0 0 333163 142 0 0 20 0 1 0 32914363 329408512 80274 18446744073709551615 4198400 6176925 140732986280240 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 9728000 140732986288490 140732986288617 140732986288617 140732986294219 0
/proc/21686/statm: 80422 80274 544 484 0 79833 0
Current children cumulated CPU time: 3333.05 s
Current children cumulated vsize: 321688 KiB
Current children cumulated memory: 321096 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/264 22078
/proc/meminfo: memFree=128737356/131249988 swapFree=33010684/33010684
[pid=21686] ppid=21683 vsize=343124 memory=339564 CPUtime=3392.9 cores=0,2
/proc/21686/stat : 21686 (uwrmaxsat) R 21683 21686 20758 0 -1 4194304 143922 0 0 0 339145 145 0 0 20 0 1 0 32914363 351358976 84891 18446744073709551615 4198400 6176925 140732986280240 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 9728000 140732986288490 140732986288617 140732986288617 140732986294219 0
/proc/21686/statm: 85781 84891 544 484 0 85192 0
Current children cumulated CPU time: 3392.9 s
Current children cumulated vsize: 343124 KiB
Current children cumulated memory: 339564 KiB
[startup+3462.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/264 22080
/proc/meminfo: memFree=128734452/131249988 swapFree=33010684/33010684
[pid=21686] ppid=21683 vsize=357580 memory=354020 CPUtime=3452.74 cores=0,2
/proc/21686/stat : 21686 (uwrmaxsat) R 21683 21686 20758 0 -1 4194304 145940 0 0 0 345125 149 0 0 20 0 1 0 32914363 366161920 88505 18446744073709551615 4198400 6176925 140732986280240 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 9728000 140732986288490 140732986288617 140732986288617 140732986294219 0
/proc/21686/statm: 89395 88505 544 484 0 88806 0
Current children cumulated CPU time: 3452.74 s
Current children cumulated vsize: 357580 KiB
Current children cumulated memory: 354020 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/266 22222
/proc/meminfo: memFree=128999868/131249988 swapFree=33010684/33010684
[pid=21686] ppid=21683 vsize=350220 memory=346660 CPUtime=3512.58 cores=0,2
/proc/21686/stat : 21686 (uwrmaxsat) R 21683 21686 20758 0 -1 4194304 147518 0 0 0 351106 152 0 0 20 0 1 0 32914363 358625280 86665 18446744073709551615 4198400 6176925 140732986280240 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 9728000 140732986288490 140732986288617 140732986288617 140732986294219 0
/proc/21686/statm: 87555 86665 544 484 0 86966 0
Current children cumulated CPU time: 3512.58 s
Current children cumulated vsize: 350220 KiB
Current children cumulated memory: 346660 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/264 22268
/proc/meminfo: memFree=128998704/131249988 swapFree=33010684/33010684
[pid=21686] ppid=21683 vsize=358368 memory=354808 CPUtime=3572.43 cores=0,2
/proc/21686/stat : 21686 (uwrmaxsat) R 21683 21686 20758 0 -1 4194304 148832 0 0 0 357087 156 0 0 20 0 1 0 32914363 366968832 88702 18446744073709551615 4198400 6176925 140732986280240 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 9728000 140732986288490 140732986288617 140732986288617 140732986294219 0
/proc/21686/statm: 89592 88702 544 484 0 89003 0
Current children cumulated CPU time: 3572.43 s
Current children cumulated vsize: 358368 KiB
Current children cumulated memory: 354808 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610 s]*
/proc/loadavg: 4.08 4.09 4.09 5/264 22269
/proc/meminfo: memFree=128981000/131249988 swapFree=33010684/33010684
[pid=21686] ppid=21683 vsize=364240 memory=359868 CPUtime=3600.06 cores=0,2
/proc/21686/stat : 21686 (uwrmaxsat) R 21683 21686 20758 0 -1 4194304 149688 0 0 0 359849 157 0 0 20 0 1 0 32914363 372981760 89967 18446744073709551615 4198400 6176925 140732986280240 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 9728000 140732986288490 140732986288617 140732986288617 140732986294219 0
/proc/21686/statm: 91060 89967 544 484 0 90471 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 364240 KiB
Current children cumulated memory: 359868 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.01 s]
# the end of solver process 21686 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3598.49 s, system=1.57724 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.01
CPU time (s): 3600.07
CPU user time (s): 3598.49
CPU system time (s): 1.57724
CPU usage (%): 99.7248
Max. virtual memory (cumulated for all children) (KiB): 518576
Max. memory (cumulated for all children) (KiB): 511072
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.49
system time used= 1.57724
maximum resident set size= 511072
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 149688
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= 58
involuntary context switches= 7881
# summary of solver processes directly reported to runsolver:
# pid: 21686
# total CPU time (s): 3600.07
# total CPU user time (s): 3598.49
# total CPU system time (s): 1.57724
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.49173 second user time and 15.8028 second system time
The end
Begin job on nodeC031 at 2025-06-29 06:45:58
IDJOB=4506812
IDBENCH=158265
IDSOLVER=3372
FILE ID=nodeC031/4506812-1751172358
RUNJOBID= nodeC031-1751168627-20768
SLURM_JOB_ID= 9587512
Free space on /tmp= 433016 MiB
SOLVER NAME= UWrMaxSat 2025-06-04
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K138.opb
COMMAND LINE= HOME/uwrmaxsat BENCHNAME -mem-lim=MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4506812-1751172358/watcher-4506812-1751172358 -o /tmp/evaluation-result-4506812-1751172358/solver-4506812-1751172358 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751168627-20768 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4506812-1751172358.opb -mem-lim=31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= df8f338dbd068337fef89bf4c43df9f5
RANDOM SEED=1494599526
nodeC031 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.895
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.78
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.810
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.78
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 : 3579.728
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.78
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 : 3599.707
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.78
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.827
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.78
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.945
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.78
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 : 3598.825
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.78
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 : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 128810928 kB
MemAvailable: 128566440 kB
Buffers: 3280 kB
Cached: 565628 kB
SwapCached: 0 kB
Active: 1491696 kB
Inactive: 346608 kB
Active(anon): 1287460 kB
Inactive(anon): 0 kB
Active(file): 204236 kB
Inactive(file): 346608 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 3660 kB
Writeback: 0 kB
AnonPages: 1269744 kB
Mapped: 109524 kB
Shmem: 18064 kB
KReclaimable: 87816 kB
Slab: 173464 kB
SReclaimable: 87816 kB
SUnreclaim: 85648 kB
KernelStack: 4320 kB
PageTables: 5572 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 1612032 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150536 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 196608 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: 191188 kB
DirectMap2M: 9017344 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433048 MiB
End job on nodeC031 at 2025-06-29 07:46:08