3.47/3.51 c Using cadical-2.0.0-2df7b7f SAT solver by Armin Biere (2022)
3.47/3.51 c Do: 140721313381720 140721313381728
3.47/3.51 c Using SCIP solver, version 8.1.0, https://www.scipopt.org
3.57/3.69 c Starting SCIP solver (with time-limit = 1800s) ...
940.90/943.57 s UNSATISFIABLE
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 (59100 MiB free)
memory of node 1: 64465 MiB (63840 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4486077-1751319584/watcher-4486077-1751319584 -o /tmp/evaluation-result-4486077-1751319584/solver-4486077-1751319584 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751315935-46555 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4486077-1751319584.opb -total-t=3600 -no-par -v0
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=47169, runsolver pid=47166
[startup+0.100068 s]*
/proc/loadavg: 4.09 4.10 4.10 5/250 47170
/proc/meminfo: memFree=125887500/131382116 swapFree=33010160/33010684
[pid=47169] ppid=47166 vsize=23796 memory=9556 CPUtime=0.09 cores=5,7
/proc/47169/stat : 47169 (CASHWMaxSAT-Dis) R 47166 47169 46542 0 -1 4194304 1665 0 0 0 9 0 0 0 20 0 1 0 47637608 24367104 2389 18446744073709551615 4198400 14817773 140721313384128 0 0 0 0 0 19490 0 0 0 17 7 0 0 0 0 0 16829744 16914832 33828864 140721313388906 140721313389021 140721313389021 140721313394623 0
/proc/47169/statm: 5949 2389 896 2593 0 2842 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 23796 KiB
Current children cumulated memory: 9556 KiB
[startup+0.215733 s]*
/proc/loadavg: 4.09 4.10 4.10 6/250 47170
/proc/meminfo: memFree=125883468/131382116 swapFree=33010160/33010684
[pid=47169] ppid=47166 vsize=25936 memory=11524 CPUtime=0.2 cores=5,7
/proc/47169/stat : 47169 (CASHWMaxSAT-Dis) R 47166 47169 46542 0 -1 4194304 2309 0 0 0 19 1 0 0 20 0 1 0 47637608 26558464 2881 18446744073709551615 4198400 14817773 140721313384128 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 33828864 140721313388906 140721313389021 140721313389021 140721313394623 0
/proc/47169/statm: 6484 2881 896 2593 0 3377 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 25936 KiB
Current children cumulated memory: 11524 KiB
[startup+0.312729 s]*
/proc/loadavg: 4.09 4.10 4.10 5/250 47170
/proc/meminfo: memFree=125883468/131382116 swapFree=33010160/33010684
[pid=47169] ppid=47166 vsize=25936 memory=11524 CPUtime=0.3 cores=5,7
/proc/47169/stat : 47169 (CASHWMaxSAT-Dis) R 47166 47169 46542 0 -1 4194304 2316 0 0 0 29 1 0 0 20 0 1 0 47637608 26558464 2881 18446744073709551615 4198400 14817773 140721313384128 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 33828864 140721313388906 140721313389021 140721313389021 140721313394623 0
/proc/47169/statm: 6484 2881 896 2593 0 3377 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 25936 KiB
Current children cumulated memory: 11524 KiB
[startup+0.700249 s]
/proc/loadavg: 4.09 4.10 4.10 6/250 47170
/proc/meminfo: memFree=125883468/131382116 swapFree=33010160/33010684
[pid=47169] ppid=47166 vsize=26476 memory=11652 CPUtime=0.68 cores=5,7
/proc/47169/stat : 47169 (CASHWMaxSAT-Dis) R 47166 47169 46542 0 -1 4194304 2357 0 0 0 67 1 0 0 20 0 1 0 47637608 27111424 2913 18446744073709551615 4198400 14817773 140721313384128 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 33828864 140721313388906 140721313389021 140721313389021 140721313394623 0
/proc/47169/statm: 6619 2913 896 2593 0 3512 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 26476 KiB
Current children cumulated memory: 11652 KiB
[startup+1.50027 s]
/proc/loadavg: 4.09 4.10 4.10 5/250 47170
/proc/meminfo: memFree=125883468/131382116 swapFree=33010160/33010684
[pid=47169] ppid=47166 vsize=27664 memory=13064 CPUtime=1.47 cores=5,7
/proc/47169/stat : 47169 (CASHWMaxSAT-Dis) R 47166 47169 46542 0 -1 4194304 2886 0 0 0 146 1 0 0 20 0 1 0 47637608 28327936 3266 18446744073709551615 4198400 14817773 140721313384128 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 33828864 140721313388906 140721313389021 140721313389021 140721313394623 0
/proc/47169/statm: 6916 3266 896 2593 0 3809 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 27664 KiB
Current children cumulated memory: 13064 KiB
[startup+3.113 s]
/proc/loadavg: 4.09 4.10 4.10 5/250 47170
/proc/meminfo: memFree=125881200/131382116 swapFree=33010160/33010684
[pid=47169] ppid=47166 vsize=32236 memory=17188 CPUtime=3.08 cores=5,7
/proc/47169/stat : 47169 (CASHWMaxSAT-Dis) R 47166 47169 46542 0 -1 4194304 3710 0 0 0 307 1 0 0 20 0 1 0 47637608 33009664 4297 18446744073709551615 4198400 14817773 140721313384128 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 33828864 140721313388906 140721313389021 140721313389021 140721313394623 0
/proc/47169/statm: 8059 4297 896 2593 0 4952 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 32236 KiB
Current children cumulated memory: 17188 KiB
[startup+6.30032 s]
/proc/loadavg: 4.08 4.10 4.10 5/250 47170
/proc/meminfo: memFree=125447568/131382116 swapFree=33010160/33010684
[pid=47169] ppid=47166 vsize=449492 memory=430772 CPUtime=6.26 cores=5,7
/proc/47169/stat : 47169 (CASHWMaxSAT-Dis) R 47166 47169 46542 0 -1 4194304 105969 0 0 0 611 15 0 0 20 0 1 0 47637608 460279808 107693 18446744073709551615 4198400 14817773 140721313384128 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 33828864 140721313388906 140721313389021 140721313389021 140721313394623 0
/proc/47169/statm: 112373 107693 2496 2593 0 109266 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 449492 KiB
Current children cumulated memory: 430772 KiB
[startup+12.7003 s]
/proc/loadavg: 4.08 4.10 4.10 5/250 47170
/proc/meminfo: memFree=124280260/131382116 swapFree=33010160/33010684
[pid=47169] ppid=47166 vsize=666376 memory=640000 CPUtime=12.64 cores=5,7
/proc/47169/stat : 47169 (CASHWMaxSAT-Dis) R 47166 47169 46542 0 -1 4194304 156682 0 0 0 1240 24 0 0 20 0 1 0 47637608 682369024 160000 18446744073709551615 4198400 14817773 140721313384128 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 33828864 140721313388906 140721313389021 140721313389021 140721313394623 0
/proc/47169/statm: 166594 160000 2592 2593 0 163487 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 666376 KiB
Current children cumulated memory: 640000 KiB
[startup+25.5003 s]
/proc/loadavg: 4.13 4.11 4.10 5/250 47170
/proc/meminfo: memFree=124346204/131382116 swapFree=33010160/33010684
[pid=47169] ppid=47166 vsize=668116 memory=642048 CPUtime=25.4 cores=5,7
/proc/47169/stat : 47169 (CASHWMaxSAT-Dis) R 47166 47169 46542 0 -1 4194304 157221 0 0 0 2516 24 0 0 20 0 1 0 47637608 684150784 160512 18446744073709551615 4198400 14817773 140721313384128 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 33828864 140721313388906 140721313389021 140721313389021 140721313394623 0
/proc/47169/statm: 167029 160512 2592 2593 0 163922 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 668116 KiB
Current children cumulated memory: 642048 KiB
[startup+51.1132 s]
/proc/loadavg: 4.09 4.10 4.10 5/250 47171
/proc/meminfo: memFree=124215992/131382116 swapFree=33010160/33010684
[pid=47169] ppid=47166 vsize=671112 memory=644992 CPUtime=50.96 cores=5,7
/proc/47169/stat : 47169 (CASHWMaxSAT-Dis) R 47166 47169 46542 0 -1 4194304 157966 0 0 0 5072 24 0 0 20 0 1 0 47637608 687218688 161248 18446744073709551615 4198400 14817773 140721313384128 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 33828864 140721313388906 140721313389021 140721313389021 140721313394623 0
/proc/47169/statm: 167778 161248 2592 2593 0 164671 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 671112 KiB
Current children cumulated memory: 644992 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/251 47217
/proc/meminfo: memFree=123322656/131382116 swapFree=33010160/33010684
[pid=47169] ppid=47166 vsize=671112 memory=644992 CPUtime=101.99 cores=5,7
/proc/47169/stat : 47169 (CASHWMaxSAT-Dis) R 47166 47169 46542 0 -1 4194304 157975 0 0 0 10174 25 0 0 20 0 1 0 47637608 687218688 161248 18446744073709551615 4198400 14817773 140721313384128 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 33828864 140721313388906 140721313389021 140721313389021 140721313394623 0
/proc/47169/statm: 167778 161248 2592 2593 0 164671 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 671112 KiB
Current children cumulated memory: 644992 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.11 4.10 5/252 47220
/proc/meminfo: memFree=123202816/131382116 swapFree=33010160/33010684
[pid=47169] ppid=47166 vsize=814148 memory=709440 CPUtime=161.82 cores=5,7
/proc/47169/stat : 47169 (CASHWMaxSAT-Dis) R 47166 47169 46542 0 -1 4194304 174460 0 0 0 16153 29 0 0 20 0 1 0 47637608 833687552 177360 18446744073709551615 4198400 14817773 140721313384128 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 33828864 140721313388906 140721313389021 140721313389021 140721313394623 0
/proc/47169/statm: 203537 177360 2624 2593 0 200430 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 814148 KiB
Current children cumulated memory: 709440 KiB
[startup+222.3 s]
/proc/loadavg: 4.18 4.12 4.10 5/252 47223
/proc/meminfo: memFree=123027036/131382116 swapFree=33010160/33010684
[pid=47169] ppid=47166 vsize=875824 memory=723472 CPUtime=221.66 cores=5,7
/proc/47169/stat : 47169 (CASHWMaxSAT-Dis) R 47166 47169 46542 0 -1 4194304 178285 0 0 0 22136 30 0 0 20 0 1 0 47637608 896843776 180868 18446744073709551615 4198400 14817773 140721313384128 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 33828864 140721313388906 140721313389021 140721313389021 140721313394623 0
/proc/47169/statm: 218956 180868 2624 2593 0 215849 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 875824 KiB
Current children cumulated memory: 723472 KiB
[startup+282.3 s]
/proc/loadavg: 4.18 4.13 4.10 5/252 47225
/proc/meminfo: memFree=122742432/131382116 swapFree=33010160/33010684
[pid=47169] ppid=47166 vsize=1018516 memory=736656 CPUtime=281.51 cores=5,7
/proc/47169/stat : 47169 (CASHWMaxSAT-Dis) R 47166 47169 46542 0 -1 4194304 181694 0 0 0 28120 31 0 0 20 0 1 0 47637608 1042960384 184164 18446744073709551615 4198400 14817773 140721313384128 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 33828864 140721313388906 140721313389021 140721313389021 140721313394623 0
/proc/47169/statm: 254629 184164 2624 2593 0 251522 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 1018516 KiB
Current children cumulated memory: 736656 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/252 47227
/proc/meminfo: memFree=122951284/131382116 swapFree=33010160/33010684
[pid=47169] ppid=47166 vsize=1026232 memory=742160 CPUtime=341.37 cores=5,7
/proc/47169/stat : 47169 (CASHWMaxSAT-Dis) R 47166 47169 46542 0 -1 4194304 183110 0 0 0 34105 32 0 0 20 0 1 0 47637608 1050861568 185540 18446744073709551615 4198400 14817773 140721313384128 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 33828864 140721313388906 140721313389021 140721313389021 140721313394623 0
/proc/47169/statm: 256558 185540 2624 2593 0 253451 0
Current children cumulated CPU time: 341.37 s
Current children cumulated vsize: 1026232 KiB
Current children cumulated memory: 742160 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/252 47229
/proc/meminfo: memFree=122775352/131382116 swapFree=33010160/33010684
[pid=47169] ppid=47166 vsize=1026232 memory=742288 CPUtime=401.2 cores=5,7
/proc/47169/stat : 47169 (CASHWMaxSAT-Dis) R 47166 47169 46542 0 -1 4194304 183167 0 0 0 40087 33 0 0 20 0 1 0 47637608 1050861568 185572 18446744073709551615 4198400 14817773 140721313384128 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 33828864 140721313388906 140721313389021 140721313389021 140721313394623 0
/proc/47169/statm: 256558 185572 2624 2593 0 253451 0
Current children cumulated CPU time: 401.2 s
Current children cumulated vsize: 1026232 KiB
Current children cumulated memory: 742288 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/250 47231
/proc/meminfo: memFree=122740532/131382116 swapFree=33010160/33010684
[pid=47169] ppid=47166 vsize=1027244 memory=743568 CPUtime=461.03 cores=5,7
/proc/47169/stat : 47169 (CASHWMaxSAT-Dis) R 47166 47169 46542 0 -1 4194304 183471 0 0 0 46070 33 0 0 20 0 1 0 47637608 1051897856 185892 18446744073709551615 4198400 14817773 140721313384128 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 33828864 140721313388906 140721313389021 140721313389021 140721313394623 0
/proc/47169/statm: 256811 185892 2624 2593 0 253704 0
Current children cumulated CPU time: 461.03 s
Current children cumulated vsize: 1027244 KiB
Current children cumulated memory: 743568 KiB
[startup+522.3 s]
/proc/loadavg: 4.05 4.10 4.09 5/249 47233
/proc/meminfo: memFree=122935940/131382116 swapFree=33010160/33010684
[pid=47169] ppid=47166 vsize=1027244 memory=743568 CPUtime=520.87 cores=5,7
/proc/47169/stat : 47169 (CASHWMaxSAT-Dis) R 47166 47169 46542 0 -1 4194304 183484 0 0 0 52053 34 0 0 20 0 1 0 47637608 1051897856 185892 18446744073709551615 4198400 14817773 140721313384128 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 33828864 140721313388906 140721313389021 140721313389021 140721313394623 0
/proc/47169/statm: 256811 185892 2624 2593 0 253704 0
Current children cumulated CPU time: 520.87 s
Current children cumulated vsize: 1027244 KiB
Current children cumulated memory: 743568 KiB
[startup+582.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/250 47238
/proc/meminfo: memFree=122625540/131382116 swapFree=33010160/33010684
[pid=47169] ppid=47166 vsize=1028252 memory=744592 CPUtime=580.71 cores=5,7
/proc/47169/stat : 47169 (CASHWMaxSAT-Dis) R 47166 47169 46542 0 -1 4194304 183757 0 0 0 58037 34 0 0 20 0 1 0 47637608 1052930048 186148 18446744073709551615 4198400 14817773 140721313384128 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 33828864 140721313388906 140721313389021 140721313389021 140721313394623 0
/proc/47169/statm: 257063 186148 2624 2593 0 253956 0
Current children cumulated CPU time: 580.71 s
Current children cumulated vsize: 1028252 KiB
Current children cumulated memory: 744592 KiB
[startup+642.3 s]
/proc/loadavg: 4.18 4.12 4.10 5/250 47244
/proc/meminfo: memFree=122602908/131382116 swapFree=33010160/33010684
[pid=47169] ppid=47166 vsize=1029264 memory=745616 CPUtime=640.55 cores=5,7
/proc/47169/stat : 47169 (CASHWMaxSAT-Dis) R 47166 47169 46542 0 -1 4194304 184012 0 0 0 64021 34 0 0 20 0 1 0 47637608 1053966336 186404 18446744073709551615 4198400 14817773 140721313384128 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 33828864 140721313388906 140721313389021 140721313389021 140721313394623 0
/proc/47169/statm: 257316 186404 2624 2593 0 254209 0
Current children cumulated CPU time: 640.55 s
Current children cumulated vsize: 1029264 KiB
Current children cumulated memory: 745616 KiB
[startup+702.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/250 47247
/proc/meminfo: memFree=122424828/131382116 swapFree=33010160/33010684
[pid=47169] ppid=47166 vsize=1208752 memory=928052 CPUtime=700.39 cores=5,7
/proc/47169/stat : 47169 (CASHWMaxSAT-Dis) R 47166 47169 46542 0 -1 4194304 253292 0 0 0 69993 46 0 0 20 0 1 0 47637608 1237762048 232013 18446744073709551615 4198400 14817773 140721313384128 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 33828864 140721313388906 140721313389021 140721313389021 140721313394623 0
/proc/47169/statm: 302188 232013 2624 2593 0 299081 0
Current children cumulated CPU time: 700.39 s
Current children cumulated vsize: 1208752 KiB
Current children cumulated memory: 928052 KiB
[startup+762.3 s]
/proc/loadavg: 4.17 4.12 4.09 5/250 47249
/proc/meminfo: memFree=122203488/131382116 swapFree=33010160/33010684
[pid=47169] ppid=47166 vsize=1208752 memory=928052 CPUtime=760.24 cores=5,7
/proc/47169/stat : 47169 (CASHWMaxSAT-Dis) R 47166 47169 46542 0 -1 4194304 253300 0 0 0 75977 47 0 0 20 0 1 0 47637608 1237762048 232013 18446744073709551615 4198400 14817773 140721313384128 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 33828864 140721313388906 140721313389021 140721313389021 140721313394623 0
/proc/47169/statm: 302188 232013 2624 2593 0 299081 0
Current children cumulated CPU time: 760.24 s
Current children cumulated vsize: 1208752 KiB
Current children cumulated memory: 928052 KiB
[startup+822.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/250 47251
/proc/meminfo: memFree=122322100/131382116 swapFree=33010160/33010684
[pid=47169] ppid=47166 vsize=1208752 memory=928052 CPUtime=820.05 cores=5,7
/proc/47169/stat : 47169 (CASHWMaxSAT-Dis) R 47166 47169 46542 0 -1 4194304 253320 0 0 0 81958 47 0 0 20 0 1 0 47637608 1237762048 232013 18446744073709551615 4198400 14817773 140721313384128 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 33828864 140721313388906 140721313389021 140721313389021 140721313394623 0
/proc/47169/statm: 302188 232013 2624 2593 0 299081 0
Current children cumulated CPU time: 820.05 s
Current children cumulated vsize: 1208752 KiB
Current children cumulated memory: 928052 KiB
[startup+882.3 s]
/proc/loadavg: 4.17 4.13 4.10 5/250 47253
/proc/meminfo: memFree=122321948/131382116 swapFree=33010160/33010684
[pid=47169] ppid=47166 vsize=1261928 memory=928180 CPUtime=879.89 cores=5,7
/proc/47169/stat : 47169 (CASHWMaxSAT-Dis) R 47166 47169 46542 0 -1 4194304 253348 0 0 0 87941 48 0 0 20 0 1 0 47637608 1292214272 232045 18446744073709551615 4198400 14817773 140721313384128 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 33828864 140721313388906 140721313389021 140721313389021 140721313394623 0
/proc/47169/statm: 315482 232045 2624 2593 0 312375 0
Current children cumulated CPU time: 879.89 s
Current children cumulated vsize: 1261928 KiB
Current children cumulated memory: 928180 KiB
[startup+942.3 s]
/proc/loadavg: 4.06 4.11 4.09 5/250 47255
/proc/meminfo: memFree=122053204/131382116 swapFree=33010160/33010684
[pid=47169] ppid=47166 vsize=1409140 memory=930272 CPUtime=939.71 cores=5,7
/proc/47169/stat : 47169 (CASHWMaxSAT-Dis) R 47166 47169 46542 0 -1 4194304 253367 0 0 0 93923 48 0 0 20 0 1 0 47637608 1442959360 232568 18446744073709551615 4198400 14817773 140721313384128 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 33828864 140721313388906 140721313389021 140721313389021 140721313394623 0
/proc/47169/statm: 352285 232568 2624 2593 0 349178 0
Current children cumulated CPU time: 939.71 s
Current children cumulated vsize: 1409140 KiB
Current children cumulated memory: 930272 KiB
[startup+943.61 s]
# the end of solver process 47169 was just reported to runsolver
# Child status: 20
# cumulated CPU time of all completed processes: user=940.497 s, system=0.529251 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+942.4 s]
/proc/loadavg: 4.06 4.11 4.09 5/250 47255
/proc/meminfo: memFree=122053204/131382116 swapFree=33010160/33010684
[pid=47169] ppid=47166 vsize=1409140 memory=930272 CPUtime=939.8 cores=5,7
/proc/47169/stat : 47169 (CASHWMaxSAT-Dis) R 47166 47169 46542 0 -1 4194304 253367 0 0 0 93932 48 0 0 20 0 1 0 47637608 1442959360 232568 18446744073709551615 4198400 14817773 140721313384128 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 33828864 140721313388906 140721313389021 140721313389021 140721313394623 0
/proc/47169/statm: 352285 232568 2624 2593 0 349178 0
Current children cumulated CPU time: 939.8 s
Current children cumulated vsize: 1409140 KiB
Current children cumulated memory: 930272 KiB
[startup+943.2 s]
/proc/loadavg: 4.06 4.11 4.09 5/250 47255
/proc/meminfo: memFree=122053456/131382116 swapFree=33010160/33010684
[pid=47169] ppid=47166 vsize=1409140 memory=930272 CPUtime=940.6 cores=5,7
/proc/47169/stat : 47169 (CASHWMaxSAT-Dis) R 47166 47169 46542 0 -1 4194304 253367 0 0 0 94012 48 0 0 20 0 1 0 47637608 1442959360 232568 18446744073709551615 4198400 14817773 140721313384128 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 33828864 140721313388906 140721313389021 140721313389021 140721313394623 0
/proc/47169/statm: 352285 232568 2624 2593 0 349178 0
Current children cumulated CPU time: 940.6 s
Current children cumulated vsize: 1409140 KiB
Current children cumulated memory: 930272 KiB
[startup+943.4 s]
/proc/loadavg: 4.06 4.11 4.09 5/250 47255
/proc/meminfo: memFree=122053456/131382116 swapFree=33010160/33010684
[pid=47169] ppid=47166 vsize=1409140 memory=930272 CPUtime=940.8 cores=5,7
/proc/47169/stat : 47169 (CASHWMaxSAT-Dis) R 47166 47169 46542 0 -1 4194304 253367 0 0 0 94032 48 0 0 20 0 1 0 47637608 1442959360 232568 18446744073709551615 4198400 14817773 140721313384128 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 33828864 140721313388906 140721313389021 140721313389021 140721313394623 0
/proc/47169/statm: 352285 232568 2624 2593 0 349178 0
Current children cumulated CPU time: 940.8 s
Current children cumulated vsize: 1409140 KiB
Current children cumulated memory: 930272 KiB
[startup+943.5 s]
/proc/loadavg: 4.06 4.11 4.09 5/250 47255
/proc/meminfo: memFree=122053456/131382116 swapFree=33010160/33010684
[pid=47169] ppid=47166 vsize=1409140 memory=930272 CPUtime=940.9 cores=5,7
/proc/47169/stat : 47169 (CASHWMaxSAT-Dis) R 47166 47169 46542 0 -1 4194304 253367 0 0 0 94042 48 0 0 20 0 1 0 47637608 1442959360 232568 18446744073709551615 4198400 14817773 140721313384128 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 33828864 140721313388906 140721313389021 140721313389021 140721313394623 0
/proc/47169/statm: 352285 232568 2624 2593 0 349178 0
Current children cumulated CPU time: 940.9 s
Current children cumulated vsize: 1409140 KiB
Current children cumulated memory: 930272 KiB
Child status: 20
Real time (s): 943.61
CPU time (s): 941.026
CPU user time (s): 940.497
CPU system time (s): 0.529251
CPU usage (%): 99.7261
Max. virtual memory (cumulated for all children) (KiB): 1409140
Max. memory (cumulated for all children) (KiB): 966052
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 940.497
system time used= 0.529251
maximum resident set size= 966052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 253370
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= 3
involuntary context switches= 808
# summary of solver processes directly reported to runsolver:
# pid: 47169
# total CPU time (s): 941.026
# total CPU user time (s): 940.497
# total CPU system time (s): 0.529251
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.78325 second user time and 9.30087 second system time
The end
Begin job on nodeC004 at 2025-06-30 23:39:44
IDJOB=4486077
IDBENCH=146953
IDSOLVER=3322
FILE ID=nodeC004/4486077-1751319584
RUNJOBID= nodeC004-1751315935-46555
SLURM_JOB_ID= 9594334
Free space on /tmp= 433020 MiB
SOLVER NAME= CASHWMaxSATDisjCad-S 2025-06-01
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-qnet1_o.opb
COMMAND LINE= CASHWMaxSAT-DisjCad-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4486077-1751319584/watcher-4486077-1751319584 -o /tmp/evaluation-result-4486077-1751319584/solver-4486077-1751319584 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751315935-46555 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4486077-1751319584.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 4401e16402ac51c9a85648986d824744
RANDOM SEED=787117032
nodeC004 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 : 3491.779
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.74
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 : 3691.373
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.74
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.184
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.74
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 : 3700.000
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.74
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 : 3660.957
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.74
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 : 3700.000
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.74
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 : 3700.000
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.74
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.217
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.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382116 kB
MemFree: 125891532 kB
MemAvailable: 129591588 kB
Buffers: 2720 kB
Cached: 4451416 kB
SwapCached: 20 kB
Active: 681268 kB
Inactive: 4126384 kB
Active(anon): 365284 kB
Inactive(anon): 6188 kB
Active(file): 315984 kB
Inactive(file): 4120196 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 13960 kB
Writeback: 4 kB
AnonPages: 355764 kB
Mapped: 122064 kB
Shmem: 17956 kB
KReclaimable: 207004 kB
Slab: 292592 kB
SReclaimable: 207004 kB
SUnreclaim: 85588 kB
KernelStack: 4032 kB
PageTables: 3744 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 717352 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149352 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 104448 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: 197448 kB
DirectMap2M: 10190848 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 433004 MiB
End job on nodeC004 at 2025-06-30 23:55:28