0.00/0.01 c Filename:instance-4447387-1721356405.opb, Cutoff_time:3600, memory_limit_gb:500000
0.00/0.01 c Not use presolve
3599.93/3608.36 c Use LS-small
3599.93/3608.36 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 (59674 MiB free)
memory of node 1: 64473 MiB (61632 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447387-1721356405/watcher-4447387-1721356405 -o /tmp/evaluation-result-4447387-1721356405/solver-4447387-1721356405 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721354589-996699 --watchdog 3760 ./LS-MabS -f HOME/instance-4447387-1721356405.opb -t 3600 -s 237572176
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=997790, runsolver pid=997787
[startup+0.100108 s]*
/proc/loadavg: 4.15 4.18 4.17 5/248 997791
/proc/meminfo: memFree=124209116/131655788 swapFree=131071996/131071996
[pid=997790] ppid=997787 vsize=27644 memory=18952 CPUtime=0.1 cores=5,7
/proc/997790/stat : 997790 (LS-MabS) R 997787 997790 996686 0 -1 4194304 2702 0 0 0 10 0 0 0 20 0 1 0 187799236 28307456 4738 134679101440 4194304 14036057 140728420742928 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 39878656 140728420746273 140728420746374 140728420746374 140728420753390 0
/proc/997790/statm: 6911 4738 2461 2403 0 4021 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27644 KiB
Current children cumulated memory: 18952 KiB
[startup+0.213896 s]*
/proc/loadavg: 4.15 4.18 4.17 5/248 997791
/proc/meminfo: memFree=124203584/131655788 swapFree=131071996/131071996
[pid=997790] ppid=997787 vsize=33936 memory=24232 CPUtime=0.22 cores=5,7
/proc/997790/stat : 997790 (LS-MabS) R 997787 997790 996686 0 -1 4194304 3996 0 0 0 22 0 0 0 20 0 1 0 187799236 34750464 6058 134679101440 4194304 14036057 140728420742928 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 39878656 140728420746273 140728420746374 140728420746374 140728420753390 0
/proc/997790/statm: 8484 6058 2461 2403 0 5594 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 33936 KiB
Current children cumulated memory: 24232 KiB
[startup+0.313852 s]*
/proc/loadavg: 4.15 4.18 4.17 5/248 997791
/proc/meminfo: memFree=124203444/131655788 swapFree=131071996/131071996
[pid=997790] ppid=997787 vsize=33936 memory=24232 CPUtime=0.31 cores=5,7
/proc/997790/stat : 997790 (LS-MabS) R 997787 997790 996686 0 -1 4194304 3996 0 0 0 31 0 0 0 20 0 1 0 187799236 34750464 6058 134679101440 4194304 14036057 140728420742928 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 39878656 140728420746273 140728420746374 140728420746374 140728420753390 0
/proc/997790/statm: 8484 6058 2461 2403 0 5594 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 33936 KiB
Current children cumulated memory: 24232 KiB
[startup+0.700284 s]
/proc/loadavg: 4.15 4.18 4.17 5/248 997791
/proc/meminfo: memFree=124201608/131655788 swapFree=131071996/131071996
[pid=997790] ppid=997787 vsize=34884 memory=26080 CPUtime=0.69 cores=5,7
/proc/997790/stat : 997790 (LS-MabS) R 997787 997790 996686 0 -1 4194304 4488 0 0 0 69 0 0 0 20 0 1 0 187799236 35721216 6520 134679101440 4194304 14036057 140728420742928 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 39878656 140728420746273 140728420746374 140728420746374 140728420753390 0
/proc/997790/statm: 8721 6520 2461 2403 0 5831 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 34884 KiB
Current children cumulated memory: 26080 KiB
[startup+1.50029 s]
/proc/loadavg: 4.15 4.18 4.17 5/248 997791
/proc/meminfo: memFree=124200572/131655788 swapFree=131071996/131071996
[pid=997790] ppid=997787 vsize=36016 memory=27400 CPUtime=1.48 cores=5,7
/proc/997790/stat : 997790 (LS-MabS) R 997787 997790 996686 0 -1 4194304 4784 0 0 0 148 0 0 0 20 0 1 0 187799236 36880384 6850 134679101440 4194304 14036057 140728420742928 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 39878656 140728420746273 140728420746374 140728420746374 140728420753390 0
/proc/997790/statm: 9004 6850 2461 2403 0 6114 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 36016 KiB
Current children cumulated memory: 27400 KiB
[startup+3.11292 s]
/proc/loadavg: 4.15 4.18 4.17 5/248 997791
/proc/meminfo: memFree=124197160/131655788 swapFree=131071996/131071996
[pid=997790] ppid=997787 vsize=39176 memory=30412 CPUtime=3.09 cores=5,7
/proc/997790/stat : 997790 (LS-MabS) R 997787 997790 996686 0 -1 4194304 5814 0 0 0 309 0 0 0 20 0 1 0 187799236 40116224 7603 134679101440 4194304 14036057 140728420742928 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 39878656 140728420746273 140728420746374 140728420746374 140728420753390 0
/proc/997790/statm: 9794 7603 2461 2403 0 6904 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 39176 KiB
Current children cumulated memory: 30412 KiB
[startup+6.30027 s]
/proc/loadavg: 4.13 4.18 4.17 5/248 997792
/proc/meminfo: memFree=124194640/131655788 swapFree=131071996/131071996
[pid=997790] ppid=997787 vsize=41396 memory=32788 CPUtime=6.27 cores=5,7
/proc/997790/stat : 997790 (LS-MabS) R 997787 997790 996686 0 -1 4194304 6560 0 0 0 627 0 0 0 20 0 1 0 187799236 42389504 8197 134679101440 4194304 14036057 140728420742928 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 39878656 140728420746273 140728420746374 140728420746374 140728420753390 0
/proc/997790/statm: 10349 8197 2461 2403 0 7459 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 41396 KiB
Current children cumulated memory: 32788 KiB
[startup+12.7002 s]
/proc/loadavg: 4.12 4.18 4.17 5/248 997792
/proc/meminfo: memFree=124188424/131655788 swapFree=131071996/131071996
[pid=997790] ppid=997787 vsize=47492 memory=38856 CPUtime=12.65 cores=5,7
/proc/997790/stat : 997790 (LS-MabS) R 997787 997790 996686 0 -1 4194304 8334 0 0 0 1264 1 0 0 20 0 1 0 187799236 48631808 9714 134679101440 4194304 14036057 140728420742928 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 39878656 140728420746273 140728420746374 140728420746374 140728420753390 0
/proc/997790/statm: 11873 9714 2461 2403 0 8983 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 47492 KiB
Current children cumulated memory: 38856 KiB
[startup+25.5003 s]
/proc/loadavg: 4.10 4.17 4.17 5/246 997795
/proc/meminfo: memFree=124180524/131655788 swapFree=131071996/131071996
[pid=997790] ppid=997787 vsize=55832 memory=47568 CPUtime=25.41 cores=5,7
/proc/997790/stat : 997790 (LS-MabS) R 997787 997790 996686 0 -1 4194304 10451 0 0 0 2540 1 0 0 20 0 1 0 187799236 57171968 11892 134679101440 4194304 14036057 140728420742928 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 39878656 140728420746273 140728420746374 140728420746374 140728420753390 0
/proc/997790/statm: 13958 11892 2461 2403 0 11068 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 55832 KiB
Current children cumulated memory: 47568 KiB
[startup+51.1129 s]
/proc/loadavg: 4.12 4.17 4.17 5/246 997798
/proc/meminfo: memFree=124150980/131655788 swapFree=131071996/131071996
[pid=997790] ppid=997787 vsize=84472 memory=76080 CPUtime=50.93 cores=5,7
/proc/997790/stat : 997790 (LS-MabS) R 997787 997790 996686 0 -1 4194304 17640 0 0 0 5092 1 0 0 20 0 1 0 187799236 86499328 19020 134679101440 4194304 14036057 140728420742928 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 39878656 140728420746273 140728420746374 140728420746374 140728420753390 0
/proc/997790/statm: 21118 19020 2461 2403 0 18228 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 84472 KiB
Current children cumulated memory: 76080 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.16 4.17 5/246 997808
/proc/meminfo: memFree=124098248/131655788 swapFree=131071996/131071996
[pid=997790] ppid=997787 vsize=137312 memory=128476 CPUtime=101.94 cores=5,7
/proc/997790/stat : 997790 (LS-MabS) R 997787 997790 996686 0 -1 4194304 30679 0 0 0 10191 3 0 0 20 0 1 0 187799236 140607488 32119 134679101440 4194304 14036057 140728420742928 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 39878656 140728420746273 140728420746374 140728420746374 140728420753390 0
/proc/997790/statm: 34328 32119 2461 2403 0 31438 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 137312 KiB
Current children cumulated memory: 128476 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.14 4.16 5/242 997819
/proc/meminfo: memFree=124038380/131655788 swapFree=131071996/131071996
[pid=997790] ppid=997787 vsize=196072 memory=188192 CPUtime=161.75 cores=5,7
/proc/997790/stat : 997790 (LS-MabS) R 997787 997790 996686 0 -1 4194304 46146 0 0 0 16168 7 0 0 20 0 1 0 187799236 200777728 47048 134679101440 4194304 14036057 140728420742928 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 39878656 140728420746273 140728420746374 140728420746374 140728420753390 0
/proc/997790/statm: 49018 47048 2461 2403 0 46128 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 196072 KiB
Current children cumulated memory: 188192 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.14 4.16 5/242 997829
/proc/meminfo: memFree=123978576/131655788 swapFree=131071996/131071996
[pid=997790] ppid=997787 vsize=258412 memory=247784 CPUtime=221.56 cores=5,7
/proc/997790/stat : 997790 (LS-MabS) R 997787 997790 996686 0 -1 4194304 61503 0 0 0 22145 11 0 0 20 0 1 0 187799236 264613888 61946 134679101440 4194304 14036057 140728420742928 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 39878656 140728420746273 140728420746374 140728420746374 140728420753390 0
/proc/997790/statm: 64603 61946 2461 2403 0 61713 0
Current children cumulated CPU time: 221.56 s
Current children cumulated vsize: 258412 KiB
Current children cumulated memory: 247784 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.13 4.16 5/241 997839
/proc/meminfo: memFree=123918340/131655788 swapFree=131071996/131071996
[pid=997790] ppid=997787 vsize=317172 memory=307712 CPUtime=281.36 cores=5,7
/proc/997790/stat : 997790 (LS-MabS) R 997787 997790 996686 0 -1 4194304 76679 0 0 0 28122 14 0 0 20 0 1 0 187799236 324784128 76928 134679101440 4194304 14036057 140728420742928 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 39878656 140728420746273 140728420746374 140728420746374 140728420753390 0
/proc/997790/statm: 79293 76928 2461 2403 0 76403 0
Current children cumulated CPU time: 281.36 s
Current children cumulated vsize: 317172 KiB
Current children cumulated memory: 307712 KiB
[startup+342.3 s]
/proc/loadavg: 4.23 4.15 4.16 5/241 997850
/proc/meminfo: memFree=123858740/131655788 swapFree=131071996/131071996
[pid=997790] ppid=997787 vsize=374524 memory=366728 CPUtime=341.14 cores=5,7
/proc/997790/stat : 997790 (LS-MabS) R 997787 997790 996686 0 -1 4194304 91375 0 0 0 34098 16 0 0 20 0 1 0 187799236 383512576 91682 134679101440 4194304 14036057 140728420742928 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 39878656 140728420746273 140728420746374 140728420746374 140728420753390 0
/proc/997790/statm: 93631 91682 2461 2403 0 90741 0
Current children cumulated CPU time: 341.14 s
Current children cumulated vsize: 374524 KiB
Current children cumulated memory: 366728 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 4.14 4.15 5/241 997860
/proc/meminfo: memFree=123800364/131655788 swapFree=131071996/131071996
[pid=997790] ppid=997787 vsize=440072 memory=424328 CPUtime=400.95 cores=5,7
/proc/997790/stat : 997790 (LS-MabS) R 997787 997790 996686 0 -1 4194304 106095 0 0 0 40075 20 0 0 20 0 1 0 187799236 450633728 106082 134679101440 4194304 14036057 140728420742928 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 39878656 140728420746273 140728420746374 140728420746374 140728420753390 0
/proc/997790/statm: 110018 106082 2461 2403 0 107128 0
Current children cumulated CPU time: 400.95 s
Current children cumulated vsize: 440072 KiB
Current children cumulated memory: 424328 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.13 4.15 5/243 997874
/proc/meminfo: memFree=123739368/131655788 swapFree=131071996/131071996
[pid=997790] ppid=997787 vsize=498192 memory=484568 CPUtime=460.77 cores=5,7
/proc/997790/stat : 997790 (LS-MabS) R 997787 997790 996686 0 -1 4194304 121414 0 0 0 46054 23 0 0 20 0 1 0 187799236 510148608 121142 134679101440 4194304 14036057 140728420742928 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 39878656 140728420746273 140728420746374 140728420746374 140728420753390 0
/proc/997790/statm: 124548 121142 2461 2403 0 121658 0
################
# More data... #
################
/proc/loadavg: 4.17 4.17 4.11 5/243 999469
/proc/meminfo: memFree=121561160/131655788 swapFree=131071996/131071996
[pid=997790] ppid=997787 vsize=922676 memory=915664 CPUtime=3214.53 cores=5,7
/proc/997790/stat : 997790 (LS-MabS) R 997787 997790 996686 0 -1 4194304 432829 0 0 0 290279 31174 0 0 20 0 1 0 187799236 944820224 228916 134679101440 4194304 14036057 140728420742928 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 39878656 140728420746273 140728420746374 140728420746374 140728420753390 0
/proc/997790/statm: 230669 228916 2461 2403 0 227779 0
Current children cumulated CPU time: 3214.53 s
Current children cumulated vsize: 922676 KiB
Current children cumulated memory: 915664 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.17 4.11 5/243 999479
/proc/meminfo: memFree=121460724/131655788 swapFree=131071996/131071996
[pid=997790] ppid=997787 vsize=922676 memory=915664 CPUtime=3274.43 cores=5,7
/proc/997790/stat : 997790 (LS-MabS) R 997787 997790 996686 0 -1 4194304 432829 0 0 0 294970 32473 0 0 20 0 1 0 187799236 944820224 228916 134679101440 4194304 14036057 140728420742928 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 39878656 140728420746273 140728420746374 140728420746374 140728420753390 0
/proc/997790/statm: 230669 228916 2461 2403 0 227779 0
Current children cumulated CPU time: 3274.43 s
Current children cumulated vsize: 922676 KiB
Current children cumulated memory: 915664 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.15 4.11 5/245 999660
/proc/meminfo: memFree=121362264/131655788 swapFree=131071996/131071996
[pid=997790] ppid=997787 vsize=922676 memory=915664 CPUtime=3334.34 cores=5,7
/proc/997790/stat : 997790 (LS-MabS) R 997787 997790 996686 0 -1 4194304 432829 0 0 0 299645 33789 0 0 20 0 1 0 187799236 944820224 228916 134679101440 4194304 14036057 140728420742928 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 39878656 140728420746273 140728420746374 140728420746374 140728420753390 0
/proc/997790/statm: 230669 228916 2461 2403 0 227779 0
Current children cumulated CPU time: 3334.34 s
Current children cumulated vsize: 922676 KiB
Current children cumulated memory: 915664 KiB
[startup+3402.3 s]
/proc/loadavg: 4.19 4.17 4.11 5/245 999670
/proc/meminfo: memFree=121261468/131655788 swapFree=131071996/131071996
[pid=997790] ppid=997787 vsize=922676 memory=915664 CPUtime=3394.25 cores=5,7
/proc/997790/stat : 997790 (LS-MabS) R 997787 997790 996686 0 -1 4194304 432829 0 0 0 304314 35111 0 0 20 0 1 0 187799236 944820224 228916 134679101440 4194304 14036057 140728420742928 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 39878656 140728420746273 140728420746374 140728420746374 140728420753390 0
/proc/997790/statm: 230669 228916 2461 2403 0 227779 0
Current children cumulated CPU time: 3394.25 s
Current children cumulated vsize: 922676 KiB
Current children cumulated memory: 915664 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.15 4.11 5/245 999737
/proc/meminfo: memFree=121170880/131655788 swapFree=131071996/131071996
[pid=997790] ppid=997787 vsize=922676 memory=915664 CPUtime=3454.16 cores=5,7
/proc/997790/stat : 997790 (LS-MabS) R 997787 997790 996686 0 -1 4194304 432829 0 0 0 308981 36435 0 0 20 0 1 0 187799236 944820224 228916 134679101440 4194304 14036057 140728420742928 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 39878656 140728420746273 140728420746374 140728420746374 140728420753390 0
/proc/997790/statm: 230669 228916 2461 2403 0 227779 0
Current children cumulated CPU time: 3454.16 s
Current children cumulated vsize: 922676 KiB
Current children cumulated memory: 915664 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.15 4.11 5/245 999747
/proc/meminfo: memFree=121078552/131655788 swapFree=131071996/131071996
[pid=997790] ppid=997787 vsize=922676 memory=915664 CPUtime=3514.07 cores=5,7
/proc/997790/stat : 997790 (LS-MabS) R 997787 997790 996686 0 -1 4194304 432829 0 0 0 313666 37741 0 0 20 0 1 0 187799236 944820224 228916 134679101440 4194304 14036057 140728420742928 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 39878656 140728420746273 140728420746374 140728420746374 140728420753390 0
/proc/997790/statm: 230669 228916 2461 2403 0 227779 0
Current children cumulated CPU time: 3514.07 s
Current children cumulated vsize: 922676 KiB
Current children cumulated memory: 915664 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.14 4.10 5/246 999759
/proc/meminfo: memFree=120987096/131655788 swapFree=131071996/131071996
[pid=997790] ppid=997787 vsize=922676 memory=915664 CPUtime=3573.97 cores=5,7
/proc/997790/stat : 997790 (LS-MabS) R 997787 997790 996686 0 -1 4194304 432829 0 0 0 318342 39055 0 0 20 0 1 0 187799236 944820224 228916 134679101440 4194304 14036057 140728420742928 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 39878656 140728420746273 140728420746374 140728420746374 140728420753390 0
/proc/997790/statm: 230669 228916 2461 2403 0 227779 0
Current children cumulated CPU time: 3573.97 s
Current children cumulated vsize: 922676 KiB
Current children cumulated memory: 915664 KiB
[startup+3608.36 s]
# the end of solver process 997790 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3203.73 s, system=396.277 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.11 4.14 4.10 5/246 999759
/proc/meminfo: memFree=120985388/131655788 swapFree=131071996/131071996
[pid=997790] ppid=997787 vsize=922676 memory=915664 CPUtime=3575.68 cores=5,7
/proc/997790/stat : 997790 (LS-MabS) R 997787 997790 996686 0 -1 4194304 432829 0 0 0 318476 39092 0 0 20 0 1 0 187799236 944820224 228916 134679101440 4194304 14036057 140728420742928 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 39878656 140728420746273 140728420746374 140728420746374 140728420753390 0
/proc/997790/statm: 230669 228916 2461 2403 0 227779 0
Current children cumulated CPU time: 3575.68 s
Current children cumulated vsize: 922676 KiB
Current children cumulated memory: 915664 KiB
[startup+3596.8 s]
/proc/loadavg: 4.09 4.13 4.10 5/246 999762
/proc/meminfo: memFree=121447304/131655788 swapFree=131071996/131071996
[pid=997790] ppid=997787 vsize=922676 memory=915664 CPUtime=3588.45 cores=5,7
/proc/997790/stat : 997790 (LS-MabS) R 997787 997790 996686 0 -1 4194304 432829 0 0 0 319475 39370 0 0 20 0 1 0 187799236 944820224 228916 134679101440 4194304 14036057 140728420742928 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 39878656 140728420746273 140728420746374 140728420746374 140728420753390 0
/proc/997790/statm: 230669 228916 2461 2403 0 227779 0
Current children cumulated CPU time: 3588.45 s
Current children cumulated vsize: 922676 KiB
Current children cumulated memory: 915664 KiB
[startup+3603.2 s]
/proc/loadavg: 4.09 4.13 4.10 5/246 999762
/proc/meminfo: memFree=121440692/131655788 swapFree=131071996/131071996
[pid=997790] ppid=997787 vsize=922676 memory=915664 CPUtime=3594.84 cores=5,7
/proc/997790/stat : 997790 (LS-MabS) R 997787 997790 996686 0 -1 4194304 432829 0 0 0 319970 39514 0 0 20 0 1 0 187799236 944820224 228916 134679101440 4194304 14036057 140728420742928 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 39878656 140728420746273 140728420746374 140728420746374 140728420753390 0
/proc/997790/statm: 230669 228916 2461 2403 0 227779 0
Current children cumulated CPU time: 3594.84 s
Current children cumulated vsize: 922676 KiB
Current children cumulated memory: 915664 KiB
[startup+3606.4 s]
/proc/loadavg: 4.08 4.13 4.10 5/246 999763
/proc/meminfo: memFree=121437972/131655788 swapFree=131071996/131071996
[pid=997790] ppid=997787 vsize=922676 memory=915664 CPUtime=3598.03 cores=5,7
/proc/997790/stat : 997790 (LS-MabS) R 997787 997790 996686 0 -1 4194304 432829 0 0 0 320220 39583 0 0 20 0 1 0 187799236 944820224 228916 134679101440 4194304 14036057 140728420742928 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 39878656 140728420746273 140728420746374 140728420746374 140728420753390 0
/proc/997790/statm: 230669 228916 2461 2403 0 227779 0
Current children cumulated CPU time: 3598.03 s
Current children cumulated vsize: 922676 KiB
Current children cumulated memory: 915664 KiB
[startup+3607.2 s]
/proc/loadavg: 4.08 4.13 4.10 5/246 999763
/proc/meminfo: memFree=121436312/131655788 swapFree=131071996/131071996
[pid=997790] ppid=997787 vsize=922676 memory=915664 CPUtime=3598.83 cores=5,7
/proc/997790/stat : 997790 (LS-MabS) R 997787 997790 996686 0 -1 4194304 432829 0 0 0 320282 39601 0 0 20 0 1 0 187799236 944820224 228916 134679101440 4194304 14036057 140728420742928 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 39878656 140728420746273 140728420746374 140728420746374 140728420753390 0
/proc/997790/statm: 230669 228916 2461 2403 0 227779 0
Current children cumulated CPU time: 3598.83 s
Current children cumulated vsize: 922676 KiB
Current children cumulated memory: 915664 KiB
[startup+3608 s]*
/proc/loadavg: 4.08 4.13 4.10 5/246 999763
/proc/meminfo: memFree=121434048/131655788 swapFree=131071996/131071996
[pid=997790] ppid=997787 vsize=922676 memory=915664 CPUtime=3599.65 cores=5,7
/proc/997790/stat : 997790 (LS-MabS) R 997787 997790 996686 0 -1 4194304 432829 0 0 0 320346 39619 0 0 20 0 1 0 187799236 944820224 228916 134679101440 4194304 14036057 140728420742928 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 39878656 140728420746273 140728420746374 140728420746374 140728420753390 0
/proc/997790/statm: 230669 228916 2461 2403 0 227779 0
Current children cumulated CPU time: 3599.65 s
Current children cumulated vsize: 922676 KiB
Current children cumulated memory: 915664 KiB
[startup+3608.2 s]
/proc/loadavg: 4.08 4.13 4.10 5/246 999763
/proc/meminfo: memFree=121434048/131655788 swapFree=131071996/131071996
[pid=997790] ppid=997787 vsize=922676 memory=915664 CPUtime=3599.84 cores=5,7
/proc/997790/stat : 997790 (LS-MabS) R 997787 997790 996686 0 -1 4194304 432829 0 0 0 320361 39623 0 0 20 0 1 0 187799236 944820224 228916 134679101440 4194304 14036057 140728420742928 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 39878656 140728420746273 140728420746374 140728420746374 140728420753390 0
/proc/997790/statm: 230669 228916 2461 2403 0 227779 0
Current children cumulated CPU time: 3599.84 s
Current children cumulated vsize: 922676 KiB
Current children cumulated memory: 915664 KiB
[startup+3608.3 s]
/proc/loadavg: 4.08 4.13 4.10 5/246 999763
/proc/meminfo: memFree=121434048/131655788 swapFree=131071996/131071996
[pid=997790] ppid=997787 vsize=922676 memory=915664 CPUtime=3599.93 cores=5,7
/proc/997790/stat : 997790 (LS-MabS) R 997787 997790 996686 0 -1 4194304 432829 0 0 0 320368 39625 0 0 20 0 1 0 187799236 944820224 228916 134679101440 4194304 14036057 140728420742928 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 15946000 16022736 39878656 140728420746273 140728420746374 140728420746374 140728420753390 0
/proc/997790/statm: 230669 228916 2461 2403 0 227779 0
Current children cumulated CPU time: 3599.93 s
Current children cumulated vsize: 922676 KiB
Current children cumulated memory: 915664 KiB
Child status: 0
Real time (s): 3608.36
CPU time (s): 3600.01
CPU user time (s): 3203.73
CPU system time (s): 396.277
CPU usage (%): 99.7684
Max. virtual memory (cumulated for all children) (KiB): 1745856
Max. memory (cumulated for all children) (KiB): 1706748
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3203.73
system time used= 396.277
maximum resident set size= 1706748
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 432835
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= 84
involuntary context switches= 2863
# summary of solver processes directly reported to runsolver:
# pid: 997790
# total CPU time (s): 3600.01
# total CPU user time (s): 3203.73
# total CPU system time (s): 396.277
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.017 second user time and 32.562 second system time
The end
Begin job on nodeC005 at 2024-07-19 04:33:36
IDJOB=4447387
IDBENCH=158687
IDSOLVER=3048
FILE ID=nodeC005/4447387-1721356405
RUNJOBID= nodeC005-1721354589-996699
SLURM_JOB_ID= 7542776
Free space on /tmp= 723744 MiB
SOLVER NAME= LS-MabS 2024-07-10
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n148-d3-i1-r1.cnf.gz-plain.pb.metafix.opb
COMMAND LINE= ./LS-MabS -f BENCHNAME -t TIMEOUT -s RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447387-1721356405/watcher-4447387-1721356405 -o /tmp/evaluation-result-4447387-1721356405/solver-4447387-1721356405 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721354589-996699 --watchdog 3760 ./LS-MabS -f HOME/instance-4447387-1721356405.opb -t 3600 -s 237572176
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= fefb64a1b2a7fa00e7ba601f2504d0e0
RANDOM SEED=237572176
nodeC005.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 : 3652.879
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.53
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 : 3641.995
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.35
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.202
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.53
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.186
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.35
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 : 3652.941
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.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.790
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.35
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.183
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.53
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.178
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.35
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 124218852 kB
MemAvailable: 129643040 kB
Buffers: 512036 kB
Cached: 5694320 kB
SwapCached: 0 kB
Active: 1078060 kB
Inactive: 5665216 kB
Active(anon): 3448 kB
Inactive(anon): 579396 kB
Active(file): 1074612 kB
Inactive(file): 5085820 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 13104 kB
Writeback: 0 kB
AnonPages: 536056 kB
Mapped: 138112 kB
Shmem: 45896 kB
KReclaimable: 207912 kB
Slab: 325816 kB
SReclaimable: 207912 kB
SUnreclaim: 117904 kB
KernelStack: 3996 kB
PageTables: 10580 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 963324 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 59552 kB
HardwareCorrupted: 0 kB
AnonHugePages: 520192 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: 285512 kB
DirectMap2M: 36319232 kB
DirectMap1G: 99614720 kB
Free space on /tmp at the end= 723732 MiB
End job on nodeC005 at 2024-07-19 05:33:45