0.50/0.56 c Filename:instance-4442587-1721301215.opb, Cutoff_time:3600, memory_limit_gb:500000
0.50/0.56 c Not use presolve
3599.92/3607.97 c Use LS-small
3599.92/3607.97 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: 63968 MiB (62891 MiB free)
memory of node 1: 64473 MiB (63102 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4442587-1721301215/watcher-4442587-1721301215 -o /tmp/evaluation-result-4442587-1721301215/solver-4442587-1721301215 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721293706-945765 --watchdog 3760 ./LS-MabS -f HOME/instance-4442587-1721301215.opb -t 3600 -s 1945299515
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=950400, runsolver pid=950397
Current StackSize limit: 8192 KiB
[startup+0.100096 s]*
/proc/loadavg: 4.11 4.09 4.09 5/257 950401
/proc/meminfo: memFree=128960252/131524600 swapFree=131071996/131071996
[pid=950400] ppid=950397 vsize=84232 memory=69040 CPUtime=0.09 cores=4,6
/proc/950400/stat : 950400 (LS-MabS) R 950397 950400 945754 0 -1 4194304 15384 0 0 0 8 1 0 0 20 0 1 0 182288526 86253568 17260 134679101440 4194304 14036057 140735060840608 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 54579200 140735060845600 140735060845702 140735060845702 140735060852718 0
/proc/950400/statm: 21058 17260 2221 2403 0 18168 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 84232 KiB
Current children cumulated memory: 69040 KiB
[startup+0.205915 s]*
/proc/loadavg: 4.11 4.09 4.09 5/257 950401
/proc/meminfo: memFree=128934044/131524600 swapFree=131071996/131071996
[pid=950400] ppid=950397 vsize=101644 memory=85712 CPUtime=0.2 cores=4,6
/proc/950400/stat : 950400 (LS-MabS) R 950397 950400 945754 0 -1 4194304 21012 0 0 0 18 2 0 0 20 0 1 0 182288526 104083456 21428 134679101440 4194304 14036057 140735060840608 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 54579200 140735060845600 140735060845702 140735060845702 140735060852718 0
/proc/950400/statm: 25411 21428 2285 2403 0 22521 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 101644 KiB
Current children cumulated memory: 85712 KiB
[startup+0.305811 s]*
/proc/loadavg: 4.11 4.09 4.09 5/257 950401
/proc/meminfo: memFree=128933484/131524600 swapFree=131071996/131071996
[pid=950400] ppid=950397 vsize=108672 memory=92692 CPUtime=0.3 cores=4,6
/proc/950400/stat : 950400 (LS-MabS) R 950397 950400 945754 0 -1 4194304 22738 0 0 0 27 3 0 0 20 0 1 0 182288526 111280128 23173 134679101440 4194304 14036057 140735060840608 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 54579200 140735060845600 140735060845702 140735060845702 140735060852718 0
/proc/950400/statm: 27168 23173 2317 2403 0 24278 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 108672 KiB
Current children cumulated memory: 92692 KiB
[startup+0.700236 s]
/proc/loadavg: 4.11 4.09 4.09 5/257 950401
/proc/meminfo: memFree=128899324/131524600 swapFree=131071996/131071996
[pid=950400] ppid=950397 vsize=193268 memory=175072 CPUtime=0.68 cores=4,6
/proc/950400/stat : 950400 (LS-MabS) R 950397 950400 945754 0 -1 4194304 43963 0 0 0 63 5 0 0 20 0 1 0 182288526 197906432 43768 134679101440 4194304 14036057 140735060840608 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 54579200 140735060845600 140735060845702 140735060845702 140735060852718 0
/proc/950400/statm: 48317 43768 2461 2403 0 45427 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 193268 KiB
Current children cumulated memory: 175072 KiB
[startup+1.50016 s]
/proc/loadavg: 4.11 4.09 4.09 5/257 950401
/proc/meminfo: memFree=128861336/131524600 swapFree=131071996/131071996
[pid=950400] ppid=950397 vsize=180732 memory=164572 CPUtime=1.48 cores=4,6
/proc/950400/stat : 950400 (LS-MabS) R 950397 950400 945754 0 -1 4194304 44126 0 0 0 143 5 0 0 20 0 1 0 182288526 185069568 41143 134679101440 4194304 14036057 140735060840608 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 54579200 140735060845600 140735060845702 140735060845702 140735060852718 0
/proc/950400/statm: 45183 41143 2461 2403 0 42293 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 180732 KiB
Current children cumulated memory: 164572 KiB
[startup+3.10561 s]
/proc/loadavg: 4.11 4.09 4.09 5/257 950401
/proc/meminfo: memFree=128854356/131524600 swapFree=131071996/131071996
[pid=950400] ppid=950397 vsize=203824 memory=172492 CPUtime=3.09 cores=4,6
/proc/950400/stat : 950400 (LS-MabS) R 950397 950400 945754 0 -1 4194304 46161 0 0 0 303 6 0 0 20 0 1 0 182288526 208715776 43123 134679101440 4194304 14036057 140735060840608 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 54579200 140735060845600 140735060845702 140735060845702 140735060852718 0
/proc/950400/statm: 50956 43123 2461 2403 0 48066 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 203824 KiB
Current children cumulated memory: 172492 KiB
[startup+6.30023 s]
/proc/loadavg: 4.10 4.09 4.09 5/257 950403
/proc/meminfo: memFree=128838432/131524600 swapFree=131071996/131071996
[pid=950400] ppid=950397 vsize=282652 memory=231532 CPUtime=6.27 cores=4,6
/proc/950400/stat : 950400 (LS-MabS) R 950397 950400 945754 0 -1 4194304 63842 0 0 0 618 9 0 0 20 0 1 0 182288526 289435648 57883 134679101440 4194304 14036057 140735060840608 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 54579200 140735060845600 140735060845702 140735060845702 140735060852718 0
/proc/950400/statm: 70663 57883 2461 2403 0 67773 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 282652 KiB
Current children cumulated memory: 231532 KiB
[startup+12.7002 s]
/proc/loadavg: 4.09 4.09 4.09 5/257 950403
/proc/meminfo: memFree=128800940/131524600 swapFree=131071996/131071996
[pid=950400] ppid=950397 vsize=275516 memory=222504 CPUtime=12.65 cores=4,6
/proc/950400/stat : 950400 (LS-MabS) R 950397 950400 945754 0 -1 4194304 64335 0 0 0 1256 9 0 0 20 0 1 0 182288526 282128384 55626 134679101440 4194304 14036057 140735060840608 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 54579200 140735060845600 140735060845702 140735060845702 140735060852718 0
/proc/950400/statm: 68879 55626 2461 2403 0 65989 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 275516 KiB
Current children cumulated memory: 222504 KiB
[startup+25.5002 s]
/proc/loadavg: 4.07 4.08 4.09 5/257 950407
/proc/meminfo: memFree=128764612/131524600 swapFree=131071996/131071996
[pid=950400] ppid=950397 vsize=324116 memory=258028 CPUtime=25.42 cores=4,6
/proc/950400/stat : 950400 (LS-MabS) R 950397 950400 945754 0 -1 4194304 73487 0 0 0 2531 11 0 0 20 0 1 0 182288526 331894784 64507 134679101440 4194304 14036057 140735060840608 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 54579200 140735060845600 140735060845702 140735060845702 140735060852718 0
/proc/950400/statm: 81029 64507 2461 2403 0 78139 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 324116 KiB
Current children cumulated memory: 258028 KiB
[startup+51.1059 s]
/proc/loadavg: 4.10 4.09 4.09 5/257 950410
/proc/meminfo: memFree=128759056/131524600 swapFree=131071996/131071996
[pid=950400] ppid=950397 vsize=338476 memory=261960 CPUtime=50.95 cores=4,6
/proc/950400/stat : 950400 (LS-MabS) R 950397 950400 945754 0 -1 4194304 73562 0 0 0 5083 12 0 0 20 0 1 0 182288526 346599424 65490 134679101440 4194304 14036057 140735060840608 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 54579200 140735060845600 140735060845702 140735060845702 140735060852718 0
/proc/950400/statm: 84619 65490 2461 2403 0 81729 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 338476 KiB
Current children cumulated memory: 261960 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/257 950418
/proc/meminfo: memFree=128740320/131524600 swapFree=131071996/131071996
[pid=950400] ppid=950397 vsize=363012 memory=280304 CPUtime=101.97 cores=4,6
/proc/950400/stat : 950400 (LS-MabS) R 950397 950400 945754 0 -1 4194304 76754 0 0 0 10185 12 0 0 20 0 1 0 182288526 371724288 70076 134679101440 4194304 14036057 140735060840608 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 54579200 140735060845600 140735060845702 140735060845702 140735060852718 0
/proc/950400/statm: 90753 70076 2461 2403 0 87863 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 363012 KiB
Current children cumulated memory: 280304 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/255 950428
/proc/meminfo: memFree=128683024/131524600 swapFree=131071996/131071996
[pid=950400] ppid=950397 vsize=402216 memory=337148 CPUtime=161.81 cores=4,6
/proc/950400/stat : 950400 (LS-MabS) R 950397 950400 945754 0 -1 4194304 90086 0 0 0 16166 15 0 0 20 0 1 0 182288526 411869184 84287 134679101440 4194304 14036057 140735060840608 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 54579200 140735060845600 140735060845702 140735060845702 140735060852718 0
/proc/950400/statm: 100554 84287 2461 2403 0 97664 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 402216 KiB
Current children cumulated memory: 337148 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/255 950438
/proc/meminfo: memFree=128632924/131524600 swapFree=131071996/131071996
[pid=950400] ppid=950397 vsize=435824 memory=386892 CPUtime=221.64 cores=4,6
/proc/950400/stat : 950400 (LS-MabS) R 950397 950400 945754 0 -1 4194304 98194 0 0 0 22148 16 0 0 20 0 1 0 182288526 446283776 96723 134679101440 4194304 14036057 140735060840608 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 54579200 140735060845600 140735060845702 140735060845702 140735060852718 0
/proc/950400/statm: 108956 96723 2461 2403 0 106066 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 435824 KiB
Current children cumulated memory: 386892 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/255 950450
/proc/meminfo: memFree=128624380/131524600 swapFree=131071996/131071996
[pid=950400] ppid=950397 vsize=435824 memory=395064 CPUtime=281.47 cores=4,6
/proc/950400/stat : 950400 (LS-MabS) R 950397 950400 945754 0 -1 4194304 98367 0 0 0 28131 16 0 0 20 0 1 0 182288526 446283776 98766 134679101440 4194304 14036057 140735060840608 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 54579200 140735060845600 140735060845702 140735060845702 140735060852718 0
/proc/950400/statm: 108956 98766 2461 2403 0 106066 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 435824 KiB
Current children cumulated memory: 395064 KiB
[startup+342.3 s]
/proc/loadavg: 4.16 4.12 4.10 5/255 950461
/proc/meminfo: memFree=128606360/131524600 swapFree=131071996/131071996
[pid=950400] ppid=950397 vsize=455952 memory=412956 CPUtime=341.31 cores=4,6
/proc/950400/stat : 950400 (LS-MabS) R 950397 950400 945754 0 -1 4194304 102977 0 0 0 34115 16 0 0 20 0 1 0 182288526 466894848 103239 134679101440 4194304 14036057 140735060840608 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 54579200 140735060845600 140735060845702 140735060845702 140735060852718 0
/proc/950400/statm: 113988 103239 2461 2403 0 111098 0
Current children cumulated CPU time: 341.31 s
Current children cumulated vsize: 455952 KiB
Current children cumulated memory: 412956 KiB
[startup+402.3 s]
/proc/loadavg: 4.16 4.12 4.10 5/257 950476
/proc/meminfo: memFree=128602640/131524600 swapFree=131071996/131071996
[pid=950400] ppid=950397 vsize=455952 memory=412984 CPUtime=401.15 cores=4,6
/proc/950400/stat : 950400 (LS-MabS) R 950397 950400 945754 0 -1 4194304 103127 0 0 0 40099 16 0 0 20 0 1 0 182288526 466894848 103246 134679101440 4194304 14036057 140735060840608 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 54579200 140735060845600 140735060845702 140735060845702 140735060852718 0
/proc/950400/statm: 113988 103246 2461 2403 0 111098 0
Current children cumulated CPU time: 401.15 s
Current children cumulated vsize: 455952 KiB
Current children cumulated memory: 412984 KiB
[startup+462.3 s]
/proc/loadavg: 4.18 4.13 4.10 5/257 950487
/proc/meminfo: memFree=128602152/131524600 swapFree=131071996/131071996
[pid=950400] ppid=950397 vsize=456292 memory=413232 CPUtime=461 cores=4,6
/proc/950400/stat : 950400 (LS-MabS) R 950397 950400 945754 0 -1 4194304 103351 0 0 0 46084 16 0 0 20 0 1 0 182288526 467243008 103308 134679101440 4194304 14036057 140735060840608 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 54579200 140735060845600 140735060845702 140735060845702 140735060852718 0
/proc/950400/statm: 114073 103308 2461 2403 0 111183 0
################
# More data... #
################
/proc/loadavg: 4.23 4.18 4.11 5/255 952209
/proc/meminfo: memFree=128035712/131524600 swapFree=131071996/131071996
[pid=950400] ppid=950397 vsize=550220 memory=510688 CPUtime=3215.08 cores=4,6
/proc/950400/stat : 950400 (LS-MabS) R 950397 950400 945754 0 -1 4194304 159642 0 0 0 317836 3672 0 0 20 0 1 0 182288526 563425280 127672 134679101440 4194304 14036057 140735060840608 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 54579200 140735060845600 140735060845702 140735060845702 140735060852718 0
/proc/950400/statm: 137555 127672 2492 2403 0 134665 0
Current children cumulated CPU time: 3215.08 s
Current children cumulated vsize: 550220 KiB
Current children cumulated memory: 510688 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.16 4.11 5/255 952220
/proc/meminfo: memFree=127991880/131524600 swapFree=131071996/131071996
[pid=950400] ppid=950397 vsize=550220 memory=510688 CPUtime=3274.98 cores=4,6
/proc/950400/stat : 950400 (LS-MabS) R 950397 950400 945754 0 -1 4194304 159648 0 0 0 323674 3824 0 0 20 0 1 0 182288526 563425280 127672 134679101440 4194304 14036057 140735060840608 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 54579200 140735060845600 140735060845702 140735060845702 140735060852718 0
/proc/950400/statm: 137555 127672 2492 2403 0 134665 0
Current children cumulated CPU time: 3274.98 s
Current children cumulated vsize: 550220 KiB
Current children cumulated memory: 510688 KiB
[startup+3342.3 s]
/proc/loadavg: 3.20 3.92 4.03 3/241 952292
/proc/meminfo: memFree=128581884/131524600 swapFree=131071996/131071996
[pid=950400] ppid=950397 vsize=550220 memory=510688 CPUtime=3334.86 cores=4,6
/proc/950400/stat : 950400 (LS-MabS) R 950397 950400 945754 0 -1 4194304 159654 0 0 0 329507 3979 0 0 20 0 1 0 182288526 563425280 127672 134679101440 4194304 14036057 140735060840608 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 54579200 140735060845600 140735060845702 140735060845702 140735060852718 0
/proc/950400/statm: 137555 127672 2492 2403 0 134665 0
Current children cumulated CPU time: 3334.86 s
Current children cumulated vsize: 550220 KiB
Current children cumulated memory: 510688 KiB
[startup+3402.3 s]
/proc/loadavg: 2.50 3.58 3.91 3/243 952307
/proc/meminfo: memFree=128581644/131524600 swapFree=131071996/131071996
[pid=950400] ppid=950397 vsize=550220 memory=510688 CPUtime=3394.74 cores=4,6
/proc/950400/stat : 950400 (LS-MabS) R 950397 950400 945754 0 -1 4194304 159660 0 0 0 335337 4137 0 0 20 0 1 0 182288526 563425280 127672 134679101440 4194304 14036057 140735060840608 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 54579200 140735060845600 140735060845702 140735060845702 140735060852718 0
/proc/950400/statm: 137555 127672 2492 2403 0 134665 0
Current children cumulated CPU time: 3394.74 s
Current children cumulated vsize: 550220 KiB
Current children cumulated memory: 510688 KiB
[startup+3462.3 s]
/proc/loadavg: 2.23 3.31 3.79 3/242 952318
/proc/meminfo: memFree=128581376/131524600 swapFree=131071996/131071996
[pid=950400] ppid=950397 vsize=550220 memory=510688 CPUtime=3454.62 cores=4,6
/proc/950400/stat : 950400 (LS-MabS) R 950397 950400 945754 0 -1 4194304 159666 0 0 0 341168 4294 0 0 20 0 1 0 182288526 563425280 127672 134679101440 4194304 14036057 140735060840608 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 54579200 140735060845600 140735060845702 140735060845702 140735060852718 0
/proc/950400/statm: 137555 127672 2492 2403 0 134665 0
Current children cumulated CPU time: 3454.62 s
Current children cumulated vsize: 550220 KiB
Current children cumulated memory: 510688 KiB
[startup+3522.3 s]
/proc/loadavg: 2.22 3.11 3.69 3/242 952328
/proc/meminfo: memFree=128581076/131524600 swapFree=131071996/131071996
[pid=950400] ppid=950397 vsize=550220 memory=510688 CPUtime=3514.49 cores=4,6
/proc/950400/stat : 950400 (LS-MabS) R 950397 950400 945754 0 -1 4194304 159672 0 0 0 346999 4450 0 0 20 0 1 0 182288526 563425280 127672 134679101440 4194304 14036057 140735060840608 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 54579200 140735060845600 140735060845702 140735060845702 140735060852718 0
/proc/950400/statm: 137555 127672 2492 2403 0 134665 0
Current children cumulated CPU time: 3514.49 s
Current children cumulated vsize: 550220 KiB
Current children cumulated memory: 510688 KiB
[startup+3582.3 s]
/proc/loadavg: 2.08 2.91 3.58 3/243 952340
/proc/meminfo: memFree=128580800/131524600 swapFree=131071996/131071996
[pid=950400] ppid=950397 vsize=550220 memory=510688 CPUtime=3574.38 cores=4,6
/proc/950400/stat : 950400 (LS-MabS) R 950397 950400 945754 0 -1 4194304 159678 0 0 0 352835 4603 0 0 20 0 1 0 182288526 563425280 127672 134679101440 4194304 14036057 140735060840608 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 54579200 140735060845600 140735060845702 140735060845702 140735060852718 0
/proc/950400/statm: 137555 127672 2492 2403 0 134665 0
Current children cumulated CPU time: 3574.38 s
Current children cumulated vsize: 550220 KiB
Current children cumulated memory: 510688 KiB
[startup+3607.98 s]
# the end of solver process 950400 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3553.33 s, system=46.6811 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 2.08 2.91 3.58 3/243 952340
/proc/meminfo: memFree=128580808/131524600 swapFree=131071996/131071996
[pid=950400] ppid=950397 vsize=550220 memory=510688 CPUtime=3576.08 cores=4,6
/proc/950400/stat : 950400 (LS-MabS) R 950397 950400 945754 0 -1 4194304 159678 0 0 0 353002 4606 0 0 20 0 1 0 182288526 563425280 127672 134679101440 4194304 14036057 140735060840608 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 54579200 140735060845600 140735060845702 140735060845702 140735060852718 0
/proc/950400/statm: 137555 127672 2492 2403 0 134665 0
Current children cumulated CPU time: 3576.08 s
Current children cumulated vsize: 550220 KiB
Current children cumulated memory: 510688 KiB
[startup+3596.8 s]
/proc/loadavg: 2.14 2.88 3.56 3/243 952343
/proc/meminfo: memFree=128580700/131524600 swapFree=131071996/131071996
[pid=950400] ppid=950397 vsize=550220 memory=510688 CPUtime=3588.85 cores=4,6
/proc/950400/stat : 950400 (LS-MabS) R 950397 950400 945754 0 -1 4194304 159681 0 0 0 354249 4636 0 0 20 0 1 0 182288526 563425280 127672 134679101440 4194304 14036057 140735060840608 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 54579200 140735060845600 140735060845702 140735060845702 140735060852718 0
/proc/950400/statm: 137555 127672 2492 2403 0 134665 0
Current children cumulated CPU time: 3588.85 s
Current children cumulated vsize: 550220 KiB
Current children cumulated memory: 510688 KiB
[startup+3603.2 s]
/proc/loadavg: 2.13 2.86 3.55 3/243 952343
/proc/meminfo: memFree=128580724/131524600 swapFree=131071996/131071996
[pid=950400] ppid=950397 vsize=550220 memory=510688 CPUtime=3595.23 cores=4,6
/proc/950400/stat : 950400 (LS-MabS) R 950397 950400 945754 0 -1 4194304 159681 0 0 0 354870 4653 0 0 20 0 1 0 182288526 563425280 127672 134679101440 4194304 14036057 140735060840608 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 54579200 140735060845600 140735060845702 140735060845702 140735060852718 0
/proc/950400/statm: 137555 127672 2492 2403 0 134665 0
Current children cumulated CPU time: 3595.23 s
Current children cumulated vsize: 550220 KiB
Current children cumulated memory: 510688 KiB
[startup+3606.4 s]
/proc/loadavg: 2.12 2.85 3.54 3/243 952344
/proc/meminfo: memFree=128580652/131524600 swapFree=131071996/131071996
[pid=950400] ppid=950397 vsize=550220 memory=510688 CPUtime=3598.43 cores=4,6
/proc/950400/stat : 950400 (LS-MabS) R 950397 950400 945754 0 -1 4194304 159681 0 0 0 355180 4663 0 0 20 0 1 0 182288526 563425280 127672 134679101440 4194304 14036057 140735060840608 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 54579200 140735060845600 140735060845702 140735060845702 140735060852718 0
/proc/950400/statm: 137555 127672 2492 2403 0 134665 0
Current children cumulated CPU time: 3598.43 s
Current children cumulated vsize: 550220 KiB
Current children cumulated memory: 510688 KiB
[startup+3607.2 s]
/proc/loadavg: 2.12 2.85 3.54 3/243 952344
/proc/meminfo: memFree=128580660/131524600 swapFree=131071996/131071996
[pid=950400] ppid=950397 vsize=550220 memory=510688 CPUtime=3599.23 cores=4,6
/proc/950400/stat : 950400 (LS-MabS) R 950397 950400 945754 0 -1 4194304 159681 0 0 0 355258 4665 0 0 20 0 1 0 182288526 563425280 127672 134679101440 4194304 14036057 140735060840608 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 54579200 140735060845600 140735060845702 140735060845702 140735060852718 0
/proc/950400/statm: 137555 127672 2492 2403 0 134665 0
Current children cumulated CPU time: 3599.23 s
Current children cumulated vsize: 550220 KiB
Current children cumulated memory: 510688 KiB
[startup+3607.6 s]
/proc/loadavg: 2.12 2.85 3.54 3/243 952344
/proc/meminfo: memFree=128580660/131524600 swapFree=131071996/131071996
[pid=950400] ppid=950397 vsize=550220 memory=510688 CPUtime=3599.63 cores=4,6
/proc/950400/stat : 950400 (LS-MabS) R 950397 950400 945754 0 -1 4194304 159681 0 0 0 355296 4667 0 0 20 0 1 0 182288526 563425280 127672 134679101440 4194304 14036057 140735060840608 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 54579200 140735060845600 140735060845702 140735060845702 140735060852718 0
/proc/950400/statm: 137555 127672 2492 2403 0 134665 0
Current children cumulated CPU time: 3599.63 s
Current children cumulated vsize: 550220 KiB
Current children cumulated memory: 510688 KiB
[startup+3607.8 s]
/proc/loadavg: 2.12 2.85 3.54 3/243 952344
/proc/meminfo: memFree=128580660/131524600 swapFree=131071996/131071996
[pid=950400] ppid=950397 vsize=550220 memory=510688 CPUtime=3599.83 cores=4,6
/proc/950400/stat : 950400 (LS-MabS) R 950397 950400 945754 0 -1 4194304 159681 0 0 0 355316 4667 0 0 20 0 1 0 182288526 563425280 127672 134679101440 4194304 14036057 140735060840608 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 54579200 140735060845600 140735060845702 140735060845702 140735060852718 0
/proc/950400/statm: 137555 127672 2492 2403 0 134665 0
Current children cumulated CPU time: 3599.83 s
Current children cumulated vsize: 550220 KiB
Current children cumulated memory: 510688 KiB
[startup+3607.9 s]
/proc/loadavg: 2.12 2.85 3.54 3/243 952344
/proc/meminfo: memFree=128580660/131524600 swapFree=131071996/131071996
[pid=950400] ppid=950397 vsize=550220 memory=510688 CPUtime=3599.92 cores=4,6
/proc/950400/stat : 950400 (LS-MabS) R 950397 950400 945754 0 -1 4194304 159681 0 0 0 355325 4667 0 0 20 0 1 0 182288526 563425280 127672 134679101440 4194304 14036057 140735060840608 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 15946000 16022736 54579200 140735060845600 140735060845702 140735060845702 140735060852718 0
/proc/950400/statm: 137555 127672 2492 2403 0 134665 0
Current children cumulated CPU time: 3599.92 s
Current children cumulated vsize: 550220 KiB
Current children cumulated memory: 510688 KiB
Child status: 0
Real time (s): 3607.98
CPU time (s): 3600.01
CPU user time (s): 3553.33
CPU system time (s): 46.6811
CPU usage (%): 99.7792
Max. virtual memory (cumulated for all children) (KiB): 621280
Max. memory (cumulated for all children) (KiB): 577544
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3553.33
system time used= 46.6811
maximum resident set size= 577544
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 159687
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= 64
involuntary context switches= 1368
# summary of solver processes directly reported to runsolver:
# pid: 950400
# total CPU time (s): 3600.01
# total CPU user time (s): 3553.33
# total CPU system time (s): 46.6811
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.97512 second user time and 16.3194 second system time
The end
Begin job on nodeC028 at 2024-07-18 13:13:47
IDJOB=4442587
IDBENCH=147833
IDSOLVER=3048
FILE ID=nodeC028/4442587-1721301215
RUNJOBID= nodeC028-1721293706-945765
SLURM_JOB_ID= 7542588
Free space on /tmp= 890028 MiB
SOLVER NAME= LS-MabS 2024-07-10
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/roussel/normalized-pigeon-clauses-45-40.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-4442587-1721301215/watcher-4442587-1721301215 -o /tmp/evaluation-result-4442587-1721301215/solver-4442587-1721301215 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721293706-945765 --watchdog 3760 ./LS-MabS -f HOME/instance-4442587-1721301215.opb -t 3600 -s 1945299515
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 2590c1209b8f449ade71ad316e08b5f7
RANDOM SEED=1945299515
nodeC028.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 : 3643.296
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.56
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 : 3682.167
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.59
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 : 3600.317
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.56
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.046
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.59
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 : 3619.980
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.56
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 : 3682.201
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.59
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 : 3651.729
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.56
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.266
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 129017356 kB
MemAvailable: 129452848 kB
Buffers: 475800 kB
Cached: 801400 kB
SwapCached: 0 kB
Active: 976644 kB
Inactive: 934276 kB
Active(anon): 1568 kB
Inactive(anon): 669864 kB
Active(file): 975076 kB
Inactive(file): 264412 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 13672 kB
Writeback: 0 kB
AnonPages: 630948 kB
Mapped: 135752 kB
Shmem: 37720 kB
KReclaimable: 71652 kB
Slab: 179044 kB
SReclaimable: 71652 kB
SUnreclaim: 107392 kB
KernelStack: 4108 kB
PageTables: 10776 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 954336 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 66336 kB
HardwareCorrupted: 0 kB
AnonHugePages: 438272 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: 197332 kB
DirectMap2M: 20547584 kB
DirectMap1G: 115343360 kB
Free space on /tmp at the end= 890040 MiB
End job on nodeC028 at 2024-07-18 14:13:55