3599.96/3608.15 c Filename:instance-4442526-1721301008.opb, Cutoff_time:3600, memory_limit_gb:500000
3599.96/3608.15 c Use Presolve
3599.96/3608.15 c Parse finsih
3599.96/3608.15 c Start Presolve
3599.96/3608.15 c After Reduce Vars: 10500 Clauses: 205 Top clause weight: 1 Hard Clauses: 205
3599.96/3608.15 c Use LS-small
3599.96/3608.15 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 (62745 MiB free)
memory of node 1: 64510 MiB (61086 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4442526-1721301008/watcher-4442526-1721301008 -o /tmp/evaluation-result-4442526-1721301008/solver-4442526-1721301008 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721293803-941259 --watchdog 3760 ./LS-MabSP -f HOME/instance-4442526-1721301008.opb -t 3600 -s 730745475
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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=945591, runsolver pid=945588
[startup+0.100093 s]*
/proc/loadavg: 4.24 4.15 4.13 5/245 945592
/proc/meminfo: memFree=126798488/131655788 swapFree=131071996/131071996
[pid=945591] ppid=945588 vsize=21008 memory=8492 CPUtime=0.1 cores=0,2
/proc/945591/stat : 945591 (LS-MabSP) R 945588 945591 941247 0 -1 4194304 768 0 0 0 10 0 0 0 20 0 1 0 182257422 21512192 2123 134679101440 4194304 15467897 140733047892352 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 31383552 140733047895071 140733047895173 140733047895173 140733047902189 0
/proc/945591/statm: 5252 2123 1073 2753 0 1905 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 21008 KiB
Current children cumulated memory: 8492 KiB
[startup+0.213137 s]*
/proc/loadavg: 4.24 4.15 4.13 5/245 945592
/proc/meminfo: memFree=126794792/131655788 swapFree=131071996/131071996
[pid=945591] ppid=945588 vsize=25168 memory=12292 CPUtime=0.21 cores=0,2
/proc/945591/stat : 945591 (LS-MabSP) R 945588 945591 941247 0 -1 4194304 2025 0 0 0 21 0 0 0 20 0 1 0 182257422 25772032 3073 134679101440 4194304 15467897 140733047892352 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 31383552 140733047895071 140733047895173 140733047895173 140733047902189 0
/proc/945591/statm: 6292 3073 1105 2753 0 2945 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 25168 KiB
Current children cumulated memory: 12292 KiB
[startup+0.312291 s]*
/proc/loadavg: 4.22 4.15 4.13 5/245 945592
/proc/meminfo: memFree=126794792/131655788 swapFree=131071996/131071996
[pid=945591] ppid=945588 vsize=25168 memory=12292 CPUtime=0.31 cores=0,2
/proc/945591/stat : 945591 (LS-MabSP) R 945588 945591 941247 0 -1 4194304 2025 0 0 0 31 0 0 0 20 0 1 0 182257422 25772032 3073 134679101440 4194304 15467897 140733047892352 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 31383552 140733047895071 140733047895173 140733047895173 140733047902189 0
/proc/945591/statm: 6292 3073 1105 2753 0 2945 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 25168 KiB
Current children cumulated memory: 12292 KiB
[startup+0.700265 s]
/proc/loadavg: 4.22 4.15 4.13 5/245 945592
/proc/meminfo: memFree=126794456/131655788 swapFree=131071996/131071996
[pid=945591] ppid=945588 vsize=66600 memory=57524 CPUtime=0.68 cores=0,2
/proc/945591/stat : 945591 (LS-MabSP) R 945588 945591 941247 0 -1 4194304 12030 0 0 0 66 2 0 0 20 0 1 0 182257422 68198400 14381 134679101440 4194304 15467897 140733047892352 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 31383552 140733047895071 140733047895173 140733047895173 140733047902189 0
/proc/945591/statm: 16650 14381 2673 2753 0 13303 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 66600 KiB
Current children cumulated memory: 57524 KiB
[startup+1.50024 s]
/proc/loadavg: 4.22 4.15 4.13 5/245 945592
/proc/meminfo: memFree=126729576/131655788 swapFree=131071996/131071996
[pid=945591] ppid=945588 vsize=119680 memory=102508 CPUtime=1.48 cores=0,2
/proc/945591/stat : 945591 (LS-MabSP) R 945588 945591 941247 0 -1 4194304 23475 0 0 0 142 6 0 0 20 0 1 0 182257422 122552320 25627 134679101440 4194304 15467897 140733047892352 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 31383552 140733047895071 140733047895173 140733047895173 140733047902189 0
/proc/945591/statm: 29920 25627 2833 2753 0 26573 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 119680 KiB
Current children cumulated memory: 102508 KiB
[startup+3.11246 s]
/proc/loadavg: 4.22 4.15 4.13 5/245 945592
/proc/meminfo: memFree=126710516/131655788 swapFree=131071996/131071996
[pid=945591] ppid=945588 vsize=119680 memory=102508 CPUtime=3.09 cores=0,2
/proc/945591/stat : 945591 (LS-MabSP) R 945588 945591 941247 0 -1 4194304 23475 0 0 0 295 14 0 0 20 0 1 0 182257422 122552320 25627 134679101440 4194304 15467897 140733047892352 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 31383552 140733047895071 140733047895173 140733047895173 140733047902189 0
/proc/945591/statm: 29920 25627 2833 2753 0 26573 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 119680 KiB
Current children cumulated memory: 102508 KiB
[startup+6.30024 s]
/proc/loadavg: 4.20 4.15 4.13 5/245 945595
/proc/meminfo: memFree=126710116/131655788 swapFree=131071996/131071996
[pid=945591] ppid=945588 vsize=119680 memory=102508 CPUtime=6.27 cores=0,2
/proc/945591/stat : 945591 (LS-MabSP) R 945588 945591 941247 0 -1 4194304 23475 0 0 0 596 31 0 0 20 0 1 0 182257422 122552320 25627 134679101440 4194304 15467897 140733047892352 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 31383552 140733047895071 140733047895173 140733047895173 140733047902189 0
/proc/945591/statm: 29920 25627 2833 2753 0 26573 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 119680 KiB
Current children cumulated memory: 102508 KiB
[startup+12.7002 s]
/proc/loadavg: 4.18 4.15 4.13 5/245 945595
/proc/meminfo: memFree=126710100/131655788 swapFree=131071996/131071996
[pid=945591] ppid=945588 vsize=119680 memory=102508 CPUtime=12.66 cores=0,2
/proc/945591/stat : 945591 (LS-MabSP) R 945588 945591 941247 0 -1 4194304 23475 0 0 0 1198 68 0 0 20 0 1 0 182257422 122552320 25627 134679101440 4194304 15467897 140733047892352 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 31383552 140733047895071 140733047895173 140733047895173 140733047902189 0
/proc/945591/statm: 29920 25627 2833 2753 0 26573 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 119680 KiB
Current children cumulated memory: 102508 KiB
[startup+25.5003 s]
/proc/loadavg: 4.23 4.16 4.14 5/245 945598
/proc/meminfo: memFree=126707516/131655788 swapFree=131071996/131071996
[pid=945591] ppid=945588 vsize=119680 memory=102508 CPUtime=25.43 cores=0,2
/proc/945591/stat : 945591 (LS-MabSP) R 945588 945591 941247 0 -1 4194304 23475 0 0 0 2398 145 0 0 20 0 1 0 182257422 122552320 25627 134679101440 4194304 15467897 140733047892352 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 31383552 140733047895071 140733047895173 140733047895173 140733047902189 0
/proc/945591/statm: 29920 25627 2833 2753 0 26573 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 119680 KiB
Current children cumulated memory: 102508 KiB
[startup+51.1132 s]
/proc/loadavg: 4.21 4.16 4.14 5/245 945601
/proc/meminfo: memFree=126703756/131655788 swapFree=131071996/131071996
[pid=945591] ppid=945588 vsize=119680 memory=102508 CPUtime=50.97 cores=0,2
/proc/945591/stat : 945591 (LS-MabSP) R 945588 945591 941247 0 -1 4194304 23475 0 0 0 4795 302 0 0 20 0 1 0 182257422 122552320 25627 134679101440 4194304 15467897 140733047892352 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 31383552 140733047895071 140733047895173 140733047895173 140733047902189 0
/proc/945591/statm: 29920 25627 2833 2753 0 26573 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 119680 KiB
Current children cumulated memory: 102508 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.13 4.13 5/243 945610
/proc/meminfo: memFree=126692316/131655788 swapFree=131071996/131071996
[pid=945591] ppid=945588 vsize=119680 memory=113480 CPUtime=102.03 cores=0,2
/proc/945591/stat : 945591 (LS-MabSP) R 945588 945591 941247 0 -1 4194304 23534 0 0 0 9582 621 0 0 20 0 1 0 182257422 122552320 28370 134679101440 4194304 15467897 140733047892352 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 31383552 140733047895071 140733047895173 140733047895173 140733047902189 0
/proc/945591/statm: 29920 28370 2833 2753 0 26573 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 119680 KiB
Current children cumulated memory: 113480 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.12 4.12 5/243 945621
/proc/meminfo: memFree=126691676/131655788 swapFree=131071996/131071996
[pid=945591] ppid=945588 vsize=119680 memory=113960 CPUtime=161.89 cores=0,2
/proc/945591/stat : 945591 (LS-MabSP) R 945588 945591 941247 0 -1 4194304 23555 0 0 0 15202 987 0 0 20 0 1 0 182257422 122552320 28490 134679101440 4194304 15467897 140733047892352 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 31383552 140733047895071 140733047895173 140733047895173 140733047902189 0
/proc/945591/statm: 29920 28490 2833 2753 0 26573 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 119680 KiB
Current children cumulated memory: 113960 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.12 4.12 5/244 945678
/proc/meminfo: memFree=126765404/131655788 swapFree=131071996/131071996
[pid=945591] ppid=945588 vsize=119680 memory=113960 CPUtime=221.75 cores=0,2
/proc/945591/stat : 945591 (LS-MabSP) R 945588 945591 941247 0 -1 4194304 23569 0 0 0 20829 1346 0 0 20 0 1 0 182257422 122552320 28490 134679101440 4194304 15467897 140733047892352 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 31383552 140733047895071 140733047895173 140733047895173 140733047902189 0
/proc/945591/statm: 29920 28490 2833 2753 0 26573 0
Current children cumulated CPU time: 221.75 s
Current children cumulated vsize: 119680 KiB
Current children cumulated memory: 113960 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.11 4.11 5/244 945689
/proc/meminfo: memFree=126725252/131655788 swapFree=131071996/131071996
[pid=945591] ppid=945588 vsize=119680 memory=113960 CPUtime=281.62 cores=0,2
/proc/945591/stat : 945591 (LS-MabSP) R 945588 945591 941247 0 -1 4194304 23576 0 0 0 26449 1713 0 0 20 0 1 0 182257422 122552320 28490 134679101440 4194304 15467897 140733047892352 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 31383552 140733047895071 140733047895173 140733047895173 140733047902189 0
/proc/945591/statm: 29920 28490 2833 2753 0 26573 0
Current children cumulated CPU time: 281.62 s
Current children cumulated vsize: 119680 KiB
Current children cumulated memory: 113960 KiB
[startup+342.3 s]
/proc/loadavg: 4.16 4.12 4.11 5/243 945701
/proc/meminfo: memFree=126656888/131655788 swapFree=131071996/131071996
[pid=945591] ppid=945588 vsize=119680 memory=113960 CPUtime=341.48 cores=0,2
/proc/945591/stat : 945591 (LS-MabSP) R 945588 945591 941247 0 -1 4194304 23583 0 0 0 32066 2082 0 0 20 0 1 0 182257422 122552320 28490 134679101440 4194304 15467897 140733047892352 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 31383552 140733047895071 140733047895173 140733047895173 140733047902189 0
/proc/945591/statm: 29920 28490 2833 2753 0 26573 0
Current children cumulated CPU time: 341.48 s
Current children cumulated vsize: 119680 KiB
Current children cumulated memory: 113960 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.12 4.11 5/243 945711
/proc/meminfo: memFree=126655532/131655788 swapFree=131071996/131071996
[pid=945591] ppid=945588 vsize=119680 memory=113960 CPUtime=401.35 cores=0,2
/proc/945591/stat : 945591 (LS-MabSP) R 945588 945591 941247 0 -1 4194304 23590 0 0 0 37681 2454 0 0 20 0 1 0 182257422 122552320 28490 134679101440 4194304 15467897 140733047892352 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 31383552 140733047895071 140733047895173 140733047895173 140733047902189 0
/proc/945591/statm: 29920 28490 2833 2753 0 26573 0
Current children cumulated CPU time: 401.35 s
Current children cumulated vsize: 119680 KiB
Current children cumulated memory: 113960 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.11 4.10 5/243 945721
/proc/meminfo: memFree=126632972/131655788 swapFree=131071996/131071996
[pid=945591] ppid=945588 vsize=119680 memory=113960 CPUtime=461.22 cores=0,2
/proc/945591/stat : 945591 (LS-MabSP) R 945588 945591 941247 0 -1 4194304 23597 0 0 0 43304 2818 0 0 20 0 1 0 182257422 122552320 28490 134679101440 4194304 15467897 140733047892352 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 31383552 140733047895071 140733047895173 140733047895173 140733047902189 0
/proc/945591/statm: 29920 28490 2833 2753 0 26573 0
################
# More data... #
################
/proc/loadavg: 4.21 4.18 4.18 5/244 947394
/proc/meminfo: memFree=126513076/131655788 swapFree=131071996/131071996
[pid=945591] ppid=945588 vsize=119680 memory=113960 CPUtime=3215 cores=0,2
/proc/945591/stat : 945591 (LS-MabSP) R 945588 945591 941247 0 -1 4194304 23919 0 0 0 301773 19727 0 0 20 0 1 0 182257422 122552320 28490 134679101440 4194304 15467897 140733047892352 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 31383552 140733047895071 140733047895173 140733047895173 140733047902189 0
/proc/945591/statm: 29920 28490 2833 2753 0 26573 0
Current children cumulated CPU time: 3215 s
Current children cumulated vsize: 119680 KiB
Current children cumulated memory: 113960 KiB
[startup+3282.3 s]
/proc/loadavg: 4.31 4.21 4.19 5/244 947405
/proc/meminfo: memFree=126512672/131655788 swapFree=131071996/131071996
[pid=945591] ppid=945588 vsize=119680 memory=113960 CPUtime=3274.86 cores=0,2
/proc/945591/stat : 945591 (LS-MabSP) R 945588 945591 941247 0 -1 4194304 23926 0 0 0 307392 20094 0 0 20 0 1 0 182257422 122552320 28490 134679101440 4194304 15467897 140733047892352 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 31383552 140733047895071 140733047895173 140733047895173 140733047902189 0
/proc/945591/statm: 29920 28490 2833 2753 0 26573 0
Current children cumulated CPU time: 3274.86 s
Current children cumulated vsize: 119680 KiB
Current children cumulated memory: 113960 KiB
[startup+3342.3 s]
/proc/loadavg: 4.16 4.18 4.18 5/242 947416
/proc/meminfo: memFree=126512464/131655788 swapFree=131071996/131071996
[pid=945591] ppid=945588 vsize=119680 memory=113960 CPUtime=3334.74 cores=0,2
/proc/945591/stat : 945591 (LS-MabSP) R 945588 945591 941247 0 -1 4194304 23933 0 0 0 313017 20457 0 0 20 0 1 0 182257422 122552320 28490 134679101440 4194304 15467897 140733047892352 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 31383552 140733047895071 140733047895173 140733047895173 140733047902189 0
/proc/945591/statm: 29920 28490 2833 2753 0 26573 0
Current children cumulated CPU time: 3334.74 s
Current children cumulated vsize: 119680 KiB
Current children cumulated memory: 113960 KiB
[startup+3402.3 s]
/proc/loadavg: 4.23 4.21 4.18 5/242 947426
/proc/meminfo: memFree=126512160/131655788 swapFree=131071996/131071996
[pid=945591] ppid=945588 vsize=119680 memory=113960 CPUtime=3394.6 cores=0,2
/proc/945591/stat : 945591 (LS-MabSP) R 945588 945591 941247 0 -1 4194304 23940 0 0 0 318638 20822 0 0 20 0 1 0 182257422 122552320 28490 134679101440 4194304 15467897 140733047892352 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 31383552 140733047895071 140733047895173 140733047895173 140733047902189 0
/proc/945591/statm: 29920 28490 2833 2753 0 26573 0
Current children cumulated CPU time: 3394.6 s
Current children cumulated vsize: 119680 KiB
Current children cumulated memory: 113960 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.18 4.18 5/242 947436
/proc/meminfo: memFree=126511836/131655788 swapFree=131071996/131071996
[pid=945591] ppid=945588 vsize=119680 memory=113960 CPUtime=3454.46 cores=0,2
/proc/945591/stat : 945591 (LS-MabSP) R 945588 945591 941247 0 -1 4194304 23947 0 0 0 324247 21199 0 0 20 0 1 0 182257422 122552320 28490 134679101440 4194304 15467897 140733047892352 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 31383552 140733047895071 140733047895173 140733047895173 140733047902189 0
/proc/945591/statm: 29920 28490 2833 2753 0 26573 0
Current children cumulated CPU time: 3454.46 s
Current children cumulated vsize: 119680 KiB
Current children cumulated memory: 113960 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.18 4.18 5/242 947446
/proc/meminfo: memFree=126511556/131655788 swapFree=131071996/131071996
[pid=945591] ppid=945588 vsize=119680 memory=113960 CPUtime=3514.33 cores=0,2
/proc/945591/stat : 945591 (LS-MabSP) R 945588 945591 941247 0 -1 4194304 23954 0 0 0 329869 21564 0 0 20 0 1 0 182257422 122552320 28490 134679101440 4194304 15467897 140733047892352 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 31383552 140733047895071 140733047895173 140733047895173 140733047902189 0
/proc/945591/statm: 29920 28490 2833 2753 0 26573 0
Current children cumulated CPU time: 3514.33 s
Current children cumulated vsize: 119680 KiB
Current children cumulated memory: 113960 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.16 4.17 5/242 947457
/proc/meminfo: memFree=126511276/131655788 swapFree=131071996/131071996
[pid=945591] ppid=945588 vsize=119680 memory=113960 CPUtime=3574.2 cores=0,2
/proc/945591/stat : 945591 (LS-MabSP) R 945588 945591 941247 0 -1 4194304 23961 0 0 0 335488 21932 0 0 20 0 1 0 182257422 122552320 28490 134679101440 4194304 15467897 140733047892352 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 31383552 140733047895071 140733047895173 140733047895173 140733047902189 0
/proc/945591/statm: 29920 28490 2833 2753 0 26573 0
Current children cumulated CPU time: 3574.2 s
Current children cumulated vsize: 119680 KiB
Current children cumulated memory: 113960 KiB
[startup+3608.15 s]
# the end of solver process 945591 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3379.06 s, system=220.943 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.08 4.16 4.17 5/242 947457
/proc/meminfo: memFree=126511260/131655788 swapFree=131071996/131071996
[pid=945591] ppid=945588 vsize=119680 memory=113960 CPUtime=3575.9 cores=0,2
/proc/945591/stat : 945591 (LS-MabSP) R 945588 945591 941247 0 -1 4194304 23961 0 0 0 335647 21943 0 0 20 0 1 0 182257422 122552320 28490 134679101440 4194304 15467897 140733047892352 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 31383552 140733047895071 140733047895173 140733047895173 140733047902189 0
/proc/945591/statm: 29920 28490 2833 2753 0 26573 0
Current children cumulated CPU time: 3575.9 s
Current children cumulated vsize: 119680 KiB
Current children cumulated memory: 113960 KiB
[startup+3596.8 s]
/proc/loadavg: 4.06 4.15 4.17 5/242 947460
/proc/meminfo: memFree=126511280/131655788 swapFree=131071996/131071996
[pid=945591] ppid=945588 vsize=119680 memory=113960 CPUtime=3588.67 cores=0,2
/proc/945591/stat : 945591 (LS-MabSP) R 945588 945591 941247 0 -1 4194304 23961 0 0 0 336846 22021 0 0 20 0 1 0 182257422 122552320 28490 134679101440 4194304 15467897 140733047892352 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 31383552 140733047895071 140733047895173 140733047895173 140733047902189 0
/proc/945591/statm: 29920 28490 2833 2753 0 26573 0
Current children cumulated CPU time: 3588.67 s
Current children cumulated vsize: 119680 KiB
Current children cumulated memory: 113960 KiB
[startup+3603.2 s]
/proc/loadavg: 4.06 4.14 4.17 5/242 947460
/proc/meminfo: memFree=126511232/131655788 swapFree=131071996/131071996
[pid=945591] ppid=945588 vsize=119680 memory=113960 CPUtime=3595.06 cores=0,2
/proc/945591/stat : 945591 (LS-MabSP) R 945588 945591 941247 0 -1 4194304 23961 0 0 0 337442 22064 0 0 20 0 1 0 182257422 122552320 28490 134679101440 4194304 15467897 140733047892352 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 31383552 140733047895071 140733047895173 140733047895173 140733047902189 0
/proc/945591/statm: 29920 28490 2833 2753 0 26573 0
Current children cumulated CPU time: 3595.06 s
Current children cumulated vsize: 119680 KiB
Current children cumulated memory: 113960 KiB
[startup+3606.4 s]
/proc/loadavg: 4.05 4.14 4.16 4/232 947529
/proc/meminfo: memFree=126608160/131655788 swapFree=131071996/131071996
[pid=945591] ppid=945588 vsize=119680 memory=113960 CPUtime=3598.24 cores=0,2
/proc/945591/stat : 945591 (LS-MabSP) R 945588 945591 941247 0 -1 4194304 23961 0 0 0 337739 22085 0 0 20 0 1 0 182257422 122552320 28490 134679101440 4194304 15467897 140733047892352 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 31383552 140733047895071 140733047895173 140733047895173 140733047902189 0
/proc/945591/statm: 29920 28490 2833 2753 0 26573 0
Current children cumulated CPU time: 3598.24 s
Current children cumulated vsize: 119680 KiB
Current children cumulated memory: 113960 KiB
[startup+3607.2 s]
/proc/loadavg: 4.05 4.14 4.16 3/231 947529
/proc/meminfo: memFree=126608676/131655788 swapFree=131071996/131071996
[pid=945591] ppid=945588 vsize=119680 memory=113960 CPUtime=3599.04 cores=0,2
/proc/945591/stat : 945591 (LS-MabSP) R 945588 945591 941247 0 -1 4194304 23961 0 0 0 337815 22089 0 0 20 0 1 0 182257422 122552320 28490 134679101440 4194304 15467897 140733047892352 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 31383552 140733047895071 140733047895173 140733047895173 140733047902189 0
/proc/945591/statm: 29920 28490 2833 2753 0 26573 0
Current children cumulated CPU time: 3599.04 s
Current children cumulated vsize: 119680 KiB
Current children cumulated memory: 113960 KiB
[startup+3607.6 s]
/proc/loadavg: 4.05 4.14 4.16 3/231 947529
/proc/meminfo: memFree=126608676/131655788 swapFree=131071996/131071996
[pid=945591] ppid=945588 vsize=119680 memory=113960 CPUtime=3599.44 cores=0,2
/proc/945591/stat : 945591 (LS-MabSP) R 945588 945591 941247 0 -1 4194304 23961 0 0 0 337852 22092 0 0 20 0 1 0 182257422 122552320 28490 134679101440 4194304 15467897 140733047892352 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 31383552 140733047895071 140733047895173 140733047895173 140733047902189 0
/proc/945591/statm: 29920 28490 2833 2753 0 26573 0
Current children cumulated CPU time: 3599.44 s
Current children cumulated vsize: 119680 KiB
Current children cumulated memory: 113960 KiB
[startup+3608 s]*
/proc/loadavg: 4.05 4.14 4.16 3/231 947529
/proc/meminfo: memFree=126608728/131655788 swapFree=131071996/131071996
[pid=945591] ppid=945588 vsize=119680 memory=113960 CPUtime=3599.85 cores=0,2
/proc/945591/stat : 945591 (LS-MabSP) R 945588 945591 941247 0 -1 4194304 23961 0 0 0 337892 22093 0 0 20 0 1 0 182257422 122552320 28490 134679101440 4194304 15467897 140733047892352 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 31383552 140733047895071 140733047895173 140733047895173 140733047902189 0
/proc/945591/statm: 29920 28490 2833 2753 0 26573 0
Current children cumulated CPU time: 3599.85 s
Current children cumulated vsize: 119680 KiB
Current children cumulated memory: 113960 KiB
[startup+3608.11 s]
/proc/loadavg: 4.05 4.14 4.16 3/231 947529
/proc/meminfo: memFree=126608728/131655788 swapFree=131071996/131071996
[pid=945591] ppid=945588 vsize=119680 memory=113960 CPUtime=3599.96 cores=0,2
/proc/945591/stat : 945591 (LS-MabSP) R 945588 945591 941247 0 -1 4194304 23961 0 0 0 337902 22094 0 0 20 0 1 0 182257422 122552320 28490 134679101440 4194304 15467897 140733047892352 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 31383552 140733047895071 140733047895173 140733047895173 140733047902189 0
/proc/945591/statm: 29920 28490 2833 2753 0 26573 0
Current children cumulated CPU time: 3599.96 s
Current children cumulated vsize: 119680 KiB
Current children cumulated memory: 113960 KiB
Child status: 0
Real time (s): 3608.15
CPU time (s): 3600
CPU user time (s): 3379.06
CPU system time (s): 220.943
CPU usage (%): 99.7742
Max. virtual memory (cumulated for all children) (KiB): 119680
Max. memory (cumulated for all children) (KiB): 113960
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3379.06
system time used= 220.943
maximum resident set size= 113960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23964
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= 9
involuntary context switches= 25156
# summary of solver processes directly reported to runsolver:
# pid: 945591
# total CPU time (s): 3600
# total CPU user time (s): 3379.06
# total CPU system time (s): 220.943
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.1839 second user time and 30.9335 second system time
The end
Begin job on nodeC007 at 2024-07-18 13:10:20
IDJOB=4442526
IDBENCH=147822
IDSOLVER=3047
FILE ID=nodeC007/4442526-1721301008
RUNJOBID= nodeC007-1721293803-941259
SLURM_JOB_ID= 7542608
Free space on /tmp= 723732 MiB
SOLVER NAME= LS-MabSP 2024-07-10
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/roussel/normalized-pigeon-cardinality-105-100.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-4442526-1721301008/watcher-4442526-1721301008 -o /tmp/evaluation-result-4442526-1721301008/solver-4442526-1721301008 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721293803-941259 --watchdog 3760 ./LS-MabSP -f HOME/instance-4442526-1721301008.opb -t 3600 -s 730745475
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 285604dce97f116174ae8740e4ecdce8
RANDOM SEED=730745475
nodeC007.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 : 1795.698
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.25
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 : 3663.828
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.30
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.138
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.25
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.267
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.30
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.629
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.25
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 : 1695.934
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.30
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.330
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.25
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.442
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.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 126803228 kB
MemAvailable: 129556620 kB
Buffers: 480204 kB
Cached: 3104820 kB
SwapCached: 0 kB
Active: 986196 kB
Inactive: 3306968 kB
Active(anon): 1460 kB
Inactive(anon): 744392 kB
Active(file): 984736 kB
Inactive(file): 2562576 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 48532 kB
Writeback: 36 kB
AnonPages: 708260 kB
Mapped: 139852 kB
Shmem: 37704 kB
KReclaimable: 92220 kB
Slab: 193444 kB
SReclaimable: 92220 kB
SUnreclaim: 101224 kB
KernelStack: 3900 kB
PageTables: 10924 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1136528 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 57344 kB
HardwareCorrupted: 0 kB
AnonHugePages: 501760 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: 279368 kB
DirectMap2M: 27936768 kB
DirectMap1G: 108003328 kB
Free space on /tmp at the end= 723748 MiB
End job on nodeC007 at 2024-07-18 14:10:28