3599.97/3607.62 c Filename:instance-4459457-1721905004.opb, Cutoff_time:3600, memory_limit_gb:500000
3599.97/3607.62 c Use Presolve
3599.97/3607.62 c Parse finsih
3599.97/3607.62 c Start Presolve
3599.97/3607.62 c After Reduce Vars: 2361 Clauses: 3797 Top clause weight: 561 Hard Clauses: 3765
3599.97/3607.62 c Use LS-small
3599.97/3607.62 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: 63968 MiB (40822 MiB free)
memory of node 1: 64473 MiB (54310 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459457-1721905004/watcher-4459457-1721905004 -o /tmp/evaluation-result-4459457-1721905004/solver-4459457-1721905004 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721901376-279991 --watchdog 3760 ./LS-MabSP -f HOME/instance-4459457-1721905004.opb -t 3600 -s 14037938
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=282032, runsolver pid=282029
[startup+0.100641 s]*
/proc/loadavg: 4.05 4.10 4.09 5/254 282033
/proc/meminfo: memFree=97409780/131524600 swapFree=131063756/131071996
[pid=282032] ppid=282029 vsize=23812 memory=10324 CPUtime=0.09 cores=4,6
/proc/282032/stat : 282032 (LS-MabSP) R 282029 282032 279980 0 -1 4194304 1598 0 0 0 9 0 0 0 20 0 1 0 27028662 24383488 2581 134679101440 4194304 15467897 140726365291248 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 51347456 140726365299749 140726365299850 140726365299850 140726365306861 0
/proc/282032/statm: 5953 2581 1073 2753 0 2606 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 23812 KiB
Current children cumulated memory: 10324 KiB
[startup+0.205729 s]*
/proc/loadavg: 4.05 4.10 4.09 5/254 282033
/proc/meminfo: memFree=97399216/131524600 swapFree=131063756/131071996
[pid=282032] ppid=282029 vsize=34556 memory=21000 CPUtime=0.19 cores=4,6
/proc/282032/stat : 282032 (LS-MabSP) R 282029 282032 279980 0 -1 4194304 4273 0 0 0 19 0 0 0 20 0 1 0 27028662 35385344 5250 134679101440 4194304 15467897 140726365291248 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 51347456 140726365299749 140726365299850 140726365299850 140726365306861 0
/proc/282032/statm: 8639 5250 1105 2753 0 5292 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 34556 KiB
Current children cumulated memory: 21000 KiB
[startup+0.305791 s]*
/proc/loadavg: 4.05 4.10 4.09 5/254 282033
/proc/meminfo: memFree=97399104/131524600 swapFree=131063756/131071996
[pid=282032] ppid=282029 vsize=34556 memory=21000 CPUtime=0.29 cores=4,6
/proc/282032/stat : 282032 (LS-MabSP) R 282029 282032 279980 0 -1 4194304 4273 0 0 0 29 0 0 0 20 0 1 0 27028662 35385344 5250 134679101440 4194304 15467897 140726365291248 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 51347456 140726365299749 140726365299850 140726365299850 140726365306861 0
/proc/282032/statm: 8639 5250 1105 2753 0 5292 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 34556 KiB
Current children cumulated memory: 21000 KiB
[startup+0.700249 s]
/proc/loadavg: 4.05 4.10 4.09 5/254 282033
/proc/meminfo: memFree=97398964/131524600 swapFree=131063756/131071996
[pid=282032] ppid=282029 vsize=34556 memory=21000 CPUtime=0.68 cores=4,6
/proc/282032/stat : 282032 (LS-MabSP) R 282029 282032 279980 0 -1 4194304 4273 0 0 0 68 0 0 0 20 0 1 0 27028662 35385344 5250 134679101440 4194304 15467897 140726365291248 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 51347456 140726365299749 140726365299850 140726365299850 140726365306861 0
/proc/282032/statm: 8639 5250 1105 2753 0 5292 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 34556 KiB
Current children cumulated memory: 21000 KiB
[startup+1.50024 s]
/proc/loadavg: 4.05 4.10 4.09 5/254 282033
/proc/meminfo: memFree=97398908/131524600 swapFree=131063756/131071996
[pid=282032] ppid=282029 vsize=34556 memory=21000 CPUtime=1.48 cores=4,6
/proc/282032/stat : 282032 (LS-MabSP) R 282029 282032 279980 0 -1 4194304 4273 0 0 0 148 0 0 0 20 0 1 0 27028662 35385344 5250 134679101440 4194304 15467897 140726365291248 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 51347456 140726365299749 140726365299850 140726365299850 140726365306861 0
/proc/282032/statm: 8639 5250 1105 2753 0 5292 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 34556 KiB
Current children cumulated memory: 21000 KiB
[startup+3.10539 s]
/proc/loadavg: 4.05 4.10 4.09 5/254 282034
/proc/meminfo: memFree=104928848/131524600 swapFree=131063756/131071996
[pid=282032] ppid=282029 vsize=34556 memory=21000 CPUtime=3.08 cores=4,6
/proc/282032/stat : 282032 (LS-MabSP) R 282029 282032 279980 0 -1 4194304 4274 0 0 0 308 0 0 0 20 0 1 0 27028662 35385344 5250 134679101440 4194304 15467897 140726365291248 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 51347456 140726365299749 140726365299850 140726365299850 140726365306861 0
/proc/282032/statm: 8639 5250 1105 2753 0 5292 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 34556 KiB
Current children cumulated memory: 21000 KiB
[startup+6.30021 s]
/proc/loadavg: 4.05 4.10 4.09 5/254 282080
/proc/meminfo: memFree=110187996/131524600 swapFree=131063756/131071996
[pid=282032] ppid=282029 vsize=78080 memory=68804 CPUtime=6.26 cores=4,6
/proc/282032/stat : 282032 (LS-MabSP) R 282029 282032 279980 0 -1 4194304 14689 0 0 0 624 2 0 0 20 0 1 0 27028662 79953920 17201 134679101440 4194304 15467897 140726365291248 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 51347456 140726365299749 140726365299850 140726365299850 140726365306861 0
/proc/282032/statm: 19520 17201 2753 2753 0 16173 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 78080 KiB
Current children cumulated memory: 68804 KiB
[startup+12.7002 s]
/proc/loadavg: 4.04 4.10 4.09 5/254 282082
/proc/meminfo: memFree=110007104/131524600 swapFree=131063756/131071996
[pid=282032] ppid=282029 vsize=84832 memory=75396 CPUtime=12.65 cores=4,6
/proc/282032/stat : 282032 (LS-MabSP) R 282029 282032 279980 0 -1 4194304 16343 0 0 0 1260 5 0 0 20 0 1 0 27028662 86867968 18849 134679101440 4194304 15467897 140726365291248 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 51347456 140726365299749 140726365299850 140726365299850 140726365306861 0
/proc/282032/statm: 21208 18849 2753 2753 0 17861 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 84832 KiB
Current children cumulated memory: 75396 KiB
[startup+25.5002 s]
/proc/loadavg: 4.19 4.13 4.10 5/254 282083
/proc/meminfo: memFree=109963860/131524600 swapFree=131063756/131071996
[pid=282032] ppid=282029 vsize=84832 memory=75396 CPUtime=25.43 cores=4,6
/proc/282032/stat : 282032 (LS-MabSP) R 282029 282032 279980 0 -1 4194304 16343 0 0 0 2528 15 0 0 20 0 1 0 27028662 86867968 18849 134679101440 4194304 15467897 140726365291248 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 51347456 140726365299749 140726365299850 140726365299850 140726365306861 0
/proc/282032/statm: 21208 18849 2753 2753 0 17861 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 84832 KiB
Current children cumulated memory: 75396 KiB
[startup+51.1047 s]
/proc/loadavg: 4.12 4.12 4.09 5/254 282132
/proc/meminfo: memFree=109932116/131524600 swapFree=131063756/131071996
[pid=282032] ppid=282029 vsize=84832 memory=75396 CPUtime=50.98 cores=4,6
/proc/282032/stat : 282032 (LS-MabSP) R 282029 282032 279980 0 -1 4194304 16343 0 0 0 5060 38 0 0 20 0 1 0 27028662 86867968 18849 134679101440 4194304 15467897 140726365291248 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 51347456 140726365299749 140726365299850 140726365299850 140726365306861 0
/proc/282032/statm: 21208 18849 2753 2753 0 17861 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 84832 KiB
Current children cumulated memory: 75396 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/254 282309
/proc/meminfo: memFree=109864816/131524600 swapFree=131063756/131071996
[pid=282032] ppid=282029 vsize=84832 memory=75396 CPUtime=102.09 cores=4,6
/proc/282032/stat : 282032 (LS-MabSP) R 282029 282032 279980 0 -1 4194304 16343 0 0 0 10126 83 0 0 20 0 1 0 27028662 86867968 18849 134679101440 4194304 15467897 140726365291248 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 51347456 140726365299749 140726365299850 140726365299850 140726365306861 0
/proc/282032/statm: 21208 18849 2753 2753 0 17861 0
Current children cumulated CPU time: 102.09 s
Current children cumulated vsize: 84832 KiB
Current children cumulated memory: 75396 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/254 282319
/proc/meminfo: memFree=109849544/131524600 swapFree=131063756/131071996
[pid=282032] ppid=282029 vsize=84832 memory=75396 CPUtime=161.98 cores=4,6
/proc/282032/stat : 282032 (LS-MabSP) R 282029 282032 279980 0 -1 4194304 16343 0 0 0 16060 138 0 0 20 0 1 0 27028662 86867968 18849 134679101440 4194304 15467897 140726365291248 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 51347456 140726365299749 140726365299850 140726365299850 140726365306861 0
/proc/282032/statm: 21208 18849 2753 2753 0 17861 0
Current children cumulated CPU time: 161.98 s
Current children cumulated vsize: 84832 KiB
Current children cumulated memory: 75396 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/254 282334
/proc/meminfo: memFree=109807484/131524600 swapFree=131063756/131071996
[pid=282032] ppid=282029 vsize=84832 memory=75396 CPUtime=221.87 cores=4,6
/proc/282032/stat : 282032 (LS-MabSP) R 282029 282032 279980 0 -1 4194304 16343 0 0 0 21995 192 0 0 20 0 1 0 27028662 86867968 18849 134679101440 4194304 15467897 140726365291248 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 51347456 140726365299749 140726365299850 140726365299850 140726365306861 0
/proc/282032/statm: 21208 18849 2753 2753 0 17861 0
Current children cumulated CPU time: 221.87 s
Current children cumulated vsize: 84832 KiB
Current children cumulated memory: 75396 KiB
[startup+282.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/254 282355
/proc/meminfo: memFree=109803524/131524600 swapFree=131063756/131071996
[pid=282032] ppid=282029 vsize=84832 memory=75396 CPUtime=281.77 cores=4,6
/proc/282032/stat : 282032 (LS-MabSP) R 282029 282032 279980 0 -1 4194304 16343 0 0 0 27928 249 0 0 20 0 1 0 27028662 86867968 18849 134679101440 4194304 15467897 140726365291248 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 51347456 140726365299749 140726365299850 140726365299850 140726365306861 0
/proc/282032/statm: 21208 18849 2753 2753 0 17861 0
Current children cumulated CPU time: 281.77 s
Current children cumulated vsize: 84832 KiB
Current children cumulated memory: 75396 KiB
[startup+342.3 s]
/proc/loadavg: 4.05 4.10 4.09 5/253 282367
/proc/meminfo: memFree=109801012/131524600 swapFree=131063756/131071996
[pid=282032] ppid=282029 vsize=84832 memory=75396 CPUtime=341.66 cores=4,6
/proc/282032/stat : 282032 (LS-MabSP) R 282029 282032 279980 0 -1 4194304 16343 0 0 0 33863 303 0 0 20 0 1 0 27028662 86867968 18849 134679101440 4194304 15467897 140726365291248 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 51347456 140726365299749 140726365299850 140726365299850 140726365306861 0
/proc/282032/statm: 21208 18849 2753 2753 0 17861 0
Current children cumulated CPU time: 341.66 s
Current children cumulated vsize: 84832 KiB
Current children cumulated memory: 75396 KiB
[startup+402.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/253 282377
/proc/meminfo: memFree=109800336/131524600 swapFree=131063756/131071996
[pid=282032] ppid=282029 vsize=84832 memory=75396 CPUtime=401.55 cores=4,6
/proc/282032/stat : 282032 (LS-MabSP) R 282029 282032 279980 0 -1 4194304 16343 0 0 0 39797 358 0 0 20 0 1 0 27028662 86867968 18849 134679101440 4194304 15467897 140726365291248 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 51347456 140726365299749 140726365299850 140726365299850 140726365306861 0
/proc/282032/statm: 21208 18849 2753 2753 0 17861 0
Current children cumulated CPU time: 401.55 s
Current children cumulated vsize: 84832 KiB
Current children cumulated memory: 75396 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/253 282387
/proc/meminfo: memFree=109797980/131524600 swapFree=131063756/131071996
[pid=282032] ppid=282029 vsize=84832 memory=77948 CPUtime=461.45 cores=4,6
/proc/282032/stat : 282032 (LS-MabSP) R 282029 282032 279980 0 -1 4194304 16379 0 0 0 45725 420 0 0 20 0 1 0 27028662 86867968 19487 134679101440 4194304 15467897 140726365291248 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 51347456 140726365299749 140726365299850 140726365299850 140726365306861 0
/proc/282032/statm: 21208 19487 2753 2753 0 17861 0
################
# More data... #
################
/proc/loadavg: 4.08 4.16 4.12 5/251 283494
/proc/meminfo: memFree=109897212/131524600 swapFree=131063756/131071996
[pid=282032] ppid=282029 vsize=84832 memory=78060 CPUtime=3155.61 cores=4,6
/proc/282032/stat : 282032 (LS-MabSP) R 282029 282032 279980 0 -1 4194304 16667 0 0 0 312766 2795 0 0 20 0 1 0 27028662 86867968 19515 134679101440 4194304 15467897 140726365291248 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 51347456 140726365299749 140726365299850 140726365299850 140726365306861 0
/proc/282032/statm: 21208 19515 2753 2753 0 17861 0
Current children cumulated CPU time: 3155.61 s
Current children cumulated vsize: 84832 KiB
Current children cumulated memory: 78060 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.15 4.12 5/253 283510
/proc/meminfo: memFree=109896824/131524600 swapFree=131063756/131071996
[pid=282032] ppid=282029 vsize=84832 memory=78060 CPUtime=3215.48 cores=4,6
/proc/282032/stat : 282032 (LS-MabSP) R 282029 282032 279980 0 -1 4194304 16673 0 0 0 318696 2852 0 0 20 0 1 0 27028662 86867968 19515 134679101440 4194304 15467897 140726365291248 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 51347456 140726365299749 140726365299850 140726365299850 140726365306861 0
/proc/282032/statm: 21208 19515 2753 2753 0 17861 0
Current children cumulated CPU time: 3215.48 s
Current children cumulated vsize: 84832 KiB
Current children cumulated memory: 78060 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.13 4.11 5/253 283520
/proc/meminfo: memFree=109896768/131524600 swapFree=131063756/131071996
[pid=282032] ppid=282029 vsize=84832 memory=78060 CPUtime=3275.35 cores=4,6
/proc/282032/stat : 282032 (LS-MabSP) R 282029 282032 279980 0 -1 4194304 16679 0 0 0 324630 2905 0 0 20 0 1 0 27028662 86867968 19515 134679101440 4194304 15467897 140726365291248 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 51347456 140726365299749 140726365299850 140726365299850 140726365306861 0
/proc/282032/statm: 21208 19515 2753 2753 0 17861 0
Current children cumulated CPU time: 3275.35 s
Current children cumulated vsize: 84832 KiB
Current children cumulated memory: 78060 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.14 4.11 5/253 283531
/proc/meminfo: memFree=109896424/131524600 swapFree=131063756/131071996
[pid=282032] ppid=282029 vsize=84832 memory=78060 CPUtime=3335.23 cores=4,6
/proc/282032/stat : 282032 (LS-MabSP) R 282029 282032 279980 0 -1 4194304 16685 0 0 0 330566 2957 0 0 20 0 1 0 27028662 86867968 19515 134679101440 4194304 15467897 140726365291248 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 51347456 140726365299749 140726365299850 140726365299850 140726365306861 0
/proc/282032/statm: 21208 19515 2753 2753 0 17861 0
Current children cumulated CPU time: 3335.23 s
Current children cumulated vsize: 84832 KiB
Current children cumulated memory: 78060 KiB
[startup+3402.3 s]
/proc/loadavg: 4.05 4.11 4.10 5/253 283542
/proc/meminfo: memFree=109896048/131524600 swapFree=131063756/131071996
[pid=282032] ppid=282029 vsize=84832 memory=78060 CPUtime=3395.1 cores=4,6
/proc/282032/stat : 282032 (LS-MabSP) R 282029 282032 279980 0 -1 4194304 16691 0 0 0 336497 3013 0 0 20 0 1 0 27028662 86867968 19515 134679101440 4194304 15467897 140726365291248 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 51347456 140726365299749 140726365299850 140726365299850 140726365306861 0
/proc/282032/statm: 21208 19515 2753 2753 0 17861 0
Current children cumulated CPU time: 3395.1 s
Current children cumulated vsize: 84832 KiB
Current children cumulated memory: 78060 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.12 4.10 5/253 283553
/proc/meminfo: memFree=109895788/131524600 swapFree=131063756/131071996
[pid=282032] ppid=282029 vsize=84832 memory=78060 CPUtime=3454.98 cores=4,6
/proc/282032/stat : 282032 (LS-MabSP) R 282029 282032 279980 0 -1 4194304 16697 0 0 0 342432 3066 0 0 20 0 1 0 27028662 86867968 19515 134679101440 4194304 15467897 140726365291248 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 51347456 140726365299749 140726365299850 140726365299850 140726365306861 0
/proc/282032/statm: 21208 19515 2753 2753 0 17861 0
Current children cumulated CPU time: 3454.98 s
Current children cumulated vsize: 84832 KiB
Current children cumulated memory: 78060 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.13 4.10 5/255 283947
/proc/meminfo: memFree=109894880/131524600 swapFree=131063756/131071996
[pid=282032] ppid=282029 vsize=84832 memory=78060 CPUtime=3514.86 cores=4,6
/proc/282032/stat : 282032 (LS-MabSP) R 282029 282032 279980 0 -1 4194304 16703 0 0 0 348362 3124 0 0 20 0 1 0 27028662 86867968 19515 134679101440 4194304 15467897 140726365291248 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 51347456 140726365299749 140726365299850 140726365299850 140726365306861 0
/proc/282032/statm: 21208 19515 2753 2753 0 17861 0
Current children cumulated CPU time: 3514.86 s
Current children cumulated vsize: 84832 KiB
Current children cumulated memory: 78060 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.13 4.10 5/253 283957
/proc/meminfo: memFree=109894760/131524600 swapFree=131063756/131071996
[pid=282032] ppid=282029 vsize=84832 memory=78060 CPUtime=3574.72 cores=4,6
/proc/282032/stat : 282032 (LS-MabSP) R 282029 282032 279980 0 -1 4194304 16709 0 0 0 354297 3175 0 0 20 0 1 0 27028662 86867968 19515 134679101440 4194304 15467897 140726365291248 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 51347456 140726365299749 140726365299850 140726365299850 140726365306861 0
/proc/282032/statm: 21208 19515 2753 2753 0 17861 0
Current children cumulated CPU time: 3574.72 s
Current children cumulated vsize: 84832 KiB
Current children cumulated memory: 78060 KiB
[startup+3607.62 s]
# the end of solver process 282032 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3568.01 s, system=31.9975 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.14 4.13 4.10 5/253 283957
/proc/meminfo: memFree=109894784/131524600 swapFree=131063756/131071996
[pid=282032] ppid=282029 vsize=84832 memory=78060 CPUtime=3576.42 cores=4,6
/proc/282032/stat : 282032 (LS-MabSP) R 282029 282032 279980 0 -1 4194304 16709 0 0 0 354465 3177 0 0 20 0 1 0 27028662 86867968 19515 134679101440 4194304 15467897 140726365291248 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 51347456 140726365299749 140726365299850 140726365299850 140726365306861 0
/proc/282032/statm: 21208 19515 2753 2753 0 17861 0
Current children cumulated CPU time: 3576.42 s
Current children cumulated vsize: 84832 KiB
Current children cumulated memory: 78060 KiB
[startup+3596.8 s]
/proc/loadavg: 4.03 4.11 4.09 3/239 284020
/proc/meminfo: memFree=110627440/131524600 swapFree=131063756/131071996
[pid=282032] ppid=282029 vsize=84832 memory=78060 CPUtime=3589.2 cores=4,6
/proc/282032/stat : 282032 (LS-MabSP) R 282029 282032 279980 0 -1 4194304 16709 0 0 0 355732 3188 0 0 20 0 1 0 27028662 86867968 19515 134679101440 4194304 15467897 140726365291248 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 51347456 140726365299749 140726365299850 140726365299850 140726365306861 0
/proc/282032/statm: 21208 19515 2753 2753 0 17861 0
Current children cumulated CPU time: 3589.2 s
Current children cumulated vsize: 84832 KiB
Current children cumulated memory: 78060 KiB
[startup+3603.2 s]
/proc/loadavg: 3.87 4.07 4.08 3/239 284023
/proc/meminfo: memFree=110627452/131524600 swapFree=131063756/131071996
[pid=282032] ppid=282029 vsize=84832 memory=78060 CPUtime=3595.58 cores=4,6
/proc/282032/stat : 282032 (LS-MabSP) R 282029 282032 279980 0 -1 4194304 16709 0 0 0 356363 3195 0 0 20 0 1 0 27028662 86867968 19515 134679101440 4194304 15467897 140726365291248 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 51347456 140726365299749 140726365299850 140726365299850 140726365306861 0
/proc/282032/statm: 21208 19515 2753 2753 0 17861 0
Current children cumulated CPU time: 3595.58 s
Current children cumulated vsize: 84832 KiB
Current children cumulated memory: 78060 KiB
[startup+3604.8 s]
/proc/loadavg: 3.72 4.04 4.07 3/239 284023
/proc/meminfo: memFree=110627452/131524600 swapFree=131063756/131071996
[pid=282032] ppid=282029 vsize=84832 memory=78060 CPUtime=3597.18 cores=4,6
/proc/282032/stat : 282032 (LS-MabSP) R 282029 282032 279980 0 -1 4194304 16709 0 0 0 356522 3196 0 0 20 0 1 0 27028662 86867968 19515 134679101440 4194304 15467897 140726365291248 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 51347456 140726365299749 140726365299850 140726365299850 140726365306861 0
/proc/282032/statm: 21208 19515 2753 2753 0 17861 0
Current children cumulated CPU time: 3597.18 s
Current children cumulated vsize: 84832 KiB
Current children cumulated memory: 78060 KiB
[startup+3606.4 s]
/proc/loadavg: 3.72 4.04 4.07 3/239 284023
/proc/meminfo: memFree=110627452/131524600 swapFree=131063756/131071996
[pid=282032] ppid=282029 vsize=84832 memory=78060 CPUtime=3598.78 cores=4,6
/proc/282032/stat : 282032 (LS-MabSP) R 282029 282032 279980 0 -1 4194304 16709 0 0 0 356680 3198 0 0 20 0 1 0 27028662 86867968 19515 134679101440 4194304 15467897 140726365291248 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 51347456 140726365299749 140726365299850 140726365299850 140726365306861 0
/proc/282032/statm: 21208 19515 2753 2753 0 17861 0
Current children cumulated CPU time: 3598.78 s
Current children cumulated vsize: 84832 KiB
Current children cumulated memory: 78060 KiB
[startup+3607.2 s]
/proc/loadavg: 3.72 4.04 4.07 3/239 284023
/proc/meminfo: memFree=110627452/131524600 swapFree=131063756/131071996
[pid=282032] ppid=282029 vsize=84832 memory=78060 CPUtime=3599.58 cores=4,6
/proc/282032/stat : 282032 (LS-MabSP) R 282029 282032 279980 0 -1 4194304 16709 0 0 0 356759 3199 0 0 20 0 1 0 27028662 86867968 19515 134679101440 4194304 15467897 140726365291248 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 51347456 140726365299749 140726365299850 140726365299850 140726365306861 0
/proc/282032/statm: 21208 19515 2753 2753 0 17861 0
Current children cumulated CPU time: 3599.58 s
Current children cumulated vsize: 84832 KiB
Current children cumulated memory: 78060 KiB
[startup+3607.6 s]
/proc/loadavg: 3.72 4.04 4.07 3/239 284023
/proc/meminfo: memFree=110627452/131524600 swapFree=131063756/131071996
[pid=282032] ppid=282029 vsize=84832 memory=78060 CPUtime=3599.97 cores=4,6
/proc/282032/stat : 282032 (LS-MabSP) R 282029 282032 279980 0 -1 4194304 16709 0 0 0 356798 3199 0 0 20 0 1 0 27028662 86867968 19515 134679101440 4194304 15467897 140726365291248 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 51347456 140726365299749 140726365299850 140726365299850 140726365306861 0
/proc/282032/statm: 21208 19515 2753 2753 0 17861 0
Current children cumulated CPU time: 3599.97 s
Current children cumulated vsize: 84832 KiB
Current children cumulated memory: 78060 KiB
Child status: 0
Real time (s): 3607.62
CPU time (s): 3600.01
CPU user time (s): 3568.01
CPU system time (s): 31.9975
CPU usage (%): 99.7889
Max. virtual memory (cumulated for all children) (KiB): 84832
Max. memory (cumulated for all children) (KiB): 78060
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3568.01
system time used= 31.9975
maximum resident set size= 78060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16713
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= 8
involuntary context switches= 1126
# summary of solver processes directly reported to runsolver:
# pid: 282032
# total CPU time (s): 3600.01
# total CPU user time (s): 3568.01
# total CPU system time (s): 31.9975
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.99037 second user time and 11.759 second system time
The end
Begin job on nodeC027 at 2024-07-25 12:56:44
IDJOB=4459457
IDBENCH=178813
IDSOLVER=3047
FILE ID=nodeC027/4459457-1721905004
RUNJOBID= nodeC027-1721901376-279991
SLURM_JOB_ID= 8089395
Free space on /tmp= 889944 MiB
SOLVER NAME= LS-MabSP 2024-07-10
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/opt/miplib2010/normalized-ns1745726.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-4459457-1721905004/watcher-4459457-1721905004 -o /tmp/evaluation-result-4459457-1721905004/solver-4459457-1721905004 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721901376-279991 --watchdog 3760 ./LS-MabSP -f HOME/instance-4459457-1721905004.opb -t 3600 -s 14037938
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 57846165ce4f1efeb40b7c60e97860ee
RANDOM SEED=14037938
nodeC027.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 : 0xb00002a
cpu MHz : 3670.272
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.74
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 : 0xb00002a
cpu MHz : 3687.879
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.65
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 : 0xb00002a
cpu MHz : 3603.271
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.74
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 : 0xb00002a
cpu MHz : 3600.132
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.65
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 : 0xb00002a
cpu MHz : 3667.607
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.74
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 : 0xb00002a
cpu MHz : 3687.953
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.65
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 : 0xb00002a
cpu MHz : 3666.509
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.74
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 : 0xb00002a
cpu MHz : 3599.895
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.65
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 97416576 kB
MemAvailable: 116586272 kB
Buffers: 305528 kB
Cached: 19545036 kB
SwapCached: 472 kB
Active: 2651232 kB
Inactive: 30533204 kB
Active(anon): 1680 kB
Inactive(anon): 13385612 kB
Active(file): 2649552 kB
Inactive(file): 17147592 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131063756 kB
Dirty: 57600 kB
Writeback: 12 kB
AnonPages: 13330944 kB
Mapped: 142744 kB
Shmem: 53416 kB
KReclaimable: 424752 kB
Slab: 548384 kB
SReclaimable: 424752 kB
SUnreclaim: 123632 kB
KernelStack: 4064 kB
PageTables: 35836 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 14248528 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 17376 kB
HardwareCorrupted: 0 kB
AnonHugePages: 3221504 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: 359124 kB
DirectMap2M: 40308736 kB
DirectMap1G: 95420416 kB
Free space on /tmp at the end= 890052 MiB
End job on nodeC027 at 2024-07-25 13:56:52