0.00/0.03 c Filename:instance-4448676-1721369890.opb, Cutoff_time:3600, memory_limit_gb:500000
0.00/0.03 c Use Presolve
0.00/0.03 c Parse finsih
0.00/0.03 c Start Presolve
0.00/0.03 c After Reduce Vars: 600 Clauses: 600 Top clause weight: 1 Hard Clauses: 600
3599.91/3609.28 c Use LS-small
3599.91/3609.28 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 (62070 MiB free)
memory of node 1: 64473 MiB (63303 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4448676-1721369890/watcher-4448676-1721369890 -o /tmp/evaluation-result-4448676-1721369890/solver-4448676-1721369890 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721362682-995437 --watchdog 3760 ./LS-MabSP -f HOME/instance-4448676-1721369890.opb -t 3600 -s 95751626
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=999481, runsolver pid=999478
[startup+0.100093 s]*
/proc/loadavg: 4.11 4.12 4.10 6/241 999482
/proc/meminfo: memFree=128369464/131655788 swapFree=131070704/131071996
[pid=999481] ppid=999478 vsize=34976 memory=27160 CPUtime=0.1 cores=1,3
/proc/999481/stat : 999481 (LS-MabSP) R 999478 999481 995425 0 -1 4194304 4027 0 0 0 10 0 0 0 20 0 1 0 189146083 35815424 6790 134679101440 4194304 15467897 140721994286288 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 54882304 140721994294304 140721994294405 140721994294405 140721994301421 0
/proc/999481/statm: 8744 6790 2849 2753 0 5397 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 34976 KiB
Current children cumulated memory: 27160 KiB
[startup+0.212423 s]*
/proc/loadavg: 4.11 4.12 4.10 5/241 999482
/proc/meminfo: memFree=128364236/131655788 swapFree=131070704/131071996
[pid=999481] ppid=999478 vsize=36272 memory=28744 CPUtime=0.21 cores=1,3
/proc/999481/stat : 999481 (LS-MabSP) R 999478 999481 995425 0 -1 4194304 4840 0 0 0 21 0 0 0 20 0 1 0 189146083 37142528 7186 134679101440 4194304 15467897 140721994286288 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 54882304 140721994294304 140721994294405 140721994294405 140721994301421 0
/proc/999481/statm: 9068 7186 2849 2753 0 5721 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 36272 KiB
Current children cumulated memory: 28744 KiB
[startup+0.31292 s]*
/proc/loadavg: 4.11 4.12 4.10 5/241 999482
/proc/meminfo: memFree=128362428/131655788 swapFree=131070704/131071996
[pid=999481] ppid=999478 vsize=36932 memory=29800 CPUtime=0.31 cores=1,3
/proc/999481/stat : 999481 (LS-MabSP) R 999478 999481 995425 0 -1 4194304 5125 0 0 0 31 0 0 0 20 0 1 0 189146083 37818368 7450 134679101440 4194304 15467897 140721994286288 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 54882304 140721994294304 140721994294405 140721994294405 140721994301421 0
/proc/999481/statm: 9233 7450 2849 2753 0 5886 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 36932 KiB
Current children cumulated memory: 29800 KiB
[startup+0.70026 s]
/proc/loadavg: 4.11 4.12 4.10 5/241 999482
/proc/meminfo: memFree=128362600/131655788 swapFree=131070704/131071996
[pid=999481] ppid=999478 vsize=36368 memory=29548 CPUtime=0.68 cores=1,3
/proc/999481/stat : 999481 (LS-MabSP) R 999478 999481 995425 0 -1 4194304 5245 0 0 0 68 0 0 0 20 0 1 0 189146083 37240832 7387 134679101440 4194304 15467897 140721994286288 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 54882304 140721994294304 140721994294405 140721994294405 140721994301421 0
/proc/999481/statm: 9092 7387 2849 2753 0 5745 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 36368 KiB
Current children cumulated memory: 29548 KiB
[startup+1.50029 s]
/proc/loadavg: 4.11 4.12 4.10 5/241 999482
/proc/meminfo: memFree=128356124/131655788 swapFree=131070704/131071996
[pid=999481] ppid=999478 vsize=43520 memory=36140 CPUtime=1.49 cores=1,3
/proc/999481/stat : 999481 (LS-MabSP) R 999478 999481 995425 0 -1 4194304 6928 0 0 0 148 1 0 0 20 0 1 0 189146083 44564480 9035 134679101440 4194304 15467897 140721994286288 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 54882304 140721994294304 140721994294405 140721994294405 140721994301421 0
/proc/999481/statm: 10880 9035 2849 2753 0 7533 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 43520 KiB
Current children cumulated memory: 36140 KiB
[startup+3.11263 s]
/proc/loadavg: 4.10 4.12 4.10 5/241 999482
/proc/meminfo: memFree=128333932/131655788 swapFree=131070704/131071996
[pid=999481] ppid=999478 vsize=46988 memory=40472 CPUtime=3.09 cores=1,3
/proc/999481/stat : 999481 (LS-MabSP) R 999478 999481 995425 0 -1 4194304 9211 0 0 0 308 1 0 0 20 0 1 0 189146083 48115712 10118 134679101440 4194304 15467897 140721994286288 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 54882304 140721994294304 140721994294405 140721994294405 140721994301421 0
/proc/999481/statm: 11747 10118 2849 2753 0 8400 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 46988 KiB
Current children cumulated memory: 40472 KiB
[startup+6.30026 s]
/proc/loadavg: 4.10 4.12 4.10 5/241 999530
/proc/meminfo: memFree=129368944/131655788 swapFree=131070704/131071996
[pid=999481] ppid=999478 vsize=56872 memory=50364 CPUtime=6.27 cores=1,3
/proc/999481/stat : 999481 (LS-MabSP) R 999478 999481 995425 0 -1 4194304 14200 0 0 0 625 2 0 0 20 0 1 0 189146083 58236928 12591 134679101440 4194304 15467897 140721994286288 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 54882304 140721994294304 140721994294405 140721994294405 140721994301421 0
/proc/999481/statm: 14218 12591 2849 2753 0 10871 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 56872 KiB
Current children cumulated memory: 50364 KiB
[startup+12.7003 s]
/proc/loadavg: 4.17 4.13 4.11 5/241 999530
/proc/meminfo: memFree=129341968/131655788 swapFree=131070704/131071996
[pid=999481] ppid=999478 vsize=57220 memory=50620 CPUtime=12.64 cores=1,3
/proc/999481/stat : 999481 (LS-MabSP) R 999478 999481 995425 0 -1 4194304 14292 0 0 0 1262 2 0 0 20 0 1 0 189146083 58593280 12655 134679101440 4194304 15467897 140721994286288 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 54882304 140721994294304 140721994294405 140721994294405 140721994301421 0
/proc/999481/statm: 14305 12655 2849 2753 0 10958 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 57220 KiB
Current children cumulated memory: 50620 KiB
[startup+25.5003 s]
/proc/loadavg: 4.13 4.13 4.10 5/241 999531
/proc/meminfo: memFree=129293188/131655788 swapFree=131070704/131071996
[pid=999481] ppid=999478 vsize=63964 memory=57744 CPUtime=25.4 cores=1,3
/proc/999481/stat : 999481 (LS-MabSP) R 999478 999481 995425 0 -1 4194304 17392 0 0 0 2537 3 0 0 20 0 1 0 189146083 65499136 14436 134679101440 4194304 15467897 140721994286288 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 54882304 140721994294304 140721994294405 140721994294405 140721994301421 0
/proc/999481/statm: 15991 14436 2849 2753 0 12644 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 63964 KiB
Current children cumulated memory: 57744 KiB
[startup+51.1127 s]
/proc/loadavg: 4.14 4.13 4.10 5/241 999537
/proc/meminfo: memFree=129145720/131655788 swapFree=131070704/131071996
[pid=999481] ppid=999478 vsize=99808 memory=92220 CPUtime=50.92 cores=1,3
/proc/999481/stat : 999481 (LS-MabSP) R 999478 999481 995425 0 -1 4194304 26012 0 0 0 5088 4 0 0 20 0 1 0 189146083 102203392 23055 134679101440 4194304 15467897 140721994286288 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 54882304 140721994294304 140721994294405 140721994294405 140721994301421 0
/proc/999481/statm: 24952 23055 2849 2753 0 21605 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 99808 KiB
Current children cumulated memory: 92220 KiB
[startup+102.3 s]
/proc/loadavg: 4.17 4.14 4.11 5/241 999545
/proc/meminfo: memFree=128906772/131655788 swapFree=131070704/131071996
[pid=999481] ppid=999478 vsize=153552 memory=146832 CPUtime=101.92 cores=1,3
/proc/999481/stat : 999481 (LS-MabSP) R 999478 999481 995425 0 -1 4194304 40178 0 0 0 10186 6 0 0 20 0 1 0 189146083 157237248 36708 134679101440 4194304 15467897 140721994286288 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 54882304 140721994294304 140721994294405 140721994294405 140721994301421 0
/proc/999481/statm: 38388 36708 2849 2753 0 35041 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 153552 KiB
Current children cumulated memory: 146832 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.14 4.11 5/243 999559
/proc/meminfo: memFree=128712256/131655788 swapFree=131070704/131071996
[pid=999481] ppid=999478 vsize=213568 memory=202880 CPUtime=161.69 cores=1,3
/proc/999481/stat : 999481 (LS-MabSP) R 999478 999481 995425 0 -1 4194304 54809 0 0 0 16160 9 0 0 20 0 1 0 189146083 218693632 50720 134679101440 4194304 15467897 140721994286288 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 54882304 140721994294304 140721994294405 140721994294405 140721994301421 0
/proc/999481/statm: 53392 50720 2849 2753 0 50045 0
Current children cumulated CPU time: 161.69 s
Current children cumulated vsize: 213568 KiB
Current children cumulated memory: 202880 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.13 4.10 5/243 999569
/proc/meminfo: memFree=128549868/131655788 swapFree=131070704/131071996
[pid=999481] ppid=999478 vsize=257544 memory=248448 CPUtime=221.45 cores=1,3
/proc/999481/stat : 999481 (LS-MabSP) R 999478 999481 995425 0 -1 4194304 67454 0 0 0 22133 12 0 0 20 0 1 0 189146083 263725056 62112 134679101440 4194304 15467897 140721994286288 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 54882304 140721994294304 140721994294405 140721994294405 140721994301421 0
/proc/999481/statm: 64386 62112 2849 2753 0 61039 0
Current children cumulated CPU time: 221.45 s
Current children cumulated vsize: 257544 KiB
Current children cumulated memory: 248448 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 4.12 4.10 5/243 999580
/proc/meminfo: memFree=128389764/131655788 swapFree=131070704/131071996
[pid=999481] ppid=999478 vsize=301208 memory=293536 CPUtime=281.19 cores=1,3
/proc/999481/stat : 999481 (LS-MabSP) R 999478 999481 995425 0 -1 4194304 78712 0 0 0 28105 14 0 0 20 0 1 0 189146083 308436992 73384 134679101440 4194304 15467897 140721994286288 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 54882304 140721994294304 140721994294405 140721994294405 140721994301421 0
/proc/999481/statm: 75302 73384 2849 2753 0 71955 0
Current children cumulated CPU time: 281.19 s
Current children cumulated vsize: 301208 KiB
Current children cumulated memory: 293536 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/243 999590
/proc/meminfo: memFree=128236952/131655788 swapFree=131070704/131071996
[pid=999481] ppid=999478 vsize=348844 memory=342196 CPUtime=340.94 cores=1,3
/proc/999481/stat : 999481 (LS-MabSP) R 999478 999481 995425 0 -1 4194304 91371 0 0 0 34078 16 0 0 20 0 1 0 189146083 357216256 85549 134679101440 4194304 15467897 140721994286288 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 54882304 140721994294304 140721994294405 140721994294405 140721994301421 0
/proc/999481/statm: 87211 85549 2849 2753 0 83864 0
Current children cumulated CPU time: 340.94 s
Current children cumulated vsize: 348844 KiB
Current children cumulated memory: 342196 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/243 999601
/proc/meminfo: memFree=128105056/131655788 swapFree=131070704/131071996
[pid=999481] ppid=999478 vsize=391368 memory=385652 CPUtime=400.7 cores=1,3
/proc/999481/stat : 999481 (LS-MabSP) R 999478 999481 995425 0 -1 4194304 103923 0 0 0 40052 18 0 0 20 0 1 0 189146083 400760832 96413 134679101440 4194304 15467897 140721994286288 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 54882304 140721994294304 140721994294405 140721994294405 140721994301421 0
/proc/999481/statm: 97842 96413 2849 2753 0 94495 0
Current children cumulated CPU time: 400.7 s
Current children cumulated vsize: 391368 KiB
Current children cumulated memory: 385652 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/245 999998
/proc/meminfo: memFree=127987224/131655788 swapFree=131070704/131071996
[pid=999481] ppid=999478 vsize=446328 memory=432596 CPUtime=460.48 cores=1,3
/proc/999481/stat : 999481 (LS-MabSP) R 999478 999481 995425 0 -1 4194304 117127 0 0 0 46028 20 0 0 20 0 1 0 189146083 457039872 108149 134679101440 4194304 15467897 140721994286288 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 54882304 140721994294304 140721994294405 140721994294405 140721994301421 0
/proc/999481/statm: 111582 108149 2849 2753 0 108235 0
################
# More data... #
################
/proc/loadavg: 4.59 4.24 4.18 5/244 1001273
/proc/meminfo: memFree=126722544/131655788 swapFree=131070704/131071996
[pid=999481] ppid=999478 vsize=819196 memory=813908 CPUtime=3153.69 cores=1,3
/proc/999481/stat : 999481 (LS-MabSP) R 999478 999481 995425 0 -1 4194304 276645 0 0 0 277143 38226 0 0 20 0 1 0 189146083 838856704 203477 134679101440 4194304 15467897 140721994286288 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 54882304 140721994294304 140721994294405 140721994294405 140721994301421 0
/proc/999481/statm: 204799 203477 2849 2753 0 201452 0
Current children cumulated CPU time: 3153.69 s
Current children cumulated vsize: 819196 KiB
Current children cumulated memory: 813908 KiB
[startup+3222.3 s]
/proc/loadavg: 4.41 4.27 4.19 5/244 1001283
/proc/meminfo: memFree=126722268/131655788 swapFree=131070704/131071996
[pid=999481] ppid=999478 vsize=819196 memory=813908 CPUtime=3213.6 cores=1,3
/proc/999481/stat : 999481 (LS-MabSP) R 999478 999481 995425 0 -1 4194304 276645 0 0 0 281436 39924 0 0 20 0 1 0 189146083 838856704 203477 134679101440 4194304 15467897 140721994286288 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 54882304 140721994294304 140721994294405 140721994294405 140721994301421 0
/proc/999481/statm: 204799 203477 2849 2753 0 201452 0
Current children cumulated CPU time: 3213.6 s
Current children cumulated vsize: 819196 KiB
Current children cumulated memory: 813908 KiB
[startup+3282.3 s]
/proc/loadavg: 4.30 4.26 4.19 5/244 1001294
/proc/meminfo: memFree=126721820/131655788 swapFree=131070704/131071996
[pid=999481] ppid=999478 vsize=819196 memory=813908 CPUtime=3273.5 cores=1,3
/proc/999481/stat : 999481 (LS-MabSP) R 999478 999481 995425 0 -1 4194304 276645 0 0 0 285734 41616 0 0 20 0 1 0 189146083 838856704 203477 134679101440 4194304 15467897 140721994286288 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 54882304 140721994294304 140721994294405 140721994294405 140721994301421 0
/proc/999481/statm: 204799 203477 2849 2753 0 201452 0
Current children cumulated CPU time: 3273.5 s
Current children cumulated vsize: 819196 KiB
Current children cumulated memory: 813908 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.21 4.17 5/244 1001304
/proc/meminfo: memFree=126721560/131655788 swapFree=131070704/131071996
[pid=999481] ppid=999478 vsize=819196 memory=813908 CPUtime=3333.42 cores=1,3
/proc/999481/stat : 999481 (LS-MabSP) R 999478 999481 995425 0 -1 4194304 276645 0 0 0 290041 43301 0 0 20 0 1 0 189146083 838856704 203477 134679101440 4194304 15467897 140721994286288 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 54882304 140721994294304 140721994294405 140721994294405 140721994301421 0
/proc/999481/statm: 204799 203477 2849 2753 0 201452 0
Current children cumulated CPU time: 3333.42 s
Current children cumulated vsize: 819196 KiB
Current children cumulated memory: 813908 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.18 4.17 5/244 1001316
/proc/meminfo: memFree=126720976/131655788 swapFree=131070704/131071996
[pid=999481] ppid=999478 vsize=819196 memory=813908 CPUtime=3393.32 cores=1,3
/proc/999481/stat : 999481 (LS-MabSP) R 999478 999481 995425 0 -1 4194304 276645 0 0 0 294343 44989 0 0 20 0 1 0 189146083 838856704 203477 134679101440 4194304 15467897 140721994286288 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 54882304 140721994294304 140721994294405 140721994294405 140721994301421 0
/proc/999481/statm: 204799 203477 2849 2753 0 201452 0
Current children cumulated CPU time: 3393.32 s
Current children cumulated vsize: 819196 KiB
Current children cumulated memory: 813908 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.18 4.17 5/241 1001328
/proc/meminfo: memFree=126720752/131655788 swapFree=131070704/131071996
[pid=999481] ppid=999478 vsize=819196 memory=813908 CPUtime=3453.23 cores=1,3
/proc/999481/stat : 999481 (LS-MabSP) R 999478 999481 995425 0 -1 4194304 276645 0 0 0 298655 46668 0 0 20 0 1 0 189146083 838856704 203477 134679101440 4194304 15467897 140721994286288 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 54882304 140721994294304 140721994294405 140721994294405 140721994301421 0
/proc/999481/statm: 204799 203477 2849 2753 0 201452 0
Current children cumulated CPU time: 3453.23 s
Current children cumulated vsize: 819196 KiB
Current children cumulated memory: 813908 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.16 4.16 5/241 1001338
/proc/meminfo: memFree=126720556/131655788 swapFree=131070704/131071996
[pid=999481] ppid=999478 vsize=819196 memory=813908 CPUtime=3513.14 cores=1,3
/proc/999481/stat : 999481 (LS-MabSP) R 999478 999481 995425 0 -1 4194304 276645 0 0 0 302983 48331 0 0 20 0 1 0 189146083 838856704 203477 134679101440 4194304 15467897 140721994286288 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 54882304 140721994294304 140721994294405 140721994294405 140721994301421 0
/proc/999481/statm: 204799 203477 2849 2753 0 201452 0
Current children cumulated CPU time: 3513.14 s
Current children cumulated vsize: 819196 KiB
Current children cumulated memory: 813908 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.16 4.16 5/241 1001348
/proc/meminfo: memFree=126720148/131655788 swapFree=131070704/131071996
[pid=999481] ppid=999478 vsize=819196 memory=813908 CPUtime=3573.05 cores=1,3
/proc/999481/stat : 999481 (LS-MabSP) R 999478 999481 995425 0 -1 4194304 276645 0 0 0 307277 50028 0 0 20 0 1 0 189146083 838856704 203477 134679101440 4194304 15467897 140721994286288 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 54882304 140721994294304 140721994294405 140721994294405 140721994301421 0
/proc/999481/statm: 204799 203477 2849 2753 0 201452 0
Current children cumulated CPU time: 3573.05 s
Current children cumulated vsize: 819196 KiB
Current children cumulated memory: 813908 KiB
[startup+3609.29 s]
# the end of solver process 999481 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3092.11 s, system=507.893 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.13 4.16 4.16 5/241 1001348
/proc/meminfo: memFree=126720176/131655788 swapFree=131070704/131071996
[pid=999481] ppid=999478 vsize=819196 memory=813908 CPUtime=3574.76 cores=1,3
/proc/999481/stat : 999481 (LS-MabSP) R 999478 999481 995425 0 -1 4194304 276645 0 0 0 307400 50076 0 0 20 0 1 0 189146083 838856704 203477 134679101440 4194304 15467897 140721994286288 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 54882304 140721994294304 140721994294405 140721994294405 140721994301421 0
/proc/999481/statm: 204799 203477 2849 2753 0 201452 0
Current children cumulated CPU time: 3574.76 s
Current children cumulated vsize: 819196 KiB
Current children cumulated memory: 813908 KiB
[startup+3596.8 s]
/proc/loadavg: 4.11 4.15 4.16 5/241 1001351
/proc/meminfo: memFree=126720024/131655788 swapFree=131070704/131071996
[pid=999481] ppid=999478 vsize=819196 memory=813908 CPUtime=3587.53 cores=1,3
/proc/999481/stat : 999481 (LS-MabSP) R 999478 999481 995425 0 -1 4194304 276645 0 0 0 308314 50439 0 0 20 0 1 0 189146083 838856704 203477 134679101440 4194304 15467897 140721994286288 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 54882304 140721994294304 140721994294405 140721994294405 140721994301421 0
/proc/999481/statm: 204799 203477 2849 2753 0 201452 0
Current children cumulated CPU time: 3587.53 s
Current children cumulated vsize: 819196 KiB
Current children cumulated memory: 813908 KiB
[startup+3603.2 s]
/proc/loadavg: 4.10 4.15 4.16 5/241 1001351
/proc/meminfo: memFree=126720056/131655788 swapFree=131070704/131071996
[pid=999481] ppid=999478 vsize=819196 memory=813908 CPUtime=3593.92 cores=1,3
/proc/999481/stat : 999481 (LS-MabSP) R 999478 999481 995425 0 -1 4194304 276645 0 0 0 308777 50615 0 0 20 0 1 0 189146083 838856704 203477 134679101440 4194304 15467897 140721994286288 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 54882304 140721994294304 140721994294405 140721994294405 140721994301421 0
/proc/999481/statm: 204799 203477 2849 2753 0 201452 0
Current children cumulated CPU time: 3593.92 s
Current children cumulated vsize: 819196 KiB
Current children cumulated memory: 813908 KiB
[startup+3606.4 s]
/proc/loadavg: 4.09 4.14 4.16 5/241 1001353
/proc/meminfo: memFree=126719996/131655788 swapFree=131070704/131071996
[pid=999481] ppid=999478 vsize=819196 memory=813908 CPUtime=3597.11 cores=1,3
/proc/999481/stat : 999481 (LS-MabSP) R 999478 999481 995425 0 -1 4194304 276645 0 0 0 309006 50705 0 0 20 0 1 0 189146083 838856704 203477 134679101440 4194304 15467897 140721994286288 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 54882304 140721994294304 140721994294405 140721994294405 140721994301421 0
/proc/999481/statm: 204799 203477 2849 2753 0 201452 0
Current children cumulated CPU time: 3597.11 s
Current children cumulated vsize: 819196 KiB
Current children cumulated memory: 813908 KiB
[startup+3608 s]*
/proc/loadavg: 4.09 4.14 4.16 4/239 1001353
/proc/meminfo: memFree=127343080/131655788 swapFree=131070704/131071996
[pid=999481] ppid=999478 vsize=819196 memory=813908 CPUtime=3598.73 cores=1,3
/proc/999481/stat : 999481 (LS-MabSP) R 999478 999481 995425 0 -1 4194304 276645 0 0 0 309120 50753 0 0 20 0 1 0 189146083 838856704 203477 134679101440 4194304 15467897 140721994286288 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 54882304 140721994294304 140721994294405 140721994294405 140721994301421 0
/proc/999481/statm: 204799 203477 2849 2753 0 201452 0
Current children cumulated CPU time: 3598.73 s
Current children cumulated vsize: 819196 KiB
Current children cumulated memory: 813908 KiB
[startup+3608.8 s]
/proc/loadavg: 4.09 4.14 4.16 4/239 1001353
/proc/meminfo: memFree=127343080/131655788 swapFree=131070704/131071996
[pid=999481] ppid=999478 vsize=819196 memory=813908 CPUtime=3599.51 cores=1,3
/proc/999481/stat : 999481 (LS-MabSP) R 999478 999481 995425 0 -1 4194304 276645 0 0 0 309176 50775 0 0 20 0 1 0 189146083 838856704 203477 134679101440 4194304 15467897 140721994286288 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 54882304 140721994294304 140721994294405 140721994294405 140721994301421 0
/proc/999481/statm: 204799 203477 2849 2753 0 201452 0
Current children cumulated CPU time: 3599.51 s
Current children cumulated vsize: 819196 KiB
Current children cumulated memory: 813908 KiB
[startup+3609.2 s]
/proc/loadavg: 4.09 4.14 4.16 4/234 1001384
/proc/meminfo: memFree=127361472/131655788 swapFree=131070704/131071996
[pid=999481] ppid=999478 vsize=819196 memory=813908 CPUtime=3599.91 cores=1,3
/proc/999481/stat : 999481 (LS-MabSP) R 999478 999481 995425 0 -1 4194304 276645 0 0 0 309205 50786 0 0 20 0 1 0 189146083 838856704 203477 134679101440 4194304 15467897 140721994286288 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 54882304 140721994294304 140721994294405 140721994294405 140721994301421 0
/proc/999481/statm: 204799 203477 2849 2753 0 201452 0
Current children cumulated CPU time: 3599.91 s
Current children cumulated vsize: 819196 KiB
Current children cumulated memory: 813908 KiB
Child status: 0
Real time (s): 3609.29
CPU time (s): 3600
CPU user time (s): 3092.11
CPU system time (s): 507.893
CPU usage (%): 99.7428
Max. virtual memory (cumulated for all children) (KiB): 1041924
Max. memory (cumulated for all children) (KiB): 1026356
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3092.11
system time used= 507.893
maximum resident set size= 1026356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 276653
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= 123
involuntary context switches= 2838
# summary of solver processes directly reported to runsolver:
# pid: 999481
# total CPU time (s): 3600
# total CPU user time (s): 3092.11
# total CPU system time (s): 507.893
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.05 second user time and 28.37 second system time
The end
Begin job on nodeC011 at 2024-07-19 08:18:22
IDJOB=4448676
IDBENCH=160436
IDSOLVER=3047
FILE ID=nodeC011/4448676-1721369890
RUNJOBID= nodeC011-1721362682-995437
SLURM_JOB_ID= 7542785
Free space on /tmp= 723736 MiB
SOLVER NAME= LS-MabSP 2024-07-10
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/EC_ODD_GRIDS/normalized-ECgrid3x100split.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-4448676-1721369890/watcher-4448676-1721369890 -o /tmp/evaluation-result-4448676-1721369890/solver-4448676-1721369890 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721362682-995437 --watchdog 3760 ./LS-MabSP -f HOME/instance-4448676-1721369890.opb -t 3600 -s 95751626
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= eb6e9a4b9cb8532f79ed61cad5cbae76
RANDOM SEED=95751626
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 : 3673.057
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 : 3494.941
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.274
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.125
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 : 1841.858
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 : 3194.489
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.289
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.150
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: 128384020 kB
MemAvailable: 128901148 kB
Buffers: 542352 kB
Cached: 814544 kB
SwapCached: 132 kB
Active: 1049444 kB
Inactive: 1731836 kB
Active(anon): 1436 kB
Inactive(anon): 1460348 kB
Active(file): 1048008 kB
Inactive(file): 271488 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131070704 kB
Dirty: 48588 kB
Writeback: 0 kB
AnonPages: 1424348 kB
Mapped: 139472 kB
Shmem: 37400 kB
KReclaimable: 75660 kB
Slab: 158188 kB
SReclaimable: 75660 kB
SUnreclaim: 82528 kB
KernelStack: 3872 kB
PageTables: 11976 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1831984 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 27072 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1247232 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= 723736 MiB
End job on nodeC011 at 2024-07-19 09:18:31