0.00/0.03 c Filename:instance-4448047-1721364612.opb, Cutoff_time:3600, memory_limit_gb:500000
0.00/0.03 c Not use presolve
3599.92/3609.47 c Use LS-small
3599.92/3609.47 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: 63931 MiB (61077 MiB free)
memory of node 1: 64510 MiB (61789 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4448047-1721364612/watcher-4448047-1721364612 -o /tmp/evaluation-result-4448047-1721364612/solver-4448047-1721364612 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721361018-988603 --watchdog 3760 ./LS-MabS -f HOME/instance-4448047-1721364612.opb -t 3600 -s 2048531166
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=990596, runsolver pid=990593
Current StackSize limit: 8192 KiB
[startup+0.100104 s]*
/proc/loadavg: 4.10 4.11 4.09 5/257 990597
/proc/meminfo: memFree=125799788/131524600 swapFree=131071996/131071996
[pid=990596] ppid=990593 vsize=35932 memory=25992 CPUtime=0.09 cores=4,6
/proc/990596/stat : 990596 (LS-MabS) R 990593 990596 988592 0 -1 4194304 4886 0 0 0 9 0 0 0 20 0 1 0 188626165 36794368 6498 134679101440 4194304 14036057 140736178678480 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 26972160 140736178680864 140736178680966 140736178680966 140736178687982 0
/proc/990596/statm: 8983 6498 2461 2403 0 6093 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 35932 KiB
Current children cumulated memory: 25992 KiB
[startup+0.205491 s]*
/proc/loadavg: 4.10 4.11 4.09 4/255 990597
/proc/meminfo: memFree=126683276/131524600 swapFree=131071996/131071996
[pid=990596] ppid=990593 vsize=36436 memory=26520 CPUtime=0.2 cores=4,6
/proc/990596/stat : 990596 (LS-MabS) R 990593 990596 988592 0 -1 4194304 5036 0 0 0 20 0 0 0 20 0 1 0 188626165 37310464 6630 134679101440 4194304 14036057 140736178678480 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 26972160 140736178680864 140736178680966 140736178680966 140736178687982 0
/proc/990596/statm: 9109 6630 2461 2403 0 6219 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 36436 KiB
Current children cumulated memory: 26520 KiB
[startup+0.305203 s]*
/proc/loadavg: 4.10 4.11 4.09 5/255 990611
/proc/meminfo: memFree=126683888/131524600 swapFree=131071996/131071996
[pid=990596] ppid=990593 vsize=36872 memory=27312 CPUtime=0.3 cores=4,6
/proc/990596/stat : 990596 (LS-MabS) R 990593 990596 988592 0 -1 4194304 5217 0 0 0 30 0 0 0 20 0 1 0 188626165 37756928 6828 134679101440 4194304 14036057 140736178678480 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 26972160 140736178680864 140736178680966 140736178680966 140736178687982 0
/proc/990596/statm: 9218 6828 2461 2403 0 6328 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 36872 KiB
Current children cumulated memory: 27312 KiB
[startup+0.70015 s]
/proc/loadavg: 4.10 4.11 4.09 5/251 990633
/proc/meminfo: memFree=126680552/131524600 swapFree=131071996/131071996
[pid=990596] ppid=990593 vsize=40156 memory=31360 CPUtime=0.69 cores=4,6
/proc/990596/stat : 990596 (LS-MabS) R 990593 990596 988592 0 -1 4194304 6460 0 0 0 69 0 0 0 20 0 1 0 188626165 41119744 7840 134679101440 4194304 14036057 140736178678480 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 26972160 140736178680864 140736178680966 140736178680966 140736178687982 0
/proc/990596/statm: 10039 7840 2461 2403 0 7149 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 40156 KiB
Current children cumulated memory: 31360 KiB
[startup+1.50016 s]
/proc/loadavg: 4.17 4.12 4.10 5/257 990643
/proc/meminfo: memFree=126662288/131524600 swapFree=131071996/131071996
[pid=990596] ppid=990593 vsize=42528 memory=34000 CPUtime=1.48 cores=4,6
/proc/990596/stat : 990596 (LS-MabS) R 990593 990596 988592 0 -1 4194304 7107 0 0 0 148 0 0 0 20 0 1 0 188626165 43548672 8500 134679101440 4194304 14036057 140736178678480 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 26972160 140736178680864 140736178680966 140736178680966 140736178687982 0
/proc/990596/statm: 10632 8500 2461 2403 0 7742 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 42528 KiB
Current children cumulated memory: 34000 KiB
[startup+3.10583 s]
/proc/loadavg: 4.17 4.12 4.10 5/257 990643
/proc/meminfo: memFree=126636016/131524600 swapFree=131071996/131071996
[pid=990596] ppid=990593 vsize=58868 memory=50332 CPUtime=3.08 cores=4,6
/proc/990596/stat : 990596 (LS-MabS) R 990593 990596 988592 0 -1 4194304 11412 0 0 0 308 0 0 0 20 0 1 0 188626165 60280832 12583 134679101440 4194304 14036057 140736178678480 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 26972160 140736178680864 140736178680966 140736178680966 140736178687982 0
/proc/990596/statm: 14717 12583 2461 2403 0 11827 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 58868 KiB
Current children cumulated memory: 50332 KiB
[startup+6.3002 s]
/proc/loadavg: 4.16 4.12 4.09 5/257 990689
/proc/meminfo: memFree=126935780/131524600 swapFree=131071996/131071996
[pid=990596] ppid=990593 vsize=59852 memory=51388 CPUtime=6.27 cores=4,6
/proc/990596/stat : 990596 (LS-MabS) R 990593 990596 988592 0 -1 4194304 11670 0 0 0 626 1 0 0 20 0 1 0 188626165 61288448 12847 134679101440 4194304 14036057 140736178678480 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 26972160 140736178680864 140736178680966 140736178680966 140736178687982 0
/proc/990596/statm: 14963 12847 2461 2403 0 12073 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 59852 KiB
Current children cumulated memory: 51388 KiB
[startup+12.7002 s]
/proc/loadavg: 4.22 4.13 4.10 5/257 990691
/proc/meminfo: memFree=126913240/131524600 swapFree=131071996/131071996
[pid=990596] ppid=990593 vsize=66656 memory=58328 CPUtime=12.65 cores=4,6
/proc/990596/stat : 990596 (LS-MabS) R 990593 990596 988592 0 -1 4194304 14791 0 0 0 1264 1 0 0 20 0 1 0 188626165 68255744 14582 134679101440 4194304 14036057 140736178678480 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 26972160 140736178680864 140736178680966 140736178680966 140736178687982 0
/proc/990596/statm: 16664 14582 2461 2403 0 13774 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 66656 KiB
Current children cumulated memory: 58328 KiB
[startup+25.5002 s]
/proc/loadavg: 4.19 4.13 4.10 5/257 990692
/proc/meminfo: memFree=126874104/131524600 swapFree=131071996/131071996
[pid=990596] ppid=990593 vsize=76500 memory=67840 CPUtime=25.39 cores=4,6
/proc/990596/stat : 990596 (LS-MabS) R 990593 990596 988592 0 -1 4194304 17468 0 0 0 2538 1 0 0 20 0 1 0 188626165 78336000 16960 134679101440 4194304 14036057 140736178678480 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 26972160 140736178680864 140736178680966 140736178680966 140736178687982 0
/proc/990596/statm: 19125 16960 2461 2403 0 16235 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 76500 KiB
Current children cumulated memory: 67840 KiB
[startup+51.1056 s]
/proc/loadavg: 4.11 4.12 4.09 5/257 990698
/proc/meminfo: memFree=126825004/131524600 swapFree=131071996/131071996
[pid=990596] ppid=990593 vsize=100848 memory=93468 CPUtime=50.9 cores=4,6
/proc/990596/stat : 990596 (LS-MabS) R 990593 990596 988592 0 -1 4194304 24157 0 0 0 5087 3 0 0 20 0 1 0 188626165 103268352 23367 134679101440 4194304 14036057 140736178678480 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 26972160 140736178680864 140736178680966 140736178680966 140736178687982 0
/proc/990596/statm: 25212 23367 2461 2403 0 22322 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 100848 KiB
Current children cumulated memory: 93468 KiB
[startup+102.3 s]
/proc/loadavg: 4.17 4.13 4.09 5/256 990707
/proc/meminfo: memFree=126700656/131524600 swapFree=131071996/131071996
[pid=990596] ppid=990593 vsize=161008 memory=152452 CPUtime=101.89 cores=4,6
/proc/990596/stat : 990596 (LS-MabS) R 990593 990596 988592 0 -1 4194304 39607 0 0 0 10184 5 0 0 20 0 1 0 188626165 164872192 38113 134679101440 4194304 14036057 140736178678480 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 26972160 140736178680864 140736178680966 140736178680966 140736178687982 0
/proc/990596/statm: 40252 38113 2461 2403 0 37362 0
Current children cumulated CPU time: 101.89 s
Current children cumulated vsize: 161008 KiB
Current children cumulated memory: 152452 KiB
[startup+162.3 s]
/proc/loadavg: 4.35 4.19 4.12 5/256 990717
/proc/meminfo: memFree=126550296/131524600 swapFree=131071996/131071996
[pid=990596] ppid=990593 vsize=226788 memory=219604 CPUtime=161.68 cores=4,6
/proc/990596/stat : 990596 (LS-MabS) R 990593 990596 988592 0 -1 4194304 56711 0 0 0 16159 9 0 0 20 0 1 0 188626165 232230912 54901 134679101440 4194304 14036057 140736178678480 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 26972160 140736178680864 140736178680966 140736178680966 140736178687982 0
/proc/990596/statm: 56697 54901 2461 2403 0 53807 0
Current children cumulated CPU time: 161.68 s
Current children cumulated vsize: 226788 KiB
Current children cumulated memory: 219604 KiB
[startup+222.3 s]
/proc/loadavg: 4.17 4.17 4.11 5/256 990729
/proc/meminfo: memFree=126380620/131524600 swapFree=131071996/131071996
[pid=990596] ppid=990593 vsize=294044 memory=283492 CPUtime=221.49 cores=4,6
/proc/990596/stat : 990596 (LS-MabS) R 990593 990596 988592 0 -1 4194304 73815 0 0 0 22138 11 0 0 20 0 1 0 188626165 301101056 70873 134679101440 4194304 14036057 140736178678480 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 26972160 140736178680864 140736178680966 140736178680966 140736178687982 0
/proc/990596/statm: 73511 70873 2461 2403 0 70621 0
Current children cumulated CPU time: 221.49 s
Current children cumulated vsize: 294044 KiB
Current children cumulated memory: 283492 KiB
[startup+282.3 s]
/proc/loadavg: 4.16 4.17 4.11 5/256 991125
/proc/meminfo: memFree=126342040/131524600 swapFree=131071996/131071996
[pid=990596] ppid=990593 vsize=350004 memory=340436 CPUtime=281.3 cores=4,6
/proc/990596/stat : 990596 (LS-MabS) R 990593 990596 988592 0 -1 4194304 88406 0 0 0 28116 14 0 0 20 0 1 0 188626165 358404096 85109 134679101440 4194304 14036057 140736178678480 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 26972160 140736178680864 140736178680966 140736178680966 140736178687982 0
/proc/990596/statm: 87501 85109 2461 2403 0 84611 0
Current children cumulated CPU time: 281.3 s
Current children cumulated vsize: 350004 KiB
Current children cumulated memory: 340436 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.15 4.11 5/255 991135
/proc/meminfo: memFree=126218296/131524600 swapFree=131071996/131071996
[pid=990596] ppid=990593 vsize=402152 memory=393604 CPUtime=341.09 cores=4,6
/proc/990596/stat : 990596 (LS-MabS) R 990593 990596 988592 0 -1 4194304 102016 0 0 0 34094 15 0 0 20 0 1 0 188626165 411803648 98401 134679101440 4194304 14036057 140736178678480 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 26972160 140736178680864 140736178680966 140736178680966 140736178687982 0
/proc/990596/statm: 100538 98401 2461 2403 0 97648 0
Current children cumulated CPU time: 341.09 s
Current children cumulated vsize: 402152 KiB
Current children cumulated memory: 393604 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 4.15 4.11 5/255 991146
/proc/meminfo: memFree=126087652/131524600 swapFree=131071996/131071996
[pid=990596] ppid=990593 vsize=450888 memory=442704 CPUtime=400.89 cores=4,6
/proc/990596/stat : 990596 (LS-MabS) R 990593 990596 988592 0 -1 4194304 114296 0 0 0 40071 18 0 0 20 0 1 0 188626165 461709312 110676 134679101440 4194304 14036057 140736178678480 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 26972160 140736178680864 140736178680966 140736178680966 140736178687982 0
/proc/990596/statm: 112722 110676 2461 2403 0 109832 0
Current children cumulated CPU time: 400.89 s
Current children cumulated vsize: 450888 KiB
Current children cumulated memory: 442704 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.14 4.10 5/257 991327
/proc/meminfo: memFree=125959632/131524600 swapFree=131071996/131071996
[pid=990596] ppid=990593 vsize=498276 memory=481944 CPUtime=460.69 cores=4,6
/proc/990596/stat : 990596 (LS-MabS) R 990593 990596 988592 0 -1 4194304 124189 0 0 0 46049 20 0 0 20 0 1 0 188626165 510234624 120486 134679101440 4194304 14036057 140736178678480 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 26972160 140736178680864 140736178680966 140736178680966 140736178687982 0
/proc/990596/statm: 124569 120486 2461 2403 0 121679 0
################
# More data... #
################
/proc/loadavg: 4.13 4.18 4.15 5/258 992467
/proc/meminfo: memFree=124321732/131524600 swapFree=131071996/131071996
[pid=990596] ppid=990593 vsize=1051056 memory=1043320 CPUtime=3213.54 cores=4,6
/proc/990596/stat : 990596 (LS-MabS) R 990593 990596 988592 0 -1 4194304 298870 0 0 0 287854 33500 0 0 20 0 1 0 188626165 1076281344 260830 134679101440 4194304 14036057 140736178678480 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 26972160 140736178680864 140736178680966 140736178680966 140736178687982 0
/proc/990596/statm: 262764 260830 2461 2403 0 259874 0
Current children cumulated CPU time: 3213.54 s
Current children cumulated vsize: 1051056 KiB
Current children cumulated memory: 1043320 KiB
[startup+3282.3 s]
/proc/loadavg: 4.16 4.18 4.15 5/258 992478
/proc/meminfo: memFree=124321384/131524600 swapFree=131071996/131071996
[pid=990596] ppid=990593 vsize=1051056 memory=1043320 CPUtime=3273.43 cores=4,6
/proc/990596/stat : 990596 (LS-MabS) R 990593 990596 988592 0 -1 4194304 298872 0 0 0 292429 34914 0 0 20 0 1 0 188626165 1076281344 260830 134679101440 4194304 14036057 140736178678480 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 26972160 140736178680864 140736178680966 140736178680966 140736178687982 0
/proc/990596/statm: 262764 260830 2461 2403 0 259874 0
Current children cumulated CPU time: 3273.43 s
Current children cumulated vsize: 1051056 KiB
Current children cumulated memory: 1043320 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.16 4.14 5/255 992488
/proc/meminfo: memFree=124321232/131524600 swapFree=131071996/131071996
[pid=990596] ppid=990593 vsize=1051056 memory=1043320 CPUtime=3333.31 cores=4,6
/proc/990596/stat : 990596 (LS-MabS) R 990593 990596 988592 0 -1 4194304 298874 0 0 0 296997 36334 0 0 20 0 1 0 188626165 1076281344 260830 134679101440 4194304 14036057 140736178678480 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 26972160 140736178680864 140736178680966 140736178680966 140736178687982 0
/proc/990596/statm: 262764 260830 2461 2403 0 259874 0
Current children cumulated CPU time: 3333.31 s
Current children cumulated vsize: 1051056 KiB
Current children cumulated memory: 1043320 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.14 4.14 5/254 992498
/proc/meminfo: memFree=124320956/131524600 swapFree=131071996/131071996
[pid=990596] ppid=990593 vsize=1051056 memory=1043320 CPUtime=3393.21 cores=4,6
/proc/990596/stat : 990596 (LS-MabS) R 990593 990596 988592 0 -1 4194304 298876 0 0 0 301568 37753 0 0 20 0 1 0 188626165 1076281344 260830 134679101440 4194304 14036057 140736178678480 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 26972160 140736178680864 140736178680966 140736178680966 140736178687982 0
/proc/990596/statm: 262764 260830 2461 2403 0 259874 0
Current children cumulated CPU time: 3393.21 s
Current children cumulated vsize: 1051056 KiB
Current children cumulated memory: 1043320 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.14 4.14 5/256 992512
/proc/meminfo: memFree=124320472/131524600 swapFree=131071996/131071996
[pid=990596] ppid=990593 vsize=1051056 memory=1043344 CPUtime=3453.1 cores=4,6
/proc/990596/stat : 990596 (LS-MabS) R 990593 990596 988592 0 -1 4194304 298878 0 0 0 306129 39181 0 0 20 0 1 0 188626165 1076281344 260836 134679101440 4194304 14036057 140736178678480 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 26972160 140736178680864 140736178680966 140736178680966 140736178687982 0
/proc/990596/statm: 262764 260836 2461 2403 0 259874 0
Current children cumulated CPU time: 3453.1 s
Current children cumulated vsize: 1051056 KiB
Current children cumulated memory: 1043344 KiB
[startup+3522.3 s]
/proc/loadavg: 4.23 4.16 4.14 5/256 992522
/proc/meminfo: memFree=124319284/131524600 swapFree=131071996/131071996
[pid=990596] ppid=990593 vsize=1051056 memory=1044252 CPUtime=3512.98 cores=4,6
/proc/990596/stat : 990596 (LS-MabS) R 990593 990596 988592 0 -1 4194304 298880 0 0 0 310670 40628 0 0 20 0 1 0 188626165 1076281344 261063 134679101440 4194304 14036057 140736178678480 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 26972160 140736178680864 140736178680966 140736178680966 140736178687982 0
/proc/990596/statm: 262764 261063 2461 2403 0 259874 0
Current children cumulated CPU time: 3512.98 s
Current children cumulated vsize: 1051056 KiB
Current children cumulated memory: 1044252 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.15 4.14 5/258 992536
/proc/meminfo: memFree=124318872/131524600 swapFree=131071996/131071996
[pid=990596] ppid=990593 vsize=1051056 memory=1044252 CPUtime=3572.87 cores=4,6
/proc/990596/stat : 990596 (LS-MabS) R 990593 990596 988592 0 -1 4194304 298882 0 0 0 315244 42043 0 0 20 0 1 0 188626165 1076281344 261063 134679101440 4194304 14036057 140736178678480 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 26972160 140736178680864 140736178680966 140736178680966 140736178687982 0
/proc/990596/statm: 262764 261063 2461 2403 0 259874 0
Current children cumulated CPU time: 3572.87 s
Current children cumulated vsize: 1051056 KiB
Current children cumulated memory: 1044252 KiB
[startup+3609.48 s]
# the end of solver process 990596 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3173.11 s, system=426.9 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.12 4.15 4.14 5/258 992536
/proc/meminfo: memFree=124318920/131524600 swapFree=131071996/131071996
[pid=990596] ppid=990593 vsize=1051056 memory=1044252 CPUtime=3574.57 cores=4,6
/proc/990596/stat : 990596 (LS-MabS) R 990593 990596 988592 0 -1 4194304 298882 0 0 0 315374 42083 0 0 20 0 1 0 188626165 1076281344 261063 134679101440 4194304 14036057 140736178678480 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 26972160 140736178680864 140736178680966 140736178680966 140736178687982 0
/proc/990596/statm: 262764 261063 2461 2403 0 259874 0
Current children cumulated CPU time: 3574.57 s
Current children cumulated vsize: 1051056 KiB
Current children cumulated memory: 1044252 KiB
[startup+3596.8 s]
/proc/loadavg: 4.18 4.16 4.14 5/258 992538
/proc/meminfo: memFree=124318912/131524600 swapFree=131071996/131071996
[pid=990596] ppid=990593 vsize=1051056 memory=1044252 CPUtime=3587.34 cores=4,6
/proc/990596/stat : 990596 (LS-MabS) R 990593 990596 988592 0 -1 4194304 298883 0 0 0 316344 42390 0 0 20 0 1 0 188626165 1076281344 261063 134679101440 4194304 14036057 140736178678480 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 26972160 140736178680864 140736178680966 140736178680966 140736178687982 0
/proc/990596/statm: 262764 261063 2461 2403 0 259874 0
Current children cumulated CPU time: 3587.34 s
Current children cumulated vsize: 1051056 KiB
Current children cumulated memory: 1044252 KiB
[startup+3603.2 s]
/proc/loadavg: 4.15 4.15 4.14 5/258 992539
/proc/meminfo: memFree=124318884/131524600 swapFree=131071996/131071996
[pid=990596] ppid=990593 vsize=1051056 memory=1044252 CPUtime=3593.73 cores=4,6
/proc/990596/stat : 990596 (LS-MabS) R 990593 990596 988592 0 -1 4194304 298883 0 0 0 316833 42540 0 0 20 0 1 0 188626165 1076281344 261063 134679101440 4194304 14036057 140736178678480 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 26972160 140736178680864 140736178680966 140736178680966 140736178687982 0
/proc/990596/statm: 262764 261063 2461 2403 0 259874 0
Current children cumulated CPU time: 3593.73 s
Current children cumulated vsize: 1051056 KiB
Current children cumulated memory: 1044252 KiB
[startup+3606.4 s]
/proc/loadavg: 4.15 4.15 4.14 5/258 992539
/proc/meminfo: memFree=124318884/131524600 swapFree=131071996/131071996
[pid=990596] ppid=990593 vsize=1051056 memory=1044252 CPUtime=3596.93 cores=4,6
/proc/990596/stat : 990596 (LS-MabS) R 990593 990596 988592 0 -1 4194304 298883 0 0 0 317078 42615 0 0 20 0 1 0 188626165 1076281344 261063 134679101440 4194304 14036057 140736178678480 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 26972160 140736178680864 140736178680966 140736178680966 140736178687982 0
/proc/990596/statm: 262764 261063 2461 2403 0 259874 0
Current children cumulated CPU time: 3596.93 s
Current children cumulated vsize: 1051056 KiB
Current children cumulated memory: 1044252 KiB
[startup+3608 s]*
/proc/loadavg: 4.14 4.15 4.14 5/258 992540
/proc/meminfo: memFree=124318620/131524600 swapFree=131071996/131071996
[pid=990596] ppid=990593 vsize=1051056 memory=1044252 CPUtime=3598.53 cores=4,6
/proc/990596/stat : 990596 (LS-MabS) R 990593 990596 988592 0 -1 4194304 298883 0 0 0 317199 42654 0 0 20 0 1 0 188626165 1076281344 261063 134679101440 4194304 14036057 140736178678480 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 26972160 140736178680864 140736178680966 140736178680966 140736178687982 0
/proc/990596/statm: 262764 261063 2461 2403 0 259874 0
Current children cumulated CPU time: 3598.53 s
Current children cumulated vsize: 1051056 KiB
Current children cumulated memory: 1044252 KiB
[startup+3608.8 s]
/proc/loadavg: 4.14 4.15 4.14 5/258 992540
/proc/meminfo: memFree=124318620/131524600 swapFree=131071996/131071996
[pid=990596] ppid=990593 vsize=1051056 memory=1044252 CPUtime=3599.32 cores=4,6
/proc/990596/stat : 990596 (LS-MabS) R 990593 990596 988592 0 -1 4194304 298883 0 0 0 317260 42672 0 0 20 0 1 0 188626165 1076281344 261063 134679101440 4194304 14036057 140736178678480 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 26972160 140736178680864 140736178680966 140736178680966 140736178687982 0
/proc/990596/statm: 262764 261063 2461 2403 0 259874 0
Current children cumulated CPU time: 3599.32 s
Current children cumulated vsize: 1051056 KiB
Current children cumulated memory: 1044252 KiB
[startup+3609.2 s]
/proc/loadavg: 4.14 4.15 4.14 5/252 992578
/proc/meminfo: memFree=124350504/131524600 swapFree=131071996/131071996
[pid=990596] ppid=990593 vsize=1051056 memory=1044252 CPUtime=3599.71 cores=4,6
/proc/990596/stat : 990596 (LS-MabS) R 990593 990596 988592 0 -1 4194304 298883 0 0 0 317289 42682 0 0 20 0 1 0 188626165 1076281344 261063 134679101440 4194304 14036057 140736178678480 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 26972160 140736178680864 140736178680966 140736178680966 140736178687982 0
/proc/990596/statm: 262764 261063 2461 2403 0 259874 0
Current children cumulated CPU time: 3599.71 s
Current children cumulated vsize: 1051056 KiB
Current children cumulated memory: 1044252 KiB
[startup+3609.4 s]
/proc/loadavg: 4.14 4.15 4.14 5/252 992578
/proc/meminfo: memFree=124350504/131524600 swapFree=131071996/131071996
[pid=990596] ppid=990593 vsize=1051056 memory=1044252 CPUtime=3599.92 cores=4,6
/proc/990596/stat : 990596 (LS-MabS) R 990593 990596 988592 0 -1 4194304 298883 0 0 0 317305 42687 0 0 20 0 1 0 188626165 1076281344 261063 134679101440 4194304 14036057 140736178678480 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 26972160 140736178680864 140736178680966 140736178680966 140736178687982 0
/proc/990596/statm: 262764 261063 2461 2403 0 259874 0
Current children cumulated CPU time: 3599.92 s
Current children cumulated vsize: 1051056 KiB
Current children cumulated memory: 1044252 KiB
Child status: 0
Real time (s): 3609.48
CPU time (s): 3600.01
CPU user time (s): 3173.11
CPU system time (s): 426.9
CPU usage (%): 99.7376
Max. virtual memory (cumulated for all children) (KiB): 1172276
Max. memory (cumulated for all children) (KiB): 1154452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3173.11
system time used= 426.9
maximum resident set size= 1154452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 298887
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= 269
involuntary context switches= 2838
# summary of solver processes directly reported to runsolver:
# pid: 990596
# total CPU time (s): 3600.01
# total CPU user time (s): 3173.11
# total CPU system time (s): 426.9
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.63617 second user time and 14.2804 second system time
The end
Begin job on nodeC024 at 2024-07-19 06:50:26
IDJOB=4448047
IDBENCH=160360
IDSOLVER=3048
FILE ID=nodeC024/4448047-1721364612
RUNJOBID= nodeC024-1721361018-988603
SLURM_JOB_ID= 7542778
Free space on /tmp= 890044 MiB
SOLVER NAME= LS-MabS 2024-07-10
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/normalized-ECgrid5x90split.cnf-extracted.pb.metafix.opb
COMMAND LINE= ./LS-MabS -f BENCHNAME -t TIMEOUT -s RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4448047-1721364612/watcher-4448047-1721364612 -o /tmp/evaluation-result-4448047-1721364612/solver-4448047-1721364612 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721361018-988603 --watchdog 3760 ./LS-MabS -f HOME/instance-4448047-1721364612.opb -t 3600 -s 2048531166
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= ffca2f526e16739a014d253021fa9e9c
RANDOM SEED=2048531166
nodeC024.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 : 3663.811
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.60
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 : 3685.475
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 : 7007.08
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 : 3602.502
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.60
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.379
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 : 7007.08
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 : 3654.915
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.60
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 : 3685.454
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 : 7007.08
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 : 3665.149
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.60
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 : 3600.176
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 : 7007.08
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 125816752 kB
MemAvailable: 128430388 kB
Buffers: 514460 kB
Cached: 2911684 kB
SwapCached: 0 kB
Active: 975560 kB
Inactive: 4069080 kB
Active(anon): 1564 kB
Inactive(anon): 1654652 kB
Active(file): 973996 kB
Inactive(file): 2414428 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 13140 kB
Writeback: 0 kB
AnonPages: 1618456 kB
Mapped: 136628 kB
Shmem: 37720 kB
KReclaimable: 129716 kB
Slab: 246284 kB
SReclaimable: 129716 kB
SUnreclaim: 116568 kB
KernelStack: 4144 kB
PageTables: 12196 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 2052668 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 68864 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1492992 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: 299732 kB
DirectMap2M: 36173824 kB
DirectMap1G: 99614720 kB
Free space on /tmp at the end= 890032 MiB
End job on nodeC024 at 2024-07-19 07:50:35