926.63/930.34 c Filename:instance-4446726-1721345607.opb, Cutoff_time:3600, memory_limit_gb:500000
926.63/930.34 c Use Presolve
926.63/930.34 c Parse finsih
926.63/930.34 c Start Presolve
926.63/930.34 c After Reduce Vars: 20501 Clauses: 20968 Top clause weight: 1 Hard Clauses: 20968
3599.98/3611.03 c Use LS-small
3599.98/3611.03 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: 64059 MiB (60221 MiB free)
memory of node 1: 64510 MiB (61193 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446726-1721345607/watcher-4446726-1721345607 -o /tmp/evaluation-result-4446726-1721345607/solver-4446726-1721345607 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721342003-983766 --watchdog 3760 ./LS-MabSP -f HOME/instance-4446726-1721345607.opb -t 3600 -s 1392393759
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=985849, runsolver pid=985846
[startup+0.10009 s]*
/proc/loadavg: 4.22 4.29 4.17 5/245 985850
/proc/meminfo: memFree=124319568/131655788 swapFree=131071996/131071996
[pid=985849] ppid=985846 vsize=23948 memory=11292 CPUtime=0.1 cores=0,2
/proc/985849/stat : 985849 (LS-MabSP) R 985846 985849 983756 0 -1 4194304 1586 0 0 0 10 0 0 0 20 0 1 0 186719443 24522752 2823 134679101440 4194304 15467897 140736769142928 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 43503616 140736769152030 140736769152133 140736769152133 140736769159149 0
/proc/985849/statm: 5987 2823 1073 2753 0 2640 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 23948 KiB
Current children cumulated memory: 11292 KiB
[startup+0.212838 s]*
/proc/loadavg: 4.22 4.29 4.17 5/245 985850
/proc/meminfo: memFree=124318364/131655788 swapFree=131071996/131071996
[pid=985849] ppid=985846 vsize=24972 memory=12452 CPUtime=0.21 cores=0,2
/proc/985849/stat : 985849 (LS-MabSP) R 985846 985849 983756 0 -1 4194304 2146 0 0 0 21 0 0 0 20 0 1 0 186719443 25571328 3113 134679101440 4194304 15467897 140736769142928 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 43503616 140736769152030 140736769152133 140736769152133 140736769159149 0
/proc/985849/statm: 6243 3113 1073 2753 0 2896 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 24972 KiB
Current children cumulated memory: 12452 KiB
[startup+0.312694 s]*
/proc/loadavg: 4.22 4.29 4.17 5/245 985850
/proc/meminfo: memFree=124315620/131655788 swapFree=131071996/131071996
[pid=985849] ppid=985846 vsize=27020 memory=14624 CPUtime=0.31 cores=0,2
/proc/985849/stat : 985849 (LS-MabSP) R 985846 985849 983756 0 -1 4194304 2674 0 0 0 31 0 0 0 20 0 1 0 186719443 27668480 3656 134679101440 4194304 15467897 140736769142928 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 43503616 140736769152030 140736769152133 140736769152133 140736769159149 0
/proc/985849/statm: 6755 3656 1073 2753 0 3408 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 27020 KiB
Current children cumulated memory: 14624 KiB
[startup+0.700312 s]
/proc/loadavg: 4.22 4.29 4.17 5/245 985850
/proc/meminfo: memFree=124306208/131655788 swapFree=131071996/131071996
[pid=985849] ppid=985846 vsize=51836 memory=37208 CPUtime=0.69 cores=0,2
/proc/985849/stat : 985849 (LS-MabSP) R 985846 985849 983756 0 -1 4194304 7914 0 0 0 67 2 0 0 20 0 1 0 186719443 53080064 9302 134679101440 4194304 15467897 140736769142928 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 43503616 140736769152030 140736769152133 140736769152133 140736769159149 0
/proc/985849/statm: 12959 9302 1105 2753 0 9612 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 51836 KiB
Current children cumulated memory: 37208 KiB
[startup+1.50029 s]
/proc/loadavg: 4.22 4.29 4.17 5/245 985852
/proc/meminfo: memFree=124292960/131655788 swapFree=131071996/131071996
[pid=985849] ppid=985846 vsize=51836 memory=37208 CPUtime=1.49 cores=0,2
/proc/985849/stat : 985849 (LS-MabSP) R 985846 985849 983756 0 -1 4194304 7915 0 0 0 147 2 0 0 20 0 1 0 186719443 53080064 9302 134679101440 4194304 15467897 140736769142928 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 43503616 140736769152030 140736769152133 140736769152133 140736769159149 0
/proc/985849/statm: 12959 9302 1105 2753 0 9612 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 51836 KiB
Current children cumulated memory: 37208 KiB
[startup+3.11272 s]
/proc/loadavg: 4.22 4.29 4.17 5/245 985852
/proc/meminfo: memFree=124286492/131655788 swapFree=131071996/131071996
[pid=985849] ppid=985846 vsize=70052 memory=55860 CPUtime=3.09 cores=0,2
/proc/985849/stat : 985849 (LS-MabSP) R 985846 985849 983756 0 -1 4194304 12506 0 0 0 307 2 0 0 20 0 1 0 186719443 71733248 13965 134679101440 4194304 15467897 140736769142928 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 43503616 140736769152030 140736769152133 140736769152133 140736769159149 0
/proc/985849/statm: 17513 13965 1153 2753 0 14166 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 70052 KiB
Current children cumulated memory: 55860 KiB
[startup+6.30027 s]
/proc/loadavg: 4.21 4.28 4.17 5/245 985852
/proc/meminfo: memFree=124086016/131655788 swapFree=131071996/131071996
[pid=985849] ppid=985846 vsize=249532 memory=233876 CPUtime=6.27 cores=0,2
/proc/985849/stat : 985849 (LS-MabSP) R 985846 985849 983756 0 -1 4194304 52898 0 0 0 618 9 0 0 20 0 1 0 186719443 255520768 58469 134679101440 4194304 15467897 140736769142928 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 43503616 140736769152030 140736769152133 140736769152133 140736769159149 0
/proc/985849/statm: 62383 58469 2721 2753 0 59036 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 249532 KiB
Current children cumulated memory: 233876 KiB
[startup+12.7003 s]
/proc/loadavg: 4.19 4.28 4.17 5/245 985853
/proc/meminfo: memFree=124079368/131655788 swapFree=131071996/131071996
[pid=985849] ppid=985846 vsize=253468 memory=237824 CPUtime=12.64 cores=0,2
/proc/985849/stat : 985849 (LS-MabSP) R 985846 985849 983756 0 -1 4194304 53890 0 0 0 1255 9 0 0 20 0 1 0 186719443 259551232 59456 134679101440 4194304 15467897 140736769142928 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 43503616 140736769152030 140736769152133 140736769152133 140736769159149 0
/proc/985849/statm: 63367 59456 2721 2753 0 60020 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 253468 KiB
Current children cumulated memory: 237824 KiB
[startup+25.5003 s]
/proc/loadavg: 4.22 4.28 4.18 5/245 985855
/proc/meminfo: memFree=124026164/131655788 swapFree=131071996/131071996
[pid=985849] ppid=985846 vsize=260108 memory=244420 CPUtime=25.39 cores=0,2
/proc/985849/stat : 985849 (LS-MabSP) R 985846 985849 983756 0 -1 4194304 55572 0 0 0 2529 10 0 0 20 0 1 0 186719443 266350592 61105 134679101440 4194304 15467897 140736769142928 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 43503616 140736769152030 140736769152133 140736769152133 140736769159149 0
/proc/985849/statm: 65027 61105 2721 2753 0 61680 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 260108 KiB
Current children cumulated memory: 244420 KiB
[startup+51.1125 s]
/proc/loadavg: 4.14 4.26 4.17 5/245 985859
/proc/meminfo: memFree=123840420/131655788 swapFree=131071996/131071996
[pid=985849] ppid=985846 vsize=327368 memory=307784 CPUtime=50.89 cores=0,2
/proc/985849/stat : 985849 (LS-MabSP) R 985846 985849 983756 0 -1 4194304 71045 0 0 0 5076 13 0 0 20 0 1 0 186719443 335224832 76946 134679101440 4194304 15467897 140736769142928 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 43503616 140736769152030 140736769152133 140736769152133 140736769159149 0
/proc/985849/statm: 81842 76946 2817 2753 0 78495 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 327368 KiB
Current children cumulated memory: 307784 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.23 4.17 5/245 985869
/proc/meminfo: memFree=123804748/131655788 swapFree=131071996/131071996
[pid=985849] ppid=985846 vsize=338628 memory=319576 CPUtime=101.86 cores=0,2
/proc/985849/stat : 985849 (LS-MabSP) R 985846 985849 983756 0 -1 4194304 72953 0 0 0 10172 14 0 0 20 0 1 0 186719443 346755072 79894 134679101440 4194304 15467897 140736769142928 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 43503616 140736769152030 140736769152133 140736769152133 140736769159149 0
/proc/985849/statm: 84657 79894 2833 2753 0 81310 0
Current children cumulated CPU time: 101.86 s
Current children cumulated vsize: 338628 KiB
Current children cumulated memory: 319576 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.22 4.17 5/244 985880
/proc/meminfo: memFree=123797448/131655788 swapFree=131071996/131071996
[pid=985849] ppid=985846 vsize=338628 memory=319824 CPUtime=161.6 cores=0,2
/proc/985849/stat : 985849 (LS-MabSP) R 985846 985849 983756 0 -1 4194304 72969 0 0 0 16146 14 0 0 20 0 1 0 186719443 346755072 79956 134679101440 4194304 15467897 140736769142928 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 43503616 140736769152030 140736769152133 140736769152133 140736769159149 0
/proc/985849/statm: 84657 79956 2833 2753 0 81310 0
Current children cumulated CPU time: 161.6 s
Current children cumulated vsize: 338628 KiB
Current children cumulated memory: 319824 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.19 4.16 5/244 985890
/proc/meminfo: memFree=123658892/131655788 swapFree=131071996/131071996
[pid=985849] ppid=985846 vsize=342848 memory=322896 CPUtime=221.33 cores=0,2
/proc/985849/stat : 985849 (LS-MabSP) R 985846 985849 983756 0 -1 4194304 73262 0 0 0 22119 14 0 0 20 0 1 0 186719443 351076352 80724 134679101440 4194304 15467897 140736769142928 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 43503616 140736769152030 140736769152133 140736769152133 140736769159149 0
/proc/985849/statm: 85712 80724 2833 2753 0 82365 0
Current children cumulated CPU time: 221.33 s
Current children cumulated vsize: 342848 KiB
Current children cumulated memory: 322896 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.17 4.16 5/244 985900
/proc/meminfo: memFree=123481772/131655788 swapFree=131071996/131071996
[pid=985849] ppid=985846 vsize=424620 memory=402900 CPUtime=281.09 cores=0,2
/proc/985849/stat : 985849 (LS-MabSP) R 985846 985849 983756 0 -1 4194304 79439 0 0 0 28093 16 0 0 20 0 1 0 186719443 434810880 100725 134679101440 4194304 15467897 140736769142928 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 43503616 140736769152030 140736769152133 140736769152133 140736769159149 0
/proc/985849/statm: 106155 100725 2849 2753 0 102808 0
Current children cumulated CPU time: 281.09 s
Current children cumulated vsize: 424620 KiB
Current children cumulated memory: 402900 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.15 4.15 5/241 985911
/proc/meminfo: memFree=123431968/131655788 swapFree=131071996/131071996
[pid=985849] ppid=985846 vsize=437916 memory=414060 CPUtime=340.84 cores=0,2
/proc/985849/stat : 985849 (LS-MabSP) R 985846 985849 983756 0 -1 4194304 82284 0 0 0 34067 17 0 0 20 0 1 0 186719443 448425984 103515 134679101440 4194304 15467897 140736769142928 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 43503616 140736769152030 140736769152133 140736769152133 140736769159149 0
/proc/985849/statm: 109479 103515 2849 2753 0 106132 0
Current children cumulated CPU time: 340.84 s
Current children cumulated vsize: 437916 KiB
Current children cumulated memory: 414060 KiB
[startup+402.3 s]
/proc/loadavg: 4.65 4.30 4.20 5/241 985921
/proc/meminfo: memFree=123401240/131655788 swapFree=131071996/131071996
[pid=985849] ppid=985846 vsize=445916 memory=421588 CPUtime=400.6 cores=0,2
/proc/985849/stat : 985849 (LS-MabSP) R 985846 985849 983756 0 -1 4194304 84195 0 0 0 40042 18 0 0 20 0 1 0 186719443 456617984 105397 134679101440 4194304 15467897 140736769142928 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 43503616 140736769152030 140736769152133 140736769152133 140736769159149 0
/proc/985849/statm: 111479 105397 2849 2753 0 108132 0
Current children cumulated CPU time: 400.6 s
Current children cumulated vsize: 445916 KiB
Current children cumulated memory: 421588 KiB
[startup+462.3 s]
/proc/loadavg: 4.38 4.30 4.20 5/244 985937
/proc/meminfo: memFree=123382900/131655788 swapFree=131071996/131071996
[pid=985849] ppid=985846 vsize=453604 memory=429380 CPUtime=460.35 cores=0,2
/proc/985849/stat : 985849 (LS-MabSP) R 985846 985849 983756 0 -1 4194304 86176 0 0 0 46017 18 0 0 20 0 1 0 186719443 464490496 107345 134679101440 4194304 15467897 140736769142928 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 43503616 140736769152030 140736769152133 140736769152133 140736769159149 0
################
# More data... #
################
/proc/loadavg: 4.15 4.17 4.18 5/242 987389
/proc/meminfo: memFree=123225692/131655788 swapFree=131071996/131071996
[pid=985849] ppid=985846 vsize=478468 memory=471084 CPUtime=3212.24 cores=0,2
/proc/985849/stat : 985849 (LS-MabSP) R 985846 985849 983756 0 -1 4194304 116255 0 0 0 317110 4114 0 0 20 0 1 0 186719443 489951232 117771 134679101440 4194304 15467897 140736769142928 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 43503616 140736769152030 140736769152133 140736769152133 140736769159149 0
/proc/985849/statm: 119617 117771 2849 2753 0 116270 0
Current children cumulated CPU time: 3212.24 s
Current children cumulated vsize: 478468 KiB
Current children cumulated memory: 471084 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.15 4.17 5/242 987399
/proc/meminfo: memFree=123225552/131655788 swapFree=131071996/131071996
[pid=985849] ppid=985846 vsize=478468 memory=471084 CPUtime=3272.09 cores=0,2
/proc/985849/stat : 985849 (LS-MabSP) R 985846 985849 983756 0 -1 4194304 116280 0 0 0 322920 4289 0 0 20 0 1 0 186719443 489951232 117771 134679101440 4194304 15467897 140736769142928 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 43503616 140736769152030 140736769152133 140736769152133 140736769159149 0
/proc/985849/statm: 119617 117771 2849 2753 0 116270 0
Current children cumulated CPU time: 3272.09 s
Current children cumulated vsize: 478468 KiB
Current children cumulated memory: 471084 KiB
[startup+3342.3 s]
/proc/loadavg: 4.25 4.19 4.18 5/243 987579
/proc/meminfo: memFree=123225316/131655788 swapFree=131071996/131071996
[pid=985849] ppid=985846 vsize=478468 memory=471084 CPUtime=3331.94 cores=0,2
/proc/985849/stat : 985849 (LS-MabSP) R 985846 985849 983756 0 -1 4194304 116305 0 0 0 328739 4455 0 0 20 0 1 0 186719443 489951232 117771 134679101440 4194304 15467897 140736769142928 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 43503616 140736769152030 140736769152133 140736769152133 140736769159149 0
/proc/985849/statm: 119617 117771 2849 2753 0 116270 0
Current children cumulated CPU time: 3331.94 s
Current children cumulated vsize: 478468 KiB
Current children cumulated memory: 471084 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.16 4.18 5/243 987589
/proc/meminfo: memFree=123224960/131655788 swapFree=131071996/131071996
[pid=985849] ppid=985846 vsize=478468 memory=471084 CPUtime=3391.8 cores=0,2
/proc/985849/stat : 985849 (LS-MabSP) R 985846 985849 983756 0 -1 4194304 116330 0 0 0 334556 4624 0 0 20 0 1 0 186719443 489951232 117771 134679101440 4194304 15467897 140736769142928 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 43503616 140736769152030 140736769152133 140736769152133 140736769159149 0
/proc/985849/statm: 119617 117771 2849 2753 0 116270 0
Current children cumulated CPU time: 3391.8 s
Current children cumulated vsize: 478468 KiB
Current children cumulated memory: 471084 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.16 4.17 5/243 987656
/proc/meminfo: memFree=123224496/131655788 swapFree=131071996/131071996
[pid=985849] ppid=985846 vsize=478468 memory=471084 CPUtime=3451.63 cores=0,2
/proc/985849/stat : 985849 (LS-MabSP) R 985846 985849 983756 0 -1 4194304 116355 0 0 0 340369 4794 0 0 20 0 1 0 186719443 489951232 117771 134679101440 4194304 15467897 140736769142928 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 43503616 140736769152030 140736769152133 140736769152133 140736769159149 0
/proc/985849/statm: 119617 117771 2849 2753 0 116270 0
Current children cumulated CPU time: 3451.63 s
Current children cumulated vsize: 478468 KiB
Current children cumulated memory: 471084 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.16 4.17 5/243 987666
/proc/meminfo: memFree=123224284/131655788 swapFree=131071996/131071996
[pid=985849] ppid=985846 vsize=478468 memory=471084 CPUtime=3511.49 cores=0,2
/proc/985849/stat : 985849 (LS-MabSP) R 985846 985849 983756 0 -1 4194304 116380 0 0 0 346179 4970 0 0 20 0 1 0 186719443 489951232 117771 134679101440 4194304 15467897 140736769142928 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 43503616 140736769152030 140736769152133 140736769152133 140736769159149 0
/proc/985849/statm: 119617 117771 2849 2753 0 116270 0
Current children cumulated CPU time: 3511.49 s
Current children cumulated vsize: 478468 KiB
Current children cumulated memory: 471084 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.14 4.17 5/243 987677
/proc/meminfo: memFree=123224048/131655788 swapFree=131071996/131071996
[pid=985849] ppid=985846 vsize=478468 memory=471084 CPUtime=3571.33 cores=0,2
/proc/985849/stat : 985849 (LS-MabSP) R 985846 985849 983756 0 -1 4194304 116405 0 0 0 351993 5140 0 0 20 0 1 0 186719443 489951232 117771 134679101440 4194304 15467897 140736769142928 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 43503616 140736769152030 140736769152133 140736769152133 140736769159149 0
/proc/985849/statm: 119617 117771 2849 2753 0 116270 0
Current children cumulated CPU time: 3571.33 s
Current children cumulated vsize: 478468 KiB
Current children cumulated memory: 471084 KiB
[startup+3611.04 s]
# the end of solver process 985849 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3547.81 s, system=52.1951 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.09 4.14 4.17 5/243 987677
/proc/meminfo: memFree=123224048/131655788 swapFree=131071996/131071996
[pid=985849] ppid=985846 vsize=478468 memory=471084 CPUtime=3573.04 cores=0,2
/proc/985849/stat : 985849 (LS-MabSP) R 985846 985849 983756 0 -1 4194304 116405 0 0 0 352159 5145 0 0 20 0 1 0 186719443 489951232 117771 134679101440 4194304 15467897 140736769142928 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 43503616 140736769152030 140736769152133 140736769152133 140736769159149 0
/proc/985849/statm: 119617 117771 2849 2753 0 116270 0
Current children cumulated CPU time: 3573.04 s
Current children cumulated vsize: 478468 KiB
Current children cumulated memory: 471084 KiB
[startup+3596.8 s]
/proc/loadavg: 4.15 4.15 4.17 5/243 987679
/proc/meminfo: memFree=123224132/131655788 swapFree=131071996/131071996
[pid=985849] ppid=985846 vsize=478468 memory=471084 CPUtime=3585.8 cores=0,2
/proc/985849/stat : 985849 (LS-MabSP) R 985846 985849 983756 0 -1 4194304 116405 0 0 0 353400 5180 0 0 20 0 1 0 186719443 489951232 117771 134679101440 4194304 15467897 140736769142928 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 43503616 140736769152030 140736769152133 140736769152133 140736769159149 0
/proc/985849/statm: 119617 117771 2849 2753 0 116270 0
Current children cumulated CPU time: 3585.8 s
Current children cumulated vsize: 478468 KiB
Current children cumulated memory: 471084 KiB
[startup+3603.2 s]
/proc/loadavg: 4.13 4.15 4.17 6/243 987772
/proc/meminfo: memFree=123926884/131655788 swapFree=131071996/131071996
[pid=985849] ppid=985846 vsize=478468 memory=471084 CPUtime=3592.19 cores=0,2
/proc/985849/stat : 985849 (LS-MabSP) R 985846 985849 983756 0 -1 4194304 116405 0 0 0 354022 5197 0 0 20 0 1 0 186719443 489951232 117771 134679101440 4194304 15467897 140736769142928 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 43503616 140736769152030 140736769152133 140736769152133 140736769159149 0
/proc/985849/statm: 119617 117771 2849 2753 0 116270 0
Current children cumulated CPU time: 3592.19 s
Current children cumulated vsize: 478468 KiB
Current children cumulated memory: 471084 KiB
[startup+3606.4 s]
/proc/loadavg: 4.12 4.15 4.17 5/243 987818
/proc/meminfo: memFree=124269460/131655788 swapFree=131071996/131071996
[pid=985849] ppid=985846 vsize=478468 memory=471084 CPUtime=3595.37 cores=0,2
/proc/985849/stat : 985849 (LS-MabSP) R 985846 985849 983756 0 -1 4194304 116405 0 0 0 354332 5205 0 0 20 0 1 0 186719443 489951232 117771 134679101440 4194304 15467897 140736769142928 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 43503616 140736769152030 140736769152133 140736769152133 140736769159149 0
/proc/985849/statm: 119617 117771 2849 2753 0 116270 0
Current children cumulated CPU time: 3595.37 s
Current children cumulated vsize: 478468 KiB
Current children cumulated memory: 471084 KiB
[startup+3609.6 s]
/proc/loadavg: 4.12 4.15 4.17 5/243 987818
/proc/meminfo: memFree=124178848/131655788 swapFree=131071996/131071996
[pid=985849] ppid=985846 vsize=478468 memory=471084 CPUtime=3598.57 cores=0,2
/proc/985849/stat : 985849 (LS-MabSP) R 985846 985849 983756 0 -1 4194304 116405 0 0 0 354642 5215 0 0 20 0 1 0 186719443 489951232 117771 134679101440 4194304 15467897 140736769142928 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 43503616 140736769152030 140736769152133 140736769152133 140736769159149 0
/proc/985849/statm: 119617 117771 2849 2753 0 116270 0
Current children cumulated CPU time: 3598.57 s
Current children cumulated vsize: 478468 KiB
Current children cumulated memory: 471084 KiB
[startup+3610.4 s]
/proc/loadavg: 4.11 4.14 4.17 5/243 987818
/proc/meminfo: memFree=124173672/131655788 swapFree=131071996/131071996
[pid=985849] ppid=985846 vsize=478468 memory=471084 CPUtime=3599.37 cores=0,2
/proc/985849/stat : 985849 (LS-MabSP) R 985846 985849 983756 0 -1 4194304 116405 0 0 0 354720 5217 0 0 20 0 1 0 186719443 489951232 117771 134679101440 4194304 15467897 140736769142928 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 43503616 140736769152030 140736769152133 140736769152133 140736769159149 0
/proc/985849/statm: 119617 117771 2849 2753 0 116270 0
Current children cumulated CPU time: 3599.37 s
Current children cumulated vsize: 478468 KiB
Current children cumulated memory: 471084 KiB
[startup+3610.8 s]
/proc/loadavg: 4.11 4.14 4.17 5/243 987818
/proc/meminfo: memFree=124173672/131655788 swapFree=131071996/131071996
[pid=985849] ppid=985846 vsize=478468 memory=471084 CPUtime=3599.76 cores=0,2
/proc/985849/stat : 985849 (LS-MabSP) R 985846 985849 983756 0 -1 4194304 116405 0 0 0 354758 5218 0 0 20 0 1 0 186719443 489951232 117771 134679101440 4194304 15467897 140736769142928 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 43503616 140736769152030 140736769152133 140736769152133 140736769159149 0
/proc/985849/statm: 119617 117771 2849 2753 0 116270 0
Current children cumulated CPU time: 3599.76 s
Current children cumulated vsize: 478468 KiB
Current children cumulated memory: 471084 KiB
[startup+3611 s]*
/proc/loadavg: 4.11 4.14 4.17 5/243 987820
/proc/meminfo: memFree=124158440/131655788 swapFree=131071996/131071996
[pid=985849] ppid=985846 vsize=478468 memory=471084 CPUtime=3599.98 cores=0,2
/proc/985849/stat : 985849 (LS-MabSP) R 985846 985849 983756 0 -1 4194304 116405 0 0 0 354779 5219 0 0 20 0 1 0 186719443 489951232 117771 134679101440 4194304 15467897 140736769142928 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 43503616 140736769152030 140736769152133 140736769152133 140736769159149 0
/proc/985849/statm: 119617 117771 2849 2753 0 116270 0
Current children cumulated CPU time: 3599.98 s
Current children cumulated vsize: 478468 KiB
Current children cumulated memory: 471084 KiB
Child status: 0
Real time (s): 3611.04
CPU time (s): 3600.01
CPU user time (s): 3547.81
CPU system time (s): 52.1951
CPU usage (%): 99.6946
Max. virtual memory (cumulated for all children) (KiB): 562344
Max. memory (cumulated for all children) (KiB): 549980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3547.81
system time used= 52.1951
maximum resident set size= 549980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 116413
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= 28
involuntary context switches= 24649
# summary of solver processes directly reported to runsolver:
# pid: 985849
# total CPU time (s): 3600.01
# total CPU user time (s): 3547.81
# total CPU system time (s): 52.1951
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.6357 second user time and 33.9895 second system time
The end
Begin job on nodeC006 at 2024-07-19 01:33:39
IDJOB=4446726
IDBENCH=158301
IDSOLVER=3047
FILE ID=nodeC006/4446726-1721345607
RUNJOBID= nodeC006-1721342003-983766
SLURM_JOB_ID= 7542736
Free space on /tmp= 723724 MiB
SOLVER NAME= LS-MabSP 2024-07-10
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K179.opb
COMMAND LINE= ./LS-MabSP -f BENCHNAME -t TIMEOUT -s RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446726-1721345607/watcher-4446726-1721345607 -o /tmp/evaluation-result-4446726-1721345607/solver-4446726-1721345607 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721342003-983766 --watchdog 3760 ./LS-MabSP -f HOME/instance-4446726-1721345607.opb -t 3600 -s 1392393759
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 84aa92d361920570c4f42a7fa8308fed
RANDOM SEED=1392393759
nodeC006.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 : 0xb00001f
cpu MHz : 3492.002
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 invpcid_single pti 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 : 6983.94
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.971
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 invpcid_single pti 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 : 6983.26
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.248
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 invpcid_single pti 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 : 6983.94
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.460
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 invpcid_single pti 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 : 6983.26
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 : 3605.146
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 invpcid_single pti 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 : 6983.94
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 : 3491.971
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 invpcid_single pti 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 : 6983.26
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.454
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 invpcid_single pti 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 : 6983.94
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.389
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 invpcid_single pti 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 : 6983.26
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 124328860 kB
MemAvailable: 129301012 kB
Buffers: 513720 kB
Cached: 5236992 kB
SwapCached: 0 kB
Active: 994488 kB
Inactive: 5646296 kB
Active(anon): 1468 kB
Inactive(anon): 926284 kB
Active(file): 993020 kB
Inactive(file): 4720012 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 70280 kB
Writeback: 0 kB
AnonPages: 890080 kB
Mapped: 138552 kB
Shmem: 37704 kB
KReclaimable: 198304 kB
Slab: 313232 kB
SReclaimable: 198304 kB
SUnreclaim: 114928 kB
KernelStack: 3888 kB
PageTables: 11120 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1134292 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 59200 kB
HardwareCorrupted: 0 kB
AnonHugePages: 225280 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: 316232 kB
DirectMap2M: 40482816 kB
DirectMap1G: 95420416 kB
Free space on /tmp at the end= 723712 MiB
End job on nodeC006 at 2024-07-19 02:33:51