1822.16/1826.53 c Filename:instance-4445766-1721326412.opb, Cutoff_time:3600, memory_limit_gb:500000
1822.16/1826.53 c Use Presolve
1822.16/1826.53 c Parse finsih
1822.16/1826.53 c Start Presolve
1822.16/1826.53 c After Reduce Vars: 23094 Clauses: 65135 Top clause weight: 1 Hard Clauses: 65135
3599.98/3607.31 c Use LS-small
3599.98/3607.31 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 (61567 MiB free)
memory of node 1: 64473 MiB (62965 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4445766-1721326412/watcher-4445766-1721326412 -o /tmp/evaluation-result-4445766-1721326412/solver-4445766-1721326412 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721316629-983167 --watchdog 3760 ./LS-MabSP -f HOME/instance-4445766-1721326412.opb -t 3600 -s 1394809431
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=989998, runsolver pid=989995
Current StackSize limit: 8192 KiB
[startup+0.100094 s]*
/proc/loadavg: 4.16 4.15 4.10 5/256 989999
/proc/meminfo: memFree=127507792/131524600 swapFree=131071216/131071996
[pid=989998] ppid=989995 vsize=30344 memory=17404 CPUtime=0.09 cores=5,7
/proc/989998/stat : 989998 (LS-MabSP) R 989995 989998 983141 0 -1 4194304 2883 0 0 0 9 0 0 0 20 0 1 0 184803590 31072256 4351 134679101440 4194304 15467897 140731563846448 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54480896 140731563852830 140731563852933 140731563852933 140731563859949 0
/proc/989998/statm: 7586 4351 1073 2753 0 4239 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 30344 KiB
Current children cumulated memory: 17404 KiB
[startup+0.205283 s]*
/proc/loadavg: 4.16 4.15 4.10 5/256 989999
/proc/meminfo: memFree=127504452/131524600 swapFree=131071216/131071996
[pid=989998] ppid=989995 vsize=32392 memory=20088 CPUtime=0.2 cores=5,7
/proc/989998/stat : 989998 (LS-MabSP) R 989995 989998 983141 0 -1 4194304 3530 0 0 0 20 0 0 0 20 0 1 0 184803590 33169408 5022 134679101440 4194304 15467897 140731563846448 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54480896 140731563852830 140731563852933 140731563852933 140731563859949 0
/proc/989998/statm: 8098 5022 1073 2753 0 4751 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 32392 KiB
Current children cumulated memory: 20088 KiB
[startup+0.304845 s]*
/proc/loadavg: 4.16 4.15 4.10 5/256 989999
/proc/meminfo: memFree=127502504/131524600 swapFree=131071216/131071996
[pid=989998] ppid=989995 vsize=37016 memory=22456 CPUtime=0.3 cores=5,7
/proc/989998/stat : 989998 (LS-MabSP) R 989995 989998 983141 0 -1 4194304 4166 0 0 0 30 0 0 0 20 0 1 0 184803590 37904384 5614 134679101440 4194304 15467897 140731563846448 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54480896 140731563852830 140731563852933 140731563852933 140731563859949 0
/proc/989998/statm: 9254 5614 1073 2753 0 5907 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 37016 KiB
Current children cumulated memory: 22456 KiB
[startup+0.700209 s]
/proc/loadavg: 4.16 4.15 4.10 5/256 989999
/proc/meminfo: memFree=127496840/131524600 swapFree=131071216/131071996
[pid=989998] ppid=989995 vsize=103612 memory=84936 CPUtime=0.69 cores=5,7
/proc/989998/stat : 989998 (LS-MabSP) R 989995 989998 983141 0 -1 4194304 13684 0 0 0 67 2 0 0 20 0 1 0 184803590 106098688 21234 134679101440 4194304 15467897 140731563846448 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54480896 140731563852830 140731563852933 140731563852933 140731563859949 0
/proc/989998/statm: 25903 21234 1105 2753 0 22556 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 103612 KiB
Current children cumulated memory: 84936 KiB
[startup+1.50017 s]
/proc/loadavg: 4.16 4.15 4.10 6/256 989999
/proc/meminfo: memFree=127439632/131524600 swapFree=131071216/131071996
[pid=989998] ppid=989995 vsize=103612 memory=84936 CPUtime=1.49 cores=5,7
/proc/989998/stat : 989998 (LS-MabSP) R 989995 989998 983141 0 -1 4194304 13688 0 0 0 147 2 0 0 20 0 1 0 184803590 106098688 21234 134679101440 4194304 15467897 140731563846448 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54480896 140731563852830 140731563852933 140731563852933 140731563859949 0
/proc/989998/statm: 25903 21234 1105 2753 0 22556 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 103612 KiB
Current children cumulated memory: 84936 KiB
[startup+3.10464 s]
/proc/loadavg: 4.16 4.15 4.10 6/256 989999
/proc/meminfo: memFree=127439644/131524600 swapFree=131071216/131071996
[pid=989998] ppid=989995 vsize=103612 memory=84936 CPUtime=3.09 cores=5,7
/proc/989998/stat : 989998 (LS-MabSP) R 989995 989998 983141 0 -1 4194304 13698 0 0 0 307 2 0 0 20 0 1 0 184803590 106098688 21234 134679101440 4194304 15467897 140731563846448 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54480896 140731563852830 140731563852933 140731563852933 140731563859949 0
/proc/989998/statm: 25903 21234 1105 2753 0 22556 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 103612 KiB
Current children cumulated memory: 84936 KiB
[startup+6.30015 s]
/proc/loadavg: 4.15 4.14 4.10 6/256 990001
/proc/meminfo: memFree=127439552/131524600 swapFree=131071216/131071996
[pid=989998] ppid=989995 vsize=103612 memory=84936 CPUtime=6.27 cores=5,7
/proc/989998/stat : 989998 (LS-MabSP) R 989995 989998 983141 0 -1 4194304 13708 0 0 0 625 2 0 0 20 0 1 0 184803590 106098688 21234 134679101440 4194304 15467897 140731563846448 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54480896 140731563852830 140731563852933 140731563852933 140731563859949 0
/proc/989998/statm: 25903 21234 1105 2753 0 22556 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 103612 KiB
Current children cumulated memory: 84936 KiB
[startup+12.7002 s]
/proc/loadavg: 4.14 4.14 4.10 6/256 990002
/proc/meminfo: memFree=127439312/131524600 swapFree=131071216/131071996
[pid=989998] ppid=989995 vsize=103612 memory=85260 CPUtime=12.66 cores=5,7
/proc/989998/stat : 989998 (LS-MabSP) R 989995 989998 983141 0 -1 4194304 13728 0 0 0 1264 2 0 0 20 0 1 0 184803590 106098688 21315 134679101440 4194304 15467897 140731563846448 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54480896 140731563852830 140731563852933 140731563852933 140731563859949 0
/proc/989998/statm: 25903 21315 1153 2753 0 22556 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 103612 KiB
Current children cumulated memory: 85260 KiB
[startup+25.5002 s]
/proc/loadavg: 4.19 4.15 4.10 6/257 990006
/proc/meminfo: memFree=127439176/131524600 swapFree=131071216/131071996
[pid=989998] ppid=989995 vsize=103612 memory=85260 CPUtime=25.43 cores=5,7
/proc/989998/stat : 989998 (LS-MabSP) R 989995 989998 983141 0 -1 4194304 13748 0 0 0 2541 2 0 0 20 0 1 0 184803590 106098688 21315 134679101440 4194304 15467897 140731563846448 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54480896 140731563852830 140731563852933 140731563852933 140731563859949 0
/proc/989998/statm: 25903 21315 1153 2753 0 22556 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 103612 KiB
Current children cumulated memory: 85260 KiB
[startup+51.1052 s]
/proc/loadavg: 4.46 4.22 4.12 6/257 990010
/proc/meminfo: memFree=127240312/131524600 swapFree=131071216/131071996
[pid=989998] ppid=989995 vsize=305524 memory=289644 CPUtime=50.98 cores=5,7
/proc/989998/stat : 989998 (LS-MabSP) R 989995 989998 983141 0 -1 4194304 65740 0 0 0 5087 11 0 0 20 0 1 0 184803590 312856576 72411 134679101440 4194304 15467897 140731563846448 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54480896 140731563852830 140731563852933 140731563852933 140731563859949 0
/proc/989998/statm: 76381 72411 2721 2753 0 73034 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 305524 KiB
Current children cumulated memory: 289644 KiB
[startup+102.3 s]
/proc/loadavg: 4.27 4.20 4.12 6/257 990018
/proc/meminfo: memFree=127145952/131524600 swapFree=131071216/131071996
[pid=989998] ppid=989995 vsize=400548 memory=384152 CPUtime=102.03 cores=5,7
/proc/989998/stat : 989998 (LS-MabSP) R 989995 989998 983141 0 -1 4194304 88263 0 0 0 10189 14 0 0 20 0 1 0 184803590 410161152 96038 134679101440 4194304 15467897 140731563846448 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54480896 140731563852830 140731563852933 140731563852933 140731563859949 0
/proc/989998/statm: 100137 96038 2833 2753 0 96790 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 400548 KiB
Current children cumulated memory: 384152 KiB
[startup+162.3 s]
/proc/loadavg: 4.20 4.19 4.12 6/255 990028
/proc/meminfo: memFree=127141852/131524600 swapFree=131071216/131071996
[pid=989998] ppid=989995 vsize=407048 memory=387760 CPUtime=161.87 cores=5,7
/proc/989998/stat : 989998 (LS-MabSP) R 989995 989998 983141 0 -1 4194304 88710 0 0 0 16172 15 0 0 20 0 1 0 184803590 416817152 96940 134679101440 4194304 15467897 140731563846448 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54480896 140731563852830 140731563852933 140731563852933 140731563859949 0
/proc/989998/statm: 101762 96940 2833 2753 0 98415 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 407048 KiB
Current children cumulated memory: 387760 KiB
[startup+222.3 s]
/proc/loadavg: 4.19 4.19 4.12 6/255 990038
/proc/meminfo: memFree=127141164/131524600 swapFree=131071216/131071996
[pid=989998] ppid=989995 vsize=407048 memory=388012 CPUtime=221.71 cores=5,7
/proc/989998/stat : 989998 (LS-MabSP) R 989995 989998 983141 0 -1 4194304 88777 0 0 0 22156 15 0 0 20 0 1 0 184803590 416817152 97003 134679101440 4194304 15467897 140731563846448 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54480896 140731563852830 140731563852933 140731563852933 140731563859949 0
/proc/989998/statm: 101762 97003 2833 2753 0 98415 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 407048 KiB
Current children cumulated memory: 388012 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.17 4.12 6/255 990049
/proc/meminfo: memFree=127138388/131524600 swapFree=131071216/131071996
[pid=989998] ppid=989995 vsize=409448 memory=390620 CPUtime=281.56 cores=5,7
/proc/989998/stat : 989998 (LS-MabSP) R 989995 989998 983141 0 -1 4194304 89402 0 0 0 28140 16 0 0 20 0 1 0 184803590 419274752 97655 134679101440 4194304 15467897 140731563846448 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54480896 140731563852830 140731563852933 140731563852933 140731563859949 0
/proc/989998/statm: 102362 97655 2833 2753 0 99015 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 409448 KiB
Current children cumulated memory: 390620 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.15 4.11 6/255 990059
/proc/meminfo: memFree=127137368/131524600 swapFree=131071216/131071996
[pid=989998] ppid=989995 vsize=409448 memory=390928 CPUtime=341.41 cores=5,7
/proc/989998/stat : 989998 (LS-MabSP) R 989995 989998 983141 0 -1 4194304 89513 0 0 0 34125 16 0 0 20 0 1 0 184803590 419274752 97732 134679101440 4194304 15467897 140731563846448 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54480896 140731563852830 140731563852933 140731563852933 140731563859949 0
/proc/989998/statm: 102362 97732 2833 2753 0 99015 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 409448 KiB
Current children cumulated memory: 390928 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 4.15 4.11 6/254 990069
/proc/meminfo: memFree=127136828/131524600 swapFree=131071216/131071996
[pid=989998] ppid=989995 vsize=409448 memory=391372 CPUtime=401.25 cores=5,7
/proc/989998/stat : 989998 (LS-MabSP) R 989995 989998 983141 0 -1 4194304 89520 0 0 0 40109 16 0 0 20 0 1 0 184803590 419274752 97843 134679101440 4194304 15467897 140731563846448 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54480896 140731563852830 140731563852933 140731563852933 140731563859949 0
/proc/989998/statm: 102362 97843 2833 2753 0 99015 0
Current children cumulated CPU time: 401.25 s
Current children cumulated vsize: 409448 KiB
Current children cumulated memory: 391372 KiB
[startup+462.3 s]
/proc/loadavg: 4.18 4.15 4.11 6/256 990084
/proc/meminfo: memFree=127133692/131524600 swapFree=131071216/131071996
[pid=989998] ppid=989995 vsize=409448 memory=393988 CPUtime=461.1 cores=5,7
/proc/989998/stat : 989998 (LS-MabSP) R 989995 989998 983141 0 -1 4194304 89549 0 0 0 46094 16 0 0 20 0 1 0 184803590 419274752 98497 134679101440 4194304 15467897 140731563846448 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54480896 140731563852830 140731563852933 140731563852933 140731563859949 0
/proc/989998/statm: 102362 98497 2833 2753 0 99015 0
################
# More data... #
################
/proc/loadavg: 1.10 1.77 2.63 2/233 991853
/proc/meminfo: memFree=127615920/131524600 swapFree=131071216/131071996
[pid=989998] ppid=989995 vsize=389840 memory=379896 CPUtime=3215.6 cores=5,7
/proc/989998/stat : 989998 (LS-MabSP) R 989995 989998 983141 0 -1 4194304 91027 0 0 0 318692 2868 0 0 20 0 1 0 184803590 399196160 94974 134679101440 4194304 15467897 140731563846448 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54480896 140731563852830 140731563852933 140731563852933 140731563859949 0
/proc/989998/statm: 97460 94974 3179 2753 0 94113 0
Current children cumulated CPU time: 3215.6 s
Current children cumulated vsize: 389840 KiB
Current children cumulated memory: 379896 KiB
[startup+3282.3 s]
/proc/loadavg: 1.14 1.66 2.54 2/233 991864
/proc/meminfo: memFree=127615640/131524600 swapFree=131071216/131071996
[pid=989998] ppid=989995 vsize=389840 memory=379896 CPUtime=3275.51 cores=5,7
/proc/989998/stat : 989998 (LS-MabSP) R 989995 989998 983141 0 -1 4194304 91050 0 0 0 324563 2988 0 0 20 0 1 0 184803590 399196160 94974 134679101440 4194304 15467897 140731563846448 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54480896 140731563852830 140731563852933 140731563852933 140731563859949 0
/proc/989998/statm: 97460 94974 3179 2753 0 94113 0
Current children cumulated CPU time: 3275.51 s
Current children cumulated vsize: 389840 KiB
Current children cumulated memory: 379896 KiB
[startup+3342.3 s]
/proc/loadavg: 1.10 1.55 2.44 2/234 991875
/proc/meminfo: memFree=127615340/131524600 swapFree=131071216/131071996
[pid=989998] ppid=989995 vsize=389840 memory=379896 CPUtime=3335.4 cores=5,7
/proc/989998/stat : 989998 (LS-MabSP) R 989995 989998 983141 0 -1 4194304 91073 0 0 0 330438 3102 0 0 20 0 1 0 184803590 399196160 94974 134679101440 4194304 15467897 140731563846448 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54480896 140731563852830 140731563852933 140731563852933 140731563859949 0
/proc/989998/statm: 97460 94974 3179 2753 0 94113 0
Current children cumulated CPU time: 3335.4 s
Current children cumulated vsize: 389840 KiB
Current children cumulated memory: 379896 KiB
[startup+3402.3 s]
/proc/loadavg: 1.08 1.46 2.36 2/234 991885
/proc/meminfo: memFree=127615016/131524600 swapFree=131071216/131071996
[pid=989998] ppid=989995 vsize=389840 memory=379896 CPUtime=3395.31 cores=5,7
/proc/989998/stat : 989998 (LS-MabSP) R 989995 989998 983141 0 -1 4194304 91096 0 0 0 336314 3217 0 0 20 0 1 0 184803590 399196160 94974 134679101440 4194304 15467897 140731563846448 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54480896 140731563852830 140731563852933 140731563852933 140731563859949 0
/proc/989998/statm: 97460 94974 3179 2753 0 94113 0
Current children cumulated CPU time: 3395.31 s
Current children cumulated vsize: 389840 KiB
Current children cumulated memory: 379896 KiB
[startup+3462.3 s]
/proc/loadavg: 1.13 1.41 2.28 2/236 991900
/proc/meminfo: memFree=127614936/131524600 swapFree=131071216/131071996
[pid=989998] ppid=989995 vsize=389840 memory=379896 CPUtime=3455.21 cores=5,7
/proc/989998/stat : 989998 (LS-MabSP) R 989995 989998 983141 0 -1 4194304 91119 0 0 0 342199 3322 0 0 20 0 1 0 184803590 399196160 94974 134679101440 4194304 15467897 140731563846448 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54480896 140731563852830 140731563852933 140731563852933 140731563859949 0
/proc/989998/statm: 97460 94974 3179 2753 0 94113 0
Current children cumulated CPU time: 3455.21 s
Current children cumulated vsize: 389840 KiB
Current children cumulated memory: 379896 KiB
[startup+3522.3 s]
/proc/loadavg: 1.09 1.34 2.20 2/236 991910
/proc/meminfo: memFree=127614620/131524600 swapFree=131071216/131071996
[pid=989998] ppid=989995 vsize=389840 memory=379896 CPUtime=3515.12 cores=5,7
/proc/989998/stat : 989998 (LS-MabSP) R 989995 989998 983141 0 -1 4194304 91142 0 0 0 348091 3421 0 0 20 0 1 0 184803590 399196160 94974 134679101440 4194304 15467897 140731563846448 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54480896 140731563852830 140731563852933 140731563852933 140731563859949 0
/proc/989998/statm: 97460 94974 3179 2753 0 94113 0
Current children cumulated CPU time: 3515.12 s
Current children cumulated vsize: 389840 KiB
Current children cumulated memory: 379896 KiB
[startup+3582.3 s]
/proc/loadavg: 1.14 1.31 2.13 2/236 991920
/proc/meminfo: memFree=127614344/131524600 swapFree=131071216/131071996
[pid=989998] ppid=989995 vsize=389840 memory=379896 CPUtime=3575.02 cores=5,7
/proc/989998/stat : 989998 (LS-MabSP) R 989995 989998 983141 0 -1 4194304 91165 0 0 0 353982 3520 0 0 20 0 1 0 184803590 399196160 94974 134679101440 4194304 15467897 140731563846448 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54480896 140731563852830 140731563852933 140731563852933 140731563859949 0
/proc/989998/statm: 97460 94974 3179 2753 0 94113 0
Current children cumulated CPU time: 3575.02 s
Current children cumulated vsize: 389840 KiB
Current children cumulated memory: 379896 KiB
[startup+3607.32 s]
# the end of solver process 989998 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3564.38 s, system=35.6398 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 1.14 1.31 2.13 2/236 991922
/proc/meminfo: memFree=127614320/131524600 swapFree=131071216/131071996
[pid=989998] ppid=989995 vsize=389840 memory=379896 CPUtime=3576.73 cores=5,7
/proc/989998/stat : 989998 (LS-MabSP) R 989995 989998 983141 0 -1 4194304 91165 0 0 0 354150 3523 0 0 20 0 1 0 184803590 399196160 94974 134679101440 4194304 15467897 140731563846448 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54480896 140731563852830 140731563852933 140731563852933 140731563859949 0
/proc/989998/statm: 97460 94974 3179 2753 0 94113 0
Current children cumulated CPU time: 3576.73 s
Current children cumulated vsize: 389840 KiB
Current children cumulated memory: 379896 KiB
[startup+3596.8 s]
/proc/loadavg: 1.11 1.29 2.12 2/236 991924
/proc/meminfo: memFree=127614244/131524600 swapFree=131071216/131071996
[pid=989998] ppid=989995 vsize=389840 memory=379896 CPUtime=3589.5 cores=5,7
/proc/989998/stat : 989998 (LS-MabSP) R 989995 989998 983141 0 -1 4194304 91165 0 0 0 355407 3543 0 0 20 0 1 0 184803590 399196160 94974 134679101440 4194304 15467897 140731563846448 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54480896 140731563852830 140731563852933 140731563852933 140731563859949 0
/proc/989998/statm: 97460 94974 3179 2753 0 94113 0
Current children cumulated CPU time: 3589.5 s
Current children cumulated vsize: 389840 KiB
Current children cumulated memory: 379896 KiB
[startup+3603.2 s]
/proc/loadavg: 1.10 1.29 2.11 2/236 991924
/proc/meminfo: memFree=127614272/131524600 swapFree=131071216/131071996
[pid=989998] ppid=989995 vsize=389840 memory=379896 CPUtime=3595.88 cores=5,7
/proc/989998/stat : 989998 (LS-MabSP) R 989995 989998 983141 0 -1 4194304 91165 0 0 0 356033 3555 0 0 20 0 1 0 184803590 399196160 94974 134679101440 4194304 15467897 140731563846448 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54480896 140731563852830 140731563852933 140731563852933 140731563859949 0
/proc/989998/statm: 97460 94974 3179 2753 0 94113 0
Current children cumulated CPU time: 3595.88 s
Current children cumulated vsize: 389840 KiB
Current children cumulated memory: 379896 KiB
[startup+3604.8 s]
/proc/loadavg: 1.10 1.29 2.11 2/236 991926
/proc/meminfo: memFree=127614296/131524600 swapFree=131071216/131071996
[pid=989998] ppid=989995 vsize=389840 memory=379896 CPUtime=3597.49 cores=5,7
/proc/989998/stat : 989998 (LS-MabSP) R 989995 989998 983141 0 -1 4194304 91165 0 0 0 356191 3558 0 0 20 0 1 0 184803590 399196160 94974 134679101440 4194304 15467897 140731563846448 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54480896 140731563852830 140731563852933 140731563852933 140731563859949 0
/proc/989998/statm: 97460 94974 3179 2753 0 94113 0
Current children cumulated CPU time: 3597.49 s
Current children cumulated vsize: 389840 KiB
Current children cumulated memory: 379896 KiB
[startup+3606.4 s]
/proc/loadavg: 1.09 1.28 2.10 2/236 991926
/proc/meminfo: memFree=127614260/131524600 swapFree=131071216/131071996
[pid=989998] ppid=989995 vsize=389840 memory=379896 CPUtime=3599.08 cores=5,7
/proc/989998/stat : 989998 (LS-MabSP) R 989995 989998 983141 0 -1 4194304 91165 0 0 0 356347 3561 0 0 20 0 1 0 184803590 399196160 94974 134679101440 4194304 15467897 140731563846448 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54480896 140731563852830 140731563852933 140731563852933 140731563859949 0
/proc/989998/statm: 97460 94974 3179 2753 0 94113 0
Current children cumulated CPU time: 3599.08 s
Current children cumulated vsize: 389840 KiB
Current children cumulated memory: 379896 KiB
[startup+3606.8 s]
/proc/loadavg: 1.09 1.28 2.10 2/236 991926
/proc/meminfo: memFree=127614260/131524600 swapFree=131071216/131071996
[pid=989998] ppid=989995 vsize=389840 memory=379896 CPUtime=3599.48 cores=5,7
/proc/989998/stat : 989998 (LS-MabSP) R 989995 989998 983141 0 -1 4194304 91165 0 0 0 356386 3562 0 0 20 0 1 0 184803590 399196160 94974 134679101440 4194304 15467897 140731563846448 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54480896 140731563852830 140731563852933 140731563852933 140731563859949 0
/proc/989998/statm: 97460 94974 3179 2753 0 94113 0
Current children cumulated CPU time: 3599.48 s
Current children cumulated vsize: 389840 KiB
Current children cumulated memory: 379896 KiB
[startup+3607.2 s]
/proc/loadavg: 1.09 1.28 2.10 2/236 991927
/proc/meminfo: memFree=127614288/131524600 swapFree=131071216/131071996
[pid=989998] ppid=989995 vsize=389840 memory=379896 CPUtime=3599.88 cores=5,7
/proc/989998/stat : 989998 (LS-MabSP) R 989995 989998 983141 0 -1 4194304 91165 0 0 0 356425 3563 0 0 20 0 1 0 184803590 399196160 94974 134679101440 4194304 15467897 140731563846448 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54480896 140731563852830 140731563852933 140731563852933 140731563859949 0
/proc/989998/statm: 97460 94974 3179 2753 0 94113 0
Current children cumulated CPU time: 3599.88 s
Current children cumulated vsize: 389840 KiB
Current children cumulated memory: 379896 KiB
[startup+3607.3 s]
/proc/loadavg: 1.09 1.28 2.10 2/236 991927
/proc/meminfo: memFree=127614288/131524600 swapFree=131071216/131071996
[pid=989998] ppid=989995 vsize=389840 memory=379896 CPUtime=3599.98 cores=5,7
/proc/989998/stat : 989998 (LS-MabSP) R 989995 989998 983141 0 -1 4194304 91165 0 0 0 356435 3563 0 0 20 0 1 0 184803590 399196160 94974 134679101440 4194304 15467897 140731563846448 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54480896 140731563852830 140731563852933 140731563852933 140731563859949 0
/proc/989998/statm: 97460 94974 3179 2753 0 94113 0
Current children cumulated CPU time: 3599.98 s
Current children cumulated vsize: 389840 KiB
Current children cumulated memory: 379896 KiB
Child status: 0
Real time (s): 3607.32
CPU time (s): 3600.02
CPU user time (s): 3564.38
CPU system time (s): 35.6398
CPU usage (%): 99.7974
Max. virtual memory (cumulated for all children) (KiB): 409448
Max. memory (cumulated for all children) (KiB): 399504
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3564.38
system time used= 35.6398
maximum resident set size= 399504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91179
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= 15
involuntary context switches= 1108
# summary of solver processes directly reported to runsolver:
# pid: 989998
# total CPU time (s): 3600.02
# total CPU user time (s): 3564.38
# total CPU system time (s): 35.6398
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.4569 second user time and 12.899 second system time
The end
Begin job on nodeC018 at 2024-07-18 20:13:44
IDJOB=4445766
IDBENCH=154365
IDSOLVER=3047
FILE ID=nodeC018/4445766-1721326412
RUNJOBID= nodeC018-1721316629-983167
SLURM_JOB_ID= 7542655
Free space on /tmp= 890028 MiB
SOLVER NAME= LS-MabSP 2024-07-10
BENCH NAME= PB24/normalized-PB10/DEC-LIN/oliveras/j120/normalized-j12011_1-unsat.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-4445766-1721326412/watcher-4445766-1721326412 -o /tmp/evaluation-result-4445766-1721326412/solver-4445766-1721326412 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721316629-983167 --watchdog 3760 ./LS-MabSP -f HOME/instance-4445766-1721326412.opb -t 3600 -s 1394809431
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= cdcb4d035b8e87f1109f75a28aea48eb
RANDOM SEED=1394809431
nodeC018.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 : 3669.865
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.52
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 : 3670.252
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.30
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.173
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.52
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.144
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.30
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 : 3669.848
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.52
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 : 3662.550
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.30
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 : 3600.087
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.52
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 : 3671.671
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.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 127521500 kB
MemAvailable: 129447464 kB
Buffers: 489400 kB
Cached: 2267488 kB
SwapCached: 148 kB
Active: 996560 kB
Inactive: 2421780 kB
Active(anon): 1572 kB
Inactive(anon): 705336 kB
Active(file): 994988 kB
Inactive(file): 1716444 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071216 kB
Dirty: 19520 kB
Writeback: 0 kB
AnonPages: 660952 kB
Mapped: 140780 kB
Shmem: 45784 kB
KReclaimable: 108712 kB
Slab: 204320 kB
SReclaimable: 108712 kB
SUnreclaim: 95608 kB
KernelStack: 4160 kB
PageTables: 10272 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 965192 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 37568 kB
HardwareCorrupted: 0 kB
AnonHugePages: 520192 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: 262868 kB
DirectMap2M: 24676352 kB
DirectMap1G: 111149056 kB
Free space on /tmp at the end= 890064 MiB
End job on nodeC018 at 2024-07-18 21:13:51