742.34/744.12 c Filename:instance-4446516-1721343899.opb, Cutoff_time:3600, memory_limit_gb:500000
742.34/744.12 c Use Presolve
742.34/744.12 c Parse finsih
742.34/744.12 c Start Presolve
742.34/744.12 c After Reduce Vars: 16215 Clauses: 16610 Top clause weight: 1 Hard Clauses: 16610
3599.94/3607.25 c Use LS-small
3599.94/3607.25 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 (59600 MiB free)
memory of node 1: 64473 MiB (58643 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446516-1721343899/watcher-4446516-1721343899 -o /tmp/evaluation-result-4446516-1721343899/solver-4446516-1721343899 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721340304-984516 --watchdog 3760 ./LS-MabSP -f HOME/instance-4446516-1721343899.opb -t 3600 -s 1959206513
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=986992, runsolver pid=986989
Current StackSize limit: 8192 KiB
[startup+0.100103 s]*
/proc/loadavg: 4.34 4.22 4.15 5/257 986993
/proc/meminfo: memFree=121075548/131524596 swapFree=131071996/131071996
[pid=986992] ppid=986989 vsize=24264 memory=11140 CPUtime=0.1 cores=4,6
/proc/986992/stat : 986992 (LS-MabSP) R 986989 986992 984505 0 -1 4194304 1844 0 0 0 10 0 0 0 20 0 1 0 186560487 24846336 2785 134679101440 4194304 15467897 140730430654112 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 31494144 140730430657566 140730430657669 140730430657669 140730430664685 0
/proc/986992/statm: 6066 2785 1073 2753 0 2719 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 24264 KiB
Current children cumulated memory: 11140 KiB
[startup+0.205973 s]*
/proc/loadavg: 4.34 4.22 4.15 5/257 986993
/proc/meminfo: memFree=121073524/131524596 swapFree=131071996/131071996
[pid=986992] ppid=986989 vsize=26312 memory=13256 CPUtime=0.2 cores=4,6
/proc/986992/stat : 986992 (LS-MabSP) R 986989 986992 984505 0 -1 4194304 2351 0 0 0 20 0 0 0 20 0 1 0 186560487 26943488 3314 134679101440 4194304 15467897 140730430654112 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 31494144 140730430657566 140730430657669 140730430657669 140730430664685 0
/proc/986992/statm: 6578 3314 1073 2753 0 3231 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 26312 KiB
Current children cumulated memory: 13256 KiB
[startup+0.305967 s]*
/proc/loadavg: 4.34 4.22 4.15 5/257 986993
/proc/meminfo: memFree=121056524/131524596 swapFree=131071996/131071996
[pid=986992] ppid=986989 vsize=42876 memory=29920 CPUtime=0.3 cores=4,6
/proc/986992/stat : 986992 (LS-MabSP) R 986989 986992 984505 0 -1 4194304 7173 0 0 0 30 0 0 0 20 0 1 0 186560487 43905024 7480 134679101440 4194304 15467897 140730430654112 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 31494144 140730430657566 140730430657669 140730430657669 140730430664685 0
/proc/986992/statm: 10719 7480 1105 2753 0 7372 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 42876 KiB
Current children cumulated memory: 29920 KiB
[startup+0.700211 s]
/proc/loadavg: 4.34 4.22 4.15 5/252 987001
/proc/meminfo: memFree=122264724/131524596 swapFree=131071996/131071996
[pid=986992] ppid=986989 vsize=42876 memory=29920 CPUtime=0.68 cores=4,6
/proc/986992/stat : 986992 (LS-MabSP) R 986989 986992 984505 0 -1 4194304 7173 0 0 0 68 0 0 0 20 0 1 0 186560487 43905024 7480 134679101440 4194304 15467897 140730430654112 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 31494144 140730430657566 140730430657669 140730430657669 140730430664685 0
/proc/986992/statm: 10719 7480 1105 2753 0 7372 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 42876 KiB
Current children cumulated memory: 29920 KiB
[startup+1.50023 s]
/proc/loadavg: 4.34 4.22 4.15 5/257 987039
/proc/meminfo: memFree=122259916/131524596 swapFree=131071996/131071996
[pid=986992] ppid=986989 vsize=42876 memory=29920 CPUtime=1.48 cores=4,6
/proc/986992/stat : 986992 (LS-MabSP) R 986989 986992 984505 0 -1 4194304 7173 0 0 0 148 0 0 0 20 0 1 0 186560487 43905024 7480 134679101440 4194304 15467897 140730430654112 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 31494144 140730430657566 140730430657669 140730430657669 140730430664685 0
/proc/986992/statm: 10719 7480 1105 2753 0 7372 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 42876 KiB
Current children cumulated memory: 29920 KiB
[startup+3.10583 s]
/proc/loadavg: 4.34 4.22 4.15 4/254 987099
/proc/meminfo: memFree=124117468/131524596 swapFree=131071996/131071996
[pid=986992] ppid=986989 vsize=195644 memory=182064 CPUtime=3.09 cores=4,6
/proc/986992/stat : 986992 (LS-MabSP) R 986989 986992 984505 0 -1 4194304 44526 0 0 0 303 6 0 0 20 0 1 0 186560487 200339456 45516 134679101440 4194304 15467897 140730430654112 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 31494144 140730430657566 140730430657669 140730430657669 140730430664685 0
/proc/986992/statm: 48911 45516 2721 2753 0 45564 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 195644 KiB
Current children cumulated memory: 182064 KiB
[startup+6.30019 s]
/proc/loadavg: 4.31 4.22 4.15 5/257 987131
/proc/meminfo: memFree=123629432/131524596 swapFree=131071996/131071996
[pid=986992] ppid=986989 vsize=198308 memory=184960 CPUtime=6.28 cores=4,6
/proc/986992/stat : 986992 (LS-MabSP) R 986989 986992 984505 0 -1 4194304 45305 0 0 0 622 6 0 0 20 0 1 0 186560487 203067392 46240 134679101440 4194304 15467897 140730430654112 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 31494144 140730430657566 140730430657669 140730430657669 140730430664685 0
/proc/986992/statm: 49577 46240 2721 2753 0 46230 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 198308 KiB
Current children cumulated memory: 184960 KiB
[startup+12.7002 s]
/proc/loadavg: 4.37 4.23 4.16 5/257 987133
/proc/meminfo: memFree=123583248/131524596 swapFree=131071996/131071996
[pid=986992] ppid=986989 vsize=202340 memory=189000 CPUtime=12.66 cores=4,6
/proc/986992/stat : 986992 (LS-MabSP) R 986989 986992 984505 0 -1 4194304 46343 0 0 0 1260 6 0 0 20 0 1 0 186560487 207196160 47250 134679101440 4194304 15467897 140730430654112 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 31494144 140730430657566 140730430657669 140730430657669 140730430664685 0
/proc/986992/statm: 50585 47250 2721 2753 0 47238 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 202340 KiB
Current children cumulated memory: 189000 KiB
[startup+25.5002 s]
/proc/loadavg: 4.51 4.27 4.17 5/257 987134
/proc/meminfo: memFree=123565756/131524596 swapFree=131071996/131071996
[pid=986992] ppid=986989 vsize=203940 memory=190572 CPUtime=25.42 cores=4,6
/proc/986992/stat : 986992 (LS-MabSP) R 986989 986992 984505 0 -1 4194304 46736 0 0 0 2536 6 0 0 20 0 1 0 186560487 208834560 47643 134679101440 4194304 15467897 140730430654112 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 31494144 140730430657566 140730430657669 140730430657669 140730430664685 0
/proc/986992/statm: 50985 47643 2721 2753 0 47638 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 203940 KiB
Current children cumulated memory: 190572 KiB
[startup+51.1058 s]
/proc/loadavg: 4.40 4.27 4.17 5/255 987139
/proc/meminfo: memFree=123404892/131524596 swapFree=131071996/131071996
[pid=986992] ppid=986989 vsize=259004 memory=244192 CPUtime=50.97 cores=4,6
/proc/986992/stat : 986992 (LS-MabSP) R 986989 986992 984505 0 -1 4194304 59831 0 0 0 5088 9 0 0 20 0 1 0 186560487 265220096 61048 134679101440 4194304 15467897 140730430654112 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 31494144 140730430657566 140730430657669 140730430657669 140730430664685 0
/proc/986992/statm: 64751 61048 2817 2753 0 61404 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 259004 KiB
Current children cumulated memory: 244192 KiB
[startup+102.3 s]
/proc/loadavg: 4.23 4.24 4.17 5/255 987147
/proc/meminfo: memFree=123303024/131524596 swapFree=131071996/131071996
[pid=986992] ppid=986989 vsize=267336 memory=253780 CPUtime=102.02 cores=4,6
/proc/986992/stat : 986992 (LS-MabSP) R 986989 986992 984505 0 -1 4194304 61668 0 0 0 10193 9 0 0 20 0 1 0 186560487 273752064 63445 134679101440 4194304 15467897 140730430654112 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 31494144 140730430657566 140730430657669 140730430657669 140730430664685 0
/proc/986992/statm: 66834 63445 2833 2753 0 63487 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 267336 KiB
Current children cumulated memory: 253780 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.21 4.16 5/254 987159
/proc/meminfo: memFree=123295892/131524596 swapFree=131071996/131071996
[pid=986992] ppid=986989 vsize=269060 memory=259376 CPUtime=161.86 cores=4,6
/proc/986992/stat : 986992 (LS-MabSP) R 986989 986992 984505 0 -1 4194304 62173 0 0 0 16177 9 0 0 20 0 1 0 186560487 275517440 64844 134679101440 4194304 15467897 140730430654112 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 31494144 140730430657566 140730430657669 140730430657669 140730430664685 0
/proc/986992/statm: 67265 64844 2833 2753 0 63918 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 269060 KiB
Current children cumulated memory: 259376 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.18 4.16 5/254 987169
/proc/meminfo: memFree=123100336/131524596 swapFree=131071996/131071996
[pid=986992] ppid=986989 vsize=327032 memory=318164 CPUtime=221.71 cores=4,6
/proc/986992/stat : 986992 (LS-MabSP) R 986989 986992 984505 0 -1 4194304 67845 0 0 0 22160 11 0 0 20 0 1 0 186560487 334880768 79541 134679101440 4194304 15467897 140730430654112 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 31494144 140730430657566 140730430657669 140730430657669 140730430664685 0
/proc/986992/statm: 81758 79541 2849 2753 0 78411 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 327032 KiB
Current children cumulated memory: 318164 KiB
[startup+282.3 s]
/proc/loadavg: 4.16 4.19 4.16 5/254 987179
/proc/meminfo: memFree=123048220/131524596 swapFree=131071996/131071996
[pid=986992] ppid=986989 vsize=349256 memory=336740 CPUtime=281.58 cores=4,6
/proc/986992/stat : 986992 (LS-MabSP) R 986989 986992 984505 0 -1 4194304 72051 0 0 0 28146 12 0 0 20 0 1 0 186560487 357638144 84185 134679101440 4194304 15467897 140730430654112 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 31494144 140730430657566 140730430657669 140730430657669 140730430664685 0
/proc/986992/statm: 87314 84185 2849 2753 0 83967 0
Current children cumulated CPU time: 281.58 s
Current children cumulated vsize: 349256 KiB
Current children cumulated memory: 336740 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.17 4.16 5/256 987195
/proc/meminfo: memFree=123030296/131524596 swapFree=131071996/131071996
[pid=986992] ppid=986989 vsize=352888 memory=340100 CPUtime=341.45 cores=4,6
/proc/986992/stat : 986992 (LS-MabSP) R 986989 986992 984505 0 -1 4194304 72904 0 0 0 34133 12 0 0 20 0 1 0 186560487 361357312 85025 134679101440 4194304 15467897 140730430654112 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 31494144 140730430657566 140730430657669 140730430657669 140730430664685 0
/proc/986992/statm: 88222 85025 2849 2753 0 84875 0
Current children cumulated CPU time: 341.45 s
Current children cumulated vsize: 352888 KiB
Current children cumulated memory: 340100 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 4.15 4.15 5/257 987206
/proc/meminfo: memFree=123002212/131524596 swapFree=131071996/131071996
[pid=986992] ppid=986989 vsize=358732 memory=344804 CPUtime=401.31 cores=4,6
/proc/986992/stat : 986992 (LS-MabSP) R 986989 986992 984505 0 -1 4194304 74213 0 0 0 40119 12 0 0 20 0 1 0 186560487 367341568 86201 134679101440 4194304 15467897 140730430654112 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 31494144 140730430657566 140730430657669 140730430657669 140730430664685 0
/proc/986992/statm: 89683 86201 2849 2753 0 86336 0
Current children cumulated CPU time: 401.31 s
Current children cumulated vsize: 358732 KiB
Current children cumulated memory: 344804 KiB
[startup+462.3 s]
/proc/loadavg: 4.07 4.14 4.14 5/257 987217
/proc/meminfo: memFree=122886536/131524596 swapFree=131071996/131071996
[pid=986992] ppid=986989 vsize=368264 memory=351176 CPUtime=461.18 cores=4,6
/proc/986992/stat : 986992 (LS-MabSP) R 986989 986992 984505 0 -1 4194304 76098 0 0 0 46105 13 0 0 20 0 1 0 186560487 377102336 87794 134679101440 4194304 15467897 140730430654112 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 31494144 140730430657566 140730430657669 140730430657669 140730430664685 0
/proc/986992/statm: 92066 87794 2849 2753 0 88719 0
################
# More data... #
################
/proc/loadavg: 4.21 4.31 4.19 5/255 988716
/proc/meminfo: memFree=122665552/131524596 swapFree=131071996/131071996
[pid=986992] ppid=986989 vsize=389492 memory=383648 CPUtime=3155.79 cores=4,6
/proc/986992/stat : 986992 (LS-MabSP) R 986989 986992 984505 0 -1 4194304 100033 0 0 0 311394 4185 0 0 20 0 1 0 186560487 398839808 95912 134679101440 4194304 15467897 140730430654112 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 31494144 140730430657566 140730430657669 140730430657669 140730430664685 0
/proc/986992/statm: 97373 95912 2849 2753 0 94026 0
Current children cumulated CPU time: 3155.79 s
Current children cumulated vsize: 389492 KiB
Current children cumulated memory: 383648 KiB
[startup+3222.3 s]
/proc/loadavg: 4.18 4.28 4.18 5/257 988897
/proc/meminfo: memFree=122664392/131524596 swapFree=131071996/131071996
[pid=986992] ppid=986989 vsize=389492 memory=383648 CPUtime=3215.69 cores=4,6
/proc/986992/stat : 986992 (LS-MabSP) R 986989 986992 984505 0 -1 4194304 100051 0 0 0 317202 4367 0 0 20 0 1 0 186560487 398839808 95912 134679101440 4194304 15467897 140730430654112 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 31494144 140730430657566 140730430657669 140730430657669 140730430664685 0
/proc/986992/statm: 97373 95912 2849 2753 0 94026 0
Current children cumulated CPU time: 3215.69 s
Current children cumulated vsize: 389492 KiB
Current children cumulated memory: 383648 KiB
[startup+3282.3 s]
/proc/loadavg: 4.46 4.34 4.21 5/257 988907
/proc/meminfo: memFree=122663764/131524596 swapFree=131071996/131071996
[pid=986992] ppid=986989 vsize=389492 memory=383648 CPUtime=3275.58 cores=4,6
/proc/986992/stat : 986992 (LS-MabSP) R 986989 986992 984505 0 -1 4194304 100069 0 0 0 323005 4553 0 0 20 0 1 0 186560487 398839808 95912 134679101440 4194304 15467897 140730430654112 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 31494144 140730430657566 140730430657669 140730430657669 140730430664685 0
/proc/986992/statm: 97373 95912 2849 2753 0 94026 0
Current children cumulated CPU time: 3275.58 s
Current children cumulated vsize: 389492 KiB
Current children cumulated memory: 383648 KiB
[startup+3342.3 s]
/proc/loadavg: 4.21 4.29 4.20 5/257 988921
/proc/meminfo: memFree=122663004/131524596 swapFree=131071996/131071996
[pid=986992] ppid=986989 vsize=389492 memory=383648 CPUtime=3335.48 cores=4,6
/proc/986992/stat : 986992 (LS-MabSP) R 986989 986992 984505 0 -1 4194304 100087 0 0 0 328817 4731 0 0 20 0 1 0 186560487 398839808 95912 134679101440 4194304 15467897 140730430654112 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 31494144 140730430657566 140730430657669 140730430657669 140730430664685 0
/proc/986992/statm: 97373 95912 2849 2753 0 94026 0
Current children cumulated CPU time: 3335.48 s
Current children cumulated vsize: 389492 KiB
Current children cumulated memory: 383648 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.27 4.19 5/257 988944
/proc/meminfo: memFree=122662468/131524596 swapFree=131071996/131071996
[pid=986992] ppid=986989 vsize=389492 memory=383648 CPUtime=3395.38 cores=4,6
/proc/986992/stat : 986992 (LS-MabSP) R 986989 986992 984505 0 -1 4194304 100105 0 0 0 334623 4915 0 0 20 0 1 0 186560487 398839808 95912 134679101440 4194304 15467897 140730430654112 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 31494144 140730430657566 140730430657669 140730430657669 140730430664685 0
/proc/986992/statm: 97373 95912 2849 2753 0 94026 0
Current children cumulated CPU time: 3395.38 s
Current children cumulated vsize: 389492 KiB
Current children cumulated memory: 383648 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.23 4.18 5/257 988955
/proc/meminfo: memFree=122661616/131524596 swapFree=131071996/131071996
[pid=986992] ppid=986989 vsize=389492 memory=383648 CPUtime=3455.28 cores=4,6
/proc/986992/stat : 986992 (LS-MabSP) R 986989 986992 984505 0 -1 4194304 100123 0 0 0 340432 5096 0 0 20 0 1 0 186560487 398839808 95912 134679101440 4194304 15467897 140730430654112 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 31494144 140730430657566 140730430657669 140730430657669 140730430664685 0
/proc/986992/statm: 97373 95912 2849 2753 0 94026 0
Current children cumulated CPU time: 3455.28 s
Current children cumulated vsize: 389492 KiB
Current children cumulated memory: 383648 KiB
[startup+3522.3 s]
/proc/loadavg: 4.29 4.26 4.19 5/256 989011
/proc/meminfo: memFree=122852920/131524596 swapFree=131071996/131071996
[pid=986992] ppid=986989 vsize=389492 memory=383648 CPUtime=3515.17 cores=4,6
/proc/986992/stat : 986992 (LS-MabSP) R 986989 986992 984505 0 -1 4194304 100141 0 0 0 346246 5271 0 0 20 0 1 0 186560487 398839808 95912 134679101440 4194304 15467897 140730430654112 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 31494144 140730430657566 140730430657669 140730430657669 140730430664685 0
/proc/986992/statm: 97373 95912 2849 2753 0 94026 0
Current children cumulated CPU time: 3515.17 s
Current children cumulated vsize: 389492 KiB
Current children cumulated memory: 383648 KiB
[startup+3582.3 s]
/proc/loadavg: 4.22 4.24 4.19 5/256 989023
/proc/meminfo: memFree=122844080/131524596 swapFree=131071996/131071996
[pid=986992] ppid=986989 vsize=389492 memory=383648 CPUtime=3575.07 cores=4,6
/proc/986992/stat : 986992 (LS-MabSP) R 986989 986992 984505 0 -1 4194304 100159 0 0 0 352053 5454 0 0 20 0 1 0 186560487 398839808 95912 134679101440 4194304 15467897 140730430654112 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 31494144 140730430657566 140730430657669 140730430657669 140730430664685 0
/proc/986992/statm: 97373 95912 2849 2753 0 94026 0
Current children cumulated CPU time: 3575.07 s
Current children cumulated vsize: 389492 KiB
Current children cumulated memory: 383648 KiB
[startup+3607.26 s]
# the end of solver process 986992 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3544.7 s, system=55.3036 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.20 4.24 4.18 5/256 989023
/proc/meminfo: memFree=122844024/131524596 swapFree=131071996/131071996
[pid=986992] ppid=986989 vsize=389492 memory=383648 CPUtime=3576.77 cores=4,6
/proc/986992/stat : 986992 (LS-MabSP) R 986989 986992 984505 0 -1 4194304 100159 0 0 0 352218 5459 0 0 20 0 1 0 186560487 398839808 95912 134679101440 4194304 15467897 140730430654112 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 31494144 140730430657566 140730430657669 140730430657669 140730430664685 0
/proc/986992/statm: 97373 95912 2849 2753 0 94026 0
Current children cumulated CPU time: 3576.77 s
Current children cumulated vsize: 389492 KiB
Current children cumulated memory: 383648 KiB
[startup+3596.8 s]
/proc/loadavg: 4.17 4.23 4.18 5/256 989025
/proc/meminfo: memFree=122843888/131524596 swapFree=131071996/131071996
[pid=986992] ppid=986989 vsize=389492 memory=383648 CPUtime=3589.55 cores=4,6
/proc/986992/stat : 986992 (LS-MabSP) R 986989 986992 984505 0 -1 4194304 100159 0 0 0 353460 5495 0 0 20 0 1 0 186560487 398839808 95912 134679101440 4194304 15467897 140730430654112 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 31494144 140730430657566 140730430657669 140730430657669 140730430664685 0
/proc/986992/statm: 97373 95912 2849 2753 0 94026 0
Current children cumulated CPU time: 3589.55 s
Current children cumulated vsize: 389492 KiB
Current children cumulated memory: 383648 KiB
[startup+3603.2 s]
/proc/loadavg: 4.16 4.23 4.18 5/256 989027
/proc/meminfo: memFree=122843624/131524596 swapFree=131071996/131071996
[pid=986992] ppid=986989 vsize=389492 memory=383648 CPUtime=3595.94 cores=4,6
/proc/986992/stat : 986992 (LS-MabSP) R 986989 986992 984505 0 -1 4194304 100159 0 0 0 354078 5516 0 0 20 0 1 0 186560487 398839808 95912 134679101440 4194304 15467897 140730430654112 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 31494144 140730430657566 140730430657669 140730430657669 140730430664685 0
/proc/986992/statm: 97373 95912 2849 2753 0 94026 0
Current children cumulated CPU time: 3595.94 s
Current children cumulated vsize: 389492 KiB
Current children cumulated memory: 383648 KiB
[startup+3604.8 s]
/proc/loadavg: 4.14 4.22 4.18 5/256 989027
/proc/meminfo: memFree=122843588/131524596 swapFree=131071996/131071996
[pid=986992] ppid=986989 vsize=389492 memory=383648 CPUtime=3597.54 cores=4,6
/proc/986992/stat : 986992 (LS-MabSP) R 986989 986992 984505 0 -1 4194304 100159 0 0 0 354232 5522 0 0 20 0 1 0 186560487 398839808 95912 134679101440 4194304 15467897 140730430654112 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 31494144 140730430657566 140730430657669 140730430657669 140730430664685 0
/proc/986992/statm: 97373 95912 2849 2753 0 94026 0
Current children cumulated CPU time: 3597.54 s
Current children cumulated vsize: 389492 KiB
Current children cumulated memory: 383648 KiB
[startup+3606.4 s]
/proc/loadavg: 4.14 4.22 4.18 5/256 989027
/proc/meminfo: memFree=122843560/131524596 swapFree=131071996/131071996
[pid=986992] ppid=986989 vsize=389492 memory=383648 CPUtime=3599.13 cores=4,6
/proc/986992/stat : 986992 (LS-MabSP) R 986989 986992 984505 0 -1 4194304 100159 0 0 0 354385 5528 0 0 20 0 1 0 186560487 398839808 95912 134679101440 4194304 15467897 140730430654112 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 31494144 140730430657566 140730430657669 140730430657669 140730430664685 0
/proc/986992/statm: 97373 95912 2849 2753 0 94026 0
Current children cumulated CPU time: 3599.13 s
Current children cumulated vsize: 389492 KiB
Current children cumulated memory: 383648 KiB
[startup+3606.8 s]
/proc/loadavg: 4.14 4.22 4.18 5/256 989027
/proc/meminfo: memFree=122843560/131524596 swapFree=131071996/131071996
[pid=986992] ppid=986989 vsize=389492 memory=383648 CPUtime=3599.53 cores=4,6
/proc/986992/stat : 986992 (LS-MabSP) R 986989 986992 984505 0 -1 4194304 100159 0 0 0 354424 5529 0 0 20 0 1 0 186560487 398839808 95912 134679101440 4194304 15467897 140730430654112 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 31494144 140730430657566 140730430657669 140730430657669 140730430664685 0
/proc/986992/statm: 97373 95912 2849 2753 0 94026 0
Current children cumulated CPU time: 3599.53 s
Current children cumulated vsize: 389492 KiB
Current children cumulated memory: 383648 KiB
[startup+3607.2 s]
/proc/loadavg: 4.14 4.22 4.18 5/256 989027
/proc/meminfo: memFree=122843568/131524596 swapFree=131071996/131071996
[pid=986992] ppid=986989 vsize=389492 memory=383648 CPUtime=3599.94 cores=4,6
/proc/986992/stat : 986992 (LS-MabSP) R 986989 986992 984505 0 -1 4194304 100159 0 0 0 354464 5530 0 0 20 0 1 0 186560487 398839808 95912 134679101440 4194304 15467897 140730430654112 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 31494144 140730430657566 140730430657669 140730430657669 140730430664685 0
/proc/986992/statm: 97373 95912 2849 2753 0 94026 0
Current children cumulated CPU time: 3599.94 s
Current children cumulated vsize: 389492 KiB
Current children cumulated memory: 383648 KiB
Child status: 0
Real time (s): 3607.26
CPU time (s): 3600.01
CPU user time (s): 3544.7
CPU system time (s): 55.3036
CPU usage (%): 99.7988
Max. virtual memory (cumulated for all children) (KiB): 457744
Max. memory (cumulated for all children) (KiB): 445024
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3544.7
system time used= 55.3036
maximum resident set size= 445024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100166
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= 28
involuntary context switches= 1307
# summary of solver processes directly reported to runsolver:
# pid: 986992
# total CPU time (s): 3600.01
# total CPU user time (s): 3544.7
# total CPU system time (s): 55.3036
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.01078 second user time and 15.8172 second system time
The end
Begin job on nodeC034 at 2024-07-19 01:05:12
IDJOB=4446516
IDBENCH=158274
IDSOLVER=3047
FILE ID=nodeC034/4446516-1721343899
RUNJOBID= nodeC034-1721340304-984516
SLURM_JOB_ID= 7542721
Free space on /tmp= 889928 MiB
SOLVER NAME= LS-MabSP 2024-07-10
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K143.opb
COMMAND LINE= ./LS-MabSP -f BENCHNAME -t TIMEOUT -s RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446516-1721343899/watcher-4446516-1721343899 -o /tmp/evaluation-result-4446516-1721343899/solver-4446516-1721343899 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721340304-984516 --watchdog 3760 ./LS-MabSP -f HOME/instance-4446516-1721343899.opb -t 3600 -s 1959206513
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 5b71eb3fc2b19671b5e391982561b6cd
RANDOM SEED=1959206513
nodeC034.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 : 3657.147
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.99
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.596
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.58
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.080
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.99
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.388
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.58
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 : 3650.701
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.99
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.622
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.58
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 : 3659.999
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.99
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.234
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.58
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524596 kB
MemFree: 121083076 kB
MemAvailable: 126435192 kB
Buffers: 498496 kB
Cached: 5627644 kB
SwapCached: 0 kB
Active: 1103592 kB
Inactive: 8580048 kB
Active(anon): 1508 kB
Inactive(anon): 3593724 kB
Active(file): 1102084 kB
Inactive(file): 4986324 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 17348 kB
Writeback: 0 kB
AnonPages: 3557520 kB
Mapped: 126904 kB
Shmem: 37720 kB
KReclaimable: 207060 kB
Slab: 333512 kB
SReclaimable: 207060 kB
SUnreclaim: 126452 kB
KernelStack: 4080 kB
PageTables: 16184 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834292 kB
Committed_AS: 4315612 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 70944 kB
HardwareCorrupted: 0 kB
AnonHugePages: 3383296 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: 307924 kB
DirectMap2M: 41408512 kB
DirectMap1G: 94371840 kB
Free space on /tmp at the end= 890016 MiB
End job on nodeC034 at 2024-07-19 02:05:19