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: 63837 MiB (62997 MiB free)
memory of node 1: 64465 MiB (63720 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4518655-1751544990/watcher-4518655-1751544990 -o /tmp/evaluation-result-4518655-1751544990/solver-4518655-1751544990 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751537765-78319 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4518655-1751544990.opb -mem-lim=31000
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
Current StackSize limit: 8192 KiB
solver pid=79047, runsolver pid=79043
[startup+0.100068 s]*
/proc/loadavg: 4.08 4.09 4.09 3/243 79053
/proc/meminfo: memFree=129756028/131382112 swapFree=33010416/33010684
[pid=79047] ppid=79043 vsize=10004 memory=8904 CPUtime=0.1 cores=5,7
/proc/79047/stat : 79047 (uwrmaxsat) R 79043 79047 78306 0 -1 4194304 2024 0 0 0 10 0 0 0 20 0 1 0 70178415 10244096 2226 18446744073709551615 4198400 6176925 140723976362896 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 26091520 140723976370538 140723976370665 140723976370665 140723976376267 0
/proc/79047/statm: 2501 2226 544 484 0 1912 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 10004 KiB
Current children cumulated memory: 8904 KiB
[startup+0.213852 s]*
/proc/loadavg: 4.08 4.09 4.09 4/247 79057
/proc/meminfo: memFree=129745648/131382112 swapFree=33010416/33010684
[pid=79047] ppid=79043 vsize=11116 memory=10056 CPUtime=0.22 cores=5,7
/proc/79047/stat : 79047 (uwrmaxsat) R 79043 79047 78306 0 -1 4194304 2293 0 0 0 21 1 0 0 20 0 1 0 70178415 11382784 2514 18446744073709551615 4198400 6176925 140723976362896 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 26091520 140723976370538 140723976370665 140723976370665 140723976376267 0
/proc/79047/statm: 2779 2514 544 484 0 2190 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 11116 KiB
Current children cumulated memory: 10056 KiB
[startup+0.313521 s]*
/proc/loadavg: 4.08 4.09 4.09 4/247 79057
/proc/meminfo: memFree=129745648/131382112 swapFree=33010416/33010684
[pid=79047] ppid=79043 vsize=11116 memory=10056 CPUtime=0.31 cores=5,7
/proc/79047/stat : 79047 (uwrmaxsat) R 79043 79047 78306 0 -1 4194304 2294 0 0 0 30 1 0 0 20 0 1 0 70178415 11382784 2514 18446744073709551615 4198400 6176925 140723976362896 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 26091520 140723976370538 140723976370665 140723976370665 140723976376267 0
/proc/79047/statm: 2779 2514 544 484 0 2190 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 11116 KiB
Current children cumulated memory: 10056 KiB
[startup+0.700269 s]
/proc/loadavg: 4.08 4.09 4.09 5/247 79057
/proc/meminfo: memFree=129742120/131382112 swapFree=33010416/33010684
[pid=79047] ppid=79043 vsize=11796 memory=10804 CPUtime=0.68 cores=5,7
/proc/79047/stat : 79047 (uwrmaxsat) R 79043 79047 78306 0 -1 4194304 2989 0 0 0 67 1 0 0 20 0 1 0 70178415 12079104 2701 18446744073709551615 4198400 6176925 140723976362896 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 26091520 140723976370538 140723976370665 140723976370665 140723976376267 0
/proc/79047/statm: 2949 2701 544 484 0 2360 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 11796 KiB
Current children cumulated memory: 10804 KiB
[startup+1.50028 s]
/proc/loadavg: 4.08 4.09 4.09 5/247 79085
/proc/meminfo: memFree=129744636/131382112 swapFree=33010416/33010684
[pid=79047] ppid=79043 vsize=17100 memory=16080 CPUtime=1.47 cores=5,7
/proc/79047/stat : 79047 (uwrmaxsat) R 79043 79047 78306 0 -1 4194304 4785 0 0 0 146 1 0 0 20 0 1 0 70178415 17510400 4020 18446744073709551615 4198400 6176925 140723976362896 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 26091520 140723976370538 140723976370665 140723976370665 140723976376267 0
/proc/79047/statm: 4275 4020 544 484 0 3686 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 17100 KiB
Current children cumulated memory: 16080 KiB
[startup+3.11296 s]
/proc/loadavg: 4.16 4.11 4.10 5/251 79094
/proc/meminfo: memFree=129741060/131382112 swapFree=33010416/33010684
[pid=79047] ppid=79043 vsize=17108 memory=16096 CPUtime=3.09 cores=5,7
/proc/79047/stat : 79047 (uwrmaxsat) R 79043 79047 78306 0 -1 4194304 5940 0 0 0 307 2 0 0 20 0 1 0 70178415 17518592 4024 18446744073709551615 4198400 6176925 140723976362896 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 26091520 140723976370538 140723976370665 140723976370665 140723976376267 0
/proc/79047/statm: 4277 4024 544 484 0 3688 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 17108 KiB
Current children cumulated memory: 16096 KiB
[startup+6.30027 s]
/proc/loadavg: 4.16 4.11 4.10 5/251 79094
/proc/meminfo: memFree=129723072/131382112 swapFree=33010416/33010684
[pid=79047] ppid=79043 vsize=21352 memory=20104 CPUtime=6.27 cores=5,7
/proc/79047/stat : 79047 (uwrmaxsat) R 79043 79047 78306 0 -1 4194304 10284 0 0 0 624 3 0 0 20 0 1 0 70178415 21864448 5026 18446744073709551615 4198400 6176925 140723976362896 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 26091520 140723976370538 140723976370665 140723976370665 140723976376267 0
/proc/79047/statm: 5338 5026 544 484 0 4749 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 21352 KiB
Current children cumulated memory: 20104 KiB
[startup+12.7003 s]
/proc/loadavg: 4.13 4.10 4.09 5/251 79094
/proc/meminfo: memFree=129693220/131382112 swapFree=33010416/33010684
[pid=79047] ppid=79043 vsize=45532 memory=44308 CPUtime=12.65 cores=5,7
/proc/79047/stat : 79047 (uwrmaxsat) R 79043 79047 78306 0 -1 4194304 14361 0 0 0 1260 5 0 0 20 0 1 0 70178415 46624768 11077 18446744073709551615 4198400 6176925 140723976362896 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 26091520 140723976370538 140723976370665 140723976370665 140723976376267 0
/proc/79047/statm: 11383 11077 544 484 0 10794 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 45532 KiB
Current children cumulated memory: 44308 KiB
[startup+25.5003 s]
/proc/loadavg: 4.11 4.10 4.09 5/251 79095
/proc/meminfo: memFree=129666576/131382112 swapFree=33010416/33010684
[pid=79047] ppid=79043 vsize=39948 memory=38804 CPUtime=25.41 cores=5,7
/proc/79047/stat : 79047 (uwrmaxsat) R 79043 79047 78306 0 -1 4194304 15838 0 0 0 2535 6 0 0 20 0 1 0 70178415 40906752 9701 18446744073709551615 4198400 6176925 140723976362896 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 26091520 140723976370538 140723976370665 140723976370665 140723976376267 0
/proc/79047/statm: 9987 9701 544 484 0 9398 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 39948 KiB
Current children cumulated memory: 38804 KiB
[startup+51.113 s]
/proc/loadavg: 4.15 4.11 4.09 5/251 79095
/proc/meminfo: memFree=129488816/131382112 swapFree=33010416/33010684
[pid=79047] ppid=79043 vsize=56164 memory=55480 CPUtime=50.94 cores=5,7
/proc/79047/stat : 79047 (uwrmaxsat) R 79043 79047 78306 0 -1 4194304 21952 0 0 0 5085 9 0 0 20 0 1 0 70178415 57511936 13870 18446744073709551615 4198400 6176925 140723976362896 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 26091520 140723976370538 140723976370665 140723976370665 140723976376267 0
/proc/79047/statm: 14041 13870 544 484 0 13452 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 56164 KiB
Current children cumulated memory: 55480 KiB
[startup+102.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/251 79097
/proc/meminfo: memFree=129525100/131382112 swapFree=33010416/33010684
[pid=79047] ppid=79043 vsize=74932 memory=74004 CPUtime=101.97 cores=5,7
/proc/79047/stat : 79047 (uwrmaxsat) R 79043 79047 78306 0 -1 4194304 24185 0 0 0 10186 11 0 0 20 0 1 0 70178415 76730368 18501 18446744073709551615 4198400 6176925 140723976362896 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 26091520 140723976370538 140723976370665 140723976370665 140723976376267 0
/proc/79047/statm: 18733 18501 544 484 0 18144 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 74932 KiB
Current children cumulated memory: 74004 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/251 79099
/proc/meminfo: memFree=129293804/131382112 swapFree=33010416/33010684
[pid=79047] ppid=79043 vsize=170648 memory=169776 CPUtime=161.8 cores=5,7
/proc/79047/stat : 79047 (uwrmaxsat) R 79043 79047 78306 0 -1 4194304 29981 0 0 0 16164 16 0 0 20 0 1 0 70178415 174743552 42444 18446744073709551615 4198400 6176925 140723976362896 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 26091520 140723976370538 140723976370665 140723976370665 140723976376267 0
/proc/79047/statm: 42662 42444 544 484 0 42073 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 170648 KiB
Current children cumulated memory: 169776 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/251 79101
/proc/meminfo: memFree=129210056/131382112 swapFree=33010416/33010684
[pid=79047] ppid=79043 vsize=171696 memory=170884 CPUtime=221.62 cores=5,7
/proc/79047/stat : 79047 (uwrmaxsat) R 79043 79047 78306 0 -1 4194304 35029 0 0 0 22134 28 0 0 20 0 1 0 70178415 175816704 42721 18446744073709551615 4198400 6176925 140723976362896 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 26091520 140723976370538 140723976370665 140723976370665 140723976376267 0
/proc/79047/statm: 42924 42721 544 484 0 42335 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 171696 KiB
Current children cumulated memory: 170884 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/250 79105
/proc/meminfo: memFree=129297144/131382112 swapFree=33010416/33010684
[pid=79047] ppid=79043 vsize=159820 memory=158996 CPUtime=281.42 cores=5,7
/proc/79047/stat : 79047 (uwrmaxsat) R 79043 79047 78306 0 -1 4194304 40826 0 0 0 28102 40 0 0 20 0 1 0 70178415 163655680 39749 18446744073709551615 4198400 6176925 140723976362896 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 26091520 140723976370538 140723976370665 140723976370665 140723976376267 0
/proc/79047/statm: 39955 39749 544 484 0 39366 0
Current children cumulated CPU time: 281.42 s
Current children cumulated vsize: 159820 KiB
Current children cumulated memory: 158996 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/249 79107
/proc/meminfo: memFree=129283608/131382112 swapFree=33010416/33010684
[pid=79047] ppid=79043 vsize=164160 memory=163348 CPUtime=341.22 cores=5,7
/proc/79047/stat : 79047 (uwrmaxsat) R 79043 79047 78306 0 -1 4194304 42431 0 0 0 34080 42 0 0 20 0 1 0 70178415 168099840 40837 18446744073709551615 4198400 6176925 140723976362896 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 26091520 140723976370538 140723976370665 140723976370665 140723976376267 0
/proc/79047/statm: 41040 40837 544 484 0 40451 0
Current children cumulated CPU time: 341.22 s
Current children cumulated vsize: 164160 KiB
Current children cumulated memory: 163348 KiB
[startup+402.3 s]
/proc/loadavg: 4.16 4.10 4.09 5/249 79109
/proc/meminfo: memFree=129063812/131382112 swapFree=33010416/33010684
[pid=79047] ppid=79043 vsize=164160 memory=163348 CPUtime=401.04 cores=5,7
/proc/79047/stat : 79047 (uwrmaxsat) R 79043 79047 78306 0 -1 4194304 44069 0 0 0 40057 47 0 0 20 0 1 0 70178415 168099840 40837 18446744073709551615 4198400 6176925 140723976362896 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 26091520 140723976370538 140723976370665 140723976370665 140723976376267 0
/proc/79047/statm: 41040 40837 544 484 0 40451 0
Current children cumulated CPU time: 401.04 s
Current children cumulated vsize: 164160 KiB
Current children cumulated memory: 163348 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/249 79111
/proc/meminfo: memFree=129144312/131382112 swapFree=33010416/33010684
[pid=79047] ppid=79043 vsize=221716 memory=220844 CPUtime=460.86 cores=5,7
/proc/79047/stat : 79047 (uwrmaxsat) R 79043 79047 78306 0 -1 4194304 44977 0 0 0 46037 49 0 0 20 0 1 0 70178415 227037184 55211 18446744073709551615 4198400 6176925 140723976362896 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 26091520 140723976370538 140723976370665 140723976370665 140723976376267 0
/proc/79047/statm: 55429 55211 544 484 0 54840 0
Current children cumulated CPU time: 460.86 s
################
# More data... #
################
Current children cumulated memory: 198132 KiB
[startup+2862.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/251 79235
/proc/meminfo: memFree=128953464/131382112 swapFree=33010416/33010684
[pid=79047] ppid=79043 vsize=199224 memory=198524 CPUtime=2854.25 cores=5,7
/proc/79047/stat : 79047 (uwrmaxsat) R 79043 79047 78306 0 -1 4194304 164620 0 0 0 285120 305 0 0 20 0 1 0 70178415 204005376 49631 18446744073709551615 4198400 6176925 140723976362896 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 26091520 140723976370538 140723976370665 140723976370665 140723976376267 0
/proc/79047/statm: 49806 49631 544 484 0 49217 0
Current children cumulated CPU time: 2854.25 s
Current children cumulated vsize: 199224 KiB
Current children cumulated memory: 198524 KiB
[startup+2922.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/251 79237
/proc/meminfo: memFree=128935968/131382112 swapFree=33010416/33010684
[pid=79047] ppid=79043 vsize=199444 memory=198736 CPUtime=2914.09 cores=5,7
/proc/79047/stat : 79047 (uwrmaxsat) R 79043 79047 78306 0 -1 4194304 166484 0 0 0 291101 308 0 0 20 0 1 0 70178415 204230656 49684 18446744073709551615 4198400 6176925 140723976362896 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 26091520 140723976370538 140723976370665 140723976370665 140723976376267 0
/proc/79047/statm: 49861 49684 544 484 0 49272 0
Current children cumulated CPU time: 2914.09 s
Current children cumulated vsize: 199444 KiB
Current children cumulated memory: 198736 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/250 79243
/proc/meminfo: memFree=128958092/131382112 swapFree=33010416/33010684
[pid=79047] ppid=79043 vsize=199820 memory=199112 CPUtime=2973.92 cores=5,7
/proc/79047/stat : 79047 (uwrmaxsat) R 79043 79047 78306 0 -1 4194304 168523 0 0 0 297080 312 0 0 20 0 1 0 70178415 204615680 49778 18446744073709551615 4198400 6176925 140723976362896 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 26091520 140723976370538 140723976370665 140723976370665 140723976376267 0
/proc/79047/statm: 49955 49778 544 484 0 49366 0
Current children cumulated CPU time: 2973.92 s
Current children cumulated vsize: 199820 KiB
Current children cumulated memory: 199112 KiB
[startup+3042.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/250 79245
/proc/meminfo: memFree=128949656/131382112 swapFree=33010416/33010684
[pid=79047] ppid=79043 vsize=200336 memory=199628 CPUtime=3033.75 cores=5,7
/proc/79047/stat : 79047 (uwrmaxsat) R 79043 79047 78306 0 -1 4194304 170571 0 0 0 303059 316 0 0 20 0 1 0 70178415 205144064 49907 18446744073709551615 4198400 6176925 140723976362896 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 26091520 140723976370538 140723976370665 140723976370665 140723976376267 0
/proc/79047/statm: 50084 49907 544 484 0 49495 0
Current children cumulated CPU time: 3033.75 s
Current children cumulated vsize: 200336 KiB
Current children cumulated memory: 199628 KiB
[startup+3102.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/250 79247
/proc/meminfo: memFree=128955232/131382112 swapFree=33010416/33010684
[pid=79047] ppid=79043 vsize=200788 memory=200080 CPUtime=3093.59 cores=5,7
/proc/79047/stat : 79047 (uwrmaxsat) R 79043 79047 78306 0 -1 4194304 172644 0 0 0 309039 320 0 0 20 0 1 0 70178415 205606912 50020 18446744073709551615 4198400 6176925 140723976362896 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 26091520 140723976370538 140723976370665 140723976370665 140723976376267 0
/proc/79047/statm: 50197 50020 544 484 0 49608 0
Current children cumulated CPU time: 3093.59 s
Current children cumulated vsize: 200788 KiB
Current children cumulated memory: 200080 KiB
[startup+3162.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/249 79249
/proc/meminfo: memFree=128955556/131382112 swapFree=33010416/33010684
[pid=79047] ppid=79043 vsize=201164 memory=200456 CPUtime=3153.42 cores=5,7
/proc/79047/stat : 79047 (uwrmaxsat) R 79043 79047 78306 0 -1 4194304 173534 0 0 0 315019 323 0 0 20 0 1 0 70178415 205991936 50114 18446744073709551615 4198400 6176925 140723976362896 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 26091520 140723976370538 140723976370665 140723976370665 140723976376267 0
/proc/79047/statm: 50291 50114 544 484 0 49702 0
Current children cumulated CPU time: 3153.42 s
Current children cumulated vsize: 201164 KiB
Current children cumulated memory: 200456 KiB
[startup+3222.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/249 79251
/proc/meminfo: memFree=128959652/131382112 swapFree=33010416/33010684
[pid=79047] ppid=79043 vsize=201452 memory=200744 CPUtime=3213.26 cores=5,7
/proc/79047/stat : 79047 (uwrmaxsat) R 79043 79047 78306 0 -1 4194304 175825 0 0 0 320999 327 0 0 20 0 1 0 70178415 206286848 50186 18446744073709551615 4198400 6176925 140723976362896 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 26091520 140723976370538 140723976370665 140723976370665 140723976376267 0
/proc/79047/statm: 50363 50186 544 484 0 49774 0
Current children cumulated CPU time: 3213.26 s
Current children cumulated vsize: 201452 KiB
Current children cumulated memory: 200744 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/250 79256
/proc/meminfo: memFree=128907096/131382112 swapFree=33010416/33010684
[pid=79047] ppid=79043 vsize=202012 memory=201304 CPUtime=3273.09 cores=5,7
/proc/79047/stat : 79047 (uwrmaxsat) R 79043 79047 78306 0 -1 4194304 177605 0 0 0 326979 330 0 0 20 0 1 0 70178415 206860288 50326 18446744073709551615 4198400 6176925 140723976362896 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 26091520 140723976370538 140723976370665 140723976370665 140723976376267 0
/proc/79047/statm: 50503 50326 544 484 0 49914 0
Current children cumulated CPU time: 3273.09 s
Current children cumulated vsize: 202012 KiB
Current children cumulated memory: 201304 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/250 79258
/proc/meminfo: memFree=128895564/131382112 swapFree=33010416/33010684
[pid=79047] ppid=79043 vsize=202348 memory=201640 CPUtime=3332.92 cores=5,7
/proc/79047/stat : 79047 (uwrmaxsat) R 79043 79047 78306 0 -1 4194304 178861 0 0 0 332959 333 0 0 20 0 1 0 70178415 207204352 50410 18446744073709551615 4198400 6176925 140723976362896 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 26091520 140723976370538 140723976370665 140723976370665 140723976376267 0
/proc/79047/statm: 50587 50410 544 484 0 49998 0
Current children cumulated CPU time: 3332.92 s
Current children cumulated vsize: 202348 KiB
Current children cumulated memory: 201640 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.10 4.09 5/250 79260
/proc/meminfo: memFree=128874812/131382112 swapFree=33010416/33010684
[pid=79047] ppid=79043 vsize=202620 memory=201912 CPUtime=3392.76 cores=5,7
/proc/79047/stat : 79047 (uwrmaxsat) R 79043 79047 78306 0 -1 4194304 180784 0 0 0 338939 337 0 0 20 0 1 0 70178415 207482880 50478 18446744073709551615 4198400 6176925 140723976362896 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 26091520 140723976370538 140723976370665 140723976370665 140723976376267 0
/proc/79047/statm: 50655 50478 544 484 0 50066 0
Current children cumulated CPU time: 3392.76 s
Current children cumulated vsize: 202620 KiB
Current children cumulated memory: 201912 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/250 79262
/proc/meminfo: memFree=128711324/131382112 swapFree=33010416/33010684
[pid=79047] ppid=79043 vsize=305476 memory=301940 CPUtime=3452.59 cores=5,7
/proc/79047/stat : 79047 (uwrmaxsat) R 79043 79047 78306 0 -1 4194304 186357 0 0 0 344914 345 0 0 20 0 1 0 70178415 312807424 75485 18446744073709551615 4198400 6176925 140723976362896 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 26091520 140723976370538 140723976370665 140723976370665 140723976376267 0
/proc/79047/statm: 76369 75485 544 484 0 75780 0
Current children cumulated CPU time: 3452.59 s
Current children cumulated vsize: 305476 KiB
Current children cumulated memory: 301940 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/250 79264
/proc/meminfo: memFree=128565944/131382112 swapFree=33010416/33010684
[pid=79047] ppid=79043 vsize=317292 memory=315272 CPUtime=3512.42 cores=5,7
/proc/79047/stat : 79047 (uwrmaxsat) R 79043 79047 78306 0 -1 4194304 190331 0 0 0 350887 355 0 0 20 0 1 0 70178415 324907008 78818 18446744073709551615 4198400 6176925 140723976362896 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 26091520 140723976370538 140723976370665 140723976370665 140723976376267 0
/proc/79047/statm: 79323 78818 544 484 0 78734 0
Current children cumulated CPU time: 3512.42 s
Current children cumulated vsize: 317292 KiB
Current children cumulated memory: 315272 KiB
[startup+3582.3 s]
/proc/loadavg: 4.63 4.24 4.14 5/249 79270
/proc/meminfo: memFree=128391032/131382112 swapFree=33010416/33010684
[pid=79047] ppid=79043 vsize=416720 memory=415328 CPUtime=3572.26 cores=5,7
/proc/79047/stat : 79047 (uwrmaxsat) R 79043 79047 78306 0 -1 4194304 203482 0 0 0 356857 369 0 0 20 0 1 0 70178415 426721280 103832 18446744073709551615 4198400 6176925 140723976362896 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 26091520 140723976370538 140723976370665 140723976370665 140723976376267 0
/proc/79047/statm: 104180 103832 544 484 0 103591 0
Current children cumulated CPU time: 3572.26 s
Current children cumulated vsize: 416720 KiB
Current children cumulated memory: 415328 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.2 s]
/proc/loadavg: 4.61 4.27 4.16 5/249 79271
/proc/meminfo: memFree=128132868/131382112 swapFree=33010416/33010684
[pid=79047] ppid=79043 vsize=650040 memory=647120 CPUtime=3600.08 cores=5,7
/proc/79047/stat : 79047 (uwrmaxsat) R 79043 79047 78306 0 -1 4194304 234039 0 0 0 359627 381 0 0 20 0 1 0 70178415 665640960 161780 18446744073709551615 4198400 6176925 140723976362896 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 6553704 6596784 26091520 140723976370538 140723976370665 140723976370665 140723976376267 0
/proc/79047/statm: 162510 161780 544 484 0 161921 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 650040 KiB
Current children cumulated memory: 647120 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.21 s]
# the end of solver process 79047 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3596.27 s, system=3.82926 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3610.21
CPU time (s): 3600.1
CPU user time (s): 3596.27
CPU system time (s): 3.82926
CPU usage (%): 99.72
Max. virtual memory (cumulated for all children) (KiB): 834828
Max. memory (cumulated for all children) (KiB): 772836
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.27
system time used= 3.82926
maximum resident set size= 831716
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 234041
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= 48
involuntary context switches= 2423
# summary of solver processes directly reported to runsolver:
# pid: 79047
# total CPU time (s): 3600.1
# total CPU user time (s): 3596.27
# total CPU system time (s): 3.82926
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.1591 second user time and 34.8931 second system time
The end
Begin job on nodeC005 at 2025-07-03 14:16:30
IDJOB=4518655
IDBENCH=177066
IDSOLVER=3372
FILE ID=nodeC005/4518655-1751544990
RUNJOBID= nodeC005-1751537765-78319
SLURM_JOB_ID= 9598690
Free space on /tmp= 429480 MiB
SOLVER NAME= UWrMaxSat 2025-06-04
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/unit/normalized-evencolouring_opt_unit_random6regular_nvert_401.opb
COMMAND LINE= HOME/uwrmaxsat BENCHNAME -mem-lim=MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4518655-1751544990/watcher-4518655-1751544990 -o /tmp/evaluation-result-4518655-1751544990/solver-4518655-1751544990 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751537765-78319 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4518655-1751544990.opb -mem-lim=31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c2769aec5501f1fd7f55f6e1394c15e3
RANDOM SEED=664651414
nodeC005 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 : 0xb00001f
cpu MHz : 1197.199
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.90
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 : 0xb00001f
cpu MHz : 3491.975
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.90
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 : 0xb00001f
cpu MHz : 1197.280
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.90
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 : 0xb00001f
cpu MHz : 1197.150
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.90
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 : 0xb00001f
cpu MHz : 1197.249
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.90
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 : 0xb00001f
cpu MHz : 1197.171
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.90
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 : 0xb00001f
cpu MHz : 1197.289
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.90
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 : 0xb00001f
cpu MHz : 1197.240
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 129740020 kB
MemAvailable: 129857244 kB
Buffers: 2128 kB
Cached: 905980 kB
SwapCached: 24 kB
Active: 716572 kB
Inactive: 259440 kB
Active(anon): 82676 kB
Inactive(anon): 3164 kB
Active(file): 633896 kB
Inactive(file): 256276 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 5516 kB
Writeback: 40 kB
AnonPages: 71004 kB
Mapped: 104116 kB
Shmem: 17936 kB
KReclaimable: 133360 kB
Slab: 221016 kB
SReclaimable: 133360 kB
SUnreclaim: 87656 kB
KernelStack: 3872 kB
PageTables: 2960 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 342912 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149288 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 10240 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: 201544 kB
DirectMap2M: 8089600 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 429476 MiB
End job on nodeC005 at 2025-07-03 15:16:41