0.00/0.01 c Filename:instance-4447657-1721361004.opb, Cutoff_time:3600, memory_limit_gb:500000
0.00/0.01 c Not use presolve
3599.99/3607.50 c Use LS-small
3599.99/3607.50 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 (61428 MiB free)
memory of node 1: 64510 MiB (62689 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447657-1721361004/watcher-4447657-1721361004 -o /tmp/evaluation-result-4447657-1721361004/solver-4447657-1721361004 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721361018-988603 --watchdog 3760 ./LS-MabS -f HOME/instance-4447657-1721361004.opb -t 3600 -s 1263626120
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=988655, runsolver pid=988647
Current StackSize limit: 8192 KiB
[startup+0.100087 s]*
/proc/loadavg: 1.16 2.20 3.10 6/259 988665
/proc/meminfo: memFree=127063556/131524600 swapFree=131071996/131071996
[pid=988655] ppid=988647 vsize=25940 memory=17288 CPUtime=0.1 cores=4,6
/proc/988655/stat : 988655 (LS-MabS) R 988647 988655 988592 0 -1 4194304 2177 0 0 0 10 0 0 0 20 0 1 0 188265371 26562560 4322 134679101440 4194304 14036057 140734476949776 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 52801536 140734476952608 140734476952710 140734476952710 140734476959726 0
/proc/988655/statm: 6485 4322 2461 2403 0 3595 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 25940 KiB
Current children cumulated memory: 17288 KiB
[startup+0.206472 s]*
/proc/loadavg: 1.16 2.20 3.10 6/259 988665
/proc/meminfo: memFree=127051524/131524600 swapFree=131071996/131071996
[pid=988655] ppid=988647 vsize=30760 memory=21244 CPUtime=0.2 cores=4,6
/proc/988655/stat : 988655 (LS-MabS) R 988647 988655 988592 0 -1 4194304 3127 0 0 0 20 0 0 0 20 0 1 0 188265371 31498240 5311 134679101440 4194304 14036057 140734476949776 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 52801536 140734476952608 140734476952710 140734476952710 140734476959726 0
/proc/988655/statm: 7690 5311 2461 2403 0 4800 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 30760 KiB
Current children cumulated memory: 21244 KiB
[startup+0.306391 s]*
/proc/loadavg: 1.16 2.20 3.10 6/259 988665
/proc/meminfo: memFree=127047980/131524600 swapFree=131071996/131071996
[pid=988655] ppid=988647 vsize=31596 memory=22828 CPUtime=0.3 cores=4,6
/proc/988655/stat : 988655 (LS-MabS) R 988647 988655 988592 0 -1 4194304 3560 0 0 0 30 0 0 0 20 0 1 0 188265371 32354304 5707 134679101440 4194304 14036057 140734476949776 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 52801536 140734476952608 140734476952710 140734476952710 140734476959726 0
/proc/988655/statm: 7899 5707 2461 2403 0 5009 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 31596 KiB
Current children cumulated memory: 22828 KiB
[startup+0.700207 s]
/proc/loadavg: 1.16 2.20 3.10 7/259 988665
/proc/meminfo: memFree=127046084/131524600 swapFree=131071996/131071996
[pid=988655] ppid=988647 vsize=31728 memory=23092 CPUtime=0.69 cores=4,6
/proc/988655/stat : 988655 (LS-MabS) R 988647 988655 988592 0 -1 4194304 3632 0 0 0 69 0 0 0 20 0 1 0 188265371 32489472 5773 134679101440 4194304 14036057 140734476949776 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 52801536 140734476952608 140734476952710 140734476952710 140734476959726 0
/proc/988655/statm: 7932 5773 2461 2403 0 5042 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 31728 KiB
Current children cumulated memory: 23092 KiB
[startup+1.50021 s]
/proc/loadavg: 1.16 2.20 3.10 6/259 988665
/proc/meminfo: memFree=127038908/131524600 swapFree=131071996/131071996
[pid=988655] ppid=988647 vsize=35000 memory=26260 CPUtime=1.48 cores=4,6
/proc/988655/stat : 988655 (LS-MabS) R 988647 988655 988592 0 -1 4194304 4414 0 0 0 148 0 0 0 20 0 1 0 188265371 35840000 6565 134679101440 4194304 14036057 140734476949776 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 52801536 140734476952608 140734476952710 140734476952710 140734476959726 0
/proc/988655/statm: 8750 6565 2461 2403 0 5860 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 35000 KiB
Current children cumulated memory: 26260 KiB
[startup+3.10632 s]
/proc/loadavg: 1.39 2.23 3.11 6/259 988665
/proc/meminfo: memFree=127027724/131524600 swapFree=131071996/131071996
[pid=988655] ppid=988647 vsize=41352 memory=32332 CPUtime=3.08 cores=4,6
/proc/988655/stat : 988655 (LS-MabS) R 988647 988655 988592 0 -1 4194304 5913 0 0 0 308 0 0 0 20 0 1 0 188265371 42344448 8083 134679101440 4194304 14036057 140734476949776 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 52801536 140734476952608 140734476952710 140734476952710 140734476959726 0
/proc/988655/statm: 10338 8083 2461 2403 0 7448 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 41352 KiB
Current children cumulated memory: 32332 KiB
[startup+6.30016 s]
/proc/loadavg: 1.39 2.23 3.11 6/259 988665
/proc/meminfo: memFree=127018724/131524600 swapFree=131071996/131071996
[pid=988655] ppid=988647 vsize=43052 memory=34604 CPUtime=6.27 cores=4,6
/proc/988655/stat : 988655 (LS-MabS) R 988647 988655 988592 0 -1 4194304 6713 0 0 0 627 0 0 0 20 0 1 0 188265371 44085248 8651 134679101440 4194304 14036057 140734476949776 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 52801536 140734476952608 140734476952710 140734476952710 140734476959726 0
/proc/988655/statm: 10763 8651 2461 2403 0 7873 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 43052 KiB
Current children cumulated memory: 34604 KiB
[startup+12.7002 s]
/proc/loadavg: 1.68 2.27 3.12 6/259 988666
/proc/meminfo: memFree=127000856/131524600 swapFree=131071996/131071996
[pid=988655] ppid=988647 vsize=48372 memory=39892 CPUtime=12.65 cores=4,6
/proc/988655/stat : 988655 (LS-MabS) R 988647 988655 988592 0 -1 4194304 8043 0 0 0 1264 1 0 0 20 0 1 0 188265371 49532928 9973 134679101440 4194304 14036057 140734476949776 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 52801536 140734476952608 140734476952710 140734476952710 140734476959726 0
/proc/988655/statm: 12093 9973 2461 2403 0 9203 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 48372 KiB
Current children cumulated memory: 39892 KiB
[startup+25.5002 s]
/proc/loadavg: 2.19 2.36 3.13 6/259 988668
/proc/meminfo: memFree=126956848/131524600 swapFree=131071996/131071996
[pid=988655] ppid=988647 vsize=63532 memory=55056 CPUtime=25.41 cores=4,6
/proc/988655/stat : 988655 (LS-MabS) R 988647 988655 988592 0 -1 4194304 11819 0 0 0 2539 2 0 0 20 0 1 0 188265371 65056768 13764 134679101440 4194304 14036057 140734476949776 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 52801536 140734476952608 140734476952710 140734476952710 140734476959726 0
/proc/988655/statm: 15883 13764 2461 2403 0 12993 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 63532 KiB
Current children cumulated memory: 55056 KiB
[startup+51.1063 s]
/proc/loadavg: 2.81 2.49 3.16 6/259 988672
/proc/meminfo: memFree=126866112/131524600 swapFree=131071996/131071996
[pid=988655] ppid=988647 vsize=94156 memory=85596 CPUtime=50.92 cores=4,6
/proc/988655/stat : 988655 (LS-MabS) R 988647 988655 988592 0 -1 4194304 19508 0 0 0 5089 3 0 0 20 0 1 0 188265371 96415744 21399 134679101440 4194304 14036057 140734476949776 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 52801536 140734476952608 140734476952710 140734476952710 140734476959726 0
/proc/988655/statm: 23539 21399 2461 2403 0 20649 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 94156 KiB
Current children cumulated memory: 85596 KiB
[startup+102.3 s]
/proc/loadavg: 3.59 2.76 3.21 6/259 988681
/proc/meminfo: memFree=126690844/131524600 swapFree=131071996/131071996
[pid=988655] ppid=988647 vsize=159220 memory=146900 CPUtime=101.94 cores=4,6
/proc/988655/stat : 988655 (LS-MabS) R 988647 988655 988592 0 -1 4194304 34820 0 0 0 10188 6 0 0 20 0 1 0 188265371 163041280 36725 134679101440 4194304 14036057 140734476949776 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 52801536 140734476952608 140734476952710 140734476952710 140734476959726 0
/proc/988655/statm: 39805 36725 2461 2403 0 36915 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 159220 KiB
Current children cumulated memory: 146900 KiB
[startup+162.3 s]
/proc/loadavg: 3.90 3.00 3.27 6/258 988692
/proc/meminfo: memFree=126512228/131524600 swapFree=131071996/131071996
[pid=988655] ppid=988647 vsize=215564 memory=204408 CPUtime=161.75 cores=4,6
/proc/988655/stat : 988655 (LS-MabS) R 988647 988655 988592 0 -1 4194304 49166 0 0 0 16160 15 0 0 20 0 1 0 188265371 220737536 51102 134679101440 4194304 14036057 140734476949776 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 52801536 140734476952608 140734476952710 140734476952710 140734476959726 0
/proc/988655/statm: 53891 51102 2461 2403 0 51001 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 215564 KiB
Current children cumulated memory: 204408 KiB
[startup+222.3 s]
/proc/loadavg: 4.01 3.20 3.33 6/258 988703
/proc/meminfo: memFree=126324208/131524600 swapFree=131071996/131071996
[pid=988655] ppid=988647 vsize=272568 memory=258696 CPUtime=221.55 cores=4,6
/proc/988655/stat : 988655 (LS-MabS) R 988647 988655 988592 0 -1 4194304 62283 0 0 0 22134 21 0 0 20 0 1 0 188265371 279109632 64674 134679101440 4194304 14036057 140734476949776 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 52801536 140734476952608 140734476952710 140734476952710 140734476959726 0
/proc/988655/statm: 68142 64674 2461 2403 0 65252 0
Current children cumulated CPU time: 221.55 s
Current children cumulated vsize: 272568 KiB
Current children cumulated memory: 258696 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 3.38 3.38 6/257 988714
/proc/meminfo: memFree=126152416/131524600 swapFree=131071996/131071996
[pid=988655] ppid=988647 vsize=330288 memory=312340 CPUtime=281.36 cores=4,6
/proc/988655/stat : 988655 (LS-MabS) R 988647 988655 988592 0 -1 4194304 74771 0 0 0 28112 24 0 0 20 0 1 0 188265371 338214912 78085 134679101440 4194304 14036057 140734476949776 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 52801536 140734476952608 140734476952710 140734476952710 140734476959726 0
/proc/988655/statm: 82572 78085 2461 2403 0 79682 0
Current children cumulated CPU time: 281.36 s
Current children cumulated vsize: 330288 KiB
Current children cumulated memory: 312340 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 3.52 3.43 6/256 989109
/proc/meminfo: memFree=125993716/131524600 swapFree=131071996/131071996
[pid=988655] ppid=988647 vsize=376660 memory=358484 CPUtime=341.17 cores=4,6
/proc/988655/stat : 988655 (LS-MabS) R 988647 988655 988592 0 -1 4194304 85037 0 0 0 34092 25 0 0 20 0 1 0 188265371 385699840 89621 134679101440 4194304 14036057 140734476949776 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 52801536 140734476952608 140734476952710 140734476952710 140734476959726 0
/proc/988655/statm: 94165 89621 2461 2403 0 91275 0
Current children cumulated CPU time: 341.17 s
Current children cumulated vsize: 376660 KiB
Current children cumulated memory: 358484 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 3.64 3.48 6/256 989119
/proc/meminfo: memFree=125830392/131524600 swapFree=131071996/131071996
[pid=988655] ppid=988647 vsize=422348 memory=396416 CPUtime=401 cores=4,6
/proc/988655/stat : 988655 (LS-MabS) R 988647 988655 988592 0 -1 4194304 94592 0 0 0 40073 27 0 0 20 0 1 0 188265371 432484352 99104 134679101440 4194304 14036057 140734476949776 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 52801536 140734476952608 140734476952710 140734476952710 140734476959726 0
/proc/988655/statm: 105587 99104 2461 2403 0 102697 0
Current children cumulated CPU time: 401 s
Current children cumulated vsize: 422348 KiB
Current children cumulated memory: 396416 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 3.73 3.52 6/256 989131
/proc/meminfo: memFree=125844872/131524600 swapFree=131071996/131071996
[pid=988655] ppid=988647 vsize=456424 memory=439436 CPUtime=460.83 cores=4,6
/proc/988655/stat : 988655 (LS-MabS) R 988647 988655 988592 0 -1 4194304 104457 0 0 0 46054 29 0 0 20 0 1 0 188265371 467378176 109859 134679101440 4194304 14036057 140734476949776 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 52801536 140734476952608 140734476952710 140734476952710 140734476959726 0
/proc/988655/statm: 114106 109859 2461 2403 0 111216 0
################
# More data... #
################
/proc/loadavg: 4.08 4.09 4.09 6/256 990431
/proc/meminfo: memFree=125470752/131524600 swapFree=131071996/131071996
[pid=988655] ppid=988647 vsize=374840 memory=367932 CPUtime=3215.3 cores=4,6
/proc/988655/stat : 988655 (LS-MabS) R 988647 988655 988592 0 -1 4194304 216736 0 0 0 290634 30896 0 0 20 0 1 0 188265371 383836160 91983 134679101440 4194304 14036057 140734476949776 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 52801536 140734476952608 140734476952710 140734476952710 140734476959726 0
/proc/988655/statm: 93710 91983 2461 2403 0 90820 0
Current children cumulated CPU time: 3215.3 s
Current children cumulated vsize: 374840 KiB
Current children cumulated memory: 367932 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.10 4.09 7/256 990442
/proc/meminfo: memFree=125470324/131524600 swapFree=131071996/131071996
[pid=988655] ppid=988647 vsize=374840 memory=367932 CPUtime=3275.22 cores=4,6
/proc/988655/stat : 988655 (LS-MabS) R 988647 988655 988592 0 -1 4194304 216736 0 0 0 295313 32209 0 0 20 0 1 0 188265371 383836160 91983 134679101440 4194304 14036057 140734476949776 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 52801536 140734476952608 140734476952710 140734476952710 140734476959726 0
/proc/988655/statm: 93710 91983 2461 2403 0 90820 0
Current children cumulated CPU time: 3275.22 s
Current children cumulated vsize: 374840 KiB
Current children cumulated memory: 367932 KiB
[startup+3342.3 s]
/proc/loadavg: 4.16 4.11 4.09 6/254 990453
/proc/meminfo: memFree=125470236/131524600 swapFree=131071996/131071996
[pid=988655] ppid=988647 vsize=374840 memory=367932 CPUtime=3335.14 cores=4,6
/proc/988655/stat : 988655 (LS-MabS) R 988647 988655 988592 0 -1 4194304 216736 0 0 0 300015 33499 0 0 20 0 1 0 188265371 383836160 91983 134679101440 4194304 14036057 140734476949776 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 52801536 140734476952608 140734476952710 140734476952710 140734476959726 0
/proc/988655/statm: 93710 91983 2461 2403 0 90820 0
Current children cumulated CPU time: 3335.14 s
Current children cumulated vsize: 374840 KiB
Current children cumulated memory: 367932 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.10 4.09 6/255 990464
/proc/meminfo: memFree=125469852/131524600 swapFree=131071996/131071996
[pid=988655] ppid=988647 vsize=374840 memory=367932 CPUtime=3395.07 cores=4,6
/proc/988655/stat : 988655 (LS-MabS) R 988647 988655 988592 0 -1 4194304 216736 0 0 0 304697 34810 0 0 20 0 1 0 188265371 383836160 91983 134679101440 4194304 14036057 140734476949776 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 52801536 140734476952608 140734476952710 140734476952710 140734476959726 0
/proc/988655/statm: 93710 91983 2461 2403 0 90820 0
Current children cumulated CPU time: 3395.07 s
Current children cumulated vsize: 374840 KiB
Current children cumulated memory: 367932 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.11 4.09 6/255 990475
/proc/meminfo: memFree=125469472/131524600 swapFree=131071996/131071996
[pid=988655] ppid=988647 vsize=374840 memory=367932 CPUtime=3454.99 cores=4,6
/proc/988655/stat : 988655 (LS-MabS) R 988647 988655 988592 0 -1 4194304 216736 0 0 0 309383 36116 0 0 20 0 1 0 188265371 383836160 91983 134679101440 4194304 14036057 140734476949776 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 52801536 140734476952608 140734476952710 140734476952710 140734476959726 0
/proc/988655/statm: 93710 91983 2461 2403 0 90820 0
Current children cumulated CPU time: 3454.99 s
Current children cumulated vsize: 374840 KiB
Current children cumulated memory: 367932 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.11 4.09 6/255 990485
/proc/meminfo: memFree=125469280/131524600 swapFree=131071996/131071996
[pid=988655] ppid=988647 vsize=374840 memory=367932 CPUtime=3514.91 cores=4,6
/proc/988655/stat : 988655 (LS-MabS) R 988647 988655 988592 0 -1 4194304 216736 0 0 0 314078 37413 0 0 20 0 1 0 188265371 383836160 91983 134679101440 4194304 14036057 140734476949776 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 52801536 140734476952608 140734476952710 140734476952710 140734476959726 0
/proc/988655/statm: 93710 91983 2461 2403 0 90820 0
Current children cumulated CPU time: 3514.91 s
Current children cumulated vsize: 374840 KiB
Current children cumulated memory: 367932 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.12 4.09 6/255 990495
/proc/meminfo: memFree=125468948/131524600 swapFree=131071996/131071996
[pid=988655] ppid=988647 vsize=374840 memory=367932 CPUtime=3574.83 cores=4,6
/proc/988655/stat : 988655 (LS-MabS) R 988647 988655 988592 0 -1 4194304 216736 0 0 0 318753 38730 0 0 20 0 1 0 188265371 383836160 91983 134679101440 4194304 14036057 140734476949776 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 52801536 140734476952608 140734476952710 140734476952710 140734476959726 0
/proc/988655/statm: 93710 91983 2461 2403 0 90820 0
Current children cumulated CPU time: 3574.83 s
Current children cumulated vsize: 374840 KiB
Current children cumulated memory: 367932 KiB
[startup+3607.5 s]
# the end of solver process 988655 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3207.25 s, system=392.757 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.14 4.12 4.09 6/255 990495
/proc/meminfo: memFree=125468976/131524600 swapFree=131071996/131071996
[pid=988655] ppid=988647 vsize=374840 memory=367932 CPUtime=3576.53 cores=4,6
/proc/988655/stat : 988655 (LS-MabS) R 988647 988655 988592 0 -1 4194304 216736 0 0 0 318888 38765 0 0 20 0 1 0 188265371 383836160 91983 134679101440 4194304 14036057 140734476949776 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 52801536 140734476952608 140734476952710 140734476952710 140734476959726 0
/proc/988655/statm: 93710 91983 2461 2403 0 90820 0
Current children cumulated CPU time: 3576.53 s
Current children cumulated vsize: 374840 KiB
Current children cumulated memory: 367932 KiB
[startup+3596.8 s]
/proc/loadavg: 4.12 4.11 4.09 6/257 990501
/proc/meminfo: memFree=125468904/131524600 swapFree=131071996/131071996
[pid=988655] ppid=988647 vsize=374840 memory=367932 CPUtime=3589.3 cores=4,6
/proc/988655/stat : 988655 (LS-MabS) R 988647 988655 988592 0 -1 4194304 216736 0 0 0 319887 39043 0 0 20 0 1 0 188265371 383836160 91983 134679101440 4194304 14036057 140734476949776 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 52801536 140734476952608 140734476952710 140734476952710 140734476959726 0
/proc/988655/statm: 93710 91983 2461 2403 0 90820 0
Current children cumulated CPU time: 3589.3 s
Current children cumulated vsize: 374840 KiB
Current children cumulated memory: 367932 KiB
[startup+3603.2 s]
/proc/loadavg: 4.11 4.11 4.09 6/257 990502
/proc/meminfo: memFree=125468852/131524600 swapFree=131071996/131071996
[pid=988655] ppid=988647 vsize=374840 memory=367932 CPUtime=3595.7 cores=4,6
/proc/988655/stat : 988655 (LS-MabS) R 988647 988655 988592 0 -1 4194304 216736 0 0 0 320390 39180 0 0 20 0 1 0 188265371 383836160 91983 134679101440 4194304 14036057 140734476949776 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 52801536 140734476952608 140734476952710 140734476952710 140734476959726 0
/proc/988655/statm: 93710 91983 2461 2403 0 90820 0
Current children cumulated CPU time: 3595.7 s
Current children cumulated vsize: 374840 KiB
Current children cumulated memory: 367932 KiB
[startup+3604.8 s]
/proc/loadavg: 4.10 4.11 4.09 6/257 990503
/proc/meminfo: memFree=125468856/131524600 swapFree=131071996/131071996
[pid=988655] ppid=988647 vsize=374840 memory=367932 CPUtime=3597.29 cores=4,6
/proc/988655/stat : 988655 (LS-MabS) R 988647 988655 988592 0 -1 4194304 216736 0 0 0 320515 39214 0 0 20 0 1 0 188265371 383836160 91983 134679101440 4194304 14036057 140734476949776 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 52801536 140734476952608 140734476952710 140734476952710 140734476959726 0
/proc/988655/statm: 93710 91983 2461 2403 0 90820 0
Current children cumulated CPU time: 3597.29 s
Current children cumulated vsize: 374840 KiB
Current children cumulated memory: 367932 KiB
[startup+3606.4 s]
/proc/loadavg: 4.10 4.11 4.09 6/257 990503
/proc/meminfo: memFree=125468856/131524600 swapFree=131071996/131071996
[pid=988655] ppid=988647 vsize=374840 memory=367932 CPUtime=3598.89 cores=4,6
/proc/988655/stat : 988655 (LS-MabS) R 988647 988655 988592 0 -1 4194304 216736 0 0 0 320641 39248 0 0 20 0 1 0 188265371 383836160 91983 134679101440 4194304 14036057 140734476949776 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 52801536 140734476952608 140734476952710 140734476952710 140734476959726 0
/proc/988655/statm: 93710 91983 2461 2403 0 90820 0
Current children cumulated CPU time: 3598.89 s
Current children cumulated vsize: 374840 KiB
Current children cumulated memory: 367932 KiB
[startup+3607.2 s]
/proc/loadavg: 4.10 4.11 4.09 5/252 990541
/proc/meminfo: memFree=125492552/131524600 swapFree=131071996/131071996
[pid=988655] ppid=988647 vsize=374840 memory=367932 CPUtime=3599.69 cores=4,6
/proc/988655/stat : 988655 (LS-MabS) R 988647 988655 988592 0 -1 4194304 216736 0 0 0 320701 39268 0 0 20 0 1 0 188265371 383836160 91983 134679101440 4194304 14036057 140734476949776 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 52801536 140734476952608 140734476952710 140734476952710 140734476959726 0
/proc/988655/statm: 93710 91983 2461 2403 0 90820 0
Current children cumulated CPU time: 3599.69 s
Current children cumulated vsize: 374840 KiB
Current children cumulated memory: 367932 KiB
[startup+3607.4 s]
/proc/loadavg: 4.10 4.11 4.09 5/252 990541
/proc/meminfo: memFree=125492552/131524600 swapFree=131071996/131071996
[pid=988655] ppid=988647 vsize=374840 memory=367932 CPUtime=3599.89 cores=4,6
/proc/988655/stat : 988655 (LS-MabS) R 988647 988655 988592 0 -1 4194304 216736 0 0 0 320717 39272 0 0 20 0 1 0 188265371 383836160 91983 134679101440 4194304 14036057 140734476949776 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 52801536 140734476952608 140734476952710 140734476952710 140734476959726 0
/proc/988655/statm: 93710 91983 2461 2403 0 90820 0
Current children cumulated CPU time: 3599.89 s
Current children cumulated vsize: 374840 KiB
Current children cumulated memory: 367932 KiB
[startup+3607.5 s]
/proc/loadavg: 4.10 4.11 4.09 5/252 990541
/proc/meminfo: memFree=125492552/131524600 swapFree=131071996/131071996
[pid=988655] ppid=988647 vsize=374840 memory=367932 CPUtime=3599.99 cores=4,6
/proc/988655/stat : 988655 (LS-MabS) R 988647 988655 988592 0 -1 4194304 216736 0 0 0 320724 39275 0 0 20 0 1 0 188265371 383836160 91983 134679101440 4194304 14036057 140734476949776 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 52801536 140734476952608 140734476952710 140734476952710 140734476959726 0
/proc/988655/statm: 93710 91983 2461 2403 0 90820 0
Current children cumulated CPU time: 3599.99 s
Current children cumulated vsize: 374840 KiB
Current children cumulated memory: 367932 KiB
Child status: 0
Real time (s): 3607.5
CPU time (s): 3600.01
CPU user time (s): 3207.25
CPU system time (s): 392.757
CPU usage (%): 99.7922
Max. virtual memory (cumulated for all children) (KiB): 971104
Max. memory (cumulated for all children) (KiB): 936388
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3207.25
system time used= 392.757
maximum resident set size= 936388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 216741
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= 105
involuntary context switches= 2817
# summary of solver processes directly reported to runsolver:
# pid: 988655
# total CPU time (s): 3600.01
# total CPU user time (s): 3207.25
# total CPU system time (s): 392.757
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.08452 second user time and 16.5157 second system time
The end
Begin job on nodeC024 at 2024-07-19 05:50:18
IDJOB=4447657
IDBENCH=159709
IDSOLVER=3048
FILE ID=nodeC024/4447657-1721361004
RUNJOBID= nodeC024-1721361018-988603
SLURM_JOB_ID= 7542778
Free space on /tmp= 890084 MiB
SOLVER NAME= LS-MabS 2024-07-10
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n106-d3-i3-f.cnf.gz-plain.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-4447657-1721361004/watcher-4447657-1721361004 -o /tmp/evaluation-result-4447657-1721361004/solver-4447657-1721361004 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721361018-988603 --watchdog 3760 ./LS-MabS -f HOME/instance-4447657-1721361004.opb -t 3600 -s 1263626120
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 1fb50f41b260553fb8a191e5e9748bb0
RANDOM SEED=1263626120
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 : 3567.277
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 : 3577.388
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 : 3543.335
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 : 3475.455
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 : 3543.092
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 : 3628.102
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 : 3544.067
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 : 3369.481
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: 127098752 kB
MemAvailable: 129693040 kB
Buffers: 513636 kB
Cached: 2893208 kB
SwapCached: 0 kB
Active: 973296 kB
Inactive: 2791996 kB
Active(anon): 1452 kB
Inactive(anon): 394772 kB
Active(file): 971844 kB
Inactive(file): 2397224 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 52320 kB
Writeback: 36 kB
AnonPages: 358432 kB
Mapped: 106204 kB
Shmem: 37720 kB
KReclaimable: 129732 kB
Slab: 246288 kB
SReclaimable: 129732 kB
SUnreclaim: 116556 kB
KernelStack: 3904 kB
PageTables: 9356 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 646824 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 68736 kB
HardwareCorrupted: 0 kB
AnonHugePages: 237568 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 06:50:25