runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (63044 MiB free)
memory of node 1: 64465 MiB (63700 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4494081-1751133663/watcher-4494081-1751133663 -o /tmp/evaluation-result-4494081-1751133663/solver-4494081-1751133663 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751133631-11148 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCadS+SynLSCD HOME/instance-4494081-1751133663.opb 3600 HOME
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=11378, runsolver pid=11375
Current StackSize limit: 8192 KiB
[startup+0.100056 s]*
/proc/loadavg: 1.99 0.56 0.25 4/273 11380
/proc/meminfo: memFree=129787524/131249988 swapFree=33010684/33010684
[pid=11378] ppid=11375 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/11378/stat : 11378 (Hybrid-CASHWMax) S 11375 11378 11133 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 29043985 4292608 704 18446744073709551615 94547732389888 94547733284421 140733720783824 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94547733523472 94547733571216 94547757535232 140733720791383 140733720791537 140733720791537 140733720797139 0
/proc/11378/statm: 1048 704 672 219 0 110 0
[pid=11380] ppid=11378 vsize=464 memory=128 CPUtime=0 cores=0,2
/proc/11380/stat : 11380 (mkdir) D 11378 11378 11133 0 -1 4456448 47 0 0 0 0 0 0 0 20 0 1 0 29043991 475136 32 18446744073709551615 94568662306816 94568662349169 140731116762736 0 0 0 0 0 0 1 0 0 17 0 0 0 0 0 0 94568662366608 94568662368408 94568693424128 140731116767738 140731116767782 140731116767782 140731116773353 0
/proc/11380/statm: 116 32 32 11 0 42 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 4656 KiB
Current children cumulated memory: 2944 KiB
[startup+0.205421 s]*
/proc/loadavg: 1.99 0.56 0.25 5/274 11382
/proc/meminfo: memFree=129787524/131249988 swapFree=33010684/33010684
[pid=11378] ppid=11375 vsize=4324 memory=2816 CPUtime=0 cores=0,2
/proc/11378/stat : 11378 (Hybrid-CASHWMax) S 11375 11378 11133 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 29043985 4427776 704 18446744073709551615 94547732389888 94547733284421 140733720783824 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94547733523472 94547733571216 94547757535232 140733720791383 140733720791537 140733720791537 140733720797139 0
/proc/11378/statm: 1081 704 672 219 0 143 0
[pid=11381] ppid=11378 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/11381/stat : 11381 (timeout) S 11378 11381 11133 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 29043997 2723840 352 18446744073709551615 94811969294336 94811969310849 140728290739600 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94811969325616 94811969327704 94811987025920 140728290744736 140728290744866 140728290744866 140728290750439 0
/proc/11381/statm: 665 352 352 5 0 90 0
[pid=11382] ppid=11381 vsize=28040 memory=13696 CPUtime=0.04 cores=0,2
/proc/11382/stat : 11382 (CASHWMaxSAT-Dis) R 11381 11381 11133 0 -1 4194304 2633 0 0 0 4 0 0 0 20 0 1 0 29044001 28712960 3392 18446744073709551615 4198400 14817773 140720971056928 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 42192896 140720971061670 140720971061787 140720971061787 140720971067360 0
/proc/11382/statm: 7010 3392 864 2593 0 3903 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 35024 KiB
Current children cumulated memory: 17920 KiB
[startup+0.305679 s]*
/proc/loadavg: 1.99 0.56 0.25 5/274 11382
/proc/meminfo: memFree=129767552/131249988 swapFree=33010684/33010684
[pid=11378] ppid=11375 vsize=4324 memory=2816 CPUtime=0 cores=0,2
/proc/11378/stat : 11378 (Hybrid-CASHWMax) S 11375 11378 11133 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 29043985 4427776 704 18446744073709551615 94547732389888 94547733284421 140733720783824 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94547733523472 94547733571216 94547757535232 140733720791383 140733720791537 140733720791537 140733720797139 0
/proc/11378/statm: 1081 704 672 219 0 143 0
[pid=11381] ppid=11378 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/11381/stat : 11381 (timeout) S 11378 11381 11133 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 29043997 2723840 352 18446744073709551615 94811969294336 94811969310849 140728290739600 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94811969325616 94811969327704 94811987025920 140728290744736 140728290744866 140728290744866 140728290750439 0
/proc/11381/statm: 665 352 352 5 0 90 0
[pid=11382] ppid=11381 vsize=45292 memory=30848 CPUtime=0.14 cores=0,2
/proc/11382/stat : 11382 (CASHWMaxSAT-Dis) R 11381 11381 11133 0 -1 4194304 6931 0 0 0 14 0 0 0 20 0 1 0 29044001 46379008 7712 18446744073709551615 4198400 14817773 140720971056928 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 42192896 140720971061670 140720971061787 140720971061787 140720971067360 0
/proc/11382/statm: 11323 7712 864 2593 0 8216 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 52276 KiB
Current children cumulated memory: 35072 KiB
[startup+0.700237 s]
/proc/loadavg: 1.99 0.56 0.25 5/274 11382
/proc/meminfo: memFree=129735296/131249988 swapFree=33010684/33010684
[pid=11378] ppid=11375 vsize=4324 memory=2816 CPUtime=0 cores=0,2
/proc/11378/stat : 11378 (Hybrid-CASHWMax) S 11375 11378 11133 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 29043985 4427776 704 18446744073709551615 94547732389888 94547733284421 140733720783824 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94547733523472 94547733571216 94547757535232 140733720791383 140733720791537 140733720791537 140733720797139 0
/proc/11378/statm: 1081 704 672 219 0 143 0
[pid=11381] ppid=11378 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/11381/stat : 11381 (timeout) S 11378 11381 11133 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 29043997 2723840 352 18446744073709551615 94811969294336 94811969310849 140728290739600 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94811969325616 94811969327704 94811987025920 140728290744736 140728290744866 140728290744866 140728290750439 0
/proc/11381/statm: 665 352 352 5 0 90 0
[pid=11382] ppid=11381 vsize=112080 memory=97536 CPUtime=0.52 cores=0,2
/proc/11382/stat : 11382 (CASHWMaxSAT-Dis) R 11381 11381 11133 0 -1 4194304 23619 0 0 0 50 2 0 0 20 0 1 0 29044001 114769920 24384 18446744073709551615 4198400 14817773 140720971056928 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 42192896 140720971061670 140720971061787 140720971061787 140720971067360 0
/proc/11382/statm: 28020 24384 864 2593 0 24913 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 119064 KiB
Current children cumulated memory: 101760 KiB
[startup+1.50023 s]
/proc/loadavg: 1.99 0.56 0.25 5/274 11382
/proc/meminfo: memFree=129646592/131249988 swapFree=33010684/33010684
[pid=11378] ppid=11375 vsize=4324 memory=2816 CPUtime=0 cores=0,2
/proc/11378/stat : 11378 (Hybrid-CASHWMax) S 11375 11378 11133 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 29043985 4427776 704 18446744073709551615 94547732389888 94547733284421 140733720783824 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94547733523472 94547733571216 94547757535232 140733720791383 140733720791537 140733720791537 140733720797139 0
/proc/11378/statm: 1081 704 672 219 0 143 0
[pid=11381] ppid=11378 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/11381/stat : 11381 (timeout) S 11378 11381 11133 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 29043997 2723840 352 18446744073709551615 94811969294336 94811969310849 140728290739600 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94811969325616 94811969327704 94811987025920 140728290744736 140728290744866 140728290744866 140728290750439 0
/proc/11381/statm: 665 352 352 5 0 90 0
[pid=11382] ppid=11381 vsize=249452 memory=235008 CPUtime=1.33 cores=0,2
/proc/11382/stat : 11382 (CASHWMaxSAT-Dis) R 11381 11381 11133 0 -1 4194304 57964 0 0 0 124 9 0 0 20 0 1 0 29044001 255438848 58752 18446744073709551615 4198400 14817773 140720971056928 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 42192896 140720971061670 140720971061787 140720971061787 140720971067360 0
/proc/11382/statm: 62363 58752 864 2593 0 59256 0
Current children cumulated CPU time: 1.33 s
Current children cumulated vsize: 256436 KiB
Current children cumulated memory: 239232 KiB
[startup+3.10552 s]
/proc/loadavg: 1.99 0.56 0.25 5/274 11382
/proc/meminfo: memFree=129301188/131249988 swapFree=33010684/33010684
[pid=11378] ppid=11375 vsize=4324 memory=2816 CPUtime=0 cores=0,2
/proc/11378/stat : 11378 (Hybrid-CASHWMax) S 11375 11378 11133 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 29043985 4427776 704 18446744073709551615 94547732389888 94547733284421 140733720783824 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94547733523472 94547733571216 94547757535232 140733720791383 140733720791537 140733720791537 140733720797139 0
/proc/11378/statm: 1081 704 672 219 0 143 0
[pid=11381] ppid=11378 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/11381/stat : 11381 (timeout) S 11378 11381 11133 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 29043997 2723840 352 18446744073709551615 94811969294336 94811969310849 140728290739600 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94811969325616 94811969327704 94811987025920 140728290744736 140728290744866 140728290744866 140728290750439 0
/proc/11381/statm: 665 352 352 5 0 90 0
[pid=11382] ppid=11381 vsize=524684 memory=509952 CPUtime=2.93 cores=0,2
/proc/11382/stat : 11382 (CASHWMaxSAT-Dis) R 11381 11381 11133 0 -1 4194304 126703 0 0 0 275 18 0 0 20 0 1 0 29044001 537276416 127488 18446744073709551615 4198400 14817773 140720971056928 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 42192896 140720971061670 140720971061787 140720971061787 140720971067360 0
/proc/11382/statm: 131171 127488 864 2593 0 128064 0
Current children cumulated CPU time: 2.93 s
Current children cumulated vsize: 531668 KiB
Current children cumulated memory: 514176 KiB
[startup+6.30021 s]
/proc/loadavg: 2.15 0.61 0.27 5/274 11382
/proc/meminfo: memFree=128777168/131249988 swapFree=33010684/33010684
[pid=11378] ppid=11375 vsize=4324 memory=2816 CPUtime=0 cores=0,2
/proc/11378/stat : 11378 (Hybrid-CASHWMax) S 11375 11378 11133 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 29043985 4427776 704 18446744073709551615 94547732389888 94547733284421 140733720783824 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94547733523472 94547733571216 94547757535232 140733720791383 140733720791537 140733720791537 140733720797139 0
/proc/11378/statm: 1081 704 672 219 0 143 0
[pid=11381] ppid=11378 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/11381/stat : 11381 (timeout) S 11378 11381 11133 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 29043997 2723840 352 18446744073709551615 94811969294336 94811969310849 140728290739600 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94811969325616 94811969327704 94811987025920 140728290744736 140728290744866 140728290744866 140728290750439 0
/proc/11381/statm: 665 352 352 5 0 90 0
[pid=11382] ppid=11381 vsize=1072900 memory=1057196 CPUtime=6.12 cores=0,2
/proc/11382/stat : 11382 (CASHWMaxSAT-Dis) R 11381 11381 11133 0 -1 4194304 263020 0 0 0 572 40 0 0 20 0 1 0 29044001 1098649600 264299 18446744073709551615 4198400 14817773 140720971056928 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 42192896 140720971061670 140720971061787 140720971061787 140720971067360 0
/proc/11382/statm: 268225 264299 864 2593 0 265118 0
Current children cumulated CPU time: 6.12 s
Current children cumulated vsize: 1079884 KiB
Current children cumulated memory: 1061420 KiB
[startup+12.7002 s]
/proc/loadavg: 2.30 0.67 0.29 5/274 11383
/proc/meminfo: memFree=127747372/131249988 swapFree=33010684/33010684
[pid=11378] ppid=11375 vsize=4324 memory=2816 CPUtime=0 cores=0,2
/proc/11378/stat : 11378 (Hybrid-CASHWMax) S 11375 11378 11133 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 29043985 4427776 704 18446744073709551615 94547732389888 94547733284421 140733720783824 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94547733523472 94547733571216 94547757535232 140733720791383 140733720791537 140733720791537 140733720797139 0
/proc/11378/statm: 1081 704 672 219 0 143 0
[pid=11381] ppid=11378 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/11381/stat : 11381 (timeout) S 11378 11381 11133 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 29043997 2723840 352 18446744073709551615 94811969294336 94811969310849 140728290739600 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94811969325616 94811969327704 94811987025920 140728290744736 140728290744866 140728290744866 140728290750439 0
/proc/11381/statm: 665 352 352 5 0 90 0
[pid=11382] ppid=11381 vsize=2143644 memory=2111796 CPUtime=12.51 cores=0,2
/proc/11382/stat : 11382 (CASHWMaxSAT-Dis) R 11381 11381 11133 0 -1 4194304 525703 0 0 0 1168 83 0 0 20 0 1 0 29044001 2195091456 527949 18446744073709551615 4198400 14817773 140720971056928 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 42192896 140720971061670 140720971061787 140720971061787 140720971067360 0
/proc/11382/statm: 535911 527949 864 2593 0 532804 0
Current children cumulated CPU time: 12.51 s
Current children cumulated vsize: 2150628 KiB
Current children cumulated memory: 2116020 KiB
[startup+25.5003 s]
/proc/loadavg: 2.67 0.84 0.35 5/274 11383
/proc/meminfo: memFree=125922148/131249988 swapFree=33010684/33010684
[pid=11378] ppid=11375 vsize=4324 memory=2816 CPUtime=0 cores=0,2
/proc/11378/stat : 11378 (Hybrid-CASHWMax) S 11375 11378 11133 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 29043985 4427776 704 18446744073709551615 94547732389888 94547733284421 140733720783824 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94547733523472 94547733571216 94547757535232 140733720791383 140733720791537 140733720791537 140733720797139 0
/proc/11378/statm: 1081 704 672 219 0 143 0
[pid=11381] ppid=11378 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/11381/stat : 11381 (timeout) S 11378 11381 11133 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 29043997 2723840 352 18446744073709551615 94811969294336 94811969310849 140728290739600 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94811969325616 94811969327704 94811987025920 140728290744736 140728290744866 140728290744866 140728290750439 0
/proc/11381/statm: 665 352 352 5 0 90 0
[pid=11382] ppid=11381 vsize=4014364 memory=3831628 CPUtime=25.27 cores=0,2
/proc/11382/stat : 11382 (CASHWMaxSAT-Dis) R 11381 11381 11133 0 -1 4194304 680023 0 0 0 2379 148 0 0 20 0 1 0 29044001 4110708736 957907 18446744073709551615 4198400 14817773 140720971056928 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 42192896 140720971061670 140720971061787 140720971061787 140720971067360 0
/proc/11382/statm: 1003591 957907 1216 2593 0 1000484 0
Current children cumulated CPU time: 25.27 s
Current children cumulated vsize: 4021348 KiB
Current children cumulated memory: 3835852 KiB
[startup+27.2936 s]
# the end of solver process 11378 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=25.4418 s, system=1.59877 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6003 s]
/proc/loadavg: 2.67 0.84 0.35 5/274 11383
/proc/meminfo: memFree=125922148/131249988 swapFree=33010684/33010684
[pid=11378] ppid=11375 vsize=4324 memory=2816 CPUtime=0 cores=0,2
/proc/11378/stat : 11378 (Hybrid-CASHWMax) S 11375 11378 11133 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 29043985 4427776 704 18446744073709551615 94547732389888 94547733284421 140733720783824 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94547733523472 94547733571216 94547757535232 140733720791383 140733720791537 140733720791537 140733720797139 0
/proc/11378/statm: 1081 704 672 219 0 143 0
[pid=11381] ppid=11378 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/11381/stat : 11381 (timeout) S 11378 11381 11133 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 29043997 2723840 352 18446744073709551615 94811969294336 94811969310849 140728290739600 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94811969325616 94811969327704 94811987025920 140728290744736 140728290744866 140728290744866 140728290750439 0
/proc/11381/statm: 665 352 352 5 0 90 0
[pid=11382] ppid=11381 vsize=4014364 memory=3831628 CPUtime=25.37 cores=0,2
/proc/11382/stat : 11382 (CASHWMaxSAT-Dis) R 11381 11381 11133 0 -1 4194304 680023 0 0 0 2389 148 0 0 20 0 1 0 29044001 4110708736 957907 18446744073709551615 4198400 14817773 140720971056928 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 42192896 140720971061670 140720971061787 140720971061787 140720971067360 0
/proc/11382/statm: 1003591 957907 1216 2593 0 1000484 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 4021348 KiB
Current children cumulated memory: 3835852 KiB
[startup+26.4002 s]
/proc/loadavg: 2.67 0.84 0.35 5/274 11383
/proc/meminfo: memFree=125922148/131249988 swapFree=33010684/33010684
[pid=11378] ppid=11375 vsize=4324 memory=2816 CPUtime=0 cores=0,2
/proc/11378/stat : 11378 (Hybrid-CASHWMax) S 11375 11378 11133 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 29043985 4427776 704 18446744073709551615 94547732389888 94547733284421 140733720783824 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94547733523472 94547733571216 94547757535232 140733720791383 140733720791537 140733720791537 140733720797139 0
/proc/11378/statm: 1081 704 672 219 0 143 0
[pid=11381] ppid=11378 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/11381/stat : 11381 (timeout) S 11378 11381 11133 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 29043997 2723840 352 18446744073709551615 94811969294336 94811969310849 140728290739600 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94811969325616 94811969327704 94811987025920 140728290744736 140728290744866 140728290744866 140728290750439 0
/proc/11381/statm: 665 352 352 5 0 90 0
[pid=11382] ppid=11381 vsize=4085192 memory=3902456 CPUtime=26.17 cores=0,2
/proc/11382/stat : 11382 (CASHWMaxSAT-Dis) R 11381 11381 11133 0 -1 4194304 680356 0 0 0 2468 149 0 0 20 0 1 0 29044001 4183236608 975614 18446744073709551615 4198400 14817773 140720971056928 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 42192896 140720971061670 140720971061787 140720971061787 140720971067360 0
/proc/11382/statm: 1021298 975614 1216 2593 0 1018191 0
Current children cumulated CPU time: 26.17 s
Current children cumulated vsize: 4092176 KiB
Current children cumulated memory: 3906680 KiB
[startup+26.8002 s]
/proc/loadavg: 2.67 0.84 0.35 5/274 11383
/proc/meminfo: memFree=125922148/131249988 swapFree=33010684/33010684
[pid=11378] ppid=11375 vsize=4324 memory=2816 CPUtime=0 cores=0,2
/proc/11378/stat : 11378 (Hybrid-CASHWMax) S 11375 11378 11133 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 29043985 4427776 704 18446744073709551615 94547732389888 94547733284421 140733720783824 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94547733523472 94547733571216 94547757535232 140733720791383 140733720791537 140733720791537 140733720797139 0
/proc/11378/statm: 1081 704 672 219 0 143 0
[pid=11381] ppid=11378 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/11381/stat : 11381 (timeout) S 11378 11381 11133 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 29043997 2723840 352 18446744073709551615 94811969294336 94811969310849 140728290739600 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94811969325616 94811969327704 94811987025920 140728290744736 140728290744866 140728290744866 140728290750439 0
/proc/11381/statm: 665 352 352 5 0 90 0
[pid=11382] ppid=11381 vsize=4014364 memory=3831744 CPUtime=26.57 cores=0,2
/proc/11382/stat : 11382 (CASHWMaxSAT-Dis) R 11381 11381 11133 0 -1 4194304 680378 0 0 0 2508 149 0 0 20 0 1 0 29044001 4110708736 957936 18446744073709551615 4198400 14817773 140720971056928 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 42192896 140720971061670 140720971061787 140720971061787 140720971067360 0
/proc/11382/statm: 1003591 957936 1216 2593 0 1000484 0
Current children cumulated CPU time: 26.57 s
Current children cumulated vsize: 4021348 KiB
Current children cumulated memory: 3835968 KiB
[startup+27.2002 s]
/proc/loadavg: 2.67 0.84 0.35 5/274 11383
/proc/meminfo: memFree=125848988/131249988 swapFree=33010684/33010684
[pid=11378] ppid=11375 vsize=4324 memory=2816 CPUtime=0 cores=0,2
/proc/11378/stat : 11378 (Hybrid-CASHWMax) S 11375 11378 11133 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 29043985 4427776 704 18446744073709551615 94547732389888 94547733284421 140733720783824 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94547733523472 94547733571216 94547757535232 140733720791383 140733720791537 140733720791537 140733720797139 0
/proc/11378/statm: 1081 704 672 219 0 143 0
[pid=11381] ppid=11378 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/11381/stat : 11381 (timeout) S 11378 11381 11133 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 29043997 2723840 352 18446744073709551615 94811969294336 94811969310849 140728290739600 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94811969325616 94811969327704 94811987025920 140728290744736 140728290744866 140728290744866 140728290750439 0
/proc/11381/statm: 665 352 352 5 0 90 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 6984 KiB
Current children cumulated memory: 4224 KiB
Child status: 0
Real time (s): 27.2936
CPU time (s): 27.0406
CPU user time (s): 25.4418
CPU system time (s): 1.59877
CPU usage (%): 99.073
Max. virtual memory (cumulated for all children) (KiB): 4092176
Max. memory (cumulated for all children) (KiB): 3906680
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 25.4418
system time used= 1.59877
maximum resident set size= 3902456
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 681394
page faults= 0
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 331
involuntary context switches= 42
# summary of solver processes directly reported to runsolver:
# pid: 11378
# total CPU time (s): 27.0406
# total CPU user time (s): 25.4418
# total CPU system time (s): 1.59877
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.0882 second user time and 0.139774 second system time
The end
Begin job on nodeC020 at 2025-06-28 20:01:04
IDJOB=4494081
IDBENCH=147881
IDSOLVER=3328
FILE ID=nodeC020/4494081-1751133663
RUNJOBID= nodeC020-1751133631-11148
SLURM_JOB_ID= 9587420
Free space on /tmp= 432916 MiB
SOLVER NAME= Hybrid-CASHWMaxSATDisjCadS+SynLSCD 2025-06-01
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/normalized-dbst_v50_e1000_d25_mw10_5.opb.PB06.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjCadS+SynLSCD BENCHNAME TIMEOUT TMPDIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4494081-1751133663/watcher-4494081-1751133663 -o /tmp/evaluation-result-4494081-1751133663/solver-4494081-1751133663 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751133631-11148 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCadS+SynLSCD HOME/instance-4494081-1751133663.opb 3600 HOME
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 4be58baeb3b3d88d97a2715b6ac9c470
RANDOM SEED=1054116676
nodeC020 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.880
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.889
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3596.809
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3556.790
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.862
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.911
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.894
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 129787412 kB
MemAvailable: 129466880 kB
Buffers: 3280 kB
Cached: 491516 kB
SwapCached: 0 kB
Active: 593636 kB
Inactive: 284672 kB
Active(anon): 401568 kB
Inactive(anon): 0 kB
Active(file): 192068 kB
Inactive(file): 284672 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 130884 kB
Writeback: 4 kB
AnonPages: 383928 kB
Mapped: 114752 kB
Shmem: 18056 kB
KReclaimable: 83932 kB
Slab: 165456 kB
SReclaimable: 83932 kB
SUnreclaim: 81524 kB
KernelStack: 4400 kB
PageTables: 3976 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 734888 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150616 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 61440 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: 197332 kB
DirectMap2M: 7962624 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432900 MiB
End job on nodeC020 at 2025-06-28 20:01:32