0.09/0.18 c Filename:instance-4444086-1721318111.opb, Cutoff_time:3600, memory_limit_gb:500000
0.09/0.18 c Use Presolve
0.09/0.18 c Parse finsih
0.09/0.18 c Start Presolve
0.09/0.18 c After Reduce Vars: 231 Clauses: 2707 Top clause weight: 1 Hard Clauses: 2707
3599.98/3608.41 c Use LS-small
3599.98/3608.41 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 (57281 MiB free)
memory of node 1: 64473 MiB (59918 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4444086-1721318111/watcher-4444086-1721318111 -o /tmp/evaluation-result-4444086-1721318111/solver-4444086-1721318111 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721318070-970569 --watchdog 3760 ./LS-MabSP -f HOME/instance-4444086-1721318111.opb -t 3600 -s 1258579029
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
Current StackSize limit: 8192 KiB
solver pid=970685, runsolver pid=970682
[startup+0.10093 s]*
/proc/loadavg: 3.41 3.76 3.98 5/258 970686
/proc/meminfo: memFree=119995556/131524596 swapFree=131071996/131071996
[pid=970685] ppid=970682 vsize=34820 memory=27772 CPUtime=0.09 cores=5,7
/proc/970685/stat : 970685 (LS-MabSP) R 970682 970685 970556 0 -1 4194304 4050 0 0 0 9 0 0 0 20 0 1 0 183981660 35655680 6943 134679101440 4194304 15467897 140725558893408 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 44027904 140725558895646 140725558895749 140725558895749 140725558902765 0
/proc/970685/statm: 8705 6943 2833 2753 0 5358 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 34820 KiB
Current children cumulated memory: 27772 KiB
[startup+0.205882 s]*
/proc/loadavg: 3.41 3.76 3.98 5/258 970686
/proc/meminfo: memFree=119987712/131524596 swapFree=131071996/131071996
[pid=970685] ppid=970682 vsize=42848 memory=34980 CPUtime=0.2 cores=5,7
/proc/970685/stat : 970685 (LS-MabSP) R 970682 970685 970556 0 -1 4194304 6229 0 0 0 19 1 0 0 20 0 1 0 183981660 43876352 8745 134679101440 4194304 15467897 140725558893408 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 44027904 140725558895646 140725558895749 140725558895749 140725558902765 0
/proc/970685/statm: 10712 8745 2849 2753 0 7365 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 42848 KiB
Current children cumulated memory: 34980 KiB
[startup+0.30585 s]*
/proc/loadavg: 3.41 3.76 3.98 5/258 970686
/proc/meminfo: memFree=119986708/131524596 swapFree=131071996/131071996
[pid=970685] ppid=970682 vsize=43788 memory=36292 CPUtime=0.3 cores=5,7
/proc/970685/stat : 970685 (LS-MabSP) R 970682 970685 970556 0 -1 4194304 6597 0 0 0 29 1 0 0 20 0 1 0 183981660 44838912 9073 134679101440 4194304 15467897 140725558893408 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 44027904 140725558895646 140725558895749 140725558895749 140725558902765 0
/proc/970685/statm: 10947 9073 2849 2753 0 7600 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 43788 KiB
Current children cumulated memory: 36292 KiB
[startup+0.700231 s]
/proc/loadavg: 3.41 3.76 3.98 5/258 970686
/proc/meminfo: memFree=119978980/131524596 swapFree=131071996/131071996
[pid=970685] ppid=970682 vsize=61040 memory=50812 CPUtime=0.68 cores=5,7
/proc/970685/stat : 970685 (LS-MabSP) R 970682 970685 970556 0 -1 4194304 10223 0 0 0 67 1 0 0 20 0 1 0 183981660 62504960 12703 134679101440 4194304 15467897 140725558893408 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 44027904 140725558895646 140725558895749 140725558895749 140725558902765 0
/proc/970685/statm: 15260 12703 2849 2753 0 11913 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 61040 KiB
Current children cumulated memory: 50812 KiB
[startup+1.50023 s]
/proc/loadavg: 3.41 3.76 3.98 5/258 970686
/proc/meminfo: memFree=119964196/131524596 swapFree=131071996/131071996
[pid=970685] ppid=970682 vsize=74396 memory=64008 CPUtime=1.49 cores=5,7
/proc/970685/stat : 970685 (LS-MabSP) R 970682 970685 970556 0 -1 4194304 13553 0 0 0 147 2 0 0 20 0 1 0 183981660 76181504 16002 134679101440 4194304 15467897 140725558893408 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 44027904 140725558895646 140725558895749 140725558895749 140725558902765 0
/proc/970685/statm: 18599 16002 2849 2753 0 15252 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 74396 KiB
Current children cumulated memory: 64008 KiB
[startup+3.10576 s]
/proc/loadavg: 3.45 3.77 3.98 5/258 970686
/proc/meminfo: memFree=119934724/131524596 swapFree=131071996/131071996
[pid=970685] ppid=970682 vsize=84464 memory=73156 CPUtime=3.08 cores=5,7
/proc/970685/stat : 970685 (LS-MabSP) R 970682 970685 970556 0 -1 4194304 19360 0 0 0 305 3 0 0 20 0 1 0 183981660 86491136 18289 134679101440 4194304 15467897 140725558893408 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 44027904 140725558895646 140725558895749 140725558895749 140725558902765 0
/proc/970685/statm: 21116 18289 2849 2753 0 17769 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 84464 KiB
Current children cumulated memory: 73156 KiB
[startup+6.30019 s]
/proc/loadavg: 3.45 3.77 3.98 5/258 970686
/proc/meminfo: memFree=119917624/131524596 swapFree=131071996/131071996
[pid=970685] ppid=970682 vsize=91832 memory=80808 CPUtime=6.27 cores=5,7
/proc/970685/stat : 970685 (LS-MabSP) R 970682 970685 970556 0 -1 4194304 25735 0 0 0 623 4 0 0 20 0 1 0 183981660 94035968 20202 134679101440 4194304 15467897 140725558893408 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 44027904 140725558895646 140725558895749 140725558895749 140725558902765 0
/proc/970685/statm: 22958 20202 2849 2753 0 19611 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 91832 KiB
Current children cumulated memory: 80808 KiB
[startup+12.7002 s]
/proc/loadavg: 3.61 3.79 3.99 5/258 971070
/proc/meminfo: memFree=119893620/131524596 swapFree=131071996/131071996
[pid=970685] ppid=970682 vsize=89308 memory=79228 CPUtime=12.64 cores=5,7
/proc/970685/stat : 970685 (LS-MabSP) R 970682 970685 970556 0 -1 4194304 33107 0 0 0 1259 5 0 0 20 0 1 0 183981660 91451392 19807 134679101440 4194304 15467897 140725558893408 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 44027904 140725558895646 140725558895749 140725558895749 140725558902765 0
/proc/970685/statm: 22327 19807 2849 2753 0 18980 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 89308 KiB
Current children cumulated memory: 79228 KiB
[startup+25.5002 s]
/proc/loadavg: 3.67 3.80 3.99 5/256 971071
/proc/meminfo: memFree=119826244/131524596 swapFree=131071996/131071996
[pid=970685] ppid=970682 vsize=89820 memory=79648 CPUtime=25.39 cores=5,7
/proc/970685/stat : 970685 (LS-MabSP) R 970682 970685 970556 0 -1 4194304 35611 0 0 0 2534 5 0 0 20 0 1 0 183981660 91975680 19912 134679101440 4194304 15467897 140725558893408 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 44027904 140725558895646 140725558895749 140725558895749 140725558902765 0
/proc/970685/statm: 22455 19912 2849 2753 0 19108 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 89820 KiB
Current children cumulated memory: 79648 KiB
[startup+51.1059 s]
/proc/loadavg: 3.93 3.85 4.00 5/256 971076
/proc/meminfo: memFree=119802092/131524596 swapFree=131071996/131071996
[pid=970685] ppid=970682 vsize=108296 memory=96624 CPUtime=50.91 cores=5,7
/proc/970685/stat : 970685 (LS-MabSP) R 970682 970685 970556 0 -1 4194304 40462 0 0 0 5085 6 0 0 20 0 1 0 183981660 110895104 24156 134679101440 4194304 15467897 140725558893408 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 44027904 140725558895646 140725558895749 140725558895749 140725558902765 0
/proc/970685/statm: 27074 24156 2849 2753 0 23727 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 108296 KiB
Current children cumulated memory: 96624 KiB
[startup+102.3 s]
/proc/loadavg: 4.03 3.89 4.00 5/256 971084
/proc/meminfo: memFree=119712812/131524596 swapFree=131071996/131071996
[pid=970685] ppid=970682 vsize=108344 memory=98172 CPUtime=101.93 cores=5,7
/proc/970685/stat : 970685 (LS-MabSP) R 970682 970685 970556 0 -1 4194304 41207 0 0 0 10187 6 0 0 20 0 1 0 183981660 110944256 24543 134679101440 4194304 15467897 140725558893408 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 44027904 140725558895646 140725558895749 140725558895749 140725558902765 0
/proc/970685/statm: 27086 24543 2849 2753 0 23739 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 108344 KiB
Current children cumulated memory: 98172 KiB
[startup+162.3 s]
/proc/loadavg: 4.06 3.93 4.00 5/256 971096
/proc/meminfo: memFree=119460900/131524596 swapFree=131071996/131071996
[pid=970685] ppid=970682 vsize=128088 memory=116048 CPUtime=161.72 cores=5,7
/proc/970685/stat : 970685 (LS-MabSP) R 970682 970685 970556 0 -1 4194304 44770 0 0 0 16166 6 0 0 20 0 1 0 183981660 131162112 29012 134679101440 4194304 15467897 140725558893408 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 44027904 140725558895646 140725558895749 140725558895749 140725558902765 0
/proc/970685/statm: 32022 29012 2849 2753 0 28675 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 128088 KiB
Current children cumulated memory: 116048 KiB
[startup+222.3 s]
/proc/loadavg: 4.18 3.99 4.02 5/259 971277
/proc/meminfo: memFree=119397460/131524596 swapFree=131071996/131071996
[pid=970685] ppid=970682 vsize=128088 memory=116252 CPUtime=221.51 cores=5,7
/proc/970685/stat : 970685 (LS-MabSP) R 970682 970685 970556 0 -1 4194304 45114 0 0 0 22145 6 0 0 20 0 1 0 183981660 131162112 29063 134679101440 4194304 15467897 140725558893408 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 44027904 140725558895646 140725558895749 140725558895749 140725558902765 0
/proc/970685/statm: 32022 29063 2849 2753 0 28675 0
Current children cumulated CPU time: 221.51 s
Current children cumulated vsize: 128088 KiB
Current children cumulated memory: 116252 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.01 4.02 5/258 971287
/proc/meminfo: memFree=119226760/131524596 swapFree=131071996/131071996
[pid=970685] ppid=970682 vsize=128088 memory=116252 CPUtime=281.37 cores=5,7
/proc/970685/stat : 970685 (LS-MabSP) R 970682 970685 970556 0 -1 4194304 45114 0 0 0 27807 330 0 0 20 0 1 0 183981660 131162112 29063 134679101440 4194304 15467897 140725558893408 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 44027904 140725558895646 140725558895749 140725558895749 140725558902765 0
/proc/970685/statm: 32022 29063 2849 2753 0 28675 0
Current children cumulated CPU time: 281.37 s
Current children cumulated vsize: 128088 KiB
Current children cumulated memory: 116252 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.02 4.02 5/260 971313
/proc/meminfo: memFree=119215360/131524596 swapFree=131071996/131071996
[pid=970685] ppid=970682 vsize=128088 memory=116252 CPUtime=341.24 cores=5,7
/proc/970685/stat : 970685 (LS-MabSP) R 970682 970685 970556 0 -1 4194304 45114 0 0 0 33405 719 0 0 20 0 1 0 183981660 131162112 29063 134679101440 4194304 15467897 140725558893408 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 44027904 140725558895646 140725558895749 140725558895749 140725558902765 0
/proc/970685/statm: 32022 29063 2849 2753 0 28675 0
Current children cumulated CPU time: 341.24 s
Current children cumulated vsize: 128088 KiB
Current children cumulated memory: 116252 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 4.04 4.02 5/260 971324
/proc/meminfo: memFree=119200436/131524596 swapFree=131071996/131071996
[pid=970685] ppid=970682 vsize=128088 memory=116252 CPUtime=401.12 cores=5,7
/proc/970685/stat : 970685 (LS-MabSP) R 970682 970685 970556 0 -1 4194304 45114 0 0 0 39007 1105 0 0 20 0 1 0 183981660 131162112 29063 134679101440 4194304 15467897 140725558893408 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 44027904 140725558895646 140725558895749 140725558895749 140725558902765 0
/proc/970685/statm: 32022 29063 2849 2753 0 28675 0
Current children cumulated CPU time: 401.12 s
Current children cumulated vsize: 128088 KiB
Current children cumulated memory: 116252 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.06 4.03 5/260 971336
/proc/meminfo: memFree=119167888/131524596 swapFree=131071996/131071996
[pid=970685] ppid=970682 vsize=128088 memory=116252 CPUtime=461 cores=5,7
/proc/970685/stat : 970685 (LS-MabSP) R 970682 970685 970556 0 -1 4194304 45114 0 0 0 44603 1497 0 0 20 0 1 0 183981660 131162112 29063 134679101440 4194304 15467897 140725558893408 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 44027904 140725558895646 140725558895749 140725558895749 140725558902765 0
/proc/970685/statm: 32022 29063 2849 2753 0 28675 0
################
# More data... #
################
/proc/loadavg: 4.10 4.10 4.09 5/255 972550
/proc/meminfo: memFree=120463924/131524596 swapFree=131071996/131071996
[pid=970685] ppid=970682 vsize=128088 memory=116252 CPUtime=3154.83 cores=5,7
/proc/970685/stat : 970685 (LS-MabSP) R 970682 970685 970556 0 -1 4194304 45114 0 0 0 296063 19420 0 0 20 0 1 0 183981660 131162112 29063 134679101440 4194304 15467897 140725558893408 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 44027904 140725558895646 140725558895749 140725558895749 140725558902765 0
/proc/970685/statm: 32022 29063 2849 2753 0 28675 0
Current children cumulated CPU time: 3154.83 s
Current children cumulated vsize: 128088 KiB
Current children cumulated memory: 116252 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/255 972562
/proc/meminfo: memFree=120463196/131524596 swapFree=131071996/131071996
[pid=970685] ppid=970682 vsize=128088 memory=116252 CPUtime=3214.69 cores=5,7
/proc/970685/stat : 970685 (LS-MabSP) R 970682 970685 970556 0 -1 4194304 45114 0 0 0 301653 19816 0 0 20 0 1 0 183981660 131162112 29063 134679101440 4194304 15467897 140725558893408 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 44027904 140725558895646 140725558895749 140725558895749 140725558902765 0
/proc/970685/statm: 32022 29063 2849 2753 0 28675 0
Current children cumulated CPU time: 3214.69 s
Current children cumulated vsize: 128088 KiB
Current children cumulated memory: 116252 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/254 972572
/proc/meminfo: memFree=120461992/131524596 swapFree=131071996/131071996
[pid=970685] ppid=970682 vsize=128088 memory=116252 CPUtime=3274.56 cores=5,7
/proc/970685/stat : 970685 (LS-MabSP) R 970682 970685 970556 0 -1 4194304 45114 0 0 0 307255 20201 0 0 20 0 1 0 183981660 131162112 29063 134679101440 4194304 15467897 140725558893408 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 44027904 140725558895646 140725558895749 140725558895749 140725558902765 0
/proc/970685/statm: 32022 29063 2849 2753 0 28675 0
Current children cumulated CPU time: 3274.56 s
Current children cumulated vsize: 128088 KiB
Current children cumulated memory: 116252 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/257 972589
/proc/meminfo: memFree=120461364/131524596 swapFree=131071996/131071996
[pid=970685] ppid=970682 vsize=128088 memory=116252 CPUtime=3334.44 cores=5,7
/proc/970685/stat : 970685 (LS-MabSP) R 970682 970685 970556 0 -1 4194304 45114 0 0 0 312844 20600 0 0 20 0 1 0 183981660 131162112 29063 134679101440 4194304 15467897 140725558893408 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 44027904 140725558895646 140725558895749 140725558895749 140725558902765 0
/proc/970685/statm: 32022 29063 2849 2753 0 28675 0
Current children cumulated CPU time: 3334.44 s
Current children cumulated vsize: 128088 KiB
Current children cumulated memory: 116252 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/258 972600
/proc/meminfo: memFree=120458928/131524596 swapFree=131071996/131071996
[pid=970685] ppid=970682 vsize=128088 memory=116252 CPUtime=3394.32 cores=5,7
/proc/970685/stat : 970685 (LS-MabSP) R 970682 970685 970556 0 -1 4194304 45114 0 0 0 318429 21003 0 0 20 0 1 0 183981660 131162112 29063 134679101440 4194304 15467897 140725558893408 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 44027904 140725558895646 140725558895749 140725558895749 140725558902765 0
/proc/970685/statm: 32022 29063 2849 2753 0 28675 0
Current children cumulated CPU time: 3394.32 s
Current children cumulated vsize: 128088 KiB
Current children cumulated memory: 116252 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/258 972612
/proc/meminfo: memFree=120457852/131524596 swapFree=131071996/131071996
[pid=970685] ppid=970682 vsize=128088 memory=116252 CPUtime=3454.18 cores=5,7
/proc/970685/stat : 970685 (LS-MabSP) R 970682 970685 970556 0 -1 4194304 45114 0 0 0 324016 21402 0 0 20 0 1 0 183981660 131162112 29063 134679101440 4194304 15467897 140725558893408 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 44027904 140725558895646 140725558895749 140725558895749 140725558902765 0
/proc/970685/statm: 32022 29063 2849 2753 0 28675 0
Current children cumulated CPU time: 3454.18 s
Current children cumulated vsize: 128088 KiB
Current children cumulated memory: 116252 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/258 972623
/proc/meminfo: memFree=120453516/131524596 swapFree=131071996/131071996
[pid=970685] ppid=970682 vsize=128088 memory=119868 CPUtime=3514.07 cores=5,7
/proc/970685/stat : 970685 (LS-MabSP) R 970682 970685 970556 0 -1 4194304 45118 0 0 0 329610 21797 0 0 20 0 1 0 183981660 131162112 29967 134679101440 4194304 15467897 140725558893408 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 44027904 140725558895646 140725558895749 140725558895749 140725558902765 0
/proc/970685/statm: 32022 29967 2849 2753 0 28675 0
Current children cumulated CPU time: 3514.07 s
Current children cumulated vsize: 128088 KiB
Current children cumulated memory: 119868 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/258 972772
/proc/meminfo: memFree=124078064/131524596 swapFree=131071996/131071996
[pid=970685] ppid=970682 vsize=128088 memory=120784 CPUtime=3573.95 cores=5,7
/proc/970685/stat : 970685 (LS-MabSP) R 970682 970685 970556 0 -1 4194304 45120 0 0 0 335203 22192 0 0 20 0 1 0 183981660 131162112 30196 134679101440 4194304 15467897 140725558893408 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 44027904 140725558895646 140725558895749 140725558895749 140725558902765 0
/proc/970685/statm: 32022 30196 2849 2753 0 28675 0
Current children cumulated CPU time: 3573.95 s
Current children cumulated vsize: 128088 KiB
Current children cumulated memory: 120784 KiB
[startup+3608.41 s]
# the end of solver process 970685 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3376.26 s, system=223.744 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.12 4.10 4.09 5/258 972772
/proc/meminfo: memFree=124078080/131524596 swapFree=131071996/131071996
[pid=970685] ppid=970682 vsize=128088 memory=120784 CPUtime=3575.65 cores=5,7
/proc/970685/stat : 970685 (LS-MabSP) R 970682 970685 970556 0 -1 4194304 45120 0 0 0 335362 22203 0 0 20 0 1 0 183981660 131162112 30196 134679101440 4194304 15467897 140725558893408 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 44027904 140725558895646 140725558895749 140725558895749 140725558902765 0
/proc/970685/statm: 32022 30196 2849 2753 0 28675 0
Current children cumulated CPU time: 3575.65 s
Current children cumulated vsize: 128088 KiB
Current children cumulated memory: 120784 KiB
[startup+3596.8 s]
/proc/loadavg: 4.26 4.13 4.10 5/258 972773
/proc/meminfo: memFree=124070580/131524596 swapFree=131071996/131071996
[pid=970685] ppid=970682 vsize=128088 memory=120784 CPUtime=3588.41 cores=5,7
/proc/970685/stat : 970685 (LS-MabSP) R 970682 970685 970556 0 -1 4194304 45120 0 0 0 336547 22294 0 0 20 0 1 0 183981660 131162112 30196 134679101440 4194304 15467897 140725558893408 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 44027904 140725558895646 140725558895749 140725558895749 140725558902765 0
/proc/970685/statm: 32022 30196 2849 2753 0 28675 0
Current children cumulated CPU time: 3588.41 s
Current children cumulated vsize: 128088 KiB
Current children cumulated memory: 120784 KiB
[startup+3603.2 s]
/proc/loadavg: 4.37 4.16 4.11 5/258 972775
/proc/meminfo: memFree=124066328/131524596 swapFree=131071996/131071996
[pid=970685] ppid=970682 vsize=128088 memory=120784 CPUtime=3594.8 cores=5,7
/proc/970685/stat : 970685 (LS-MabSP) R 970682 970685 970556 0 -1 4194304 45120 0 0 0 337144 22336 0 0 20 0 1 0 183981660 131162112 30196 134679101440 4194304 15467897 140725558893408 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 44027904 140725558895646 140725558895749 140725558895749 140725558902765 0
/proc/970685/statm: 32022 30196 2849 2753 0 28675 0
Current children cumulated CPU time: 3594.8 s
Current children cumulated vsize: 128088 KiB
Current children cumulated memory: 120784 KiB
[startup+3606.4 s]
/proc/loadavg: 4.37 4.16 4.11 5/258 972775
/proc/meminfo: memFree=124066216/131524596 swapFree=131071996/131071996
[pid=970685] ppid=970682 vsize=128088 memory=120784 CPUtime=3597.99 cores=5,7
/proc/970685/stat : 970685 (LS-MabSP) R 970682 970685 970556 0 -1 4194304 45120 0 0 0 337439 22360 0 0 20 0 1 0 183981660 131162112 30196 134679101440 4194304 15467897 140725558893408 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 44027904 140725558895646 140725558895749 140725558895749 140725558902765 0
/proc/970685/statm: 32022 30196 2849 2753 0 28675 0
Current children cumulated CPU time: 3597.99 s
Current children cumulated vsize: 128088 KiB
Current children cumulated memory: 120784 KiB
[startup+3607.2 s]
/proc/loadavg: 4.37 4.16 4.11 5/258 973157
/proc/meminfo: memFree=124064812/131524596 swapFree=131071996/131071996
[pid=970685] ppid=970682 vsize=128088 memory=120784 CPUtime=3598.79 cores=5,7
/proc/970685/stat : 970685 (LS-MabSP) R 970682 970685 970556 0 -1 4194304 45120 0 0 0 337514 22365 0 0 20 0 1 0 183981660 131162112 30196 134679101440 4194304 15467897 140725558893408 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 44027904 140725558895646 140725558895749 140725558895749 140725558902765 0
/proc/970685/statm: 32022 30196 2849 2753 0 28675 0
Current children cumulated CPU time: 3598.79 s
Current children cumulated vsize: 128088 KiB
Current children cumulated memory: 120784 KiB
[startup+3608 s]*
/proc/loadavg: 4.42 4.17 4.12 5/258 973158
/proc/meminfo: memFree=124061440/131524596 swapFree=131071996/131071996
[pid=970685] ppid=970682 vsize=128088 memory=120784 CPUtime=3599.58 cores=5,7
/proc/970685/stat : 970685 (LS-MabSP) R 970682 970685 970556 0 -1 4194304 45120 0 0 0 337588 22370 0 0 20 0 1 0 183981660 131162112 30196 134679101440 4194304 15467897 140725558893408 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 44027904 140725558895646 140725558895749 140725558895749 140725558902765 0
/proc/970685/statm: 32022 30196 2849 2753 0 28675 0
Current children cumulated CPU time: 3599.58 s
Current children cumulated vsize: 128088 KiB
Current children cumulated memory: 120784 KiB
[startup+3608.4 s]
/proc/loadavg: 4.42 4.17 4.12 5/258 973158
/proc/meminfo: memFree=124061440/131524596 swapFree=131071996/131071996
[pid=970685] ppid=970682 vsize=128088 memory=120784 CPUtime=3599.98 cores=5,7
/proc/970685/stat : 970685 (LS-MabSP) R 970682 970685 970556 0 -1 4194304 45120 0 0 0 337624 22374 0 0 20 0 1 0 183981660 131162112 30196 134679101440 4194304 15467897 140725558893408 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 44027904 140725558895646 140725558895749 140725558895749 140725558902765 0
/proc/970685/statm: 32022 30196 2849 2753 0 28675 0
Current children cumulated CPU time: 3599.98 s
Current children cumulated vsize: 128088 KiB
Current children cumulated memory: 120784 KiB
Child status: 0
Real time (s): 3608.41
CPU time (s): 3600
CPU user time (s): 3376.26
CPU system time (s): 223.744
CPU usage (%): 99.767
Max. virtual memory (cumulated for all children) (KiB): 128088
Max. memory (cumulated for all children) (KiB): 120784
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3376.26
system time used= 223.744
maximum resident set size= 120784
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45123
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= 4
involuntary context switches= 987
# summary of solver processes directly reported to runsolver:
# pid: 970685
# total CPU time (s): 3600
# total CPU user time (s): 3376.26
# total CPU system time (s): 223.744
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.90204 second user time and 13.7533 second system time
The end
Begin job on nodeC034 at 2024-07-18 17:55:24
IDJOB=4444086
IDBENCH=147898
IDSOLVER=3047
FILE ID=nodeC034/4444086-1721318111
RUNJOBID= nodeC034-1721318070-970569
SLURM_JOB_ID= 7542672
Free space on /tmp= 890008 MiB
SOLVER NAME= LS-MabSP 2024-07-10
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900559676.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-4444086-1721318111/watcher-4444086-1721318111 -o /tmp/evaluation-result-4444086-1721318111/solver-4444086-1721318111 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721318070-970569 --watchdog 3760 ./LS-MabSP -f HOME/instance-4444086-1721318111.opb -t 3600 -s 1258579029
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 95888c36dbc3e063e75763857563d2e5
RANDOM SEED=1258579029
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 : 3675.991
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 : 3687.190
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.103
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 : 3650.681
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 : 3676.026
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 : 3668.769
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 : 3600.139
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 : 3662.036
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: 120013036 kB
MemAvailable: 125328480 kB
Buffers: 485624 kB
Cached: 5604416 kB
SwapCached: 0 kB
Active: 1009252 kB
Inactive: 9746236 kB
Active(anon): 1508 kB
Inactive(anon): 4701644 kB
Active(file): 1007744 kB
Inactive(file): 5044592 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 16172 kB
Writeback: 52 kB
AnonPages: 4665344 kB
Mapped: 140080 kB
Shmem: 37720 kB
KReclaimable: 205860 kB
Slab: 331796 kB
SReclaimable: 205860 kB
SUnreclaim: 125936 kB
KernelStack: 4096 kB
PageTables: 18608 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834292 kB
Committed_AS: 5456704 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 70112 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1556480 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= 890020 MiB
End job on nodeC034 at 2024-07-18 18:55:32