0.10/0.20 c Filename:instance-4448136-1721366278.opb, Cutoff_time:3600, memory_limit_gb:500000
0.10/0.20 c Use Presolve
0.10/0.20 c Parse finsih
0.10/0.20 c Start Presolve
0.10/0.20 c After Reduce Vars: 700 Clauses: 2800 Top clause weight: 1 Hard Clauses: 2800
3599.96/3609.83 c Use LS-small
3599.96/3609.83 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 (62335 MiB free)
memory of node 1: 64473 MiB (61721 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4448136-1721366278/watcher-4448136-1721366278 -o /tmp/evaluation-result-4448136-1721366278/solver-4448136-1721366278 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721362682-995436 --watchdog 3760 ./LS-MabSP -f HOME/instance-4448136-1721366278.opb -t 3600 -s 1567050881
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=997373, runsolver pid=997370
[startup+0.100095 s]*
/proc/loadavg: 4.15 4.12 4.09 5/241 997374
/proc/meminfo: memFree=127029900/131655788 swapFree=131070704/131071996
[pid=997373] ppid=997370 vsize=27568 memory=20964 CPUtime=0.1 cores=4,6
/proc/997373/stat : 997373 (LS-MabSP) R 997370 997373 995425 0 -1 4194304 2433 0 0 0 10 0 0 0 20 0 1 0 188784967 28229632 5241 134679101440 4194304 15467897 140734906634160 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 46370816 140734906639390 140734906639493 140734906639493 140734906646509 0
/proc/997373/statm: 6892 5241 2609 2753 0 3545 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27568 KiB
Current children cumulated memory: 20964 KiB
[startup+0.213132 s]*
/proc/loadavg: 4.15 4.12 4.09 5/241 997374
/proc/meminfo: memFree=127012232/131655788 swapFree=131070704/131071996
[pid=997373] ppid=997370 vsize=40940 memory=32940 CPUtime=0.21 cores=4,6
/proc/997373/stat : 997373 (LS-MabSP) R 997370 997373 995425 0 -1 4194304 5566 0 0 0 21 0 0 0 20 0 1 0 188784967 41922560 8235 134679101440 4194304 15467897 140734906634160 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 46370816 140734906639390 140734906639493 140734906639493 140734906646509 0
/proc/997373/statm: 10235 8235 2833 2753 0 6888 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 40940 KiB
Current children cumulated memory: 32940 KiB
[startup+0.312983 s]*
/proc/loadavg: 4.15 4.12 4.09 5/238 997378
/proc/meminfo: memFree=127751424/131655788 swapFree=131070704/131071996
[pid=997373] ppid=997370 vsize=40940 memory=32940 CPUtime=0.31 cores=4,6
/proc/997373/stat : 997373 (LS-MabSP) R 997370 997373 995425 0 -1 4194304 5593 0 0 0 31 0 0 0 20 0 1 0 188784967 41922560 8235 134679101440 4194304 15467897 140734906634160 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 46370816 140734906639390 140734906639493 140734906639493 140734906646509 0
/proc/997373/statm: 10235 8235 2833 2753 0 6888 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 40940 KiB
Current children cumulated memory: 32940 KiB
[startup+0.70027 s]
/proc/loadavg: 4.15 4.12 4.09 5/238 997388
/proc/meminfo: memFree=127750876/131655788 swapFree=131070704/131071996
[pid=997373] ppid=997370 vsize=45560 memory=37684 CPUtime=0.69 cores=4,6
/proc/997373/stat : 997373 (LS-MabSP) R 997370 997373 995425 0 -1 4194304 6762 0 0 0 68 1 0 0 20 0 1 0 188784967 46653440 9421 134679101440 4194304 15467897 140734906634160 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 46370816 140734906639390 140734906639493 140734906639493 140734906646509 0
/proc/997373/statm: 11390 9421 2833 2753 0 8043 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 45560 KiB
Current children cumulated memory: 37684 KiB
[startup+1.50029 s]
/proc/loadavg: 4.15 4.12 4.09 5/241 997420
/proc/meminfo: memFree=127723784/131655788 swapFree=131070704/131071996
[pid=997373] ppid=997370 vsize=55020 memory=47280 CPUtime=1.48 cores=4,6
/proc/997373/stat : 997373 (LS-MabSP) R 997370 997373 995425 0 -1 4194304 9381 0 0 0 147 1 0 0 20 0 1 0 188784967 56340480 11820 134679101440 4194304 15467897 140734906634160 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 46370816 140734906639390 140734906639493 140734906639493 140734906646509 0
/proc/997373/statm: 13755 11820 2833 2753 0 10408 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 55020 KiB
Current children cumulated memory: 47280 KiB
[startup+3.11334 s]
/proc/loadavg: 4.14 4.12 4.09 6/241 997512
/proc/meminfo: memFree=129318488/131655788 swapFree=131070704/131071996
[pid=997373] ppid=997370 vsize=55572 memory=47808 CPUtime=3.09 cores=4,6
/proc/997373/stat : 997373 (LS-MabSP) R 997370 997373 995425 0 -1 4194304 9524 0 0 0 308 1 0 0 20 0 1 0 188784967 56905728 11952 134679101440 4194304 15467897 140734906634160 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 46370816 140734906639390 140734906639493 140734906639493 140734906646509 0
/proc/997373/statm: 13893 11952 2833 2753 0 10546 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 55572 KiB
Current children cumulated memory: 47808 KiB
[startup+6.3003 s]
/proc/loadavg: 4.14 4.12 4.09 6/241 997512
/proc/meminfo: memFree=129293924/131655788 swapFree=131070704/131071996
[pid=997373] ppid=997370 vsize=55572 memory=47808 CPUtime=6.27 cores=4,6
/proc/997373/stat : 997373 (LS-MabSP) R 997370 997373 995425 0 -1 4194304 9535 0 0 0 626 1 0 0 20 0 1 0 188784967 56905728 11952 134679101440 4194304 15467897 140734906634160 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 46370816 140734906639390 140734906639493 140734906639493 140734906646509 0
/proc/997373/statm: 13893 11952 2833 2753 0 10546 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 55572 KiB
Current children cumulated memory: 47808 KiB
[startup+12.7003 s]
/proc/loadavg: 4.13 4.11 4.09 6/241 997514
/proc/meminfo: memFree=129274988/131655788 swapFree=131070704/131071996
[pid=997373] ppid=997370 vsize=64852 memory=57692 CPUtime=12.64 cores=4,6
/proc/997373/stat : 997373 (LS-MabSP) R 997370 997373 995425 0 -1 4194304 12048 0 0 0 1262 2 0 0 20 0 1 0 188784967 66408448 14423 134679101440 4194304 15467897 140734906634160 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 46370816 140734906639390 140734906639493 140734906639493 140734906646509 0
/proc/997373/statm: 16213 14423 2833 2753 0 12866 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 64852 KiB
Current children cumulated memory: 57692 KiB
[startup+25.5003 s]
/proc/loadavg: 4.10 4.11 4.09 6/241 997515
/proc/meminfo: memFree=129230504/131655788 swapFree=131070704/131071996
[pid=997373] ppid=997370 vsize=83288 memory=75948 CPUtime=25.38 cores=4,6
/proc/997373/stat : 997373 (LS-MabSP) R 997370 997373 995425 0 -1 4194304 16495 0 0 0 2536 2 0 0 20 0 1 0 188784967 85286912 18987 134679101440 4194304 15467897 140734906634160 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 46370816 140734906639390 140734906639493 140734906639493 140734906646509 0
/proc/997373/statm: 20822 18987 2833 2753 0 17475 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 83288 KiB
Current children cumulated memory: 75948 KiB
[startup+51.1136 s]
/proc/loadavg: 4.14 4.12 4.09 6/242 997521
/proc/meminfo: memFree=129166200/131655788 swapFree=131070704/131071996
[pid=997373] ppid=997370 vsize=102396 memory=96896 CPUtime=50.87 cores=4,6
/proc/997373/stat : 997373 (LS-MabSP) R 997370 997373 995425 0 -1 4194304 21514 0 0 0 5084 3 0 0 20 0 1 0 188784967 104853504 24224 134679101440 4194304 15467897 140734906634160 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 46370816 140734906639390 140734906639493 140734906639493 140734906646509 0
/proc/997373/statm: 25599 24224 2833 2753 0 22252 0
Current children cumulated CPU time: 50.87 s
Current children cumulated vsize: 102396 KiB
Current children cumulated memory: 96896 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.13 4.09 6/242 997530
/proc/meminfo: memFree=129062564/131655788 swapFree=131070704/131071996
[pid=997373] ppid=997370 vsize=137332 memory=130732 CPUtime=101.88 cores=4,6
/proc/997373/stat : 997373 (LS-MabSP) R 997370 997373 995425 0 -1 4194304 30058 0 0 0 10184 4 0 0 20 0 1 0 188784967 140627968 32683 134679101440 4194304 15467897 140734906634160 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 46370816 140734906639390 140734906639493 140734906639493 140734906646509 0
/proc/997373/statm: 34333 32683 2833 2753 0 30986 0
Current children cumulated CPU time: 101.88 s
Current children cumulated vsize: 137332 KiB
Current children cumulated memory: 130732 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.12 4.09 6/244 997544
/proc/meminfo: memFree=128969292/131655788 swapFree=131070704/131071996
[pid=997373] ppid=997370 vsize=178236 memory=170652 CPUtime=161.66 cores=4,6
/proc/997373/stat : 997373 (LS-MabSP) R 997370 997373 995425 0 -1 4194304 40651 0 0 0 16160 6 0 0 20 0 1 0 188784967 182513664 42663 134679101440 4194304 15467897 140734906634160 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 46370816 140734906639390 140734906639493 140734906639493 140734906646509 0
/proc/997373/statm: 44559 42663 2849 2753 0 41212 0
Current children cumulated CPU time: 161.66 s
Current children cumulated vsize: 178236 KiB
Current children cumulated memory: 170652 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.11 4.09 6/244 997554
/proc/meminfo: memFree=128857340/131655788 swapFree=131070704/131071996
[pid=997373] ppid=997370 vsize=206176 memory=197424 CPUtime=221.43 cores=4,6
/proc/997373/stat : 997373 (LS-MabSP) R 997370 997373 995425 0 -1 4194304 47435 0 0 0 22136 7 0 0 20 0 1 0 188784967 211124224 49356 134679101440 4194304 15467897 140734906634160 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 46370816 140734906639390 140734906639493 140734906639493 140734906646509 0
/proc/997373/statm: 51544 49356 2849 2753 0 48197 0
Current children cumulated CPU time: 221.43 s
Current children cumulated vsize: 206176 KiB
Current children cumulated memory: 197424 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.10 4.09 6/244 997565
/proc/meminfo: memFree=128727132/131655788 swapFree=131070704/131071996
[pid=997373] ppid=997370 vsize=251160 memory=242676 CPUtime=281.21 cores=4,6
/proc/997373/stat : 997373 (LS-MabSP) R 997370 997373 995425 0 -1 4194304 58763 0 0 0 28112 9 0 0 20 0 1 0 188784967 257187840 60669 134679101440 4194304 15467897 140734906634160 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 46370816 140734906639390 140734906639493 140734906639493 140734906646509 0
/proc/997373/statm: 62790 60669 2849 2753 0 59443 0
Current children cumulated CPU time: 281.21 s
Current children cumulated vsize: 251160 KiB
Current children cumulated memory: 242676 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.10 4.09 6/244 997575
/proc/meminfo: memFree=128626324/131655788 swapFree=131070704/131071996
[pid=997373] ppid=997370 vsize=268968 memory=262056 CPUtime=340.98 cores=4,6
/proc/997373/stat : 997373 (LS-MabSP) R 997370 997373 995425 0 -1 4194304 63675 0 0 0 34088 10 0 0 20 0 1 0 188784967 275423232 65514 134679101440 4194304 15467897 140734906634160 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 46370816 140734906639390 140734906639493 140734906639493 140734906646509 0
/proc/997373/statm: 67242 65514 2849 2753 0 63895 0
Current children cumulated CPU time: 340.98 s
Current children cumulated vsize: 268968 KiB
Current children cumulated memory: 262056 KiB
[startup+402.3 s]
/proc/loadavg: 4.06 4.09 4.09 6/243 997586
/proc/meminfo: memFree=128499300/131655788 swapFree=131070704/131071996
[pid=997373] ppid=997370 vsize=317212 memory=309424 CPUtime=400.74 cores=4,6
/proc/997373/stat : 997373 (LS-MabSP) R 997370 997373 995425 0 -1 4194304 75537 0 0 0 40063 11 0 0 20 0 1 0 188784967 324825088 77356 134679101440 4194304 15467897 140734906634160 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 46370816 140734906639390 140734906639493 140734906639493 140734906646509 0
/proc/997373/statm: 79303 77356 2849 2753 0 75956 0
Current children cumulated CPU time: 400.74 s
Current children cumulated vsize: 317212 KiB
Current children cumulated memory: 309424 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.10 4.09 6/244 997984
/proc/meminfo: memFree=128504624/131655788 swapFree=131070704/131071996
[pid=997373] ppid=997370 vsize=338608 memory=332572 CPUtime=460.5 cores=4,6
/proc/997373/stat : 997373 (LS-MabSP) R 997370 997373 995425 0 -1 4194304 83316 0 0 0 46038 12 0 0 20 0 1 0 188784967 346734592 83143 134679101440 4194304 15467897 140734906634160 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 46370816 140734906639390 140734906639493 140734906639493 140734906646509 0
/proc/997373/statm: 84652 83143 2849 2753 0 81305 0
################
# More data... #
################
/proc/loadavg: 4.09 4.11 4.11 6/243 999275
/proc/meminfo: memFree=126854336/131655788 swapFree=131070704/131071996
[pid=997373] ppid=997370 vsize=822532 memory=817144 CPUtime=3213.06 cores=4,6
/proc/997373/stat : 997373 (LS-MabSP) R 997370 997373 995425 0 -1 4194304 224930 0 0 0 294797 26509 0 0 20 0 1 0 188784967 842272768 204286 134679101440 4194304 15467897 140734906634160 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 46370816 140734906639390 140734906639493 140734906639493 140734906646509 0
/proc/997373/statm: 205633 204286 2849 2753 0 202286 0
Current children cumulated CPU time: 3213.06 s
Current children cumulated vsize: 822532 KiB
Current children cumulated memory: 817144 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.12 4.11 7/243 999286
/proc/meminfo: memFree=126854064/131655788 swapFree=131070704/131071996
[pid=997373] ppid=997370 vsize=822532 memory=817144 CPUtime=3272.97 cores=4,6
/proc/997373/stat : 997373 (LS-MabSP) R 997370 997373 995425 0 -1 4194304 224932 0 0 0 299659 27638 0 0 20 0 1 0 188784967 842272768 204286 134679101440 4194304 15467897 140734906634160 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 46370816 140734906639390 140734906639493 140734906639493 140734906646509 0
/proc/997373/statm: 205633 204286 2849 2753 0 202286 0
Current children cumulated CPU time: 3272.97 s
Current children cumulated vsize: 822532 KiB
Current children cumulated memory: 817144 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.11 4.11 6/243 999296
/proc/meminfo: memFree=126853756/131655788 swapFree=131070704/131071996
[pid=997373] ppid=997370 vsize=822532 memory=817144 CPUtime=3332.88 cores=4,6
/proc/997373/stat : 997373 (LS-MabSP) R 997370 997373 995425 0 -1 4194304 224934 0 0 0 304530 28758 0 0 20 0 1 0 188784967 842272768 204286 134679101440 4194304 15467897 140734906634160 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 46370816 140734906639390 140734906639493 140734906639493 140734906646509 0
/proc/997373/statm: 205633 204286 2849 2753 0 202286 0
Current children cumulated CPU time: 3332.88 s
Current children cumulated vsize: 822532 KiB
Current children cumulated memory: 817144 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.12 4.11 6/243 999307
/proc/meminfo: memFree=126853440/131655788 swapFree=131070704/131071996
[pid=997373] ppid=997370 vsize=822532 memory=817144 CPUtime=3392.78 cores=4,6
/proc/997373/stat : 997373 (LS-MabSP) R 997370 997373 995425 0 -1 4194304 224936 0 0 0 309396 29882 0 0 20 0 1 0 188784967 842272768 204286 134679101440 4194304 15467897 140734906634160 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 46370816 140734906639390 140734906639493 140734906639493 140734906646509 0
/proc/997373/statm: 205633 204286 2849 2753 0 202286 0
Current children cumulated CPU time: 3392.78 s
Current children cumulated vsize: 822532 KiB
Current children cumulated memory: 817144 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.12 4.11 6/241 999318
/proc/meminfo: memFree=126853092/131655788 swapFree=131070704/131071996
[pid=997373] ppid=997370 vsize=822532 memory=817144 CPUtime=3452.69 cores=4,6
/proc/997373/stat : 997373 (LS-MabSP) R 997370 997373 995425 0 -1 4194304 224938 0 0 0 314257 31012 0 0 20 0 1 0 188784967 842272768 204286 134679101440 4194304 15467897 140734906634160 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 46370816 140734906639390 140734906639493 140734906639493 140734906646509 0
/proc/997373/statm: 205633 204286 2849 2753 0 202286 0
Current children cumulated CPU time: 3452.69 s
Current children cumulated vsize: 822532 KiB
Current children cumulated memory: 817144 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.11 4.10 6/241 999328
/proc/meminfo: memFree=126852824/131655788 swapFree=131070704/131071996
[pid=997373] ppid=997370 vsize=822532 memory=817144 CPUtime=3512.59 cores=4,6
/proc/997373/stat : 997373 (LS-MabSP) R 997370 997373 995425 0 -1 4194304 224940 0 0 0 319138 32121 0 0 20 0 1 0 188784967 842272768 204286 134679101440 4194304 15467897 140734906634160 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 46370816 140734906639390 140734906639493 140734906639493 140734906646509 0
/proc/997373/statm: 205633 204286 2849 2753 0 202286 0
Current children cumulated CPU time: 3512.59 s
Current children cumulated vsize: 822532 KiB
Current children cumulated memory: 817144 KiB
[startup+3582.3 s]
/proc/loadavg: 4.18 4.14 4.11 6/241 999338
/proc/meminfo: memFree=126852552/131655788 swapFree=131070704/131071996
[pid=997373] ppid=997370 vsize=822532 memory=817144 CPUtime=3572.5 cores=4,6
/proc/997373/stat : 997373 (LS-MabSP) R 997370 997373 995425 0 -1 4194304 224942 0 0 0 324013 33237 0 0 20 0 1 0 188784967 842272768 204286 134679101440 4194304 15467897 140734906634160 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 46370816 140734906639390 140734906639493 140734906639493 140734906646509 0
/proc/997373/statm: 205633 204286 2849 2753 0 202286 0
Current children cumulated CPU time: 3572.5 s
Current children cumulated vsize: 822532 KiB
Current children cumulated memory: 817144 KiB
[startup+3609.84 s]
# the end of solver process 997373 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3262.45 s, system=337.556 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 6/241 999338
/proc/meminfo: memFree=126852552/131655788 swapFree=131070704/131071996
[pid=997373] ppid=997370 vsize=822532 memory=817144 CPUtime=3574.22 cores=4,6
/proc/997373/stat : 997373 (LS-MabSP) R 997370 997373 995425 0 -1 4194304 224942 0 0 0 324150 33272 0 0 20 0 1 0 188784967 842272768 204286 134679101440 4194304 15467897 140734906634160 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 46370816 140734906639390 140734906639493 140734906639493 140734906646509 0
/proc/997373/statm: 205633 204286 2849 2753 0 202286 0
Current children cumulated CPU time: 3574.22 s
Current children cumulated vsize: 822532 KiB
Current children cumulated memory: 817144 KiB
[startup+3596.8 s]
/proc/loadavg: 4.14 4.13 4.11 6/241 999340
/proc/meminfo: memFree=126852460/131655788 swapFree=131070704/131071996
[pid=997373] ppid=997370 vsize=822532 memory=817144 CPUtime=3586.98 cores=4,6
/proc/997373/stat : 997373 (LS-MabSP) R 997370 997373 995425 0 -1 4194304 224942 0 0 0 325188 33510 0 0 20 0 1 0 188784967 842272768 204286 134679101440 4194304 15467897 140734906634160 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 46370816 140734906639390 140734906639493 140734906639493 140734906646509 0
/proc/997373/statm: 205633 204286 2849 2753 0 202286 0
Current children cumulated CPU time: 3586.98 s
Current children cumulated vsize: 822532 KiB
Current children cumulated memory: 817144 KiB
[startup+3603.2 s]
/proc/loadavg: 4.12 4.13 4.10 6/241 999341
/proc/meminfo: memFree=126852220/131655788 swapFree=131070704/131071996
[pid=997373] ppid=997370 vsize=822532 memory=817144 CPUtime=3593.38 cores=4,6
/proc/997373/stat : 997373 (LS-MabSP) R 997370 997373 995425 0 -1 4194304 224942 0 0 0 325710 33628 0 0 20 0 1 0 188784967 842272768 204286 134679101440 4194304 15467897 140734906634160 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 46370816 140734906639390 140734906639493 140734906639493 140734906646509 0
/proc/997373/statm: 205633 204286 2849 2753 0 202286 0
Current children cumulated CPU time: 3593.38 s
Current children cumulated vsize: 822532 KiB
Current children cumulated memory: 817144 KiB
[startup+3606.4 s]
/proc/loadavg: 4.11 4.12 4.10 6/241 999341
/proc/meminfo: memFree=126852312/131655788 swapFree=131070704/131071996
[pid=997373] ppid=997370 vsize=822532 memory=817144 CPUtime=3596.56 cores=4,6
/proc/997373/stat : 997373 (LS-MabSP) R 997370 997373 995425 0 -1 4194304 224943 0 0 0 325966 33690 0 0 20 0 1 0 188784967 842272768 204286 134679101440 4194304 15467897 140734906634160 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 46370816 140734906639390 140734906639493 140734906639493 140734906646509 0
/proc/997373/statm: 205633 204286 2849 2753 0 202286 0
Current children cumulated CPU time: 3596.56 s
Current children cumulated vsize: 822532 KiB
Current children cumulated memory: 817144 KiB
[startup+3608 s]*
/proc/loadavg: 4.11 4.12 4.10 6/241 999344
/proc/meminfo: memFree=126852200/131655788 swapFree=131070704/131071996
[pid=997373] ppid=997370 vsize=822532 memory=817144 CPUtime=3598.18 cores=4,6
/proc/997373/stat : 997373 (LS-MabSP) R 997370 997373 995425 0 -1 4194304 224943 0 0 0 326096 33722 0 0 20 0 1 0 188784967 842272768 204286 134679101440 4194304 15467897 140734906634160 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 46370816 140734906639390 140734906639493 140734906639493 140734906646509 0
/proc/997373/statm: 205633 204286 2849 2753 0 202286 0
Current children cumulated CPU time: 3598.18 s
Current children cumulated vsize: 822532 KiB
Current children cumulated memory: 817144 KiB
[startup+3608.8 s]
/proc/loadavg: 4.11 4.12 4.10 6/241 999344
/proc/meminfo: memFree=126852200/131655788 swapFree=131070704/131071996
[pid=997373] ppid=997370 vsize=822532 memory=817144 CPUtime=3598.97 cores=4,6
/proc/997373/stat : 997373 (LS-MabSP) R 997370 997373 995425 0 -1 4194304 224943 0 0 0 326160 33737 0 0 20 0 1 0 188784967 842272768 204286 134679101440 4194304 15467897 140734906634160 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 46370816 140734906639390 140734906639493 140734906639493 140734906646509 0
/proc/997373/statm: 205633 204286 2849 2753 0 202286 0
Current children cumulated CPU time: 3598.97 s
Current children cumulated vsize: 822532 KiB
Current children cumulated memory: 817144 KiB
[startup+3609.6 s]
/proc/loadavg: 4.11 4.12 4.10 6/241 999344
/proc/meminfo: memFree=126852292/131655788 swapFree=131070704/131071996
[pid=997373] ppid=997370 vsize=822532 memory=817144 CPUtime=3599.76 cores=4,6
/proc/997373/stat : 997373 (LS-MabSP) R 997370 997373 995425 0 -1 4194304 224943 0 0 0 326225 33751 0 0 20 0 1 0 188784967 842272768 204286 134679101440 4194304 15467897 140734906634160 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 46370816 140734906639390 140734906639493 140734906639493 140734906646509 0
/proc/997373/statm: 205633 204286 2849 2753 0 202286 0
Current children cumulated CPU time: 3599.76 s
Current children cumulated vsize: 822532 KiB
Current children cumulated memory: 817144 KiB
[startup+3609.8 s]
/proc/loadavg: 4.11 4.12 4.10 6/241 999344
/proc/meminfo: memFree=126852292/131655788 swapFree=131070704/131071996
[pid=997373] ppid=997370 vsize=822532 memory=817144 CPUtime=3599.96 cores=4,6
/proc/997373/stat : 997373 (LS-MabSP) R 997370 997373 995425 0 -1 4194304 224943 0 0 0 326242 33754 0 0 20 0 1 0 188784967 842272768 204286 134679101440 4194304 15467897 140734906634160 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 46370816 140734906639390 140734906639493 140734906639493 140734906646509 0
/proc/997373/statm: 205633 204286 2849 2753 0 202286 0
Current children cumulated CPU time: 3599.96 s
Current children cumulated vsize: 822532 KiB
Current children cumulated memory: 817144 KiB
Child status: 0
Real time (s): 3609.84
CPU time (s): 3600.01
CPU user time (s): 3262.45
CPU system time (s): 337.556
CPU usage (%): 99.7277
Max. virtual memory (cumulated for all children) (KiB): 865236
Max. memory (cumulated for all children) (KiB): 854836
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3262.45
system time used= 337.556
maximum resident set size= 856444
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 224949
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= 156
involuntary context switches= 3345
# summary of solver processes directly reported to runsolver:
# pid: 997373
# total CPU time (s): 3600.01
# total CPU user time (s): 3262.45
# total CPU system time (s): 337.556
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.5047 second user time and 30.6175 second system time
The end
Begin job on nodeC011 at 2024-07-19 07:18:11
IDJOB=4448136
IDBENCH=160366
IDSOLVER=3047
FILE ID=nodeC011/4448136-1721366278
RUNJOBID= nodeC011-1721362682-995436
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-ECgrid5x70split.cnf-plain.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-4448136-1721366278/watcher-4448136-1721366278 -o /tmp/evaluation-result-4448136-1721366278/solver-4448136-1721366278 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721362682-995436 --watchdog 3760 ./LS-MabSP -f HOME/instance-4448136-1721366278.opb -t 3600 -s 1567050881
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= ab4f361084eaa55350d5ce36089ad752
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 : 3662.779
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 : 3668.801
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.261
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.307
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.618
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 : 3668.827
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.122
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.277
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: 127034712 kB
MemAvailable: 127635308 kB
Buffers: 541356 kB
Cached: 899004 kB
SwapCached: 132 kB
Active: 1048436 kB
Inactive: 3079672 kB
Active(anon): 1460 kB
Inactive(anon): 2723684 kB
Active(file): 1046976 kB
Inactive(file): 355988 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131070704 kB
Dirty: 16332 kB
Writeback: 0 kB
AnonPages: 2687632 kB
Mapped: 139484 kB
Shmem: 37400 kB
KReclaimable: 75664 kB
Slab: 157476 kB
SReclaimable: 75664 kB
SUnreclaim: 81812 kB
KernelStack: 3884 kB
PageTables: 14464 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 3154632 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 27072 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2586624 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