0.00/0.01 c Filename:instance-4448196-1721366280.opb, Cutoff_time:3600, memory_limit_gb:500000
0.00/0.01 c Use Presolve
0.00/0.01 c Parse finsih
0.00/0.01 c Start Presolve
0.00/0.01 c After Reduce Vars: 200 Clauses: 276 Top clause weight: 1 Hard Clauses: 276
3599.96/3608.22 c Use LS-small
3599.96/3608.22 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: 64096 MiB (62299 MiB free)
memory of node 1: 64473 MiB (63253 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4448196-1721366280/watcher-4448196-1721366280 -o /tmp/evaluation-result-4448196-1721366280/solver-4448196-1721366280 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721362682-995438 --watchdog 3760 ./LS-MabSP -f HOME/instance-4448196-1721366280.opb -t 3600 -s 1567050881
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
Current StackSize limit: 8192 KiB
solver pid=997465, runsolver pid=997462
[startup+0.1001 s]*
/proc/loadavg: 4.15 4.12 4.09 5/241 997466
/proc/meminfo: memFree=128555884/131655788 swapFree=131070704/131071996
[pid=997465] ppid=997462 vsize=29364 memory=22068 CPUtime=0.1 cores=5,7
/proc/997465/stat : 997465 (LS-MabSP) R 997462 997465 995425 0 -1 4194304 2443 0 0 0 10 0 0 0 20 0 1 0 188785166 30068736 5517 134679101440 4194304 15467897 140737379493728 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 39657472 140737379501086 140737379501189 140737379501189 140737379508205 0
/proc/997465/statm: 7341 5517 2849 2753 0 3994 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 29364 KiB
Current children cumulated memory: 22068 KiB
[startup+0.213051 s]*
/proc/loadavg: 4.15 4.12 4.09 5/241 997466
/proc/meminfo: memFree=128553700/131655788 swapFree=131070704/131071996
[pid=997465] ppid=997462 vsize=30096 memory=23124 CPUtime=0.21 cores=5,7
/proc/997465/stat : 997465 (LS-MabSP) R 997462 997465 995425 0 -1 4194304 2712 0 0 0 21 0 0 0 20 0 1 0 188785166 30818304 5781 134679101440 4194304 15467897 140737379493728 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 39657472 140737379501086 140737379501189 140737379501189 140737379508205 0
/proc/997465/statm: 7524 5781 2849 2753 0 4177 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 30096 KiB
Current children cumulated memory: 23124 KiB
[startup+0.312841 s]*
/proc/loadavg: 4.15 4.12 4.09 4/239 997466
/proc/meminfo: memFree=129335436/131655788 swapFree=131070704/131071996
[pid=997465] ppid=997462 vsize=30096 memory=23124 CPUtime=0.32 cores=5,7
/proc/997465/stat : 997465 (LS-MabSP) R 997462 997465 995425 0 -1 4194304 2716 0 0 0 29 3 0 0 20 0 1 0 188785166 30818304 5781 134679101440 4194304 15467897 140737379493728 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 39657472 140737379501086 140737379501189 140737379501189 140737379508205 0
/proc/997465/statm: 7524 5781 2849 2753 0 4177 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 30096 KiB
Current children cumulated memory: 23124 KiB
[startup+0.700271 s]
/proc/loadavg: 4.15 4.12 4.09 4/238 997480
/proc/meminfo: memFree=129335372/131655788 swapFree=131070704/131071996
[pid=997465] ppid=997462 vsize=30096 memory=23124 CPUtime=0.69 cores=5,7
/proc/997465/stat : 997465 (LS-MabSP) R 997462 997465 995425 0 -1 4194304 2716 0 0 0 57 12 0 0 20 0 1 0 188785166 30818304 5781 134679101440 4194304 15467897 140737379493728 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 39657472 140737379501086 140737379501189 140737379501189 140737379508205 0
/proc/997465/statm: 7524 5781 2849 2753 0 4177 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 30096 KiB
Current children cumulated memory: 23124 KiB
[startup+1.50028 s]
/proc/loadavg: 4.14 4.12 4.09 5/241 997512
/proc/meminfo: memFree=129318488/131655788 swapFree=131070704/131071996
[pid=997465] ppid=997462 vsize=30096 memory=23124 CPUtime=1.49 cores=5,7
/proc/997465/stat : 997465 (LS-MabSP) R 997462 997465 995425 0 -1 4194304 2716 0 0 0 118 31 0 0 20 0 1 0 188785166 30818304 5781 134679101440 4194304 15467897 140737379493728 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 39657472 140737379501086 140737379501189 140737379501189 140737379508205 0
/proc/997465/statm: 7524 5781 2849 2753 0 4177 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 30096 KiB
Current children cumulated memory: 23124 KiB
[startup+3.11209 s]
/proc/loadavg: 4.14 4.12 4.09 5/241 997512
/proc/meminfo: memFree=129296908/131655788 swapFree=131070704/131071996
[pid=997465] ppid=997462 vsize=30096 memory=23124 CPUtime=3.1 cores=5,7
/proc/997465/stat : 997465 (LS-MabSP) R 997462 997465 995425 0 -1 4194304 2716 0 0 0 241 69 0 0 20 0 1 0 188785166 30818304 5781 134679101440 4194304 15467897 140737379493728 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 39657472 140737379501086 140737379501189 140737379501189 140737379508205 0
/proc/997465/statm: 7524 5781 2849 2753 0 4177 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 30096 KiB
Current children cumulated memory: 23124 KiB
[startup+6.30024 s]
/proc/loadavg: 4.13 4.11 4.09 5/241 997514
/proc/meminfo: memFree=129283064/131655788 swapFree=131070704/131071996
[pid=997465] ppid=997462 vsize=30096 memory=23124 CPUtime=6.27 cores=5,7
/proc/997465/stat : 997465 (LS-MabSP) R 997462 997465 995425 0 -1 4194304 2716 0 0 0 485 142 0 0 20 0 1 0 188785166 30818304 5781 134679101440 4194304 15467897 140737379493728 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 39657472 140737379501086 140737379501189 140737379501189 140737379508205 0
/proc/997465/statm: 7524 5781 2849 2753 0 4177 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 30096 KiB
Current children cumulated memory: 23124 KiB
[startup+12.7002 s]
/proc/loadavg: 4.12 4.11 4.09 5/241 997514
/proc/meminfo: memFree=129266724/131655788 swapFree=131070704/131071996
[pid=997465] ppid=997462 vsize=30096 memory=23124 CPUtime=12.66 cores=5,7
/proc/997465/stat : 997465 (LS-MabSP) R 997462 997465 995425 0 -1 4194304 2716 0 0 0 970 296 0 0 20 0 1 0 188785166 30818304 5781 134679101440 4194304 15467897 140737379493728 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 39657472 140737379501086 140737379501189 140737379501189 140737379508205 0
/proc/997465/statm: 7524 5781 2849 2753 0 4177 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 30096 KiB
Current children cumulated memory: 23124 KiB
[startup+25.5003 s]
/proc/loadavg: 4.10 4.11 4.09 5/242 997518
/proc/meminfo: memFree=129223840/131655788 swapFree=131070704/131071996
[pid=997465] ppid=997462 vsize=30096 memory=23124 CPUtime=25.43 cores=5,7
/proc/997465/stat : 997465 (LS-MabSP) R 997462 997465 995425 0 -1 4194304 2716 0 0 0 1948 595 0 0 20 0 1 0 188785166 30818304 5781 134679101440 4194304 15467897 140737379493728 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 39657472 140737379501086 140737379501189 140737379501189 140737379508205 0
/proc/997465/statm: 7524 5781 2849 2753 0 4177 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 30096 KiB
Current children cumulated memory: 23124 KiB
[startup+51.1124 s]
/proc/loadavg: 4.21 4.13 4.09 5/242 997521
/proc/meminfo: memFree=129158044/131655788 swapFree=131070704/131071996
[pid=997465] ppid=997462 vsize=30096 memory=23124 CPUtime=50.98 cores=5,7
/proc/997465/stat : 997465 (LS-MabSP) R 997462 997465 995425 0 -1 4194304 2716 0 0 0 3887 1211 0 0 20 0 1 0 188785166 30818304 5781 134679101440 4194304 15467897 140737379493728 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 39657472 140737379501086 140737379501189 140737379501189 140737379508205 0
/proc/997465/statm: 7524 5781 2849 2753 0 4177 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 30096 KiB
Current children cumulated memory: 23124 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/242 997530
/proc/meminfo: memFree=129061788/131655788 swapFree=131070704/131071996
[pid=997465] ppid=997462 vsize=30096 memory=23124 CPUtime=102.04 cores=5,7
/proc/997465/stat : 997465 (LS-MabSP) R 997462 997465 995425 0 -1 4194304 2716 0 0 0 7759 2445 0 0 20 0 1 0 188785166 30818304 5781 134679101440 4194304 15467897 140737379493728 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 39657472 140737379501086 140737379501189 140737379501189 140737379508205 0
/proc/997465/statm: 7524 5781 2849 2753 0 4177 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 30096 KiB
Current children cumulated memory: 23124 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/244 997544
/proc/meminfo: memFree=128969392/131655788 swapFree=131070704/131071996
[pid=997465] ppid=997462 vsize=30096 memory=23124 CPUtime=161.89 cores=5,7
/proc/997465/stat : 997465 (LS-MabSP) R 997462 997465 995425 0 -1 4194304 2716 0 0 0 12276 3913 0 0 20 0 1 0 188785166 30818304 5781 134679101440 4194304 15467897 140737379493728 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 39657472 140737379501086 140737379501189 140737379501189 140737379508205 0
/proc/997465/statm: 7524 5781 2849 2753 0 4177 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 30096 KiB
Current children cumulated memory: 23124 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/244 997554
/proc/meminfo: memFree=128854984/131655788 swapFree=131070704/131071996
[pid=997465] ppid=997462 vsize=30096 memory=23708 CPUtime=221.76 cores=5,7
/proc/997465/stat : 997465 (LS-MabSP) R 997462 997465 995425 0 -1 4194304 2726 0 0 0 16801 5375 0 0 20 0 1 0 188785166 30818304 5927 134679101440 4194304 15467897 140737379493728 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 39657472 140737379501086 140737379501189 140737379501189 140737379508205 0
/proc/997465/statm: 7524 5927 2849 2753 0 4177 0
Current children cumulated CPU time: 221.76 s
Current children cumulated vsize: 30096 KiB
Current children cumulated memory: 23708 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/244 997565
/proc/meminfo: memFree=128722680/131655788 swapFree=131070704/131071996
[pid=997465] ppid=997462 vsize=30096 memory=23708 CPUtime=281.6 cores=5,7
/proc/997465/stat : 997465 (LS-MabSP) R 997462 997465 995425 0 -1 4194304 2728 0 0 0 21323 6837 0 0 20 0 1 0 188785166 30818304 5927 134679101440 4194304 15467897 140737379493728 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 39657472 140737379501086 140737379501189 140737379501189 140737379508205 0
/proc/997465/statm: 7524 5927 2849 2753 0 4177 0
Current children cumulated CPU time: 281.6 s
Current children cumulated vsize: 30096 KiB
Current children cumulated memory: 23708 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/244 997575
/proc/meminfo: memFree=128624532/131655788 swapFree=131070704/131071996
[pid=997465] ppid=997462 vsize=30096 memory=23708 CPUtime=341.45 cores=5,7
/proc/997465/stat : 997465 (LS-MabSP) R 997462 997465 995425 0 -1 4194304 2730 0 0 0 25861 8284 0 0 20 0 1 0 188785166 30818304 5927 134679101440 4194304 15467897 140737379493728 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 39657472 140737379501086 140737379501189 140737379501189 140737379508205 0
/proc/997465/statm: 7524 5927 2849 2753 0 4177 0
Current children cumulated CPU time: 341.45 s
Current children cumulated vsize: 30096 KiB
Current children cumulated memory: 23708 KiB
[startup+402.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/243 997586
/proc/meminfo: memFree=128499056/131655788 swapFree=131070704/131071996
[pid=997465] ppid=997462 vsize=30096 memory=23708 CPUtime=401.3 cores=5,7
/proc/997465/stat : 997465 (LS-MabSP) R 997462 997465 995425 0 -1 4194304 2731 0 0 0 30396 9734 0 0 20 0 1 0 188785166 30818304 5927 134679101440 4194304 15467897 140737379493728 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 39657472 140737379501086 140737379501189 140737379501189 140737379508205 0
/proc/997465/statm: 7524 5927 2849 2753 0 4177 0
Current children cumulated CPU time: 401.3 s
Current children cumulated vsize: 30096 KiB
Current children cumulated memory: 23708 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/244 997984
/proc/meminfo: memFree=128503632/131655788 swapFree=131070704/131071996
[pid=997465] ppid=997462 vsize=30096 memory=23708 CPUtime=461.14 cores=5,7
/proc/997465/stat : 997465 (LS-MabSP) R 997462 997465 995425 0 -1 4194304 2732 0 0 0 34901 11213 0 0 20 0 1 0 188785166 30818304 5927 134679101440 4194304 15467897 140737379493728 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 39657472 140737379501086 140737379501189 140737379501189 140737379508205 0
/proc/997465/statm: 7524 5927 2849 2753 0 4177 0
################
# More data... #
################
/proc/loadavg: 4.11 4.12 4.12 5/243 999265
/proc/meminfo: memFree=126854568/131655788 swapFree=131070704/131071996
[pid=997465] ppid=997462 vsize=30096 memory=23748 CPUtime=3154.89 cores=5,7
/proc/997465/stat : 997465 (LS-MabSP) R 997462 997465 995425 0 -1 4194304 2777 0 0 0 238324 77165 0 0 20 0 1 0 188785166 30818304 5937 134679101440 4194304 15467897 140737379493728 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 39657472 140737379501086 140737379501189 140737379501189 140737379508205 0
/proc/997465/statm: 7524 5937 2849 2753 0 4177 0
Current children cumulated CPU time: 3154.89 s
Current children cumulated vsize: 30096 KiB
Current children cumulated memory: 23748 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.11 4.11 5/243 999275
/proc/meminfo: memFree=126854344/131655788 swapFree=131070704/131071996
[pid=997465] ppid=997462 vsize=30096 memory=23748 CPUtime=3214.79 cores=5,7
/proc/997465/stat : 997465 (LS-MabSP) R 997462 997465 995425 0 -1 4194304 2778 0 0 0 242866 78613 0 0 20 0 1 0 188785166 30818304 5937 134679101440 4194304 15467897 140737379493728 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 39657472 140737379501086 140737379501189 140737379501189 140737379508205 0
/proc/997465/statm: 7524 5937 2849 2753 0 4177 0
Current children cumulated CPU time: 3214.79 s
Current children cumulated vsize: 30096 KiB
Current children cumulated memory: 23748 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.12 4.11 5/243 999286
/proc/meminfo: memFree=126854032/131655788 swapFree=131070704/131071996
[pid=997465] ppid=997462 vsize=30096 memory=23748 CPUtime=3274.67 cores=5,7
/proc/997465/stat : 997465 (LS-MabSP) R 997462 997465 995425 0 -1 4194304 2779 0 0 0 247404 80063 0 0 20 0 1 0 188785166 30818304 5937 134679101440 4194304 15467897 140737379493728 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 39657472 140737379501086 140737379501189 140737379501189 140737379508205 0
/proc/997465/statm: 7524 5937 2849 2753 0 4177 0
Current children cumulated CPU time: 3274.67 s
Current children cumulated vsize: 30096 KiB
Current children cumulated memory: 23748 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.11 4.11 5/243 999296
/proc/meminfo: memFree=126853748/131655788 swapFree=131070704/131071996
[pid=997465] ppid=997462 vsize=30096 memory=23748 CPUtime=3334.56 cores=5,7
/proc/997465/stat : 997465 (LS-MabSP) R 997462 997465 995425 0 -1 4194304 2780 0 0 0 251928 81528 0 0 20 0 1 0 188785166 30818304 5937 134679101440 4194304 15467897 140737379493728 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 39657472 140737379501086 140737379501189 140737379501189 140737379508205 0
/proc/997465/statm: 7524 5937 2849 2753 0 4177 0
Current children cumulated CPU time: 3334.56 s
Current children cumulated vsize: 30096 KiB
Current children cumulated memory: 23748 KiB
[startup+3402.3 s]
/proc/loadavg: 4.18 4.13 4.11 5/243 999307
/proc/meminfo: memFree=126853440/131655788 swapFree=131070704/131071996
[pid=997465] ppid=997462 vsize=30096 memory=23748 CPUtime=3394.45 cores=5,7
/proc/997465/stat : 997465 (LS-MabSP) R 997462 997465 995425 0 -1 4194304 2781 0 0 0 256440 83005 0 0 20 0 1 0 188785166 30818304 5937 134679101440 4194304 15467897 140737379493728 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 39657472 140737379501086 140737379501189 140737379501189 140737379508205 0
/proc/997465/statm: 7524 5937 2849 2753 0 4177 0
Current children cumulated CPU time: 3394.45 s
Current children cumulated vsize: 30096 KiB
Current children cumulated memory: 23748 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.12 4.11 5/241 999318
/proc/meminfo: memFree=126853080/131655788 swapFree=131070704/131071996
[pid=997465] ppid=997462 vsize=30096 memory=23748 CPUtime=3454.33 cores=5,7
/proc/997465/stat : 997465 (LS-MabSP) R 997462 997465 995425 0 -1 4194304 2782 0 0 0 260964 84469 0 0 20 0 1 0 188785166 30818304 5937 134679101440 4194304 15467897 140737379493728 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 39657472 140737379501086 140737379501189 140737379501189 140737379508205 0
/proc/997465/statm: 7524 5937 2849 2753 0 4177 0
Current children cumulated CPU time: 3454.33 s
Current children cumulated vsize: 30096 KiB
Current children cumulated memory: 23748 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.11 4.10 5/241 999328
/proc/meminfo: memFree=126852824/131655788 swapFree=131070704/131071996
[pid=997465] ppid=997462 vsize=30096 memory=23748 CPUtime=3514.22 cores=5,7
/proc/997465/stat : 997465 (LS-MabSP) R 997462 997465 995425 0 -1 4194304 2783 0 0 0 265488 85934 0 0 20 0 1 0 188785166 30818304 5937 134679101440 4194304 15467897 140737379493728 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 39657472 140737379501086 140737379501189 140737379501189 140737379508205 0
/proc/997465/statm: 7524 5937 2849 2753 0 4177 0
Current children cumulated CPU time: 3514.22 s
Current children cumulated vsize: 30096 KiB
Current children cumulated memory: 23748 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.13 4.11 5/241 999338
/proc/meminfo: memFree=126852552/131655788 swapFree=131070704/131071996
[pid=997465] ppid=997462 vsize=30096 memory=23748 CPUtime=3574.11 cores=5,7
/proc/997465/stat : 997465 (LS-MabSP) R 997462 997465 995425 0 -1 4194304 2784 0 0 0 270011 87400 0 0 20 0 1 0 188785166 30818304 5937 134679101440 4194304 15467897 140737379493728 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 39657472 140737379501086 140737379501189 140737379501189 140737379508205 0
/proc/997465/statm: 7524 5937 2849 2753 0 4177 0
Current children cumulated CPU time: 3574.11 s
Current children cumulated vsize: 30096 KiB
Current children cumulated memory: 23748 KiB
[startup+3608.23 s]
# the end of solver process 997465 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=2719.66 s, system=880.342 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.16 4.13 4.11 5/241 999338
/proc/meminfo: memFree=126852564/131655788 swapFree=131070704/131071996
[pid=997465] ppid=997462 vsize=30096 memory=23748 CPUtime=3575.81 cores=5,7
/proc/997465/stat : 997465 (LS-MabSP) R 997462 997465 995425 0 -1 4194304 2784 0 0 0 270140 87441 0 0 20 0 1 0 188785166 30818304 5937 134679101440 4194304 15467897 140737379493728 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 39657472 140737379501086 140737379501189 140737379501189 140737379508205 0
/proc/997465/statm: 7524 5937 2849 2753 0 4177 0
Current children cumulated CPU time: 3575.81 s
Current children cumulated vsize: 30096 KiB
Current children cumulated memory: 23748 KiB
[startup+3596.8 s]
/proc/loadavg: 4.14 4.13 4.11 5/241 999341
/proc/meminfo: memFree=126852368/131655788 swapFree=131070704/131071996
[pid=997465] ppid=997462 vsize=30096 memory=23748 CPUtime=3588.58 cores=5,7
/proc/997465/stat : 997465 (LS-MabSP) R 997462 997465 995425 0 -1 4194304 2784 0 0 0 271108 87750 0 0 20 0 1 0 188785166 30818304 5937 134679101440 4194304 15467897 140737379493728 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 39657472 140737379501086 140737379501189 140737379501189 140737379508205 0
/proc/997465/statm: 7524 5937 2849 2753 0 4177 0
Current children cumulated CPU time: 3588.58 s
Current children cumulated vsize: 30096 KiB
Current children cumulated memory: 23748 KiB
[startup+3603.2 s]
/proc/loadavg: 4.11 4.12 4.10 5/241 999341
/proc/meminfo: memFree=126852304/131655788 swapFree=131070704/131071996
[pid=997465] ppid=997462 vsize=30096 memory=23748 CPUtime=3594.97 cores=5,7
/proc/997465/stat : 997465 (LS-MabSP) R 997462 997465 995425 0 -1 4194304 2784 0 0 0 271586 87911 0 0 20 0 1 0 188785166 30818304 5937 134679101440 4194304 15467897 140737379493728 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 39657472 140737379501086 140737379501189 140737379501189 140737379508205 0
/proc/997465/statm: 7524 5937 2849 2753 0 4177 0
Current children cumulated CPU time: 3594.97 s
Current children cumulated vsize: 30096 KiB
Current children cumulated memory: 23748 KiB
[startup+3606.4 s]
/proc/loadavg: 4.11 4.12 4.10 5/241 999344
/proc/meminfo: memFree=126852200/131655788 swapFree=131070704/131071996
[pid=997465] ppid=997462 vsize=30096 memory=23748 CPUtime=3598.16 cores=5,7
/proc/997465/stat : 997465 (LS-MabSP) R 997462 997465 995425 0 -1 4194304 2784 0 0 0 271827 87989 0 0 20 0 1 0 188785166 30818304 5937 134679101440 4194304 15467897 140737379493728 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 39657472 140737379501086 140737379501189 140737379501189 140737379508205 0
/proc/997465/statm: 7524 5937 2849 2753 0 4177 0
Current children cumulated CPU time: 3598.16 s
Current children cumulated vsize: 30096 KiB
Current children cumulated memory: 23748 KiB
[startup+3607.2 s]
/proc/loadavg: 4.11 4.12 4.10 5/241 999344
/proc/meminfo: memFree=126852292/131655788 swapFree=131070704/131071996
[pid=997465] ppid=997462 vsize=30096 memory=23748 CPUtime=3598.97 cores=5,7
/proc/997465/stat : 997465 (LS-MabSP) R 997462 997465 995425 0 -1 4194304 2784 0 0 0 271888 88009 0 0 20 0 1 0 188785166 30818304 5937 134679101440 4194304 15467897 140737379493728 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 39657472 140737379501086 140737379501189 140737379501189 140737379508205 0
/proc/997465/statm: 7524 5937 2849 2753 0 4177 0
Current children cumulated CPU time: 3598.97 s
Current children cumulated vsize: 30096 KiB
Current children cumulated memory: 23748 KiB
[startup+3608 s]*
/proc/loadavg: 4.11 4.12 4.10 4/236 999352
/proc/meminfo: memFree=127663364/131655788 swapFree=131070704/131071996
[pid=997465] ppid=997462 vsize=30096 memory=23748 CPUtime=3599.77 cores=5,7
/proc/997465/stat : 997465 (LS-MabSP) R 997462 997465 995425 0 -1 4194304 2784 0 0 0 271949 88028 0 0 20 0 1 0 188785166 30818304 5937 134679101440 4194304 15467897 140737379493728 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 39657472 140737379501086 140737379501189 140737379501189 140737379508205 0
/proc/997465/statm: 7524 5937 2849 2753 0 4177 0
Current children cumulated CPU time: 3599.77 s
Current children cumulated vsize: 30096 KiB
Current children cumulated memory: 23748 KiB
[startup+3608.2 s]
/proc/loadavg: 4.11 4.12 4.10 4/236 999352
/proc/meminfo: memFree=127663364/131655788 swapFree=131070704/131071996
[pid=997465] ppid=997462 vsize=30096 memory=23748 CPUtime=3599.96 cores=5,7
/proc/997465/stat : 997465 (LS-MabSP) R 997462 997465 995425 0 -1 4194304 2784 0 0 0 271963 88033 0 0 20 0 1 0 188785166 30818304 5937 134679101440 4194304 15467897 140737379493728 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 39657472 140737379501086 140737379501189 140737379501189 140737379508205 0
/proc/997465/statm: 7524 5937 2849 2753 0 4177 0
Current children cumulated CPU time: 3599.96 s
Current children cumulated vsize: 30096 KiB
Current children cumulated memory: 23748 KiB
Child status: 0
Real time (s): 3608.23
CPU time (s): 3600
CPU user time (s): 2719.66
CPU system time (s): 880.342
CPU usage (%): 99.772
Max. virtual memory (cumulated for all children) (KiB): 30096
Max. memory (cumulated for all children) (KiB): 23748
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2719.66
system time used= 880.342
maximum resident set size= 23752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2787
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1192
# summary of solver processes directly reported to runsolver:
# pid: 997465
# total CPU time (s): 3600
# total CPU user time (s): 2719.66
# total CPU system time (s): 880.342
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.3821 second user time and 31.7708 second system time
The end
Begin job on nodeC011 at 2024-07-19 07:18:13
IDJOB=4448196
IDBENCH=160377
IDSOLVER=3047
FILE ID=nodeC011/4448196-1721366280
RUNJOBID= nodeC011-1721362682-995438
SLURM_JOB_ID= 7542785
Free space on /tmp= 723736 MiB
SOLVER NAME= LS-MabSP 2024-07-10
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/normalized-ECgrid5x20split.cnf-extracted.pb.metafix.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-4448196-1721366280/watcher-4448196-1721366280 -o /tmp/evaluation-result-4448196-1721366280/solver-4448196-1721366280 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721362682-995438 --watchdog 3760 ./LS-MabSP -f HOME/instance-4448196-1721366280.opb -t 3600 -s 1567050881
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 35375f6b743dd6cf76dbca7c0490fbc2
RANDOM SEED=1567050881
nodeC011.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 : 3670.265
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.20
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 : 3670.747
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.31
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.282
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.20
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.225
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.31
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 : 3491.600
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.20
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.617
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.31
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.255
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.20
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.122
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.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 128567248 kB
MemAvailable: 129167824 kB
Buffers: 541372 kB
Cached: 898976 kB
SwapCached: 132 kB
Active: 1048480 kB
Inactive: 1550592 kB
Active(anon): 1436 kB
Inactive(anon): 1194676 kB
Active(file): 1047044 kB
Inactive(file): 355916 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131070704 kB
Dirty: 48756 kB
Writeback: 12 kB
AnonPages: 1158716 kB
Mapped: 139340 kB
Shmem: 37400 kB
KReclaimable: 75632 kB
Slab: 157472 kB
SReclaimable: 75632 kB
SUnreclaim: 81840 kB
KernelStack: 3840 kB
PageTables: 11548 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1462152 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 27072 kB
HardwareCorrupted: 0 kB
AnonHugePages: 978944 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: 277320 kB
DirectMap2M: 33181696 kB
DirectMap1G: 102760448 kB
Free space on /tmp at the end= 723720 MiB
End job on nodeC011 at 2024-07-19 08:18:21