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 (63000 MiB free)
memory of node 1: 64465 MiB (63678 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4486301-1751324575/watcher-4486301-1751324575 -o /tmp/evaluation-result-4486301-1751324575/solver-4486301-1751324575 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751324575-56024 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4486301-1751324575.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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=56064, runsolver pid=56059
[startup+0.100072 s]*
/proc/loadavg: 2.05 3.71 5.10 5/248 56073
/proc/meminfo: memFree=129694508/131382112 swapFree=33010684/33010684
[pid=56064] ppid=56059 vsize=9032 memory=8064 CPUtime=0.09 cores=0,2
/proc/56064/stat : 56064 (uwrmaxsat) R 56059 56064 56014 0 -1 4194304 1686 0 0 0 9 0 0 0 20 0 1 0 48136639 9248768 2016 18446744073709551615 4198400 6176925 140728799470336 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 35778560 140728799471978 140728799472105 140728799472105 140728799477707 0
/proc/56064/statm: 2258 2016 448 484 0 1669 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9032 KiB
Current children cumulated memory: 8064 KiB
[startup+0.214005 s]*
/proc/loadavg: 2.05 3.71 5.10 5/248 56073
/proc/meminfo: memFree=129686444/131382112 swapFree=33010684/33010684
[pid=56064] ppid=56059 vsize=14248 memory=13312 CPUtime=0.2 cores=0,2
/proc/56064/stat : 56064 (uwrmaxsat) R 56059 56064 56014 0 -1 4194304 2991 0 0 0 20 0 0 0 20 0 1 0 48136639 14589952 3328 18446744073709551615 4198400 6176925 140728799470336 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 35778560 140728799471978 140728799472105 140728799472105 140728799477707 0
/proc/56064/statm: 3562 3328 448 484 0 2973 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 14248 KiB
Current children cumulated memory: 13312 KiB
[startup+0.313049 s]*
/proc/loadavg: 2.05 3.71 5.10 5/248 56073
/proc/meminfo: memFree=129686444/131382112 swapFree=33010684/33010684
[pid=56064] ppid=56059 vsize=18484 memory=17536 CPUtime=0.31 cores=0,2
/proc/56064/stat : 56064 (uwrmaxsat) R 56059 56064 56014 0 -1 4194304 4031 0 0 0 30 1 0 0 20 0 1 0 48136639 18927616 4384 18446744073709551615 4198400 6176925 140728799470336 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 35778560 140728799471978 140728799472105 140728799472105 140728799477707 0
/proc/56064/statm: 4621 4384 448 484 0 4032 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18484 KiB
Current children cumulated memory: 17536 KiB
[startup+0.700367 s]
/proc/loadavg: 2.05 3.71 5.10 5/246 56073
/proc/meminfo: memFree=129658852/131382112 swapFree=33010684/33010684
[pid=56064] ppid=56059 vsize=35936 memory=34680 CPUtime=0.68 cores=0,2
/proc/56064/stat : 56064 (uwrmaxsat) R 56059 56064 56014 0 -1 4194304 8970 0 0 0 65 3 0 0 20 0 1 0 48136639 36798464 8670 18446744073709551615 4198400 6176925 140728799470336 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 6553704 6596784 35778560 140728799471978 140728799472105 140728799472105 140728799477707 0
/proc/56064/statm: 8984 8670 448 484 0 8395 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 35936 KiB
Current children cumulated memory: 34680 KiB
[startup+1.50037 s]
/proc/loadavg: 2.05 3.71 5.10 4/247 56091
/proc/meminfo: memFree=129561760/131382112 swapFree=33010684/33010684
[pid=56064] ppid=56059 vsize=75696 memory=73524 CPUtime=1.48 cores=0,2
/proc/56064/stat : 56064 (uwrmaxsat) R 56059 56064 56014 0 -1 4194304 15608 0 0 0 141 7 0 0 20 0 1 0 48136639 77512704 18381 18446744073709551615 4198400 6176925 140728799470336 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 35778560 140728799471978 140728799472105 140728799472105 140728799477707 0
/proc/56064/statm: 18924 18381 512 484 0 18335 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 75696 KiB
Current children cumulated memory: 73524 KiB
[startup+3.11284 s]
/proc/loadavg: 2.05 3.71 5.10 5/251 56128
/proc/meminfo: memFree=129512100/131382112 swapFree=33010684/33010684
[pid=56064] ppid=56059 vsize=75980 memory=73908 CPUtime=3.08 cores=0,2
/proc/56064/stat : 56064 (uwrmaxsat) R 56059 56064 56014 0 -1 4194304 15691 0 0 0 301 7 0 0 20 0 1 0 48136639 77803520 18477 18446744073709551615 4198400 6176925 140728799470336 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 35778560 140728799471978 140728799472105 140728799472105 140728799477707 0
/proc/56064/statm: 18995 18477 512 484 0 18406 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 75980 KiB
Current children cumulated memory: 73908 KiB
[startup+6.30032 s]
/proc/loadavg: 2.21 3.71 5.09 5/251 56128
/proc/meminfo: memFree=129224668/131382112 swapFree=33010684/33010684
[pid=56064] ppid=56059 vsize=75980 memory=73908 CPUtime=6.26 cores=0,2
/proc/56064/stat : 56064 (uwrmaxsat) R 56059 56064 56014 0 -1 4194304 15695 0 0 0 619 7 0 0 20 0 1 0 48136639 77803520 18477 18446744073709551615 4198400 6176925 140728799470336 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 35778560 140728799471978 140728799472105 140728799472105 140728799477707 0
/proc/56064/statm: 18995 18477 512 484 0 18406 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 75980 KiB
Current children cumulated memory: 73908 KiB
[startup+12.7003 s]
/proc/loadavg: 2.35 3.72 5.09 5/251 56173
/proc/meminfo: memFree=129339624/131382112 swapFree=33010684/33010684
[pid=56064] ppid=56059 vsize=78340 memory=76212 CPUtime=12.64 cores=0,2
/proc/56064/stat : 56064 (uwrmaxsat) R 56059 56064 56014 0 -1 4194304 16289 0 0 0 1257 7 0 0 20 0 1 0 48136639 80220160 19053 18446744073709551615 4198400 6176925 140728799470336 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 35778560 140728799471978 140728799472105 140728799472105 140728799477707 0
/proc/56064/statm: 19585 19053 512 484 0 18996 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 78340 KiB
Current children cumulated memory: 76212 KiB
[startup+25.5004 s]
/proc/loadavg: 2.79 3.75 5.08 5/251 56173
/proc/meminfo: memFree=129339892/131382112 swapFree=33010684/33010684
[pid=56064] ppid=56059 vsize=79032 memory=76980 CPUtime=25.39 cores=0,2
/proc/56064/stat : 56064 (uwrmaxsat) R 56059 56064 56014 0 -1 4194304 16462 0 0 0 2532 7 0 0 20 0 1 0 48136639 80928768 19245 18446744073709551615 4198400 6176925 140728799470336 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 35778560 140728799471978 140728799472105 140728799472105 140728799477707 0
/proc/56064/statm: 19758 19245 512 484 0 19169 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 79032 KiB
Current children cumulated memory: 76980 KiB
[startup+51.1128 s]
/proc/loadavg: 3.20 3.77 5.05 5/251 56174
/proc/meminfo: memFree=129319556/131382112 swapFree=33010684/33010684
[pid=56064] ppid=56059 vsize=96012 memory=93912 CPUtime=50.91 cores=0,2
/proc/56064/stat : 56064 (uwrmaxsat) R 56059 56064 56014 0 -1 4194304 18336 0 0 0 5083 8 0 0 20 0 1 0 48136639 98316288 23478 18446744073709551615 4198400 6176925 140728799470336 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 35778560 140728799471978 140728799472105 140728799472105 140728799477707 0
/proc/56064/statm: 24003 23478 512 484 0 23414 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 96012 KiB
Current children cumulated memory: 93912 KiB
[startup+102.3 s]
/proc/loadavg: 3.70 3.82 4.99 5/251 56179
/proc/meminfo: memFree=129273388/131382112 swapFree=33010684/33010684
[pid=56064] ppid=56059 vsize=92948 memory=91224 CPUtime=101.92 cores=0,2
/proc/56064/stat : 56064 (uwrmaxsat) R 56059 56064 56014 0 -1 4194304 21323 0 0 0 10183 9 0 0 20 0 1 0 48136639 95178752 22806 18446744073709551615 4198400 6176925 140728799470336 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 35778560 140728799471978 140728799472105 140728799472105 140728799477707 0
/proc/56064/statm: 23237 22806 512 484 0 22648 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 92948 KiB
Current children cumulated memory: 91224 KiB
[startup+162.3 s]
/proc/loadavg: 4.63 4.07 5.00 5/251 56181
/proc/meminfo: memFree=129188212/131382112 swapFree=33010684/33010684
[pid=56064] ppid=56059 vsize=96560 memory=94908 CPUtime=161.76 cores=0,2
/proc/56064/stat : 56064 (uwrmaxsat) R 56059 56064 56014 0 -1 4194304 22634 0 0 0 16165 11 0 0 20 0 1 0 48136639 98877440 23727 18446744073709551615 4198400 6176925 140728799470336 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 35778560 140728799471978 140728799472105 140728799472105 140728799477707 0
/proc/56064/statm: 24140 23727 512 484 0 23551 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 96560 KiB
Current children cumulated memory: 94908 KiB
[startup+222.3 s]
/proc/loadavg: 4.26 4.07 4.94 5/251 56183
/proc/meminfo: memFree=129184324/131382112 swapFree=33010684/33010684
[pid=56064] ppid=56059 vsize=117352 memory=115700 CPUtime=221.6 cores=0,2
/proc/56064/stat : 56064 (uwrmaxsat) R 56059 56064 56014 0 -1 4194304 25489 0 0 0 22145 15 0 0 20 0 1 0 48136639 120168448 28925 18446744073709551615 4198400 6176925 140728799470336 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 35778560 140728799471978 140728799472105 140728799472105 140728799477707 0
/proc/56064/statm: 29338 28925 512 484 0 28749 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 117352 KiB
Current children cumulated memory: 115700 KiB
[startup+282.3 s]
/proc/loadavg: 4.21 4.09 4.89 5/250 56185
/proc/meminfo: memFree=129201384/131382112 swapFree=33010684/33010684
[pid=56064] ppid=56059 vsize=116188 memory=114520 CPUtime=281.42 cores=0,2
/proc/56064/stat : 56064 (uwrmaxsat) R 56059 56064 56014 0 -1 4194304 29237 0 0 0 28125 17 0 0 20 0 1 0 48136639 118976512 28630 18446744073709551615 4198400 6176925 140728799470336 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 35778560 140728799471978 140728799472105 140728799472105 140728799477707 0
/proc/56064/statm: 29047 28630 512 484 0 28458 0
Current children cumulated CPU time: 281.42 s
Current children cumulated vsize: 116188 KiB
Current children cumulated memory: 114520 KiB
[startup+342.3 s]
/proc/loadavg: 4.82 4.26 4.90 5/250 56187
/proc/meminfo: memFree=129126028/131382112 swapFree=33010684/33010684
[pid=56064] ppid=56059 vsize=133436 memory=131672 CPUtime=341.24 cores=0,2
/proc/56064/stat : 56064 (uwrmaxsat) R 56059 56064 56014 0 -1 4194304 30776 0 0 0 34105 19 0 0 20 0 1 0 48136639 136638464 32918 18446744073709551615 4198400 6176925 140728799470336 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 35778560 140728799471978 140728799472105 140728799472105 140728799477707 0
/proc/56064/statm: 33359 32918 512 484 0 32770 0
Current children cumulated CPU time: 341.24 s
Current children cumulated vsize: 133436 KiB
Current children cumulated memory: 131672 KiB
[startup+402.3 s]
/proc/loadavg: 5.05 4.45 4.93 5/250 56189
/proc/meminfo: memFree=129012124/131382112 swapFree=33010684/33010684
[pid=56064] ppid=56059 vsize=147648 memory=145876 CPUtime=401.06 cores=0,2
/proc/56064/stat : 56064 (uwrmaxsat) R 56059 56064 56014 0 -1 4194304 33443 0 0 0 40085 21 0 0 20 0 1 0 48136639 151191552 36469 18446744073709551615 4198400 6176925 140728799470336 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 35778560 140728799471978 140728799472105 140728799472105 140728799477707 0
/proc/56064/statm: 36912 36469 512 484 0 36323 0
Current children cumulated CPU time: 401.06 s
Current children cumulated vsize: 147648 KiB
Current children cumulated memory: 145876 KiB
[startup+462.3 s]
/proc/loadavg: 4.45 4.39 4.88 5/250 56191
/proc/meminfo: memFree=129027808/131382112 swapFree=33010684/33010684
[pid=56064] ppid=56059 vsize=170272 memory=168536 CPUtime=460.89 cores=0,2
/proc/56064/stat : 56064 (uwrmaxsat) R 56059 56064 56014 0 -1 4194304 34553 0 0 0 46067 22 0 0 20 0 1 0 48136639 174358528 42134 18446744073709551615 4198400 6176925 140728799470336 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 35778560 140728799471978 140728799472105 140728799472105 140728799477707 0
/proc/56064/statm: 42568 42134 512 484 0 41979 0
Current children cumulated CPU time: 460.89 s
################
# More data... #
################
Current children cumulated memory: 187820 KiB
[startup+2862.3 s]
/proc/loadavg: 4.15 4.11 4.15 5/250 56301
/proc/meminfo: memFree=128815432/131382112 swapFree=33010684/33010684
[pid=56064] ppid=56059 vsize=190136 memory=185764 CPUtime=2853.78 cores=0,2
/proc/56064/stat : 56064 (uwrmaxsat) R 56059 56064 56014 0 -1 4194304 106950 0 0 0 285263 115 0 0 20 0 1 0 48136639 194699264 46441 18446744073709551615 4198400 6176925 140728799470336 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 35778560 140728799471978 140728799472105 140728799472105 140728799477707 0
/proc/56064/statm: 47534 46441 512 484 0 46945 0
Current children cumulated CPU time: 2853.78 s
Current children cumulated vsize: 190136 KiB
Current children cumulated memory: 185764 KiB
[startup+2922.3 s]
/proc/loadavg: 4.11 4.10 4.15 5/250 56303
/proc/meminfo: memFree=128802044/131382112 swapFree=33010684/33010684
[pid=56064] ppid=56059 vsize=190632 memory=186260 CPUtime=2913.6 cores=0,2
/proc/56064/stat : 56064 (uwrmaxsat) R 56059 56064 56014 0 -1 4194304 108543 0 0 0 291241 119 0 0 20 0 1 0 48136639 195207168 46565 18446744073709551615 4198400 6176925 140728799470336 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 35778560 140728799471978 140728799472105 140728799472105 140728799477707 0
/proc/56064/statm: 47658 46565 512 484 0 47069 0
Current children cumulated CPU time: 2913.6 s
Current children cumulated vsize: 190632 KiB
Current children cumulated memory: 186260 KiB
[startup+2982.3 s]
/proc/loadavg: 4.09 4.09 4.14 5/250 56307
/proc/meminfo: memFree=128797328/131382112 swapFree=33010684/33010684
[pid=56064] ppid=56059 vsize=191312 memory=186940 CPUtime=2973.41 cores=0,2
/proc/56064/stat : 56064 (uwrmaxsat) R 56059 56064 56014 0 -1 4194304 110240 0 0 0 297220 121 0 0 20 0 1 0 48136639 195903488 46735 18446744073709551615 4198400 6176925 140728799470336 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 35778560 140728799471978 140728799472105 140728799472105 140728799477707 0
/proc/56064/statm: 47828 46735 512 484 0 47239 0
Current children cumulated CPU time: 2973.41 s
Current children cumulated vsize: 191312 KiB
Current children cumulated memory: 186940 KiB
[startup+3042.3 s]
/proc/loadavg: 4.07 4.09 4.14 5/249 56309
/proc/meminfo: memFree=128769484/131382112 swapFree=33010684/33010684
[pid=56064] ppid=56059 vsize=192144 memory=188668 CPUtime=3033.23 cores=0,2
/proc/56064/stat : 56064 (uwrmaxsat) R 56059 56064 56014 0 -1 4194304 111223 0 0 0 303201 122 0 0 20 0 1 0 48136639 196755456 47167 18446744073709551615 4198400 6176925 140728799470336 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 35778560 140728799471978 140728799472105 140728799472105 140728799477707 0
/proc/56064/statm: 48036 47167 512 484 0 47447 0
Current children cumulated CPU time: 3033.23 s
Current children cumulated vsize: 192144 KiB
Current children cumulated memory: 188668 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.08 4.13 5/250 56316
/proc/meminfo: memFree=128787052/131382112 swapFree=33010684/33010684
[pid=56064] ppid=56059 vsize=191300 memory=187824 CPUtime=3093.05 cores=0,2
/proc/56064/stat : 56064 (uwrmaxsat) R 56059 56064 56014 0 -1 4194304 112598 0 0 0 309180 125 0 0 20 0 1 0 48136639 195891200 46956 18446744073709551615 4198400 6176925 140728799470336 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 35778560 140728799471978 140728799472105 140728799472105 140728799477707 0
/proc/56064/statm: 47825 46956 512 484 0 47236 0
Current children cumulated CPU time: 3093.05 s
Current children cumulated vsize: 191300 KiB
Current children cumulated memory: 187824 KiB
[startup+3162.3 s]
/proc/loadavg: 4.07 4.08 4.12 5/250 56318
/proc/meminfo: memFree=128777000/131382112 swapFree=33010684/33010684
[pid=56064] ppid=56059 vsize=190208 memory=186732 CPUtime=3152.87 cores=0,2
/proc/56064/stat : 56064 (uwrmaxsat) R 56059 56064 56014 0 -1 4194304 114601 0 0 0 315159 128 0 0 20 0 1 0 48136639 194772992 46683 18446744073709551615 4198400 6176925 140728799470336 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 35778560 140728799471978 140728799472105 140728799472105 140728799477707 0
/proc/56064/statm: 47552 46683 512 484 0 46963 0
Current children cumulated CPU time: 3152.87 s
Current children cumulated vsize: 190208 KiB
Current children cumulated memory: 186732 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.10 4.12 5/250 56320
/proc/meminfo: memFree=128749888/131382112 swapFree=33010684/33010684
[pid=56064] ppid=56059 vsize=190980 memory=187504 CPUtime=3212.69 cores=0,2
/proc/56064/stat : 56064 (uwrmaxsat) R 56059 56064 56014 0 -1 4194304 116011 0 0 0 321139 130 0 0 20 0 1 0 48136639 195563520 46876 18446744073709551615 4198400 6176925 140728799470336 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 35778560 140728799471978 140728799472105 140728799472105 140728799477707 0
/proc/56064/statm: 47745 46876 512 484 0 47156 0
Current children cumulated CPU time: 3212.69 s
Current children cumulated vsize: 190980 KiB
Current children cumulated memory: 187504 KiB
[startup+3282.3 s]
/proc/loadavg: 4.04 4.08 4.11 5/250 56322
/proc/meminfo: memFree=128740644/131382112 swapFree=33010684/33010684
[pid=56064] ppid=56059 vsize=190524 memory=187048 CPUtime=3272.51 cores=0,2
/proc/56064/stat : 56064 (uwrmaxsat) R 56059 56064 56014 0 -1 4194304 117276 0 0 0 327119 132 0 0 20 0 1 0 48136639 195096576 46762 18446744073709551615 4198400 6176925 140728799470336 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 35778560 140728799471978 140728799472105 140728799472105 140728799477707 0
/proc/56064/statm: 47631 46762 512 484 0 47042 0
Current children cumulated CPU time: 3272.51 s
Current children cumulated vsize: 190524 KiB
Current children cumulated memory: 187048 KiB
[startup+3342.3 s]
/proc/loadavg: 4.16 4.10 4.12 5/250 56324
/proc/meminfo: memFree=128746996/131382112 swapFree=33010684/33010684
[pid=56064] ppid=56059 vsize=192584 memory=189108 CPUtime=3332.33 cores=0,2
/proc/56064/stat : 56064 (uwrmaxsat) R 56059 56064 56014 0 -1 4194304 119439 0 0 0 333098 135 0 0 20 0 1 0 48136639 197206016 47277 18446744073709551615 4198400 6176925 140728799470336 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 35778560 140728799471978 140728799472105 140728799472105 140728799477707 0
/proc/56064/statm: 48146 47277 512 484 0 47557 0
Current children cumulated CPU time: 3332.33 s
Current children cumulated vsize: 192584 KiB
Current children cumulated memory: 189108 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.10 4.11 5/250 56326
/proc/meminfo: memFree=128737216/131382112 swapFree=33010684/33010684
[pid=56064] ppid=56059 vsize=191512 memory=188036 CPUtime=3392.15 cores=0,2
/proc/56064/stat : 56064 (uwrmaxsat) R 56059 56064 56014 0 -1 4194304 121111 0 0 0 339077 138 0 0 20 0 1 0 48136639 196108288 47009 18446744073709551615 4198400 6176925 140728799470336 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 35778560 140728799471978 140728799472105 140728799472105 140728799477707 0
/proc/56064/statm: 47878 47009 512 484 0 47289 0
Current children cumulated CPU time: 3392.15 s
Current children cumulated vsize: 191512 KiB
Current children cumulated memory: 188036 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.09 4.11 5/249 56328
/proc/meminfo: memFree=128747952/131382112 swapFree=33010684/33010684
[pid=56064] ppid=56059 vsize=194668 memory=191192 CPUtime=3451.98 cores=0,2
/proc/56064/stat : 56064 (uwrmaxsat) R 56059 56064 56014 0 -1 4194304 122229 0 0 0 345057 141 0 0 20 0 1 0 48136639 199340032 47798 18446744073709551615 4198400 6176925 140728799470336 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 35778560 140728799471978 140728799472105 140728799472105 140728799477707 0
/proc/56064/statm: 48667 47798 512 484 0 48078 0
Current children cumulated CPU time: 3451.98 s
Current children cumulated vsize: 194668 KiB
Current children cumulated memory: 191192 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.09 4.10 5/249 56345
/proc/meminfo: memFree=128784620/131382112 swapFree=33010684/33010684
[pid=56064] ppid=56059 vsize=191340 memory=187864 CPUtime=3511.8 cores=0,2
/proc/56064/stat : 56064 (uwrmaxsat) R 56059 56064 56014 0 -1 4194304 124438 0 0 0 351036 144 0 0 20 0 1 0 48136639 195932160 46966 18446744073709551615 4198400 6176925 140728799470336 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 35778560 140728799471978 140728799472105 140728799472105 140728799477707 0
/proc/56064/statm: 47835 46966 512 484 0 47246 0
Current children cumulated CPU time: 3511.8 s
Current children cumulated vsize: 191340 KiB
Current children cumulated memory: 187864 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/250 56350
/proc/meminfo: memFree=128776348/131382112 swapFree=33010684/33010684
[pid=56064] ppid=56059 vsize=194580 memory=191104 CPUtime=3571.62 cores=0,2
/proc/56064/stat : 56064 (uwrmaxsat) R 56059 56064 56014 0 -1 4194304 125342 0 0 0 357016 146 0 0 20 0 1 0 48136639 199249920 47776 18446744073709551615 4198400 6176925 140728799470336 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 35778560 140728799471978 140728799472105 140728799472105 140728799477707 0
/proc/56064/statm: 48645 47776 512 484 0 48056 0
Current children cumulated CPU time: 3571.62 s
Current children cumulated vsize: 194580 KiB
Current children cumulated memory: 191104 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.8 s]
/proc/loadavg: 4.12 4.09 4.10 5/250 56351
/proc/meminfo: memFree=128774044/131382112 swapFree=33010684/33010684
[pid=56064] ppid=56059 vsize=193600 memory=190124 CPUtime=3600.04 cores=0,2
/proc/56064/stat : 56064 (uwrmaxsat) R 56059 56064 56014 0 -1 4194304 126276 0 0 0 359857 147 0 0 20 0 1 0 48136639 198246400 47531 18446744073709551615 4198400 6176925 140728799470336 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 35778560 140728799471978 140728799472105 140728799472105 140728799477707 0
/proc/56064/statm: 48400 47531 512 484 0 47811 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 193600 KiB
Current children cumulated memory: 190124 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.8 s]
# the end of solver process 56064 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3598.58 s, system=1.47822 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3610.8
CPU time (s): 3600.05
CPU user time (s): 3598.58
CPU system time (s): 1.47822
CPU usage (%): 99.7024
Max. virtual memory (cumulated for all children) (KiB): 250188
Max. memory (cumulated for all children) (KiB): 248312
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.58
system time used= 1.47822
maximum resident set size= 248312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 126278
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= 37
involuntary context switches= 7877
# summary of solver processes directly reported to runsolver:
# pid: 56064
# total CPU time (s): 3600.05
# total CPU user time (s): 3598.58
# total CPU system time (s): 1.47822
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.7981 second user time and 33.1306 second system time
The end
Begin job on nodeC007 at 2025-07-01 01:02:55
IDJOB=4486301
IDBENCH=147017
IDSOLVER=3372
FILE ID=nodeC007/4486301-1751324575
RUNJOBID= nodeC007-1751324575-56024
SLURM_JOB_ID= 9594346
Free space on /tmp= 433016 MiB
SOLVER NAME= UWrMaxSat 2025-06-04
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ttp/normalized-circ8_3.opb
COMMAND LINE= HOME/uwrmaxsat BENCHNAME -mem-lim=MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4486301-1751324575/watcher-4486301-1751324575 -o /tmp/evaluation-result-4486301-1751324575/solver-4486301-1751324575 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751324575-56024 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4486301-1751324575.opb -mem-lim=31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 82a224b9434e58ca22c331a9d6eb0d67
RANDOM SEED=31160321
nodeC007 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.991
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.68
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 : 1197.915
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.68
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.197
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.68
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.210
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.68
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.610
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.68
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.808
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.68
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.205
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.68
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.198
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.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 129726972 kB
MemAvailable: 129915420 kB
Buffers: 3280 kB
Cached: 995128 kB
SwapCached: 0 kB
Active: 325096 kB
Inactive: 748884 kB
Active(anon): 93284 kB
Inactive(anon): 0 kB
Active(file): 231812 kB
Inactive(file): 748884 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 17664 kB
Writeback: 0 kB
AnonPages: 78428 kB
Mapped: 102316 kB
Shmem: 17960 kB
KReclaimable: 94760 kB
Slab: 178208 kB
SReclaimable: 94760 kB
SUnreclaim: 83448 kB
KernelStack: 3856 kB
PageTables: 2888 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 340400 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149240 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 20480 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 201544 kB
DirectMap2M: 10186752 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 433000 MiB
End job on nodeC007 at 2025-07-01 02:03:06