0.89/0.91 c Filename:instance-4450107-1721410303.opb, Cutoff_time:3600, memory_limit_gb:500000
0.89/0.91 c Not use presolve
3599.94/3607.64 c Use LS-small
3599.94/3607.64 s UNKNOWN
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: 63931 MiB (61421 MiB free)
memory of node 1: 64510 MiB (61477 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450107-1721410303/watcher-4450107-1721410303 -o /tmp/evaluation-result-4450107-1721410303/solver-4450107-1721410303 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721410315-993798 --watchdog 3760 ./LS-MabS -f HOME/instance-4450107-1721410303.opb -t 3600 -s 1825857819
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=993855, runsolver pid=993845
Current StackSize limit: 8192 KiB
[startup+0.100093 s]*
/proc/loadavg: 2.02 2.10 2.12 7/259 993862
/proc/meminfo: memFree=125711768/131524600 swapFree=131071996/131071996
[pid=993855] ppid=993845 vsize=61172 memory=49392 CPUtime=0.1 cores=4,6
/proc/993855/stat : 993855 (LS-MabS) R 993845 993855 993787 0 -1 4194304 10376 0 0 0 9 1 0 0 20 0 1 0 193190920 62640128 12348 134679101440 4194304 14036057 140724335290528 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 33189888 140724335293472 140724335293574 140724335293574 140724335300590 0
/proc/993855/statm: 15293 12348 2317 2403 0 12403 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 61172 KiB
Current children cumulated memory: 49392 KiB
[startup+0.206751 s]*
/proc/loadavg: 2.02 2.10 2.12 8/259 993862
/proc/meminfo: memFree=125670260/131524600 swapFree=131071996/131071996
[pid=993855] ppid=993845 vsize=77076 memory=65120 CPUtime=0.2 cores=4,6
/proc/993855/stat : 993855 (LS-MabS) R 993845 993855 993787 0 -1 4194304 14718 0 0 0 18 2 0 0 20 0 1 0 193190920 78925824 16280 134679101440 4194304 14036057 140724335290528 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 33189888 140724335293472 140724335293574 140724335293574 140724335300590 0
/proc/993855/statm: 19269 16280 2397 2403 0 16379 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 77076 KiB
Current children cumulated memory: 65120 KiB
[startup+0.306699 s]*
/proc/loadavg: 2.02 2.10 2.12 6/259 993862
/proc/meminfo: memFree=125651328/131524600 swapFree=131071996/131071996
[pid=993855] ppid=993845 vsize=82084 memory=69776 CPUtime=0.3 cores=4,6
/proc/993855/stat : 993855 (LS-MabS) R 993845 993855 993787 0 -1 4194304 15871 0 0 0 28 2 0 0 20 0 1 0 193190920 84054016 17444 134679101440 4194304 14036057 140724335290528 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 33189888 140724335293472 140724335293574 140724335293574 140724335300590 0
/proc/993855/statm: 20521 17444 2445 2403 0 17631 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 82084 KiB
Current children cumulated memory: 69776 KiB
[startup+0.700189 s]
/proc/loadavg: 2.02 2.10 2.12 5/259 993862
/proc/meminfo: memFree=125640504/131524600 swapFree=131071996/131071996
[pid=993855] ppid=993845 vsize=83672 memory=71096 CPUtime=0.69 cores=4,6
/proc/993855/stat : 993855 (LS-MabS) R 993845 993855 993787 0 -1 4194304 16196 0 0 0 67 2 0 0 20 0 1 0 193190920 85680128 17774 134679101440 4194304 14036057 140724335290528 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 33189888 140724335293472 140724335293574 140724335293574 140724335300590 0
/proc/993855/statm: 20918 17774 2445 2403 0 18028 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 83672 KiB
Current children cumulated memory: 71096 KiB
[startup+1.50023 s]
/proc/loadavg: 2.02 2.10 2.12 6/259 993862
/proc/meminfo: memFree=125586292/131524600 swapFree=131071996/131071996
[pid=993855] ppid=993845 vsize=118308 memory=103780 CPUtime=1.49 cores=4,6
/proc/993855/stat : 993855 (LS-MabS) R 993845 993855 993787 0 -1 4194304 25114 0 0 0 145 4 0 0 20 0 1 0 193190920 121147392 25945 134679101440 4194304 14036057 140724335290528 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 33189888 140724335293472 140724335293574 140724335293574 140724335300590 0
/proc/993855/statm: 29577 25945 2461 2403 0 26687 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 118308 KiB
Current children cumulated memory: 103780 KiB
[startup+3.10661 s]
/proc/loadavg: 2.18 2.14 2.13 6/259 993862
/proc/meminfo: memFree=125542928/131524600 swapFree=131071996/131071996
[pid=993855] ppid=993845 vsize=118308 memory=104212 CPUtime=3.09 cores=4,6
/proc/993855/stat : 993855 (LS-MabS) R 993845 993855 993787 0 -1 4194304 25275 0 0 0 305 4 0 0 20 0 1 0 193190920 121147392 26053 134679101440 4194304 14036057 140724335290528 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 33189888 140724335293472 140724335293574 140724335293574 140724335300590 0
/proc/993855/statm: 29577 26053 2461 2403 0 26687 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 118308 KiB
Current children cumulated memory: 104212 KiB
[startup+6.30021 s]
/proc/loadavg: 2.18 2.14 2.13 6/259 993862
/proc/meminfo: memFree=125458796/131524600 swapFree=131071996/131071996
[pid=993855] ppid=993845 vsize=142072 memory=128372 CPUtime=6.27 cores=4,6
/proc/993855/stat : 993855 (LS-MabS) R 993845 993855 993787 0 -1 4194304 34677 0 0 0 622 5 0 0 20 0 1 0 193190920 145481728 32093 134679101440 4194304 14036057 140724335290528 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 33189888 140724335293472 140724335293574 140724335293574 140724335300590 0
/proc/993855/statm: 35518 32093 2461 2403 0 32628 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 142072 KiB
Current children cumulated memory: 128372 KiB
[startup+12.7002 s]
/proc/loadavg: 2.33 2.17 2.14 6/259 993864
/proc/meminfo: memFree=125435412/131524600 swapFree=131071996/131071996
[pid=993855] ppid=993845 vsize=142592 memory=131244 CPUtime=12.66 cores=4,6
/proc/993855/stat : 993855 (LS-MabS) R 993845 993855 993787 0 -1 4194304 38259 0 0 0 1260 6 0 0 20 0 1 0 193190920 146014208 32811 134679101440 4194304 14036057 140724335290528 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 33189888 140724335293472 140724335293574 140724335293574 140724335300590 0
/proc/993855/statm: 35648 32811 2461 2403 0 32758 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 142592 KiB
Current children cumulated memory: 131244 KiB
[startup+25.5002 s]
/proc/loadavg: 2.77 2.27 2.18 7/259 993865
/proc/meminfo: memFree=125409436/131524600 swapFree=131071996/131071996
[pid=993855] ppid=993845 vsize=162360 memory=149188 CPUtime=25.41 cores=4,6
/proc/993855/stat : 993855 (LS-MabS) R 993845 993855 993787 0 -1 4194304 47291 0 0 0 2534 7 0 0 20 0 1 0 193190920 166256640 37297 134679101440 4194304 14036057 140724335290528 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 33189888 140724335293472 140724335293574 140724335293574 140724335300590 0
/proc/993855/statm: 40590 37297 2461 2403 0 37700 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 162360 KiB
Current children cumulated memory: 149188 KiB
[startup+51.1069 s]
/proc/loadavg: 3.19 2.41 2.23 6/259 993870
/proc/meminfo: memFree=125365444/131524600 swapFree=131071996/131071996
[pid=993855] ppid=993845 vsize=194788 memory=152896 CPUtime=50.93 cores=4,6
/proc/993855/stat : 993855 (LS-MabS) R 993845 993855 993787 0 -1 4194304 49080 0 0 0 5086 7 0 0 20 0 1 0 193190920 199462912 38224 134679101440 4194304 14036057 140724335290528 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 33189888 140724335293472 140724335293574 140724335293574 140724335300590 0
/proc/993855/statm: 48697 38224 2461 2403 0 45807 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 194788 KiB
Current children cumulated memory: 152896 KiB
[startup+102.3 s]
/proc/loadavg: 3.73 2.69 2.34 6/257 993878
/proc/meminfo: memFree=125267172/131524600 swapFree=131071996/131071996
[pid=993855] ppid=993845 vsize=235000 memory=192200 CPUtime=101.98 cores=4,6
/proc/993855/stat : 993855 (LS-MabS) R 993845 993855 993787 0 -1 4194304 51757 0 0 0 10190 8 0 0 20 0 1 0 193190920 240640000 48050 134679101440 4194304 14036057 140724335290528 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 33189888 140724335293472 140724335293574 140724335293574 140724335300590 0
/proc/993855/statm: 58750 48050 2461 2403 0 55860 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 235000 KiB
Current children cumulated memory: 192200 KiB
[startup+162.3 s]
/proc/loadavg: 3.97 2.95 2.45 6/257 993891
/proc/meminfo: memFree=125193844/131524600 swapFree=131071996/131071996
[pid=993855] ppid=993845 vsize=236708 memory=225812 CPUtime=161.82 cores=4,6
/proc/993855/stat : 993855 (LS-MabS) R 993845 993855 993787 0 -1 4194304 51891 0 0 0 16174 8 0 0 20 0 1 0 193190920 242388992 56453 134679101440 4194304 14036057 140724335290528 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 33189888 140724335293472 140724335293574 140724335293574 140724335300590 0
/proc/993855/statm: 59177 56453 2461 2403 0 56287 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 236708 KiB
Current children cumulated memory: 225812 KiB
[startup+222.3 s]
/proc/loadavg: 4.04 3.15 2.55 6/257 993901
/proc/meminfo: memFree=125160232/131524600 swapFree=131071996/131071996
[pid=993855] ppid=993845 vsize=236708 memory=225812 CPUtime=221.67 cores=4,6
/proc/993855/stat : 993855 (LS-MabS) R 993845 993855 993787 0 -1 4194304 51963 0 0 0 22159 8 0 0 20 0 1 0 193190920 242388992 56453 134679101440 4194304 14036057 140724335290528 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 33189888 140724335293472 140724335293574 140724335293574 140724335300590 0
/proc/993855/statm: 59177 56453 2461 2403 0 56287 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 236708 KiB
Current children cumulated memory: 225812 KiB
[startup+282.3 s]
/proc/loadavg: 4.20 3.36 2.66 6/256 993911
/proc/meminfo: memFree=125029072/131524600 swapFree=131071996/131071996
[pid=993855] ppid=993845 vsize=365440 memory=345868 CPUtime=281.51 cores=4,6
/proc/993855/stat : 993855 (LS-MabS) R 993845 993855 993787 0 -1 4194304 53941 0 0 0 28141 10 0 0 20 0 1 0 193190920 374210560 86467 134679101440 4194304 14036057 140724335290528 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 33189888 140724335293472 140724335293574 140724335293574 140724335300590 0
/proc/993855/statm: 91360 86467 2461 2403 0 88470 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 365440 KiB
Current children cumulated memory: 345868 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 3.48 2.75 6/254 993923
/proc/meminfo: memFree=125003348/131524600 swapFree=131071996/131071996
[pid=993855] ppid=993845 vsize=368004 memory=345880 CPUtime=341.36 cores=4,6
/proc/993855/stat : 993855 (LS-MabS) R 993845 993855 993787 0 -1 4194304 54008 0 0 0 34125 11 0 0 20 0 1 0 193190920 376836096 86470 134679101440 4194304 14036057 140724335290528 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 33189888 140724335293472 140724335293574 140724335293574 140724335300590 0
/proc/993855/statm: 92001 86470 2461 2403 0 89111 0
Current children cumulated CPU time: 341.36 s
Current children cumulated vsize: 368004 KiB
Current children cumulated memory: 345880 KiB
[startup+402.3 s]
/proc/loadavg: 4.07 3.59 2.84 6/254 993933
/proc/meminfo: memFree=124929616/131524600 swapFree=131071996/131071996
[pid=993855] ppid=993845 vsize=431120 memory=406232 CPUtime=401.2 cores=4,6
/proc/993855/stat : 993855 (LS-MabS) R 993845 993855 993787 0 -1 4194304 56874 0 0 0 40108 12 0 0 20 0 1 0 193190920 441466880 101558 134679101440 4194304 14036057 140724335290528 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 33189888 140724335293472 140724335293574 140724335293574 140724335300590 0
/proc/993855/statm: 107780 101558 2461 2403 0 104890 0
Current children cumulated CPU time: 401.2 s
Current children cumulated vsize: 431120 KiB
Current children cumulated memory: 406232 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 3.70 2.92 6/254 993943
/proc/meminfo: memFree=124903944/131524600 swapFree=131071996/131071996
[pid=993855] ppid=993845 vsize=469640 memory=427540 CPUtime=461.03 cores=4,6
/proc/993855/stat : 993855 (LS-MabS) R 993845 993855 993787 0 -1 4194304 58174 0 0 0 46091 12 0 0 20 0 1 0 193190920 480911360 106885 134679101440 4194304 14036057 140724335290528 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 33189888 140724335293472 140724335293574 140724335293574 140724335300590 0
/proc/993855/statm: 117410 106885 2461 2403 0 114520 0
################
# More data... #
################
/proc/loadavg: 4.17 4.13 4.04 5/256 995018
/proc/meminfo: memFree=124873916/131524600 swapFree=131071996/131071996
[pid=993855] ppid=993845 vsize=206932 memory=199708 CPUtime=3155.35 cores=4,6
/proc/993855/stat : 993855 (LS-MabS) R 993845 993855 993787 0 -1 4194304 61436 0 0 0 310098 5437 0 0 20 0 1 0 193190920 211898368 49927 134679101440 4194304 14036057 140724335290528 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 33189888 140724335293472 140724335293574 140724335293574 140724335300590 0
/proc/993855/statm: 51733 49927 2492 2403 0 48843 0
Current children cumulated CPU time: 3155.35 s
Current children cumulated vsize: 206932 KiB
Current children cumulated memory: 199708 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.12 4.04 5/256 995413
/proc/meminfo: memFree=124872700/131524600 swapFree=131071996/131071996
[pid=993855] ppid=993845 vsize=206932 memory=199708 CPUtime=3215.26 cores=4,6
/proc/993855/stat : 993855 (LS-MabS) R 993845 993855 993787 0 -1 4194304 61439 0 0 0 315841 5685 0 0 20 0 1 0 193190920 211898368 49927 134679101440 4194304 14036057 140724335290528 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 33189888 140724335293472 140724335293574 140724335293574 140724335300590 0
/proc/993855/statm: 51733 49927 2492 2403 0 48843 0
Current children cumulated CPU time: 3215.26 s
Current children cumulated vsize: 206932 KiB
Current children cumulated memory: 199708 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.11 4.04 5/256 995423
/proc/meminfo: memFree=124871916/131524600 swapFree=131071996/131071996
[pid=993855] ppid=993845 vsize=206932 memory=199708 CPUtime=3275.16 cores=4,6
/proc/993855/stat : 993855 (LS-MabS) R 993845 993855 993787 0 -1 4194304 61442 0 0 0 321574 5942 0 0 20 0 1 0 193190920 211898368 49927 134679101440 4194304 14036057 140724335290528 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 33189888 140724335293472 140724335293574 140724335293574 140724335300590 0
/proc/993855/statm: 51733 49927 2492 2403 0 48843 0
Current children cumulated CPU time: 3275.16 s
Current children cumulated vsize: 206932 KiB
Current children cumulated memory: 199708 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.12 4.05 5/256 995435
/proc/meminfo: memFree=124871644/131524600 swapFree=131071996/131071996
[pid=993855] ppid=993845 vsize=206932 memory=199708 CPUtime=3335.07 cores=4,6
/proc/993855/stat : 993855 (LS-MabS) R 993845 993855 993787 0 -1 4194304 61445 0 0 0 327317 6190 0 0 20 0 1 0 193190920 211898368 49927 134679101440 4194304 14036057 140724335290528 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 33189888 140724335293472 140724335293574 140724335293574 140724335300590 0
/proc/993855/statm: 51733 49927 2492 2403 0 48843 0
Current children cumulated CPU time: 3335.07 s
Current children cumulated vsize: 206932 KiB
Current children cumulated memory: 199708 KiB
[startup+3402.3 s]
/proc/loadavg: 4.05 4.09 4.04 5/258 995615
/proc/meminfo: memFree=124870628/131524600 swapFree=131071996/131071996
[pid=993855] ppid=993845 vsize=206932 memory=199708 CPUtime=3394.97 cores=4,6
/proc/993855/stat : 993855 (LS-MabS) R 993845 993855 993787 0 -1 4194304 61448 0 0 0 333029 6468 0 0 20 0 1 0 193190920 211898368 49927 134679101440 4194304 14036057 140724335290528 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 33189888 140724335293472 140724335293574 140724335293574 140724335300590 0
/proc/993855/statm: 51733 49927 2492 2403 0 48843 0
Current children cumulated CPU time: 3394.97 s
Current children cumulated vsize: 206932 KiB
Current children cumulated memory: 199708 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.10 4.05 5/258 995626
/proc/meminfo: memFree=124869860/131524600 swapFree=131071996/131071996
[pid=993855] ppid=993845 vsize=206932 memory=199708 CPUtime=3454.87 cores=4,6
/proc/993855/stat : 993855 (LS-MabS) R 993845 993855 993787 0 -1 4194304 61451 0 0 0 338734 6753 0 0 20 0 1 0 193190920 211898368 49927 134679101440 4194304 14036057 140724335290528 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 33189888 140724335293472 140724335293574 140724335293574 140724335300590 0
/proc/993855/statm: 51733 49927 2492 2403 0 48843 0
Current children cumulated CPU time: 3454.87 s
Current children cumulated vsize: 206932 KiB
Current children cumulated memory: 199708 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.10 4.05 5/259 995693
/proc/meminfo: memFree=124869480/131524600 swapFree=131071996/131071996
[pid=993855] ppid=993845 vsize=206932 memory=199708 CPUtime=3514.78 cores=4,6
/proc/993855/stat : 993855 (LS-MabS) R 993845 993855 993787 0 -1 4194304 61454 0 0 0 344533 6945 0 0 20 0 1 0 193190920 211898368 49927 134679101440 4194304 14036057 140724335290528 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 33189888 140724335293472 140724335293574 140724335293574 140724335300590 0
/proc/993855/statm: 51733 49927 2492 2403 0 48843 0
Current children cumulated CPU time: 3514.78 s
Current children cumulated vsize: 206932 KiB
Current children cumulated memory: 199708 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.09 4.05 5/257 995706
/proc/meminfo: memFree=124868856/131524600 swapFree=131071996/131071996
[pid=993855] ppid=993845 vsize=206932 memory=199708 CPUtime=3574.68 cores=4,6
/proc/993855/stat : 993855 (LS-MabS) R 993845 993855 993787 0 -1 4194304 61457 0 0 0 350304 7164 0 0 20 0 1 0 193190920 211898368 49927 134679101440 4194304 14036057 140724335290528 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 33189888 140724335293472 140724335293574 140724335293574 140724335300590 0
/proc/993855/statm: 51733 49927 2492 2403 0 48843 0
Current children cumulated CPU time: 3574.68 s
Current children cumulated vsize: 206932 KiB
Current children cumulated memory: 199708 KiB
[startup+3607.65 s]
# the end of solver process 993855 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3527.33 s, system=72.6715 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.08 4.09 4.05 5/257 995706
/proc/meminfo: memFree=124868856/131524600 swapFree=131071996/131071996
[pid=993855] ppid=993845 vsize=206932 memory=199708 CPUtime=3576.38 cores=4,6
/proc/993855/stat : 993855 (LS-MabS) R 993845 993855 993787 0 -1 4194304 61457 0 0 0 350467 7171 0 0 20 0 1 0 193190920 211898368 49927 134679101440 4194304 14036057 140724335290528 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 33189888 140724335293472 140724335293574 140724335293574 140724335300590 0
/proc/993855/statm: 51733 49927 2492 2403 0 48843 0
Current children cumulated CPU time: 3576.38 s
Current children cumulated vsize: 206932 KiB
Current children cumulated memory: 199708 KiB
[startup+3596.8 s]
/proc/loadavg: 4.07 4.09 4.05 5/257 995707
/proc/meminfo: memFree=124868792/131524600 swapFree=131071996/131071996
[pid=993855] ppid=993845 vsize=206932 memory=199708 CPUtime=3589.17 cores=4,6
/proc/993855/stat : 993855 (LS-MabS) R 993845 993855 993787 0 -1 4194304 61457 0 0 0 351699 7218 0 0 20 0 1 0 193190920 211898368 49927 134679101440 4194304 14036057 140724335290528 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 33189888 140724335293472 140724335293574 140724335293574 140724335300590 0
/proc/993855/statm: 51733 49927 2492 2403 0 48843 0
Current children cumulated CPU time: 3589.17 s
Current children cumulated vsize: 206932 KiB
Current children cumulated memory: 199708 KiB
[startup+3603.2 s]
/proc/loadavg: 4.06 4.08 4.04 5/257 995709
/proc/meminfo: memFree=124868700/131524600 swapFree=131071996/131071996
[pid=993855] ppid=993845 vsize=206932 memory=199708 CPUtime=3595.56 cores=4,6
/proc/993855/stat : 993855 (LS-MabS) R 993845 993855 993787 0 -1 4194304 61457 0 0 0 352311 7245 0 0 20 0 1 0 193190920 211898368 49927 134679101440 4194304 14036057 140724335290528 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 33189888 140724335293472 140724335293574 140724335293574 140724335300590 0
/proc/993855/statm: 51733 49927 2492 2403 0 48843 0
Current children cumulated CPU time: 3595.56 s
Current children cumulated vsize: 206932 KiB
Current children cumulated memory: 199708 KiB
[startup+3604.8 s]
/proc/loadavg: 4.06 4.08 4.04 5/257 995710
/proc/meminfo: memFree=124868608/131524600 swapFree=131071996/131071996
[pid=993855] ppid=993845 vsize=206932 memory=199708 CPUtime=3597.15 cores=4,6
/proc/993855/stat : 993855 (LS-MabS) R 993845 993855 993787 0 -1 4194304 61457 0 0 0 352462 7253 0 0 20 0 1 0 193190920 211898368 49927 134679101440 4194304 14036057 140724335290528 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 33189888 140724335293472 140724335293574 140724335293574 140724335300590 0
/proc/993855/statm: 51733 49927 2492 2403 0 48843 0
Current children cumulated CPU time: 3597.15 s
Current children cumulated vsize: 206932 KiB
Current children cumulated memory: 199708 KiB
[startup+3606.4 s]
/proc/loadavg: 4.06 4.08 4.04 5/257 995710
/proc/meminfo: memFree=124868616/131524600 swapFree=131071996/131071996
[pid=993855] ppid=993845 vsize=206932 memory=199708 CPUtime=3598.74 cores=4,6
/proc/993855/stat : 993855 (LS-MabS) R 993845 993855 993787 0 -1 4194304 61457 0 0 0 352614 7260 0 0 20 0 1 0 193190920 211898368 49927 134679101440 4194304 14036057 140724335290528 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 33189888 140724335293472 140724335293574 140724335293574 140724335300590 0
/proc/993855/statm: 51733 49927 2492 2403 0 48843 0
Current children cumulated CPU time: 3598.74 s
Current children cumulated vsize: 206932 KiB
Current children cumulated memory: 199708 KiB
[startup+3607.2 s]
/proc/loadavg: 4.06 4.08 4.04 5/257 995712
/proc/meminfo: memFree=124868624/131524600 swapFree=131071996/131071996
[pid=993855] ppid=993845 vsize=206932 memory=199708 CPUtime=3599.54 cores=4,6
/proc/993855/stat : 993855 (LS-MabS) R 993845 993855 993787 0 -1 4194304 61457 0 0 0 352690 7264 0 0 20 0 1 0 193190920 211898368 49927 134679101440 4194304 14036057 140724335290528 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 33189888 140724335293472 140724335293574 140724335293574 140724335300590 0
/proc/993855/statm: 51733 49927 2492 2403 0 48843 0
Current children cumulated CPU time: 3599.54 s
Current children cumulated vsize: 206932 KiB
Current children cumulated memory: 199708 KiB
[startup+3607.6 s]
/proc/loadavg: 4.06 4.08 4.04 5/257 995712
/proc/meminfo: memFree=124868624/131524600 swapFree=131071996/131071996
[pid=993855] ppid=993845 vsize=206932 memory=199708 CPUtime=3599.94 cores=4,6
/proc/993855/stat : 993855 (LS-MabS) R 993845 993855 993787 0 -1 4194304 61457 0 0 0 352728 7266 0 0 20 0 1 0 193190920 211898368 49927 134679101440 4194304 14036057 140724335290528 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 33189888 140724335293472 140724335293574 140724335293574 140724335300590 0
/proc/993855/statm: 51733 49927 2492 2403 0 48843 0
Current children cumulated CPU time: 3599.94 s
Current children cumulated vsize: 206932 KiB
Current children cumulated memory: 199708 KiB
Child status: 0
Real time (s): 3607.65
CPU time (s): 3600
CPU user time (s): 3527.33
CPU system time (s): 72.6715
CPU usage (%): 99.7881
Max. virtual memory (cumulated for all children) (KiB): 471588
Max. memory (cumulated for all children) (KiB): 457960
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3527.33
system time used= 72.6715
maximum resident set size= 457960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61462
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= 43
involuntary context switches= 1098
# summary of solver processes directly reported to runsolver:
# pid: 993855
# total CPU time (s): 3600
# total CPU user time (s): 3527.33
# total CPU system time (s): 72.6715
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.59416 second user time and 18.1565 second system time
The end
Begin job on nodeC016 at 2024-07-19 19:31:55
IDJOB=4450107
IDBENCH=160404
IDSOLVER=3048
FILE ID=nodeC016/4450107-1721410303
RUNJOBID= nodeC016-1721410315-993798
SLURM_JOB_ID= 7545460
Free space on /tmp= 890084 MiB
SOLVER NAME= LS-MabS 2024-07-10
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/normalized-3col-left3reg-l060-r059-n1.cnf-plain.pb.metafix.opb
COMMAND LINE= ./LS-MabS -f BENCHNAME -t TIMEOUT -s RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450107-1721410303/watcher-4450107-1721410303 -o /tmp/evaluation-result-4450107-1721410303/solver-4450107-1721410303 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721410315-993798 --watchdog 3760 ./LS-MabS -f HOME/instance-4450107-1721410303.opb -t 3600 -s 1825857819
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 941394ab05487707ac91e3110f759ebc
RANDOM SEED=1825857819
nodeC016.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/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 : 3505.058
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.70
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 : 3588.658
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.63
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 : 3586.216
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.70
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 : 3435.409
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.63
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 : 3764.706
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.70
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 : 3637.525
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.63
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 : 3617.401
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.70
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 : 3617.518
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.63
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 125850604 kB
MemAvailable: 129700872 kB
Buffers: 399464 kB
Cached: 4293048 kB
SwapCached: 0 kB
Active: 658700 kB
Inactive: 4398304 kB
Active(anon): 1460 kB
Inactive(anon): 409004 kB
Active(file): 657240 kB
Inactive(file): 3989300 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 53224 kB
Writeback: 0 kB
AnonPages: 363076 kB
Mapped: 106948 kB
Shmem: 45912 kB
KReclaimable: 86748 kB
Slab: 198300 kB
SReclaimable: 86748 kB
SUnreclaim: 111552 kB
KernelStack: 3888 kB
PageTables: 9684 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 762252 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 72544 kB
HardwareCorrupted: 0 kB
AnonHugePages: 235520 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 207572 kB
DirectMap2M: 13197312 kB
DirectMap1G: 122683392 kB
Free space on /tmp at the end= 890032 MiB
End job on nodeC016 at 2024-07-19 20:32:03