760.40/762.57 c Filename:instance-4446666-1721345601.opb, Cutoff_time:3600, memory_limit_gb:500000
760.40/762.57 c Use Presolve
760.40/762.57 c Parse finsih
760.40/762.57 c Start Presolve
760.40/762.57 c After Reduce Vars: 18834 Clauses: 19273 Top clause weight: 1 Hard Clauses: 19273
3599.97/3607.82 c Use LS-small
3599.97/3607.82 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: 64059 MiB (54573 MiB free)
memory of node 1: 64510 MiB (60198 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446666-1721345601/watcher-4446666-1721345601 -o /tmp/evaluation-result-4446666-1721345601/solver-4446666-1721345601 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721342003-983768 --watchdog 3760 ./LS-MabSP -f HOME/instance-4446666-1721345601.opb -t 3600 -s 1392393759
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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=985750, runsolver pid=985747
[startup+0.100082 s]*
/proc/loadavg: 4.16 4.27 4.17 7/244 985751
/proc/meminfo: memFree=117468860/131655788 swapFree=131071996/131071996
[pid=985750] ppid=985747 vsize=24672 memory=11624 CPUtime=0.1 cores=1,3
/proc/985750/stat : 985750 (LS-MabSP) R 985747 985750 983756 0 -1 4194304 1954 0 0 0 10 0 0 0 20 0 1 0 186718860 25264128 2906 134679101440 4194304 15467897 140724012627216 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55590912 140724012635166 140724012635269 140724012635269 140724012642285 0
/proc/985750/statm: 6168 2906 1073 2753 0 2821 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 24672 KiB
Current children cumulated memory: 11624 KiB
[startup+0.212783 s]*
/proc/loadavg: 4.16 4.27 4.17 6/244 985751
/proc/meminfo: memFree=117410072/131655788 swapFree=131071996/131071996
[pid=985750] ppid=985747 vsize=26720 memory=14252 CPUtime=0.21 cores=1,3
/proc/985750/stat : 985750 (LS-MabSP) R 985747 985750 983756 0 -1 4194304 2581 0 0 0 21 0 0 0 20 0 1 0 186718860 27361280 3563 134679101440 4194304 15467897 140724012627216 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55590912 140724012635166 140724012635269 140724012635269 140724012642285 0
/proc/985750/statm: 6680 3563 1073 2753 0 3333 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 26720 KiB
Current children cumulated memory: 14252 KiB
[startup+0.312318 s]*
/proc/loadavg: 4.16 4.27 4.17 6/244 985751
/proc/meminfo: memFree=117341364/131655788 swapFree=131071996/131071996
[pid=985750] ppid=985747 vsize=45848 memory=33296 CPUtime=0.31 cores=1,3
/proc/985750/stat : 985750 (LS-MabSP) R 985747 985750 983756 0 -1 4194304 7213 0 0 0 30 1 0 0 20 0 1 0 186718860 46948352 8324 134679101440 4194304 15467897 140724012627216 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55590912 140724012635166 140724012635269 140724012635269 140724012642285 0
/proc/985750/statm: 11462 8324 1105 2753 0 8115 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 45848 KiB
Current children cumulated memory: 33296 KiB
[startup+0.700335 s]
/proc/loadavg: 4.16 4.27 4.17 6/244 985751
/proc/meminfo: memFree=117220800/131655788 swapFree=131071996/131071996
[pid=985750] ppid=985747 vsize=45848 memory=33296 CPUtime=0.69 cores=1,3
/proc/985750/stat : 985750 (LS-MabSP) R 985747 985750 983756 0 -1 4194304 7216 0 0 0 68 1 0 0 20 0 1 0 186718860 46948352 8324 134679101440 4194304 15467897 140724012627216 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55590912 140724012635166 140724012635269 140724012635269 140724012642285 0
/proc/985750/statm: 11462 8324 1105 2753 0 8115 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 45848 KiB
Current children cumulated memory: 33296 KiB
[startup+1.50065 s]
/proc/loadavg: 4.16 4.27 4.17 5/244 985751
/proc/meminfo: memFree=116932380/131655788 swapFree=131071996/131071996
[pid=985750] ppid=985747 vsize=45848 memory=33296 CPUtime=1.49 cores=1,3
/proc/985750/stat : 985750 (LS-MabSP) R 985747 985750 983756 0 -1 4194304 7216 0 0 0 148 1 0 0 20 0 1 0 186718860 46948352 8324 134679101440 4194304 15467897 140724012627216 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55590912 140724012635166 140724012635269 140724012635269 140724012642285 0
/proc/985750/statm: 11462 8324 1105 2753 0 8115 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 45848 KiB
Current children cumulated memory: 33296 KiB
[startup+3.11269 s]
/proc/loadavg: 4.16 4.27 4.17 6/244 985797
/proc/meminfo: memFree=117721908/131655788 swapFree=131071996/131071996
[pid=985750] ppid=985747 vsize=207484 memory=194716 CPUtime=3.1 cores=1,3
/proc/985750/stat : 985750 (LS-MabSP) R 985747 985750 983756 0 -1 4194304 46090 0 0 0 304 6 0 0 20 0 1 0 186718860 212463616 48679 134679101440 4194304 15467897 140724012627216 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55590912 140724012635166 140724012635269 140724012635269 140724012642285 0
/proc/985750/statm: 51871 48679 2705 2753 0 48524 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 207484 KiB
Current children cumulated memory: 194716 KiB
[startup+6.30032 s]
/proc/loadavg: 4.22 4.29 4.17 5/245 985850
/proc/meminfo: memFree=124318704/131655788 swapFree=131071996/131071996
[pid=985750] ppid=985747 vsize=223756 memory=210604 CPUtime=6.27 cores=1,3
/proc/985750/stat : 985750 (LS-MabSP) R 985747 985750 983756 0 -1 4194304 50043 0 0 0 620 7 0 0 20 0 1 0 186718860 229126144 52651 134679101440 4194304 15467897 140724012627216 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55590912 140724012635166 140724012635269 140724012635269 140724012642285 0
/proc/985750/statm: 55939 52651 2721 2753 0 52592 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 223756 KiB
Current children cumulated memory: 210604 KiB
[startup+12.7003 s]
/proc/loadavg: 4.21 4.28 4.17 5/245 985852
/proc/meminfo: memFree=124086016/131655788 swapFree=131071996/131071996
[pid=985750] ppid=985747 vsize=229568 memory=216468 CPUtime=12.65 cores=1,3
/proc/985750/stat : 985750 (LS-MabSP) R 985747 985750 983756 0 -1 4194304 51544 0 0 0 1258 7 0 0 20 0 1 0 186718860 235077632 54117 134679101440 4194304 15467897 140724012627216 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55590912 140724012635166 140724012635269 140724012635269 140724012642285 0
/proc/985750/statm: 57392 54117 2721 2753 0 54045 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 229568 KiB
Current children cumulated memory: 216468 KiB
[startup+25.5003 s]
/proc/loadavg: 4.23 4.28 4.18 5/245 985853
/proc/meminfo: memFree=124071164/131655788 swapFree=131071996/131071996
[pid=985750] ppid=985747 vsize=231552 memory=218540 CPUtime=25.42 cores=1,3
/proc/985750/stat : 985750 (LS-MabSP) R 985747 985750 983756 0 -1 4194304 52042 0 0 0 2534 8 0 0 20 0 1 0 186718860 237109248 54635 134679101440 4194304 15467897 140724012627216 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55590912 140724012635166 140724012635269 140724012635269 140724012642285 0
/proc/985750/statm: 57888 54635 2721 2753 0 54541 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 231552 KiB
Current children cumulated memory: 218540 KiB
[startup+51.1128 s]
/proc/loadavg: 4.15 4.26 4.17 5/245 985858
/proc/meminfo: memFree=123844860/131655788 swapFree=131071996/131071996
[pid=985750] ppid=985747 vsize=292916 memory=275768 CPUtime=50.95 cores=1,3
/proc/985750/stat : 985750 (LS-MabSP) R 985747 985750 983756 0 -1 4194304 65934 0 0 0 5086 9 0 0 20 0 1 0 186718860 299945984 68942 134679101440 4194304 15467897 140724012627216 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55590912 140724012635166 140724012635269 140724012635269 140724012642285 0
/proc/985750/statm: 73229 68942 2817 2753 0 69882 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 292916 KiB
Current children cumulated memory: 275768 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.23 4.17 6/245 985867
/proc/meminfo: memFree=123805424/131655788 swapFree=131071996/131071996
[pid=985750] ppid=985747 vsize=304084 memory=286304 CPUtime=101.99 cores=1,3
/proc/985750/stat : 985750 (LS-MabSP) R 985747 985750 983756 0 -1 4194304 68041 0 0 0 10188 11 0 0 20 0 1 0 186718860 311382016 71576 134679101440 4194304 15467897 140724012627216 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55590912 140724012635166 140724012635269 140724012635269 140724012642285 0
/proc/985750/statm: 76021 71576 2833 2753 0 72674 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 304084 KiB
Current children cumulated memory: 286304 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.22 4.17 5/244 985878
/proc/meminfo: memFree=123797420/131655788 swapFree=131071996/131071996
[pid=985750] ppid=985747 vsize=304084 memory=286304 CPUtime=161.81 cores=1,3
/proc/985750/stat : 985750 (LS-MabSP) R 985747 985750 983756 0 -1 4194304 68044 0 0 0 16170 11 0 0 20 0 1 0 186718860 311382016 71576 134679101440 4194304 15467897 140724012627216 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55590912 140724012635166 140724012635269 140724012635269 140724012642285 0
/proc/985750/statm: 76021 71576 2833 2753 0 72674 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 304084 KiB
Current children cumulated memory: 286304 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.19 4.16 5/244 985888
/proc/meminfo: memFree=123659004/131655788 swapFree=131071996/131071996
[pid=985750] ppid=985747 vsize=378256 memory=361484 CPUtime=221.62 cores=1,3
/proc/985750/stat : 985750 (LS-MabSP) R 985747 985750 983756 0 -1 4194304 74735 0 0 0 22149 13 0 0 20 0 1 0 186718860 387334144 90371 134679101440 4194304 15467897 140724012627216 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55590912 140724012635166 140724012635269 140724012635269 140724012642285 0
/proc/985750/statm: 94564 90371 2849 2753 0 91217 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 378256 KiB
Current children cumulated memory: 361484 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.17 4.16 5/244 985898
/proc/meminfo: memFree=123484808/131655788 swapFree=131071996/131071996
[pid=985750] ppid=985747 vsize=399880 memory=383024 CPUtime=281.45 cores=1,3
/proc/985750/stat : 985750 (LS-MabSP) R 985747 985750 983756 0 -1 4194304 78638 0 0 0 28131 14 0 0 20 0 1 0 186718860 409477120 95756 134679101440 4194304 15467897 140724012627216 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55590912 140724012635166 140724012635269 140724012635269 140724012642285 0
/proc/985750/statm: 99970 95756 2849 2753 0 96623 0
Current children cumulated CPU time: 281.45 s
Current children cumulated vsize: 399880 KiB
Current children cumulated memory: 383024 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.15 4.15 5/241 985910
/proc/meminfo: memFree=123442632/131655788 swapFree=131071996/131071996
[pid=985750] ppid=985747 vsize=406532 memory=392532 CPUtime=341.28 cores=1,3
/proc/985750/stat : 985750 (LS-MabSP) R 985747 985750 983756 0 -1 4194304 79863 0 0 0 34114 14 0 0 20 0 1 0 186718860 416288768 98133 134679101440 4194304 15467897 140724012627216 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55590912 140724012635166 140724012635269 140724012635269 140724012642285 0
/proc/985750/statm: 101633 98133 2849 2753 0 98286 0
Current children cumulated CPU time: 341.28 s
Current children cumulated vsize: 406532 KiB
Current children cumulated memory: 392532 KiB
[startup+402.3 s]
/proc/loadavg: 4.62 4.28 4.20 5/241 985920
/proc/meminfo: memFree=123405212/131655788 swapFree=131071996/131071996
[pid=985750] ppid=985747 vsize=416452 memory=405724 CPUtime=401.12 cores=1,3
/proc/985750/stat : 985750 (LS-MabSP) R 985747 985750 983756 0 -1 4194304 81859 0 0 0 40097 15 0 0 20 0 1 0 186718860 426446848 101431 134679101440 4194304 15467897 140724012627216 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55590912 140724012635166 140724012635269 140724012635269 140724012642285 0
/proc/985750/statm: 104113 101431 2849 2753 0 100766 0
Current children cumulated CPU time: 401.12 s
Current children cumulated vsize: 416452 KiB
Current children cumulated memory: 405724 KiB
[startup+462.3 s]
/proc/loadavg: 4.41 4.30 4.21 5/244 985935
/proc/meminfo: memFree=123387216/131655788 swapFree=131071996/131071996
[pid=985750] ppid=985747 vsize=419792 memory=407848 CPUtime=460.96 cores=1,3
/proc/985750/stat : 985750 (LS-MabSP) R 985747 985750 983756 0 -1 4194304 82485 0 0 0 46081 15 0 0 20 0 1 0 186718860 429867008 101962 134679101440 4194304 15467897 140724012627216 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55590912 140724012635166 140724012635269 140724012635269 140724012642285 0
################
# More data... #
################
/proc/loadavg: 4.18 4.18 4.18 5/242 987378
/proc/meminfo: memFree=123225888/131655788 swapFree=131071996/131071996
[pid=985750] ppid=985747 vsize=439012 memory=434028 CPUtime=3155.27 cores=1,3
/proc/985750/stat : 985750 (LS-MabSP) R 985747 985750 983756 0 -1 4194304 108457 0 0 0 311378 4149 0 0 20 0 1 0 186718860 449548288 108507 134679101440 4194304 15467897 140724012627216 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55590912 140724012635166 140724012635269 140724012635269 140724012642285 0
/proc/985750/statm: 109753 108507 3195 2753 0 106406 0
Current children cumulated CPU time: 3155.27 s
Current children cumulated vsize: 439012 KiB
Current children cumulated memory: 434028 KiB
[startup+3222.3 s]
/proc/loadavg: 4.16 4.17 4.18 5/242 987388
/proc/meminfo: memFree=123225692/131655788 swapFree=131071996/131071996
[pid=985750] ppid=985747 vsize=439012 memory=434028 CPUtime=3215.16 cores=1,3
/proc/985750/stat : 985750 (LS-MabSP) R 985747 985750 983756 0 -1 4194304 108478 0 0 0 317187 4329 0 0 20 0 1 0 186718860 449548288 108507 134679101440 4194304 15467897 140724012627216 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55590912 140724012635166 140724012635269 140724012635269 140724012642285 0
/proc/985750/statm: 109753 108507 3195 2753 0 106406 0
Current children cumulated CPU time: 3215.16 s
Current children cumulated vsize: 439012 KiB
Current children cumulated memory: 434028 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.16 4.17 5/242 987398
/proc/meminfo: memFree=123225468/131655788 swapFree=131071996/131071996
[pid=985750] ppid=985747 vsize=439012 memory=434028 CPUtime=3275.05 cores=1,3
/proc/985750/stat : 985750 (LS-MabSP) R 985747 985750 983756 0 -1 4194304 108499 0 0 0 322996 4509 0 0 20 0 1 0 186718860 449548288 108507 134679101440 4194304 15467897 140724012627216 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55590912 140724012635166 140724012635269 140724012635269 140724012642285 0
/proc/985750/statm: 109753 108507 3195 2753 0 106406 0
Current children cumulated CPU time: 3275.05 s
Current children cumulated vsize: 439012 KiB
Current children cumulated memory: 434028 KiB
[startup+3342.3 s]
/proc/loadavg: 4.27 4.19 4.18 5/243 987578
/proc/meminfo: memFree=123225260/131655788 swapFree=131071996/131071996
[pid=985750] ppid=985747 vsize=439012 memory=434028 CPUtime=3334.95 cores=1,3
/proc/985750/stat : 985750 (LS-MabSP) R 985747 985750 983756 0 -1 4194304 108520 0 0 0 328802 4693 0 0 20 0 1 0 186718860 449548288 108507 134679101440 4194304 15467897 140724012627216 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55590912 140724012635166 140724012635269 140724012635269 140724012642285 0
/proc/985750/statm: 109753 108507 3195 2753 0 106406 0
Current children cumulated CPU time: 3334.95 s
Current children cumulated vsize: 439012 KiB
Current children cumulated memory: 434028 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.17 4.18 5/243 987588
/proc/meminfo: memFree=123225044/131655788 swapFree=131071996/131071996
[pid=985750] ppid=985747 vsize=439012 memory=434028 CPUtime=3394.84 cores=1,3
/proc/985750/stat : 985750 (LS-MabSP) R 985747 985750 983756 0 -1 4194304 108541 0 0 0 334615 4869 0 0 20 0 1 0 186718860 449548288 108507 134679101440 4194304 15467897 140724012627216 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55590912 140724012635166 140724012635269 140724012635269 140724012642285 0
/proc/985750/statm: 109753 108507 3195 2753 0 106406 0
Current children cumulated CPU time: 3394.84 s
Current children cumulated vsize: 439012 KiB
Current children cumulated memory: 434028 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.16 4.18 5/243 987655
/proc/meminfo: memFree=123224524/131655788 swapFree=131071996/131071996
[pid=985750] ppid=985747 vsize=439012 memory=434028 CPUtime=3454.73 cores=1,3
/proc/985750/stat : 985750 (LS-MabSP) R 985747 985750 983756 0 -1 4194304 108562 0 0 0 340424 5049 0 0 20 0 1 0 186718860 449548288 108507 134679101440 4194304 15467897 140724012627216 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55590912 140724012635166 140724012635269 140724012635269 140724012642285 0
/proc/985750/statm: 109753 108507 3195 2753 0 106406 0
Current children cumulated CPU time: 3454.73 s
Current children cumulated vsize: 439012 KiB
Current children cumulated memory: 434028 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.16 4.18 5/243 987665
/proc/meminfo: memFree=123224300/131655788 swapFree=131071996/131071996
[pid=985750] ppid=985747 vsize=439012 memory=434028 CPUtime=3514.62 cores=1,3
/proc/985750/stat : 985750 (LS-MabSP) R 985747 985750 983756 0 -1 4194304 108583 0 0 0 346233 5229 0 0 20 0 1 0 186718860 449548288 108507 134679101440 4194304 15467897 140724012627216 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55590912 140724012635166 140724012635269 140724012635269 140724012642285 0
/proc/985750/statm: 109753 108507 3195 2753 0 106406 0
Current children cumulated CPU time: 3514.62 s
Current children cumulated vsize: 439012 KiB
Current children cumulated memory: 434028 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.15 4.17 5/243 987676
/proc/meminfo: memFree=123224104/131655788 swapFree=131071996/131071996
[pid=985750] ppid=985747 vsize=439012 memory=434028 CPUtime=3574.51 cores=1,3
/proc/985750/stat : 985750 (LS-MabSP) R 985747 985750 983756 0 -1 4194304 108604 0 0 0 352048 5403 0 0 20 0 1 0 186718860 449548288 108507 134679101440 4194304 15467897 140724012627216 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55590912 140724012635166 140724012635269 140724012635269 140724012642285 0
/proc/985750/statm: 109753 108507 3195 2753 0 106406 0
Current children cumulated CPU time: 3574.51 s
Current children cumulated vsize: 439012 KiB
Current children cumulated memory: 434028 KiB
[startup+3607.82 s]
# the end of solver process 985750 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3545.22 s, system=54.7822 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.10 4.15 4.17 5/243 987676
/proc/meminfo: memFree=123224104/131655788 swapFree=131071996/131071996
[pid=985750] ppid=985747 vsize=439012 memory=434028 CPUtime=3576.22 cores=1,3
/proc/985750/stat : 985750 (LS-MabSP) R 985747 985750 983756 0 -1 4194304 108604 0 0 0 352214 5408 0 0 20 0 1 0 186718860 449548288 108507 134679101440 4194304 15467897 140724012627216 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55590912 140724012635166 140724012635269 140724012635269 140724012642285 0
/proc/985750/statm: 109753 108507 3195 2753 0 106406 0
Current children cumulated CPU time: 3576.22 s
Current children cumulated vsize: 439012 KiB
Current children cumulated memory: 434028 KiB
[startup+3596.8 s]
/proc/loadavg: 4.16 4.16 4.17 5/243 987677
/proc/meminfo: memFree=123224048/131655788 swapFree=131071996/131071996
[pid=985750] ppid=985747 vsize=439012 memory=434028 CPUtime=3588.99 cores=1,3
/proc/985750/stat : 985750 (LS-MabSP) R 985747 985750 983756 0 -1 4194304 108604 0 0 0 353452 5447 0 0 20 0 1 0 186718860 449548288 108507 134679101440 4194304 15467897 140724012627216 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55590912 140724012635166 140724012635269 140724012635269 140724012642285 0
/proc/985750/statm: 109753 108507 3195 2753 0 106406 0
Current children cumulated CPU time: 3588.99 s
Current children cumulated vsize: 439012 KiB
Current children cumulated memory: 434028 KiB
[startup+3603.2 s]
/proc/loadavg: 4.15 4.15 4.17 5/243 987679
/proc/meminfo: memFree=123224132/131655788 swapFree=131071996/131071996
[pid=985750] ppid=985747 vsize=439012 memory=434028 CPUtime=3595.38 cores=1,3
/proc/985750/stat : 985750 (LS-MabSP) R 985747 985750 983756 0 -1 4194304 108604 0 0 0 354073 5465 0 0 20 0 1 0 186718860 449548288 108507 134679101440 4194304 15467897 140724012627216 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55590912 140724012635166 140724012635269 140724012635269 140724012642285 0
/proc/985750/statm: 109753 108507 3195 2753 0 106406 0
Current children cumulated CPU time: 3595.38 s
Current children cumulated vsize: 439012 KiB
Current children cumulated memory: 434028 KiB
[startup+3606.4 s]
/proc/loadavg: 4.13 4.15 4.17 5/243 987679
/proc/meminfo: memFree=123224132/131655788 swapFree=131071996/131071996
[pid=985750] ppid=985747 vsize=439012 memory=434028 CPUtime=3598.57 cores=1,3
/proc/985750/stat : 985750 (LS-MabSP) R 985747 985750 983756 0 -1 4194304 108604 0 0 0 354384 5473 0 0 20 0 1 0 186718860 449548288 108507 134679101440 4194304 15467897 140724012627216 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55590912 140724012635166 140724012635269 140724012635269 140724012642285 0
/proc/985750/statm: 109753 108507 3195 2753 0 106406 0
Current children cumulated CPU time: 3598.57 s
Current children cumulated vsize: 439012 KiB
Current children cumulated memory: 434028 KiB
[startup+3607.2 s]
/proc/loadavg: 4.13 4.15 4.17 5/243 987680
/proc/meminfo: memFree=123224164/131655788 swapFree=131071996/131071996
[pid=985750] ppid=985747 vsize=439012 memory=434028 CPUtime=3599.37 cores=1,3
/proc/985750/stat : 985750 (LS-MabSP) R 985747 985750 983756 0 -1 4194304 108604 0 0 0 354461 5476 0 0 20 0 1 0 186718860 449548288 108507 134679101440 4194304 15467897 140724012627216 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55590912 140724012635166 140724012635269 140724012635269 140724012642285 0
/proc/985750/statm: 109753 108507 3195 2753 0 106406 0
Current children cumulated CPU time: 3599.37 s
Current children cumulated vsize: 439012 KiB
Current children cumulated memory: 434028 KiB
[startup+3607.6 s]
/proc/loadavg: 4.13 4.15 4.17 5/243 987680
/proc/meminfo: memFree=123224164/131655788 swapFree=131071996/131071996
[pid=985750] ppid=985747 vsize=439012 memory=434028 CPUtime=3599.77 cores=1,3
/proc/985750/stat : 985750 (LS-MabSP) R 985747 985750 983756 0 -1 4194304 108604 0 0 0 354500 5477 0 0 20 0 1 0 186718860 449548288 108507 134679101440 4194304 15467897 140724012627216 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55590912 140724012635166 140724012635269 140724012635269 140724012642285 0
/proc/985750/statm: 109753 108507 3195 2753 0 106406 0
Current children cumulated CPU time: 3599.77 s
Current children cumulated vsize: 439012 KiB
Current children cumulated memory: 434028 KiB
[startup+3607.8 s]
/proc/loadavg: 4.13 4.15 4.17 5/243 987680
/proc/meminfo: memFree=123224164/131655788 swapFree=131071996/131071996
[pid=985750] ppid=985747 vsize=439012 memory=434028 CPUtime=3599.97 cores=1,3
/proc/985750/stat : 985750 (LS-MabSP) R 985747 985750 983756 0 -1 4194304 108604 0 0 0 354520 5477 0 0 20 0 1 0 186718860 449548288 108507 134679101440 4194304 15467897 140724012627216 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 55590912 140724012635166 140724012635269 140724012635269 140724012642285 0
/proc/985750/statm: 109753 108507 3195 2753 0 106406 0
Current children cumulated CPU time: 3599.97 s
Current children cumulated vsize: 439012 KiB
Current children cumulated memory: 434028 KiB
Child status: 0
Real time (s): 3607.83
CPU time (s): 3600.01
CPU user time (s): 3545.22
CPU system time (s): 54.7822
CPU usage (%): 99.7832
Max. virtual memory (cumulated for all children) (KiB): 514600
Max. memory (cumulated for all children) (KiB): 507068
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3545.22
system time used= 54.7822
maximum resident set size= 507068
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 108617
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= 27
involuntary context switches= 1327
# summary of solver processes directly reported to runsolver:
# pid: 985750
# total CPU time (s): 3600.01
# total CPU user time (s): 3545.22
# total CPU system time (s): 54.7822
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.3855 second user time and 33.9196 second system time
The end
Begin job on nodeC006 at 2024-07-19 01:33:34
IDJOB=4446666
IDBENCH=158290
IDSOLVER=3047
FILE ID=nodeC006/4446666-1721345601
RUNJOBID= nodeC006-1721342003-983768
SLURM_JOB_ID= 7542736
Free space on /tmp= 723420 MiB
SOLVER NAME= LS-MabSP 2024-07-10
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K165.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-4446666-1721345601/watcher-4446666-1721345601 -o /tmp/evaluation-result-4446666-1721345601/solver-4446666-1721345601 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721342003-983768 --watchdog 3760 ./LS-MabSP -f HOME/instance-4446666-1721345601.opb -t 3600 -s 1392393759
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 75fbe782de7ac9ce41dec078153ff02c
RANDOM SEED=1392393759
nodeC006.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 : 3651.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.94
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 : 3491.972
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.26
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.421
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.94
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 : 1297.017
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.26
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 : 2993.118
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.94
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 : 1197.247
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.26
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.541
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.94
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 : 1297.253
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.26
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 117560232 kB
MemAvailable: 122704156 kB
Buffers: 513704 kB
Cached: 5407812 kB
SwapCached: 0 kB
Active: 1307744 kB
Inactive: 12086120 kB
Active(anon): 1480 kB
Inactive(anon): 7508896 kB
Active(file): 1306264 kB
Inactive(file): 4577224 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 68656 kB
Writeback: 0 kB
AnonPages: 7472716 kB
Mapped: 127060 kB
Shmem: 37708 kB
KReclaimable: 200936 kB
Slab: 316260 kB
SReclaimable: 200936 kB
SUnreclaim: 115324 kB
KernelStack: 4016 kB
PageTables: 24524 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 9101676 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 59200 kB
HardwareCorrupted: 0 kB
AnonHugePages: 6623232 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: 316232 kB
DirectMap2M: 40482816 kB
DirectMap1G: 95420416 kB
Free space on /tmp at the end= 723708 MiB
End job on nodeC006 at 2024-07-19 02:33:42