799.17/801.54 c Filename:instance-4446696-1721345603.opb, Cutoff_time:3600, memory_limit_gb:500000
799.17/801.54 c Use Presolve
799.17/801.54 c Parse finsih
799.17/801.54 c Start Presolve
799.17/801.54 c After Reduce Vars: 18478 Clauses: 18911 Top clause weight: 1 Hard Clauses: 18911
3599.93/3609.46 c Use LS-small
3599.93/3609.46 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 (54474 MiB free)
memory of node 1: 64510 MiB (60817 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446696-1721345603/watcher-4446696-1721345603 -o /tmp/evaluation-result-4446696-1721345603/solver-4446696-1721345603 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721342003-983769 --watchdog 3760 ./LS-MabSP -f HOME/instance-4446696-1721345603.opb -t 3600 -s 1392393759
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=985796, runsolver pid=985793
Current StackSize limit: 8192 KiB
[startup+0.100094 s]*
/proc/loadavg: 4.16 4.27 4.17 6/244 985797
/proc/meminfo: memFree=118041304/131655788 swapFree=131071996/131071996
[pid=985796] ppid=985793 vsize=24632 memory=11552 CPUtime=0.1 cores=5,7
/proc/985796/stat : 985796 (LS-MabSP) R 985793 985796 983756 0 -1 4194304 1910 0 0 0 10 0 0 0 20 0 1 0 186719018 25223168 2888 134679101440 4194304 15467897 140735048369808 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 56287232 140735048377374 140735048377477 140735048377477 140735048384493 0
/proc/985796/statm: 6158 2888 1073 2753 0 2811 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 24632 KiB
Current children cumulated memory: 11552 KiB
[startup+0.207302 s]*
/proc/loadavg: 4.16 4.27 4.17 6/244 985797
/proc/meminfo: memFree=118029484/131655788 swapFree=131071996/131071996
[pid=985796] ppid=985793 vsize=26680 memory=14264 CPUtime=0.2 cores=5,7
/proc/985796/stat : 985796 (LS-MabSP) R 985793 985796 983756 0 -1 4194304 2582 0 0 0 20 0 0 0 20 0 1 0 186719018 27320320 3566 134679101440 4194304 15467897 140735048369808 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 56287232 140735048377374 140735048377477 140735048377477 140735048384493 0
/proc/985796/statm: 6670 3566 1073 2753 0 3323 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 26680 KiB
Current children cumulated memory: 14264 KiB
[startup+0.307368 s]*
/proc/loadavg: 4.16 4.27 4.17 6/244 985797
/proc/meminfo: memFree=117998332/131655788 swapFree=131071996/131071996
[pid=985796] ppid=985793 vsize=45436 memory=32832 CPUtime=0.31 cores=5,7
/proc/985796/stat : 985796 (LS-MabSP) R 985793 985796 983756 0 -1 4194304 8100 0 0 0 30 1 0 0 20 0 1 0 186719018 46526464 8208 134679101440 4194304 15467897 140735048369808 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 56287232 140735048377374 140735048377477 140735048377477 140735048384493 0
/proc/985796/statm: 11359 8208 1105 2753 0 8012 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 45436 KiB
Current children cumulated memory: 32832 KiB
[startup+0.700304 s]
/proc/loadavg: 4.16 4.27 4.17 6/244 985797
/proc/meminfo: memFree=117952216/131655788 swapFree=131071996/131071996
[pid=985796] ppid=985793 vsize=45436 memory=32832 CPUtime=0.69 cores=5,7
/proc/985796/stat : 985796 (LS-MabSP) R 985793 985796 983756 0 -1 4194304 8103 0 0 0 68 1 0 0 20 0 1 0 186719018 46526464 8208 134679101440 4194304 15467897 140735048369808 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 56287232 140735048377374 140735048377477 140735048377477 140735048384493 0
/proc/985796/statm: 11359 8208 1105 2753 0 8012 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 45436 KiB
Current children cumulated memory: 32832 KiB
[startup+1.50129 s]
/proc/loadavg: 4.16 4.27 4.17 7/244 985797
/proc/meminfo: memFree=117799360/131655788 swapFree=131071996/131071996
[pid=985796] ppid=985793 vsize=45436 memory=32832 CPUtime=1.49 cores=5,7
/proc/985796/stat : 985796 (LS-MabSP) R 985793 985796 983756 0 -1 4194304 8103 0 0 0 148 1 0 0 20 0 1 0 186719018 46526464 8208 134679101440 4194304 15467897 140735048369808 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 56287232 140735048377374 140735048377477 140735048377477 140735048384493 0
/proc/985796/statm: 11359 8208 1105 2753 0 8012 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 45436 KiB
Current children cumulated memory: 32832 KiB
[startup+3.11291 s]
/proc/loadavg: 4.16 4.27 4.17 6/244 985797
/proc/meminfo: memFree=117588716/131655788 swapFree=131071996/131071996
[pid=985796] ppid=985793 vsize=205128 memory=192540 CPUtime=3.09 cores=5,7
/proc/985796/stat : 985796 (LS-MabSP) R 985793 985796 983756 0 -1 4194304 46472 0 0 0 303 6 0 0 20 0 1 0 186719018 210051072 48135 134679101440 4194304 15467897 140735048369808 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 56287232 140735048377374 140735048377477 140735048377477 140735048384493 0
/proc/985796/statm: 51282 48135 2705 2753 0 47935 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 205128 KiB
Current children cumulated memory: 192540 KiB
[startup+6.30031 s]
/proc/loadavg: 4.22 4.29 4.17 5/245 985852
/proc/meminfo: memFree=124289488/131655788 swapFree=131071996/131071996
[pid=985796] ppid=985793 vsize=220280 memory=207636 CPUtime=6.27 cores=5,7
/proc/985796/stat : 985796 (LS-MabSP) R 985793 985796 983756 0 -1 4194304 50240 0 0 0 620 7 0 0 20 0 1 0 186719018 225566720 51909 134679101440 4194304 15467897 140735048369808 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 56287232 140735048377374 140735048377477 140735048377477 140735048384493 0
/proc/985796/statm: 55070 51909 2721 2753 0 51723 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 220280 KiB
Current children cumulated memory: 207636 KiB
[startup+12.7003 s]
/proc/loadavg: 4.21 4.28 4.17 5/245 985852
/proc/meminfo: memFree=124084360/131655788 swapFree=131071996/131071996
[pid=985796] ppid=985793 vsize=226304 memory=213476 CPUtime=12.66 cores=5,7
/proc/985796/stat : 985796 (LS-MabSP) R 985793 985796 983756 0 -1 4194304 51768 0 0 0 1258 8 0 0 20 0 1 0 186719018 231735296 53369 134679101440 4194304 15467897 140735048369808 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 56287232 140735048377374 140735048377477 140735048377477 140735048384493 0
/proc/985796/statm: 56576 53369 2721 2753 0 53229 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 226304 KiB
Current children cumulated memory: 213476 KiB
[startup+25.5004 s]
/proc/loadavg: 4.23 4.28 4.18 5/245 985853
/proc/meminfo: memFree=124069620/131655788 swapFree=131071996/131071996
[pid=985796] ppid=985793 vsize=228172 memory=215300 CPUtime=25.42 cores=5,7
/proc/985796/stat : 985796 (LS-MabSP) R 985793 985796 983756 0 -1 4194304 52258 0 0 0 2534 8 0 0 20 0 1 0 186719018 233648128 53825 134679101440 4194304 15467897 140735048369808 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 56287232 140735048377374 140735048377477 140735048377477 140735048384493 0
/proc/985796/statm: 57043 53825 2721 2753 0 53696 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 228172 KiB
Current children cumulated memory: 215300 KiB
[startup+51.113 s]
/proc/loadavg: 4.15 4.26 4.17 5/245 985858
/proc/meminfo: memFree=123842348/131655788 swapFree=131071996/131071996
[pid=985796] ppid=985793 vsize=287732 memory=271636 CPUtime=50.95 cores=5,7
/proc/985796/stat : 985796 (LS-MabSP) R 985793 985796 983756 0 -1 4194304 65398 0 0 0 5084 11 0 0 20 0 1 0 186719018 294637568 67909 134679101440 4194304 15467897 140735048369808 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 56287232 140735048377374 140735048377477 140735048377477 140735048384493 0
/proc/985796/statm: 71933 67909 2817 2753 0 68586 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 287732 KiB
Current children cumulated memory: 271636 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.23 4.17 5/245 985867
/proc/meminfo: memFree=123805424/131655788 swapFree=131071996/131071996
[pid=985796] ppid=985793 vsize=297452 memory=280652 CPUtime=101.98 cores=5,7
/proc/985796/stat : 985796 (LS-MabSP) R 985793 985796 983756 0 -1 4194304 67632 0 0 0 10187 11 0 0 20 0 1 0 186719018 304590848 70163 134679101440 4194304 15467897 140735048369808 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 56287232 140735048377374 140735048377477 140735048377477 140735048384493 0
/proc/985796/statm: 74363 70163 2833 2753 0 71016 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 297452 KiB
Current children cumulated memory: 280652 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.22 4.17 5/244 985878
/proc/meminfo: memFree=123797448/131655788 swapFree=131071996/131071996
[pid=985796] ppid=985793 vsize=297972 memory=281684 CPUtime=161.8 cores=5,7
/proc/985796/stat : 985796 (LS-MabSP) R 985793 985796 983756 0 -1 4194304 67869 0 0 0 16169 11 0 0 20 0 1 0 186719018 305123328 70421 134679101440 4194304 15467897 140735048369808 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 56287232 140735048377374 140735048377477 140735048377477 140735048384493 0
/proc/985796/statm: 74493 70421 2833 2753 0 71146 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 297972 KiB
Current children cumulated memory: 281684 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.19 4.16 5/244 985888
/proc/meminfo: memFree=123658976/131655788 swapFree=131071996/131071996
[pid=985796] ppid=985793 vsize=301876 memory=284784 CPUtime=221.62 cores=5,7
/proc/985796/stat : 985796 (LS-MabSP) R 985793 985796 983756 0 -1 4194304 68160 0 0 0 22151 11 0 0 20 0 1 0 186719018 309121024 71196 134679101440 4194304 15467897 140735048369808 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 56287232 140735048377374 140735048377477 140735048377477 140735048384493 0
/proc/985796/statm: 75469 71196 2833 2753 0 72122 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 301876 KiB
Current children cumulated memory: 284784 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.17 4.16 5/244 985898
/proc/meminfo: memFree=123484908/131655788 swapFree=131071996/131071996
[pid=985796] ppid=985793 vsize=371580 memory=353968 CPUtime=281.45 cores=5,7
/proc/985796/stat : 985796 (LS-MabSP) R 985793 985796 983756 0 -1 4194304 74210 0 0 0 28131 14 0 0 20 0 1 0 186719018 380497920 88492 134679101440 4194304 15467897 140735048369808 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 56287232 140735048377374 140735048377477 140735048377477 140735048384493 0
/proc/985796/statm: 92895 88492 2849 2753 0 89548 0
Current children cumulated CPU time: 281.45 s
Current children cumulated vsize: 371580 KiB
Current children cumulated memory: 353968 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.15 4.15 5/241 985910
/proc/meminfo: memFree=123439528/131655788 swapFree=131071996/131071996
[pid=985796] ppid=985793 vsize=387816 memory=368656 CPUtime=341.29 cores=5,7
/proc/985796/stat : 985796 (LS-MabSP) R 985793 985796 983756 0 -1 4194304 77918 0 0 0 34114 15 0 0 20 0 1 0 186719018 397123584 92164 134679101440 4194304 15467897 140735048369808 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 56287232 140735048377374 140735048377477 140735048377477 140735048384493 0
/proc/985796/statm: 96954 92164 2849 2753 0 93607 0
Current children cumulated CPU time: 341.29 s
Current children cumulated vsize: 387816 KiB
Current children cumulated memory: 368656 KiB
[startup+402.3 s]
/proc/loadavg: 4.62 4.28 4.20 5/241 985920
/proc/meminfo: memFree=123403736/131655788 swapFree=131071996/131071996
[pid=985796] ppid=985793 vsize=398448 memory=379692 CPUtime=401.11 cores=5,7
/proc/985796/stat : 985796 (LS-MabSP) R 985793 985796 983756 0 -1 4194304 80684 0 0 0 40096 15 0 0 20 0 1 0 186719018 408010752 94923 134679101440 4194304 15467897 140735048369808 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 56287232 140735048377374 140735048377477 140735048377477 140735048384493 0
/proc/985796/statm: 99612 94923 2849 2753 0 96265 0
Current children cumulated CPU time: 401.11 s
Current children cumulated vsize: 398448 KiB
Current children cumulated memory: 379692 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=985796] ppid=985793 vsize=401844 memory=382444 CPUtime=460.94 cores=5,7
/proc/985796/stat : 985796 (LS-MabSP) R 985793 985796 983756 0 -1 4194304 81009 0 0 0 46079 15 0 0 20 0 1 0 186719018 411488256 95611 134679101440 4194304 15467897 140735048369808 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 56287232 140735048377374 140735048377477 140735048377477 140735048384493 0
/proc/985796/statm: 100461 95611 2849 2753 0 97114 0
################
# More data... #
################
/proc/loadavg: 4.16 4.17 4.18 5/242 987388
/proc/meminfo: memFree=123225692/131655788 swapFree=131071996/131071996
[pid=985796] ppid=985793 vsize=425280 memory=419892 CPUtime=3213.68 cores=5,7
/proc/985796/stat : 985796 (LS-MabSP) R 985793 985796 983756 0 -1 4194304 107230 0 0 0 317196 4172 0 0 20 0 1 0 186719018 435486720 104973 134679101440 4194304 15467897 140735048369808 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 56287232 140735048377374 140735048377477 140735048377477 140735048384493 0
/proc/985796/statm: 106320 104973 2849 2753 0 102973 0
Current children cumulated CPU time: 3213.68 s
Current children cumulated vsize: 425280 KiB
Current children cumulated memory: 419892 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=985796] ppid=985793 vsize=425280 memory=419892 CPUtime=3273.55 cores=5,7
/proc/985796/stat : 985796 (LS-MabSP) R 985793 985796 983756 0 -1 4194304 107251 0 0 0 323012 4343 0 0 20 0 1 0 186719018 435486720 104973 134679101440 4194304 15467897 140735048369808 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 56287232 140735048377374 140735048377477 140735048377477 140735048384493 0
/proc/985796/statm: 106320 104973 2849 2753 0 102973 0
Current children cumulated CPU time: 3273.55 s
Current children cumulated vsize: 425280 KiB
Current children cumulated memory: 419892 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=985796] ppid=985793 vsize=425280 memory=419892 CPUtime=3333.42 cores=5,7
/proc/985796/stat : 985796 (LS-MabSP) R 985793 985796 983756 0 -1 4194304 107272 0 0 0 328822 4520 0 0 20 0 1 0 186719018 435486720 104973 134679101440 4194304 15467897 140735048369808 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 56287232 140735048377374 140735048377477 140735048377477 140735048384493 0
/proc/985796/statm: 106320 104973 2849 2753 0 102973 0
Current children cumulated CPU time: 3333.42 s
Current children cumulated vsize: 425280 KiB
Current children cumulated memory: 419892 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.17 4.18 5/243 987588
/proc/meminfo: memFree=123224960/131655788 swapFree=131071996/131071996
[pid=985796] ppid=985793 vsize=425280 memory=419892 CPUtime=3393.28 cores=5,7
/proc/985796/stat : 985796 (LS-MabSP) R 985793 985796 983756 0 -1 4194304 107293 0 0 0 334634 4694 0 0 20 0 1 0 186719018 435486720 104973 134679101440 4194304 15467897 140735048369808 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 56287232 140735048377374 140735048377477 140735048377477 140735048384493 0
/proc/985796/statm: 106320 104973 2849 2753 0 102973 0
Current children cumulated CPU time: 3393.28 s
Current children cumulated vsize: 425280 KiB
Current children cumulated memory: 419892 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=985796] ppid=985793 vsize=425280 memory=419892 CPUtime=3453.16 cores=5,7
/proc/985796/stat : 985796 (LS-MabSP) R 985793 985796 983756 0 -1 4194304 107314 0 0 0 340448 4868 0 0 20 0 1 0 186719018 435486720 104973 134679101440 4194304 15467897 140735048369808 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 56287232 140735048377374 140735048377477 140735048377477 140735048384493 0
/proc/985796/statm: 106320 104973 2849 2753 0 102973 0
Current children cumulated CPU time: 3453.16 s
Current children cumulated vsize: 425280 KiB
Current children cumulated memory: 419892 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=985796] ppid=985793 vsize=425280 memory=419892 CPUtime=3513.02 cores=5,7
/proc/985796/stat : 985796 (LS-MabSP) R 985793 985796 983756 0 -1 4194304 107335 0 0 0 346255 5047 0 0 20 0 1 0 186719018 435486720 104973 134679101440 4194304 15467897 140735048369808 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 56287232 140735048377374 140735048377477 140735048377477 140735048384493 0
/proc/985796/statm: 106320 104973 2849 2753 0 102973 0
Current children cumulated CPU time: 3513.02 s
Current children cumulated vsize: 425280 KiB
Current children cumulated memory: 419892 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=985796] ppid=985793 vsize=425280 memory=419892 CPUtime=3572.88 cores=5,7
/proc/985796/stat : 985796 (LS-MabSP) R 985793 985796 983756 0 -1 4194304 107356 0 0 0 352067 5221 0 0 20 0 1 0 186719018 435486720 104973 134679101440 4194304 15467897 140735048369808 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 56287232 140735048377374 140735048377477 140735048377477 140735048384493 0
/proc/985796/statm: 106320 104973 2849 2753 0 102973 0
Current children cumulated CPU time: 3572.88 s
Current children cumulated vsize: 425280 KiB
Current children cumulated memory: 419892 KiB
[startup+3609.47 s]
# the end of solver process 985796 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3546.99 s, system=53.0151 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.09 4.14 4.17 5/243 987676
/proc/meminfo: memFree=123224104/131655788 swapFree=131071996/131071996
[pid=985796] ppid=985793 vsize=425280 memory=419892 CPUtime=3574.6 cores=5,7
/proc/985796/stat : 985796 (LS-MabSP) R 985793 985796 983756 0 -1 4194304 107356 0 0 0 352233 5227 0 0 20 0 1 0 186719018 435486720 104973 134679101440 4194304 15467897 140735048369808 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 56287232 140735048377374 140735048377477 140735048377477 140735048384493 0
/proc/985796/statm: 106320 104973 2849 2753 0 102973 0
Current children cumulated CPU time: 3574.6 s
Current children cumulated vsize: 425280 KiB
Current children cumulated memory: 419892 KiB
[startup+3596.8 s]
/proc/loadavg: 4.16 4.16 4.17 5/243 987679
/proc/meminfo: memFree=123224048/131655788 swapFree=131071996/131071996
[pid=985796] ppid=985793 vsize=425280 memory=419892 CPUtime=3587.36 cores=5,7
/proc/985796/stat : 985796 (LS-MabSP) R 985793 985796 983756 0 -1 4194304 107356 0 0 0 353474 5262 0 0 20 0 1 0 186719018 435486720 104973 134679101440 4194304 15467897 140735048369808 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 56287232 140735048377374 140735048377477 140735048377477 140735048384493 0
/proc/985796/statm: 106320 104973 2849 2753 0 102973 0
Current children cumulated CPU time: 3587.36 s
Current children cumulated vsize: 425280 KiB
Current children cumulated memory: 419892 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=985796] ppid=985793 vsize=425280 memory=419892 CPUtime=3593.74 cores=5,7
/proc/985796/stat : 985796 (LS-MabSP) R 985793 985796 983756 0 -1 4194304 107356 0 0 0 354092 5282 0 0 20 0 1 0 186719018 435486720 104973 134679101440 4194304 15467897 140735048369808 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 56287232 140735048377374 140735048377477 140735048377477 140735048384493 0
/proc/985796/statm: 106320 104973 2849 2753 0 102973 0
Current children cumulated CPU time: 3593.74 s
Current children cumulated vsize: 425280 KiB
Current children cumulated memory: 419892 KiB
[startup+3606.4 s]
/proc/loadavg: 4.13 4.15 4.17 5/237 987716
/proc/meminfo: memFree=123580128/131655788 swapFree=131071996/131071996
[pid=985796] ppid=985793 vsize=425280 memory=419892 CPUtime=3596.94 cores=5,7
/proc/985796/stat : 985796 (LS-MabSP) R 985793 985796 983756 0 -1 4194304 107356 0 0 0 354403 5291 0 0 20 0 1 0 186719018 435486720 104973 134679101440 4194304 15467897 140735048369808 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 56287232 140735048377374 140735048377477 140735048377477 140735048384493 0
/proc/985796/statm: 106320 104973 2849 2753 0 102973 0
Current children cumulated CPU time: 3596.94 s
Current children cumulated vsize: 425280 KiB
Current children cumulated memory: 419892 KiB
[startup+3608 s]*
/proc/loadavg: 4.13 4.15 4.17 5/243 987772
/proc/meminfo: memFree=123868820/131655788 swapFree=131071996/131071996
[pid=985796] ppid=985793 vsize=425280 memory=419892 CPUtime=3598.54 cores=5,7
/proc/985796/stat : 985796 (LS-MabSP) R 985793 985796 983756 0 -1 4194304 107356 0 0 0 354558 5296 0 0 20 0 1 0 186719018 435486720 104973 134679101440 4194304 15467897 140735048369808 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 56287232 140735048377374 140735048377477 140735048377477 140735048384493 0
/proc/985796/statm: 106320 104973 2849 2753 0 102973 0
Current children cumulated CPU time: 3598.54 s
Current children cumulated vsize: 425280 KiB
Current children cumulated memory: 419892 KiB
[startup+3608.8 s]
/proc/loadavg: 4.13 4.15 4.17 5/243 987772
/proc/meminfo: memFree=123868820/131655788 swapFree=131071996/131071996
[pid=985796] ppid=985793 vsize=425280 memory=419892 CPUtime=3599.33 cores=5,7
/proc/985796/stat : 985796 (LS-MabSP) R 985793 985796 983756 0 -1 4194304 107356 0 0 0 354635 5298 0 0 20 0 1 0 186719018 435486720 104973 134679101440 4194304 15467897 140735048369808 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 56287232 140735048377374 140735048377477 140735048377477 140735048384493 0
/proc/985796/statm: 106320 104973 2849 2753 0 102973 0
Current children cumulated CPU time: 3599.33 s
Current children cumulated vsize: 425280 KiB
Current children cumulated memory: 419892 KiB
[startup+3609.2 s]
/proc/loadavg: 4.12 4.15 4.17 5/243 987772
/proc/meminfo: memFree=123867324/131655788 swapFree=131071996/131071996
[pid=985796] ppid=985793 vsize=425280 memory=419892 CPUtime=3599.73 cores=5,7
/proc/985796/stat : 985796 (LS-MabSP) R 985793 985796 983756 0 -1 4194304 107356 0 0 0 354673 5300 0 0 20 0 1 0 186719018 435486720 104973 134679101440 4194304 15467897 140735048369808 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 56287232 140735048377374 140735048377477 140735048377477 140735048384493 0
/proc/985796/statm: 106320 104973 2849 2753 0 102973 0
Current children cumulated CPU time: 3599.73 s
Current children cumulated vsize: 425280 KiB
Current children cumulated memory: 419892 KiB
[startup+3609.4 s]
/proc/loadavg: 4.12 4.15 4.17 5/243 987772
/proc/meminfo: memFree=123867324/131655788 swapFree=131071996/131071996
[pid=985796] ppid=985793 vsize=425280 memory=419892 CPUtime=3599.93 cores=5,7
/proc/985796/stat : 985796 (LS-MabSP) R 985793 985796 983756 0 -1 4194304 107356 0 0 0 354692 5301 0 0 20 0 1 0 186719018 435486720 104973 134679101440 4194304 15467897 140735048369808 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 56287232 140735048377374 140735048377477 140735048377477 140735048384493 0
/proc/985796/statm: 106320 104973 2849 2753 0 102973 0
Current children cumulated CPU time: 3599.93 s
Current children cumulated vsize: 425280 KiB
Current children cumulated memory: 419892 KiB
Child status: 0
Real time (s): 3609.47
CPU time (s): 3600.01
CPU user time (s): 3546.99
CPU system time (s): 53.0151
CPU usage (%): 99.7378
Max. virtual memory (cumulated for all children) (KiB): 498104
Max. memory (cumulated for all children) (KiB): 490236
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3546.99
system time used= 53.0151
maximum resident set size= 490236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 107364
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= 24
involuntary context switches= 1316
# summary of solver processes directly reported to runsolver:
# pid: 985796
# total CPU time (s): 3600.01
# total CPU user time (s): 3546.99
# total CPU system time (s): 53.0151
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.6538 second user time and 34.5496 second system time
The end
Begin job on nodeC006 at 2024-07-19 01:33:35
IDJOB=4446696
IDBENCH=158293
IDSOLVER=3047
FILE ID=nodeC006/4446696-1721345603
RUNJOBID= nodeC006-1721342003-983769
SLURM_JOB_ID= 7542736
Free space on /tmp= 723424 MiB
SOLVER NAME= LS-MabSP 2024-07-10
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K162.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-4446696-1721345603/watcher-4446696-1721345603 -o /tmp/evaluation-result-4446696-1721345603/solver-4446696-1721345603 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721342003-983769 --watchdog 3760 ./LS-MabSP -f HOME/instance-4446696-1721345603.opb -t 3600 -s 1392393759
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 3691972eca5819945d0aaf6ae8165cd0
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 : 3658.422
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 : 3595.542
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.444
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 : 1197.247
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 : 3551.397
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 : 3491.977
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.474
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 : 2394.498
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: 118061400 kB
MemAvailable: 124020320 kB
Buffers: 513704 kB
Cached: 6212048 kB
SwapCached: 0 kB
Active: 1301760 kB
Inactive: 11570172 kB
Active(anon): 1464 kB
Inactive(anon): 6182468 kB
Active(file): 1300296 kB
Inactive(file): 5387704 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 897008 kB
Writeback: 0 kB
AnonPages: 6145952 kB
Mapped: 255836 kB
Shmem: 37708 kB
KReclaimable: 221904 kB
Slab: 338556 kB
SReclaimable: 221904 kB
SUnreclaim: 116652 kB
KernelStack: 3936 kB
PageTables: 21424 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 7001060 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 59200 kB
HardwareCorrupted: 0 kB
AnonHugePages: 5361664 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:45