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: 63931 MiB (61090 MiB free)
memory of node 1: 64510 MiB (59037 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455696-1721466284/watcher-4455696-1721466284 -o /tmp/evaluation-result-4455696-1721466284/solver-4455696-1721466284 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721458682-1057476 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455696-1721466284.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1062010, runsolver pid=1062007
Current StackSize limit: 8192 KiB
[startup+0.100089 s]*
/proc/loadavg: 4.08 4.09 4.09 5/256 1062011
/proc/meminfo: memFree=122982044/131524600 swapFree=130799640/131071996
[pid=1062010] ppid=1062007 vsize=65584 memory=34012 CPUtime=0.09 cores=1,3
/proc/1062010/stat : 1062010 (roundingsat) R 1062007 1062010 1057331 0 -1 4194304 7701 0 0 0 8 1 0 0 20 0 1 0 198787564 67158016 8503 134679101440 4194304 7968373 140733077731424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 31248384 140733077738428 140733077738592 140733077738592 140733077745609 0
/proc/1062010/statm: 16396 8503 1252 922 0 8348 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 65584 KiB
Current children cumulated memory: 34012 KiB
[startup+0.20571 s]*
/proc/loadavg: 4.08 4.09 4.09 5/256 1062011
/proc/meminfo: memFree=122955496/131524600 swapFree=130799640/131071996
[pid=1062010] ppid=1062007 vsize=93752 memory=64056 CPUtime=0.2 cores=1,3
/proc/1062010/stat : 1062010 (roundingsat) R 1062007 1062010 1057331 0 -1 4194304 12168 0 0 0 17 3 0 0 20 0 1 0 198787564 96002048 16014 134679101440 4194304 7968373 140733077731424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 31248384 140733077738428 140733077738592 140733077738592 140733077745609 0
/proc/1062010/statm: 23438 16014 1252 922 0 15390 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 93752 KiB
Current children cumulated memory: 64056 KiB
[startup+0.305707 s]*
/proc/loadavg: 4.08 4.09 4.09 5/256 1062011
/proc/meminfo: memFree=122911316/131524600 swapFree=130799640/131071996
[pid=1062010] ppid=1062007 vsize=139836 memory=103780 CPUtime=0.3 cores=1,3
/proc/1062010/stat : 1062010 (roundingsat) R 1062007 1062010 1057331 0 -1 4194304 14936 0 0 0 25 5 0 0 20 0 1 0 198787564 143192064 25945 134679101440 4194304 7968373 140733077731424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 31248384 140733077738428 140733077738592 140733077738592 140733077745609 0
/proc/1062010/statm: 34959 25945 1252 922 0 26911 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 139836 KiB
Current children cumulated memory: 103780 KiB
[startup+0.700239 s]
/proc/loadavg: 4.08 4.09 4.09 5/256 1062011
/proc/meminfo: memFree=122834852/131524600 swapFree=130799640/131071996
[pid=1062010] ppid=1062007 vsize=249460 memory=196168 CPUtime=0.69 cores=1,3
/proc/1062010/stat : 1062010 (roundingsat) R 1062007 1062010 1057331 0 -1 4194304 21735 0 0 0 61 8 0 0 20 0 1 0 198787564 255447040 49042 134679101440 4194304 7968373 140733077731424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 31248384 140733077738428 140733077738592 140733077738592 140733077745609 0
/proc/1062010/statm: 62365 49042 1252 922 0 54317 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 249460 KiB
Current children cumulated memory: 196168 KiB
[startup+1.50025 s]
/proc/loadavg: 4.08 4.09 4.09 5/256 1062011
/proc/meminfo: memFree=122809592/131524600 swapFree=130799640/131071996
[pid=1062010] ppid=1062007 vsize=491620 memory=438700 CPUtime=1.48 cores=1,3
/proc/1062010/stat : 1062010 (roundingsat) R 1062007 1062010 1057331 0 -1 4194304 42048 0 0 0 129 19 0 0 20 0 1 0 198787564 503418880 109675 134679101440 4194304 7968373 140733077731424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 31248384 140733077738428 140733077738592 140733077738592 140733077745609 0
/proc/1062010/statm: 122905 109675 1588 922 0 114857 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 491620 KiB
Current children cumulated memory: 438700 KiB
[startup+3.10578 s]
/proc/loadavg: 4.08 4.09 4.09 5/256 1062011
/proc/meminfo: memFree=122385512/131524600 swapFree=130799640/131071996
[pid=1062010] ppid=1062007 vsize=699576 memory=623316 CPUtime=3.08 cores=1,3
/proc/1062010/stat : 1062010 (roundingsat) R 1062007 1062010 1057331 0 -1 4194304 65973 0 0 0 273 35 0 0 20 0 1 0 198787564 716365824 155829 134679101440 4194304 7968373 140733077731424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 31248384 140733077738428 140733077738592 140733077738592 140733077745609 0
/proc/1062010/statm: 174894 155829 1684 922 0 166846 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 699576 KiB
Current children cumulated memory: 623316 KiB
[startup+6.30022 s]
/proc/loadavg: 4.08 4.09 4.09 5/256 1062011
/proc/meminfo: memFree=122323092/131524600 swapFree=130799640/131071996
[pid=1062010] ppid=1062007 vsize=761180 memory=685944 CPUtime=6.27 cores=1,3
/proc/1062010/stat : 1062010 (roundingsat) R 1062007 1062010 1057331 0 -1 4194304 69382 0 0 0 524 103 0 0 20 0 1 0 198787564 779448320 171486 134679101440 4194304 7968373 140733077731424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 31248384 140733077738428 140733077738592 140733077738592 140733077745609 0
/proc/1062010/statm: 190295 171486 1716 922 0 182247 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 761180 KiB
Current children cumulated memory: 685944 KiB
[startup+12.7002 s]
/proc/loadavg: 4.15 4.10 4.09 5/256 1062013
/proc/meminfo: memFree=122251232/131524600 swapFree=130799640/131071996
[pid=1062010] ppid=1062007 vsize=842088 memory=751812 CPUtime=12.65 cores=1,3
/proc/1062010/stat : 1062010 (roundingsat) R 1062007 1062010 1057331 0 -1 4194304 70586 0 0 0 1122 143 0 0 20 0 1 0 198787564 862298112 187953 134679101440 4194304 7968373 140733077731424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 31248384 140733077738428 140733077738592 140733077738592 140733077745609 0
/proc/1062010/statm: 210522 187953 1732 922 0 202474 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 842088 KiB
Current children cumulated memory: 751812 KiB
[startup+25.5002 s]
/proc/loadavg: 4.12 4.10 4.09 5/256 1062014
/proc/meminfo: memFree=122113888/131524600 swapFree=130799640/131071996
[pid=1062010] ppid=1062007 vsize=923476 memory=849452 CPUtime=25.43 cores=1,3
/proc/1062010/stat : 1062010 (roundingsat) R 1062007 1062010 1057331 0 -1 4194304 72188 0 0 0 2300 243 0 0 20 0 1 0 198787564 945639424 212363 134679101440 4194304 7968373 140733077731424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 31248384 140733077738428 140733077738592 140733077738592 140733077745609 0
/proc/1062010/statm: 230869 212363 1732 922 0 222821 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 923476 KiB
Current children cumulated memory: 849452 KiB
[startup+51.1055 s]
/proc/loadavg: 4.16 4.11 4.09 5/256 1062065
/proc/meminfo: memFree=124078272/131524600 swapFree=130799640/131071996
[pid=1062010] ppid=1062007 vsize=928596 memory=855764 CPUtime=50.96 cores=1,3
/proc/1062010/stat : 1062010 (roundingsat) R 1062007 1062010 1057331 0 -1 4194304 73429 0 0 0 4850 246 0 0 20 0 1 0 198787564 950882304 213941 134679101440 4194304 7968373 140733077731424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 31248384 140733077738428 140733077738592 140733077738592 140733077745609 0
/proc/1062010/statm: 232149 213941 1732 922 0 224101 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 928596 KiB
Current children cumulated memory: 855764 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/255 1062073
/proc/meminfo: memFree=123604868/131524600 swapFree=130799640/131071996
[pid=1062010] ppid=1062007 vsize=939812 memory=869696 CPUtime=102.02 cores=1,3
/proc/1062010/stat : 1062010 (roundingsat) R 1062007 1062010 1057331 0 -1 4194304 76103 0 0 0 9928 274 0 0 20 0 1 0 198787564 962367488 217424 134679101440 4194304 7968373 140733077731424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 31248384 140733077738428 140733077738592 140733077738592 140733077745609 0
/proc/1062010/statm: 234953 217424 1796 922 0 226905 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 939812 KiB
Current children cumulated memory: 869696 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/255 1062085
/proc/meminfo: memFree=123257776/131524600 swapFree=130799640/131071996
[pid=1062010] ppid=1062007 vsize=1165832 memory=1086016 CPUtime=161.85 cores=1,3
/proc/1062010/stat : 1062010 (roundingsat) R 1062007 1062010 1057331 0 -1 4194304 98290 0 0 0 15630 555 0 0 20 0 1 0 198787564 1193811968 271504 134679101440 4194304 7968373 140733077731424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 31248384 140733077738428 140733077738592 140733077738592 140733077745609 0
/proc/1062010/statm: 291458 271504 1812 922 0 283410 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 1165832 KiB
Current children cumulated memory: 1086016 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/255 1062096
/proc/meminfo: memFree=122521016/131524600 swapFree=130799640/131071996
[pid=1062010] ppid=1062007 vsize=2379888 memory=1810776 CPUtime=221.7 cores=1,3
/proc/1062010/stat : 1062010 (roundingsat) R 1062007 1062010 1057331 0 -1 4194304 121136 0 0 0 21575 595 0 0 20 0 1 0 198787564 2437005312 452694 134679101440 4194304 7968373 140733077731424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 31248384 140733077738428 140733077738592 140733077738592 140733077745609 0
/proc/1062010/statm: 594972 452694 1812 922 0 586924 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 2379888 KiB
Current children cumulated memory: 1810776 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/256 1062108
/proc/meminfo: memFree=122042860/131524600 swapFree=130799640/131071996
[pid=1062010] ppid=1062007 vsize=2431200 memory=2173388 CPUtime=281.55 cores=1,3
/proc/1062010/stat : 1062010 (roundingsat) R 1062007 1062010 1057331 0 -1 4194304 133719 0 0 0 27527 628 0 0 20 0 1 0 198787564 2489548800 543347 134679101440 4194304 7968373 140733077731424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 31248384 140733077738428 140733077738592 140733077738592 140733077745609 0
/proc/1062010/statm: 607800 543347 1812 922 0 599752 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 2431200 KiB
Current children cumulated memory: 2173388 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/258 1062122
/proc/meminfo: memFree=121334364/131524600 swapFree=130799640/131071996
[pid=1062010] ppid=1062007 vsize=2566296 memory=2317304 CPUtime=341.4 cores=1,3
/proc/1062010/stat : 1062010 (roundingsat) R 1062007 1062010 1057331 0 -1 4194304 167665 0 0 0 33501 639 0 0 20 0 1 0 198787564 2627887104 579326 134679101440 4194304 7968373 140733077731424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 31248384 140733077738428 140733077738592 140733077738592 140733077745609 0
/proc/1062010/statm: 641574 579326 1812 922 0 633526 0
Current children cumulated CPU time: 341.4 s
Current children cumulated vsize: 2566296 KiB
Current children cumulated memory: 2317304 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/258 1062179
/proc/meminfo: memFree=120680020/131524600 swapFree=130799640/131071996
[pid=1062010] ppid=1062007 vsize=2697972 memory=2517672 CPUtime=401.25 cores=1,3
/proc/1062010/stat : 1062010 (roundingsat) R 1062007 1062010 1057331 0 -1 4194304 201084 0 0 0 39475 650 0 0 20 0 1 0 198787564 2762723328 629418 134679101440 4194304 7968373 140733077731424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 31248384 140733077738428 140733077738592 140733077738592 140733077745609 0
/proc/1062010/statm: 674493 629418 1812 922 0 666445 0
Current children cumulated CPU time: 401.25 s
Current children cumulated vsize: 2697972 KiB
Current children cumulated memory: 2517672 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/258 1062190
/proc/meminfo: memFree=119667052/131524600 swapFree=130799640/131071996
[pid=1062010] ppid=1062007 vsize=3719184 memory=3035628 CPUtime=461.09 cores=1,3
/proc/1062010/stat : 1062010 (roundingsat) R 1062007 1062010 1057331 0 -1 4194304 227032 0 0 0 45441 668 0 0 20 0 1 0 198787564 3808444416 758907 134679101440 4194304 7968373 140733077731424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 31248384 140733077738428 140733077738592 140733077738592 140733077745609 0
/proc/1062010/statm: 929796 758907 1812 922 0 921748 0
################
# More data... #
################
/proc/1062010/statm: 4134362 3584192 1812 922 0 4126314 0
Current children cumulated CPU time: 2915.66 s
Current children cumulated vsize: 16537448 KiB
Current children cumulated memory: 14336768 KiB
[startup+2982.3 s]
/proc/loadavg: 4.28 4.14 4.11 5/258 1063602
/proc/meminfo: memFree=111029936/131524600 swapFree=130799640/131071996
[pid=1062010] ppid=1062007 vsize=16537448 memory=14336768 CPUtime=2975.53 cores=1,3
/proc/1062010/stat : 1062010 (roundingsat) R 1062007 1062010 1057331 0 -1 4194304 1478478 0 0 0 293923 3630 0 0 20 0 1 0 198787564 16934346752 3584192 134679101440 4194304 7968373 140733077731424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 31248384 140733077738428 140733077738592 140733077738592 140733077745609 0
/proc/1062010/statm: 4134362 3584192 1812 922 0 4126314 0
Current children cumulated CPU time: 2975.53 s
Current children cumulated vsize: 16537448 KiB
Current children cumulated memory: 14336768 KiB
[startup+3042.3 s]
/proc/loadavg: 4.16 4.13 4.10 5/258 1063994
/proc/meminfo: memFree=111012316/131524600 swapFree=130799640/131071996
[pid=1062010] ppid=1062007 vsize=16537664 memory=14342536 CPUtime=3035.4 cores=1,3
/proc/1062010/stat : 1062010 (roundingsat) R 1062007 1062010 1057331 0 -1 4194304 1480535 0 0 0 299898 3642 0 0 20 0 1 0 198787564 16934567936 3585634 134679101440 4194304 7968373 140733077731424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 31248384 140733077738428 140733077738592 140733077738592 140733077745609 0
/proc/1062010/statm: 4134416 3585634 1812 922 0 4126368 0
Current children cumulated CPU time: 3035.4 s
Current children cumulated vsize: 16537664 KiB
Current children cumulated memory: 14342536 KiB
[startup+3102.3 s]
/proc/loadavg: 4.11 4.12 4.10 5/256 1064004
/proc/meminfo: memFree=110992260/131524600 swapFree=130799640/131071996
[pid=1062010] ppid=1062007 vsize=16537664 memory=14356804 CPUtime=3095.28 cores=1,3
/proc/1062010/stat : 1062010 (roundingsat) R 1062007 1062010 1057331 0 -1 4194304 1481340 0 0 0 305878 3650 0 0 20 0 1 0 198787564 16934567936 3589201 134679101440 4194304 7968373 140733077731424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 31248384 140733077738428 140733077738592 140733077738592 140733077745609 0
/proc/1062010/statm: 4134416 3589201 1812 922 0 4126368 0
Current children cumulated CPU time: 3095.28 s
Current children cumulated vsize: 16537664 KiB
Current children cumulated memory: 14356804 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/256 1064018
/proc/meminfo: memFree=110976972/131524600 swapFree=130799640/131071996
[pid=1062010] ppid=1062007 vsize=16540000 memory=14369264 CPUtime=3155.16 cores=1,3
/proc/1062010/stat : 1062010 (roundingsat) R 1062007 1062010 1057331 0 -1 4194304 1486718 0 0 0 311815 3701 0 0 20 0 1 0 198787564 16936960000 3592316 134679101440 4194304 7968373 140733077731424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 31248384 140733077738428 140733077738592 140733077738592 140733077745609 0
/proc/1062010/statm: 4135000 3592316 1812 922 0 4126952 0
Current children cumulated CPU time: 3155.16 s
Current children cumulated vsize: 16540000 KiB
Current children cumulated memory: 14369264 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/258 1064198
/proc/meminfo: memFree=110951748/131524600 swapFree=130799640/131071996
[pid=1062010] ppid=1062007 vsize=16540000 memory=14391208 CPUtime=3215.03 cores=1,3
/proc/1062010/stat : 1062010 (roundingsat) R 1062007 1062010 1057331 0 -1 4194304 1491249 0 0 0 317715 3788 0 0 20 0 1 0 198787564 16936960000 3597802 134679101440 4194304 7968373 140733077731424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 31248384 140733077738428 140733077738592 140733077738592 140733077745609 0
/proc/1062010/statm: 4135000 3597802 1812 922 0 4126952 0
Current children cumulated CPU time: 3215.03 s
Current children cumulated vsize: 16540000 KiB
Current children cumulated memory: 14391208 KiB
[startup+3282.3 s]
/proc/loadavg: 3.54 3.96 4.04 4/251 1064239
/proc/meminfo: memFree=111072904/131524600 swapFree=130799640/131071996
[pid=1062010] ppid=1062007 vsize=16540000 memory=14415436 CPUtime=3274.87 cores=1,3
/proc/1062010/stat : 1062010 (roundingsat) R 1062007 1062010 1057331 0 -1 4194304 1495894 0 0 0 323638 3849 0 0 20 0 1 0 198787564 16936960000 3603859 134679101440 4194304 7968373 140733077731424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 31248384 140733077738428 140733077738592 140733077738592 140733077745609 0
/proc/1062010/statm: 4135000 3603859 1812 922 0 4126952 0
Current children cumulated CPU time: 3274.87 s
Current children cumulated vsize: 16540000 KiB
Current children cumulated memory: 14415436 KiB
[startup+3342.3 s]
/proc/loadavg: 3.23 3.79 3.98 4/251 1064251
/proc/meminfo: memFree=110948224/131524600 swapFree=130799640/131071996
[pid=1062010] ppid=1062007 vsize=16643608 memory=14535288 CPUtime=3334.72 cores=1,3
/proc/1062010/stat : 1062010 (roundingsat) R 1062007 1062010 1057331 0 -1 4194304 1526415 0 0 0 329538 3934 0 0 20 0 1 0 198787564 17043054592 3633822 134679101440 4194304 7968373 140733077731424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 31248384 140733077738428 140733077738592 140733077738592 140733077745609 0
/proc/1062010/statm: 4160902 3633822 1812 922 0 4152854 0
Current children cumulated CPU time: 3334.72 s
Current children cumulated vsize: 16643608 KiB
Current children cumulated memory: 14535288 KiB
[startup+3402.3 s]
/proc/loadavg: 3.13 3.66 3.92 4/251 1064273
/proc/meminfo: memFree=110890256/131524600 swapFree=130799640/131071996
[pid=1062010] ppid=1062007 vsize=16687376 memory=14591884 CPUtime=3394.57 cores=1,3
/proc/1062010/stat : 1062010 (roundingsat) R 1062007 1062010 1057331 0 -1 4194304 1542061 0 0 0 335495 3962 0 0 20 0 1 0 198787564 17087873024 3647971 134679101440 4194304 7968373 140733077731424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 31248384 140733077738428 140733077738592 140733077738592 140733077745609 0
/proc/1062010/statm: 4171844 3647971 1812 922 0 4163796 0
Current children cumulated CPU time: 3394.57 s
Current children cumulated vsize: 16687376 KiB
Current children cumulated memory: 14591884 KiB
[startup+3462.3 s]
/proc/loadavg: 3.21 3.59 3.88 4/251 1064284
/proc/meminfo: memFree=110798532/131524600 swapFree=130799640/131071996
[pid=1062010] ppid=1062007 vsize=16767552 memory=14679152 CPUtime=3454.4 cores=1,3
/proc/1062010/stat : 1062010 (roundingsat) R 1062007 1062010 1057331 0 -1 4194304 1566799 0 0 0 341465 3975 0 0 20 0 1 0 198787564 17169973248 3669788 134679101440 4194304 7968373 140733077731424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 31248384 140733077738428 140733077738592 140733077738592 140733077745609 0
/proc/1062010/statm: 4191888 3669788 1812 922 0 4183840 0
Current children cumulated CPU time: 3454.4 s
Current children cumulated vsize: 16767552 KiB
Current children cumulated memory: 14679152 KiB
[startup+3522.3 s]
/proc/loadavg: 3.13 3.49 3.82 4/250 1064294
/proc/meminfo: memFree=110623808/131524600 swapFree=130799640/131071996
[pid=1062010] ppid=1062007 vsize=16941100 memory=14852180 CPUtime=3514.24 cores=1,3
/proc/1062010/stat : 1062010 (roundingsat) R 1062007 1062010 1057331 0 -1 4194304 1612412 0 0 0 347389 4035 0 0 20 0 1 0 198787564 17347686400 3713045 134679101440 4194304 7968373 140733077731424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 31248384 140733077738428 140733077738592 140733077738592 140733077745609 0
/proc/1062010/statm: 4235275 3713045 1812 922 0 4227227 0
Current children cumulated CPU time: 3514.24 s
Current children cumulated vsize: 16941100 KiB
Current children cumulated memory: 14852180 KiB
[startup+3582.3 s]
/proc/loadavg: 3.13 3.42 3.78 4/249 1064306
/proc/meminfo: memFree=110486824/131524600 swapFree=130799640/131071996
[pid=1062010] ppid=1062007 vsize=17067140 memory=14987712 CPUtime=3574.09 cores=1,3
/proc/1062010/stat : 1062010 (roundingsat) R 1062007 1062010 1057331 0 -1 4194304 1648546 0 0 0 353234 4175 0 0 20 0 1 0 198787564 17476751360 3746928 134679101440 4194304 7968373 140733077731424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 31248384 140733077738428 140733077738592 140733077738592 140733077745609 0
/proc/1062010/statm: 4266785 3746928 1812 922 0 4258737 0
Current children cumulated CPU time: 3574.09 s
Current children cumulated vsize: 17067140 KiB
Current children cumulated memory: 14987712 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.3 s]
/proc/loadavg: 3.14 3.39 3.76 4/249 1064312
/proc/meminfo: memFree=110455032/131524600 swapFree=130799640/131071996
[pid=1062010] ppid=1062007 vsize=17090172 memory=15018432 CPUtime=3600.04 cores=1,3
/proc/1062010/stat : 1062010 (roundingsat) R 1062007 1062010 1057331 0 -1 4194304 1657295 0 0 0 355803 4201 0 0 20 0 1 0 198787564 17500336128 3754608 134679101440 4194304 7968373 140733077731424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 31248384 140733077738428 140733077738592 140733077738592 140733077745609 0
/proc/1062010/statm: 4272543 3754608 1812 922 0 4264495 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 17090172 KiB
Current children cumulated memory: 15018432 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.59 s]
# the end of solver process 1062010 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3558.19 s, system=42.1577 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3608.4 s]
/proc/loadavg: 3.14 3.39 3.76 4/249 1064312
/proc/meminfo: memFree=110455032/131524600 swapFree=130799640/131071996
[pid=1062010] ppid=1062007 vsize=16976728 memory=14905648 CPUtime=3600.14 cores=1,3
/proc/1062010/stat : 1062010 (roundingsat) R 1062007 1062010 1057331 0 -1 4194304 1657484 0 0 0 355813 4201 0 0 20 0 1 0 198787564 17384169472 3726412 134679101440 4194304 7968373 140733077731424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 31248384 140733077738428 140733077738592 140733077738592 140733077745609 0
/proc/1062010/statm: 4244182 3726412 1916 922 0 4236134 0
Current children cumulated CPU time: 3600.14 s
Current children cumulated vsize: 16976728 KiB
Current children cumulated memory: 14905648 KiB
[startup+3608.5 s]*
/proc/loadavg: 3.14 3.39 3.76 4/249 1064312
/proc/meminfo: memFree=116787280/131524600 swapFree=130799640/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 3608.59
CPU time (s): 3600.35
CPU user time (s): 3558.19
CPU system time (s): 42.1577
CPU usage (%): 99.7715
Max. virtual memory (cumulated for all children) (KiB): 17090172
Max. memory (cumulated for all children) (KiB): 15018432
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3558.19
system time used= 42.1577
maximum resident set size= 15019092
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1657520
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= 76
involuntary context switches= 3960
# summary of solver processes directly reported to runsolver:
# pid: 1062010
# total CPU time (s): 3600.35
# total CPU user time (s): 3558.19
# total CPU system time (s): 42.1577
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.05989 second user time and 16.5389 second system time
The end
Begin job on nodeC014 at 2024-07-20 11:04:57
IDJOB=4455696
IDBENCH=160484
IDSOLVER=3084
FILE ID=nodeC014/4455696-1721466284
RUNJOBID= nodeC014-1721458682-1057476
SLURM_JOB_ID= 7545705
Free space on /tmp= 889988 MiB
SOLVER NAME= RoundingSat nolog
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/hw256/normalized-hw256-vm98p-dec.opb.negationfix.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455696-1721466284/watcher-4455696-1721466284 -o /tmp/evaluation-result-4455696-1721466284/solver-4455696-1721466284 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721458682-1057476 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455696-1721466284.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 0ade693002e69cf4f48fe48722d4f7a3
RANDOM SEED=2129228462
nodeC014.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 : 3684.534
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.32
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 : 3654.319
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.96
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 : 3599.684
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.32
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 : 3684.217
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.96
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 : 3684.537
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.32
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 : 3683.659
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.96
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 : 3599.717
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.32
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.971
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.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 123010784 kB
MemAvailable: 127213984 kB
Buffers: 513140 kB
Cached: 4485264 kB
SwapCached: 12824 kB
Active: 1543944 kB
Inactive: 6336608 kB
Active(anon): 9196 kB
Inactive(anon): 2902660 kB
Active(file): 1534748 kB
Inactive(file): 3433948 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 130799640 kB
Dirty: 36232 kB
Writeback: 16 kB
AnonPages: 2873400 kB
Mapped: 59412 kB
Shmem: 29704 kB
KReclaimable: 148300 kB
Slab: 251064 kB
SReclaimable: 148300 kB
SUnreclaim: 102764 kB
KernelStack: 4064 kB
PageTables: 15728 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 3682260 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 36896 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2260992 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: 303828 kB
DirectMap2M: 38266880 kB
DirectMap1G: 97517568 kB
Free space on /tmp at the end= 889988 MiB
End job on nodeC014 at 2024-07-20 12:05:05