0.21/0.27 c Filename:instance-4450976-1721417716.opb, Cutoff_time:3600, memory_limit_gb:500000
0.21/0.27 c Use Presolve
0.21/0.27 c Parse finsih
0.21/0.27 c Start Presolve
0.21/0.27 c After Reduce Vars: 1500 Clauses: 1500 Top clause weight: 1 Hard Clauses: 1500
3599.94/3609.35 c Use LS-small
3599.94/3609.35 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: 64059 MiB (61219 MiB free)
memory of node 1: 64510 MiB (60120 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450976-1721417716/watcher-4450976-1721417716 -o /tmp/evaluation-result-4450976-1721417716/solver-4450976-1721417716 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721410509-1012354 --watchdog 3760 ./LS-MabSP -f HOME/instance-4450976-1721417716.opb -t 3600 -s 1490772954
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=1016395, runsolver pid=1016392
[startup+0.100559 s]*
/proc/loadavg: 4.26 4.19 4.16 6/243 1016396
/proc/meminfo: memFree=124248648/131655788 swapFree=131071996/131071996
[pid=1016395] ppid=1016392 vsize=20064 memory=7752 CPUtime=0.1 cores=1,3
/proc/1016395/stat : 1016395 (LS-MabSP) R 1016392 1016395 1012342 0 -1 4194304 461 0 0 0 10 0 0 0 20 0 1 0 193930798 20545536 1938 134679101440 4194304 15467897 140736849966912 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 46149632 140736849970205 140736849970308 140736849970308 140736849977325 0
/proc/1016395/statm: 5016 1938 1105 2753 0 1669 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 20064 KiB
Current children cumulated memory: 7752 KiB
[startup+0.211539 s]*
/proc/loadavg: 4.26 4.19 4.16 5/243 1016396
/proc/meminfo: memFree=124235404/131655788 swapFree=131071996/131071996
[pid=1016395] ppid=1016392 vsize=35252 memory=28168 CPUtime=0.21 cores=1,3
/proc/1016395/stat : 1016395 (LS-MabSP) R 1016392 1016395 1012342 0 -1 4194304 3982 0 0 0 20 1 0 0 20 0 1 0 193930798 36098048 7042 134679101440 4194304 15467897 140736849966912 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 46149632 140736849970205 140736849970308 140736849970308 140736849977325 0
/proc/1016395/statm: 8813 7042 2833 2753 0 5466 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 35252 KiB
Current children cumulated memory: 28168 KiB
[startup+0.312243 s]*
/proc/loadavg: 4.26 4.19 4.16 5/243 1016396
/proc/meminfo: memFree=124229968/131655788 swapFree=131071996/131071996
[pid=1016395] ppid=1016392 vsize=39792 memory=32448 CPUtime=0.31 cores=1,3
/proc/1016395/stat : 1016395 (LS-MabSP) R 1016392 1016395 1012342 0 -1 4194304 6072 0 0 0 29 2 0 0 20 0 1 0 193930798 40747008 8112 134679101440 4194304 15467897 140736849966912 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 46149632 140736849970205 140736849970308 140736849970308 140736849977325 0
/proc/1016395/statm: 9948 8112 2833 2753 0 6601 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 39792 KiB
Current children cumulated memory: 32448 KiB
[startup+0.700284 s]
/proc/loadavg: 4.26 4.19 4.16 5/243 1016396
/proc/meminfo: memFree=124223436/131655788 swapFree=131071996/131071996
[pid=1016395] ppid=1016392 vsize=49856 memory=41712 CPUtime=0.68 cores=1,3
/proc/1016395/stat : 1016395 (LS-MabSP) R 1016392 1016395 1012342 0 -1 4194304 8664 0 0 0 66 2 0 0 20 0 1 0 193930798 51052544 10428 134679101440 4194304 15467897 140736849966912 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 46149632 140736849970205 140736849970308 140736849970308 140736849977325 0
/proc/1016395/statm: 12464 10428 2833 2753 0 9117 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 49856 KiB
Current children cumulated memory: 41712 KiB
[startup+1.50034 s]
/proc/loadavg: 4.26 4.19 4.16 5/243 1016396
/proc/meminfo: memFree=124220520/131655788 swapFree=131071996/131071996
[pid=1016395] ppid=1016392 vsize=49856 memory=41712 CPUtime=1.48 cores=1,3
/proc/1016395/stat : 1016395 (LS-MabSP) R 1016392 1016395 1012342 0 -1 4194304 8666 0 0 0 146 2 0 0 20 0 1 0 193930798 51052544 10428 134679101440 4194304 15467897 140736849966912 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 46149632 140736849970205 140736849970308 140736849970308 140736849977325 0
/proc/1016395/statm: 12464 10428 2833 2753 0 9117 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 49856 KiB
Current children cumulated memory: 41712 KiB
[startup+3.11276 s]
/proc/loadavg: 4.26 4.19 4.16 5/243 1016396
/proc/meminfo: memFree=124059748/131655788 swapFree=131071996/131071996
[pid=1016395] ppid=1016392 vsize=52604 memory=45444 CPUtime=3.08 cores=1,3
/proc/1016395/stat : 1016395 (LS-MabSP) R 1016392 1016395 1012342 0 -1 4194304 9570 0 0 0 306 2 0 0 20 0 1 0 193930798 53866496 11361 134679101440 4194304 15467897 140736849966912 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 46149632 140736849970205 140736849970308 140736849970308 140736849977325 0
/proc/1016395/statm: 13151 11361 2849 2753 0 9804 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 52604 KiB
Current children cumulated memory: 45444 KiB
[startup+6.30033 s]
/proc/loadavg: 4.24 4.19 4.16 5/241 1016444
/proc/meminfo: memFree=124365860/131655788 swapFree=131071996/131071996
[pid=1016395] ppid=1016392 vsize=56944 memory=49664 CPUtime=6.26 cores=1,3
/proc/1016395/stat : 1016395 (LS-MabSP) R 1016392 1016395 1012342 0 -1 4194304 10655 0 0 0 623 3 0 0 20 0 1 0 193930798 58310656 12416 134679101440 4194304 15467897 140736849966912 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 46149632 140736849970205 140736849970308 140736849970308 140736849977325 0
/proc/1016395/statm: 14236 12416 2849 2753 0 10889 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 56944 KiB
Current children cumulated memory: 49664 KiB
[startup+12.7003 s]
/proc/loadavg: 4.30 4.20 4.17 5/241 1016444
/proc/meminfo: memFree=124354548/131655788 swapFree=131071996/131071996
[pid=1016395] ppid=1016392 vsize=59528 memory=52564 CPUtime=12.64 cores=1,3
/proc/1016395/stat : 1016395 (LS-MabSP) R 1016392 1016395 1012342 0 -1 4194304 11352 0 0 0 1261 3 0 0 20 0 1 0 193930798 60956672 13141 134679101440 4194304 15467897 140736849966912 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 46149632 140736849970205 140736849970308 140736849970308 140736849977325 0
/proc/1016395/statm: 14882 13141 2849 2753 0 11535 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 59528 KiB
Current children cumulated memory: 52564 KiB
[startup+25.5003 s]
/proc/loadavg: 4.24 4.19 4.16 5/241 1016448
/proc/meminfo: memFree=124274500/131655788 swapFree=131071996/131071996
[pid=1016395] ppid=1016392 vsize=81636 memory=73672 CPUtime=25.4 cores=1,3
/proc/1016395/stat : 1016395 (LS-MabSP) R 1016392 1016395 1012342 0 -1 4194304 16883 0 0 0 2536 4 0 0 20 0 1 0 193930798 83595264 18418 134679101440 4194304 15467897 140736849966912 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 46149632 140736849970205 140736849970308 140736849970308 140736849977325 0
/proc/1016395/statm: 20409 18418 2849 2753 0 17062 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 81636 KiB
Current children cumulated memory: 73672 KiB
[startup+51.1127 s]
/proc/loadavg: 4.15 4.18 4.16 5/241 1016451
/proc/meminfo: memFree=124234032/131655788 swapFree=131071996/131071996
[pid=1016395] ppid=1016392 vsize=97860 memory=91280 CPUtime=50.92 cores=1,3
/proc/1016395/stat : 1016395 (LS-MabSP) R 1016392 1016395 1012342 0 -1 4194304 22844 0 0 0 5087 5 0 0 20 0 1 0 193930798 100208640 22820 134679101440 4194304 15467897 140736849966912 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 46149632 140736849970205 140736849970308 140736849970308 140736849977325 0
/proc/1016395/statm: 24465 22820 2849 2753 0 21118 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 97860 KiB
Current children cumulated memory: 91280 KiB
[startup+102.3 s]
/proc/loadavg: 4.75 4.34 4.22 5/241 1016459
/proc/meminfo: memFree=124136568/131655788 swapFree=131071996/131071996
[pid=1016395] ppid=1016392 vsize=148296 memory=140504 CPUtime=101.92 cores=1,3
/proc/1016395/stat : 1016395 (LS-MabSP) R 1016392 1016395 1012342 0 -1 4194304 35109 0 0 0 10185 7 0 0 20 0 1 0 193930798 151855104 35126 134679101440 4194304 15467897 140736849966912 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 46149632 140736849970205 140736849970308 140736849970308 140736849977325 0
/proc/1016395/statm: 37074 35126 2849 2753 0 33727 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 148296 KiB
Current children cumulated memory: 140504 KiB
[startup+162.3 s]
/proc/loadavg: 4.76 4.41 4.25 5/241 1016469
/proc/meminfo: memFree=123996484/131655788 swapFree=131071996/131071996
[pid=1016395] ppid=1016392 vsize=206528 memory=199512 CPUtime=161.71 cores=1,3
/proc/1016395/stat : 1016395 (LS-MabSP) R 1016392 1016395 1012342 0 -1 4194304 50118 0 0 0 16161 10 0 0 20 0 1 0 193930798 211484672 49878 134679101440 4194304 15467897 140736849966912 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 46149632 140736849970205 140736849970308 140736849970308 140736849977325 0
/proc/1016395/statm: 51632 49878 2849 2753 0 48285 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 206528 KiB
Current children cumulated memory: 199512 KiB
[startup+222.3 s]
/proc/loadavg: 4.67 4.47 4.28 5/241 1016479
/proc/meminfo: memFree=123853520/131655788 swapFree=131071996/131071996
[pid=1016395] ppid=1016392 vsize=276420 memory=265556 CPUtime=221.49 cores=1,3
/proc/1016395/stat : 1016395 (LS-MabSP) R 1016392 1016395 1012342 0 -1 4194304 66655 0 0 0 22136 13 0 0 20 0 1 0 193930798 283054080 66389 134679101440 4194304 15467897 140736849966912 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 46149632 140736849970205 140736849970308 140736849970308 140736849977325 0
/proc/1016395/statm: 69105 66389 2849 2753 0 65758 0
Current children cumulated CPU time: 221.49 s
Current children cumulated vsize: 276420 KiB
Current children cumulated memory: 265556 KiB
[startup+282.3 s]
/proc/loadavg: 4.34 4.41 4.27 5/241 1016490
/proc/meminfo: memFree=123714108/131655788 swapFree=131071996/131071996
[pid=1016395] ppid=1016392 vsize=330768 memory=320748 CPUtime=281.24 cores=1,3
/proc/1016395/stat : 1016395 (LS-MabSP) R 1016392 1016395 1012342 0 -1 4194304 80581 0 0 0 28108 16 0 0 20 0 1 0 193930798 338706432 80187 134679101440 4194304 15467897 140736849966912 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 46149632 140736849970205 140736849970308 140736849970308 140736849977325 0
/proc/1016395/statm: 82692 80187 2849 2753 0 79345 0
Current children cumulated CPU time: 281.24 s
Current children cumulated vsize: 330768 KiB
Current children cumulated memory: 320748 KiB
[startup+342.3 s]
/proc/loadavg: 4.17 4.35 4.26 5/244 1016505
/proc/meminfo: memFree=123561544/131655788 swapFree=131071996/131071996
[pid=1016395] ppid=1016392 vsize=384964 memory=375648 CPUtime=341.01 cores=1,3
/proc/1016395/stat : 1016395 (LS-MabSP) R 1016392 1016395 1012342 0 -1 4194304 94405 0 0 0 34083 18 0 0 20 0 1 0 193930798 394203136 93912 134679101440 4194304 15467897 140736849966912 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 46149632 140736849970205 140736849970308 140736849970308 140736849977325 0
/proc/1016395/statm: 96241 93912 2849 2753 0 92894 0
Current children cumulated CPU time: 341.01 s
Current children cumulated vsize: 384964 KiB
Current children cumulated memory: 375648 KiB
[startup+402.3 s]
/proc/loadavg: 4.17 4.32 4.25 5/244 1016515
/proc/meminfo: memFree=123408836/131655788 swapFree=131071996/131071996
[pid=1016395] ppid=1016392 vsize=445288 memory=436268 CPUtime=400.77 cores=1,3
/proc/1016395/stat : 1016395 (LS-MabSP) R 1016392 1016395 1012342 0 -1 4194304 109624 0 0 0 40056 21 0 0 20 0 1 0 193930798 455974912 109067 134679101440 4194304 15467897 140736849966912 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 46149632 140736849970205 140736849970308 140736849970308 140736849977325 0
/proc/1016395/statm: 111322 109067 2849 2753 0 107975 0
Current children cumulated CPU time: 400.77 s
Current children cumulated vsize: 445288 KiB
Current children cumulated memory: 436268 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.27 4.24 5/244 1016526
/proc/meminfo: memFree=123306512/131655788 swapFree=131071996/131071996
[pid=1016395] ppid=1016392 vsize=496852 memory=489184 CPUtime=460.54 cores=1,3
/proc/1016395/stat : 1016395 (LS-MabSP) R 1016392 1016395 1012342 0 -1 4194304 123082 0 0 0 46031 23 0 0 20 0 1 0 193930798 508776448 122296 134679101440 4194304 15467897 140736849966912 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 46149632 140736849970205 140736849970308 140736849970308 140736849977325 0
/proc/1016395/statm: 124213 122296 2849 2753 0 120866 0
################
# More data... #
################
/proc/loadavg: 4.09 4.11 4.11 5/246 1018142
/proc/meminfo: memFree=121806516/131655788 swapFree=131071996/131071996
[pid=1016395] ppid=1016392 vsize=1183756 memory=1177776 CPUtime=3213.56 cores=1,3
/proc/1016395/stat : 1016395 (LS-MabSP) R 1016392 1016395 1012342 0 -1 4194304 371953 0 0 0 282578 38778 0 0 20 0 1 0 193930798 1212166144 294444 134679101440 4194304 15467897 140736849966912 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 46149632 140736849970205 140736849970308 140736849970308 140736849977325 0
/proc/1016395/statm: 295939 294444 2849 2753 0 292592 0
Current children cumulated CPU time: 3213.56 s
Current children cumulated vsize: 1183756 KiB
Current children cumulated memory: 1177776 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.12 4.11 5/246 1018153
/proc/meminfo: memFree=121806160/131655788 swapFree=131071996/131071996
[pid=1016395] ppid=1016392 vsize=1183756 memory=1177776 CPUtime=3273.46 cores=1,3
/proc/1016395/stat : 1016395 (LS-MabSP) R 1016392 1016395 1012342 0 -1 4194304 371953 0 0 0 286934 40412 0 0 20 0 1 0 193930798 1212166144 294444 134679101440 4194304 15467897 140736849966912 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 46149632 140736849970205 140736849970308 140736849970308 140736849977325 0
/proc/1016395/statm: 295939 294444 2849 2753 0 292592 0
Current children cumulated CPU time: 3273.46 s
Current children cumulated vsize: 1183756 KiB
Current children cumulated memory: 1177776 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.12 4.11 5/246 1018221
/proc/meminfo: memFree=121805648/131655788 swapFree=131071996/131071996
[pid=1016395] ppid=1016392 vsize=1183756 memory=1177776 CPUtime=3333.37 cores=1,3
/proc/1016395/stat : 1016395 (LS-MabSP) R 1016392 1016395 1012342 0 -1 4194304 371953 0 0 0 291275 42062 0 0 20 0 1 0 193930798 1212166144 294444 134679101440 4194304 15467897 140736849966912 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 46149632 140736849970205 140736849970308 140736849970308 140736849977325 0
/proc/1016395/statm: 295939 294444 2849 2753 0 292592 0
Current children cumulated CPU time: 3333.37 s
Current children cumulated vsize: 1183756 KiB
Current children cumulated memory: 1177776 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.11 4.10 5/246 1018232
/proc/meminfo: memFree=121805488/131655788 swapFree=131071996/131071996
[pid=1016395] ppid=1016392 vsize=1183756 memory=1177776 CPUtime=3393.27 cores=1,3
/proc/1016395/stat : 1016395 (LS-MabSP) R 1016392 1016395 1012342 0 -1 4194304 371953 0 0 0 295628 43699 0 0 20 0 1 0 193930798 1212166144 294444 134679101440 4194304 15467897 140736849966912 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 46149632 140736849970205 140736849970308 140736849970308 140736849977325 0
/proc/1016395/statm: 295939 294444 2849 2753 0 292592 0
Current children cumulated CPU time: 3393.27 s
Current children cumulated vsize: 1183756 KiB
Current children cumulated memory: 1177776 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.12 4.10 5/248 1018247
/proc/meminfo: memFree=121805084/131655788 swapFree=131071996/131071996
[pid=1016395] ppid=1016392 vsize=1183756 memory=1177776 CPUtime=3453.17 cores=1,3
/proc/1016395/stat : 1016395 (LS-MabSP) R 1016392 1016395 1012342 0 -1 4194304 371953 0 0 0 299979 45338 0 0 20 0 1 0 193930798 1212166144 294444 134679101440 4194304 15467897 140736849966912 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 46149632 140736849970205 140736849970308 140736849970308 140736849977325 0
/proc/1016395/statm: 295939 294444 2849 2753 0 292592 0
Current children cumulated CPU time: 3453.17 s
Current children cumulated vsize: 1183756 KiB
Current children cumulated memory: 1177776 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.11 4.10 5/245 1018258
/proc/meminfo: memFree=121803816/131655788 swapFree=131071996/131071996
[pid=1016395] ppid=1016392 vsize=1183756 memory=1177776 CPUtime=3513.07 cores=1,3
/proc/1016395/stat : 1016395 (LS-MabSP) R 1016392 1016395 1012342 0 -1 4194304 371953 0 0 0 304341 46966 0 0 20 0 1 0 193930798 1212166144 294444 134679101440 4194304 15467897 140736849966912 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 46149632 140736849970205 140736849970308 140736849970308 140736849977325 0
/proc/1016395/statm: 295939 294444 2849 2753 0 292592 0
Current children cumulated CPU time: 3513.07 s
Current children cumulated vsize: 1183756 KiB
Current children cumulated memory: 1177776 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.12 4.10 5/245 1018268
/proc/meminfo: memFree=121803608/131655788 swapFree=131071996/131071996
[pid=1016395] ppid=1016392 vsize=1183756 memory=1177776 CPUtime=3572.98 cores=1,3
/proc/1016395/stat : 1016395 (LS-MabSP) R 1016392 1016395 1012342 0 -1 4194304 371953 0 0 0 308702 48596 0 0 20 0 1 0 193930798 1212166144 294444 134679101440 4194304 15467897 140736849966912 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 46149632 140736849970205 140736849970308 140736849970308 140736849977325 0
/proc/1016395/statm: 295939 294444 2849 2753 0 292592 0
Current children cumulated CPU time: 3572.98 s
Current children cumulated vsize: 1183756 KiB
Current children cumulated memory: 1177776 KiB
[startup+3609.36 s]
# the end of solver process 1016395 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3106.64 s, system=493.365 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.15 4.12 4.10 5/245 1018269
/proc/meminfo: memFree=121803556/131655788 swapFree=131071996/131071996
[pid=1016395] ppid=1016392 vsize=1183756 memory=1177776 CPUtime=3574.69 cores=1,3
/proc/1016395/stat : 1016395 (LS-MabSP) R 1016392 1016395 1012342 0 -1 4194304 371953 0 0 0 308823 48646 0 0 20 0 1 0 193930798 1212166144 294444 134679101440 4194304 15467897 140736849966912 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 46149632 140736849970205 140736849970308 140736849970308 140736849977325 0
/proc/1016395/statm: 295939 294444 2849 2753 0 292592 0
Current children cumulated CPU time: 3574.69 s
Current children cumulated vsize: 1183756 KiB
Current children cumulated memory: 1177776 KiB
[startup+3596.8 s]
/proc/loadavg: 4.12 4.11 4.09 5/245 1018271
/proc/meminfo: memFree=121803500/131655788 swapFree=131071996/131071996
[pid=1016395] ppid=1016392 vsize=1183756 memory=1177776 CPUtime=3587.45 cores=1,3
/proc/1016395/stat : 1016395 (LS-MabSP) R 1016392 1016395 1012342 0 -1 4194304 371953 0 0 0 309754 48991 0 0 20 0 1 0 193930798 1212166144 294444 134679101440 4194304 15467897 140736849966912 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 46149632 140736849970205 140736849970308 140736849970308 140736849977325 0
/proc/1016395/statm: 295939 294444 2849 2753 0 292592 0
Current children cumulated CPU time: 3587.45 s
Current children cumulated vsize: 1183756 KiB
Current children cumulated memory: 1177776 KiB
[startup+3603.2 s]
/proc/loadavg: 4.11 4.11 4.09 5/245 1018271
/proc/meminfo: memFree=121803496/131655788 swapFree=131071996/131071996
[pid=1016395] ppid=1016392 vsize=1183756 memory=1177776 CPUtime=3593.84 cores=1,3
/proc/1016395/stat : 1016395 (LS-MabSP) R 1016392 1016395 1012342 0 -1 4194304 371953 0 0 0 310212 49172 0 0 20 0 1 0 193930798 1212166144 294444 134679101440 4194304 15467897 140736849966912 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 46149632 140736849970205 140736849970308 140736849970308 140736849977325 0
/proc/1016395/statm: 295939 294444 2849 2753 0 292592 0
Current children cumulated CPU time: 3593.84 s
Current children cumulated vsize: 1183756 KiB
Current children cumulated memory: 1177776 KiB
[startup+3606.4 s]
/proc/loadavg: 4.10 4.11 4.09 5/245 1018272
/proc/meminfo: memFree=121803468/131655788 swapFree=131071996/131071996
[pid=1016395] ppid=1016392 vsize=1183756 memory=1177776 CPUtime=3597.04 cores=1,3
/proc/1016395/stat : 1016395 (LS-MabSP) R 1016392 1016395 1012342 0 -1 4194304 371953 0 0 0 310449 49255 0 0 20 0 1 0 193930798 1212166144 294444 134679101440 4194304 15467897 140736849966912 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 46149632 140736849970205 140736849970308 140736849970308 140736849977325 0
/proc/1016395/statm: 295939 294444 2849 2753 0 292592 0
Current children cumulated CPU time: 3597.04 s
Current children cumulated vsize: 1183756 KiB
Current children cumulated memory: 1177776 KiB
[startup+3608 s]*
/proc/loadavg: 4.10 4.11 4.09 5/245 1018272
/proc/meminfo: memFree=121803476/131655788 swapFree=131071996/131071996
[pid=1016395] ppid=1016392 vsize=1183756 memory=1177776 CPUtime=3598.65 cores=1,3
/proc/1016395/stat : 1016395 (LS-MabSP) R 1016392 1016395 1012342 0 -1 4194304 371953 0 0 0 310567 49298 0 0 20 0 1 0 193930798 1212166144 294444 134679101440 4194304 15467897 140736849966912 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 46149632 140736849970205 140736849970308 140736849970308 140736849977325 0
/proc/1016395/statm: 295939 294444 2849 2753 0 292592 0
Current children cumulated CPU time: 3598.65 s
Current children cumulated vsize: 1183756 KiB
Current children cumulated memory: 1177776 KiB
[startup+3608.8 s]
/proc/loadavg: 4.10 4.11 4.09 5/245 1018272
/proc/meminfo: memFree=121803476/131655788 swapFree=131071996/131071996
[pid=1016395] ppid=1016392 vsize=1183756 memory=1177776 CPUtime=3599.44 cores=1,3
/proc/1016395/stat : 1016395 (LS-MabSP) R 1016392 1016395 1012342 0 -1 4194304 371953 0 0 0 310622 49322 0 0 20 0 1 0 193930798 1212166144 294444 134679101440 4194304 15467897 140736849966912 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 46149632 140736849970205 140736849970308 140736849970308 140736849977325 0
/proc/1016395/statm: 295939 294444 2849 2753 0 292592 0
Current children cumulated CPU time: 3599.44 s
Current children cumulated vsize: 1183756 KiB
Current children cumulated memory: 1177776 KiB
[startup+3609.2 s]
/proc/loadavg: 4.10 4.11 4.09 4/238 1018303
/proc/meminfo: memFree=122082696/131655788 swapFree=131071996/131071996
[pid=1016395] ppid=1016392 vsize=1183756 memory=1177776 CPUtime=3599.84 cores=1,3
/proc/1016395/stat : 1016395 (LS-MabSP) R 1016392 1016395 1012342 0 -1 4194304 371953 0 0 0 310652 49332 0 0 20 0 1 0 193930798 1212166144 294444 134679101440 4194304 15467897 140736849966912 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 46149632 140736849970205 140736849970308 140736849970308 140736849977325 0
/proc/1016395/statm: 295939 294444 2849 2753 0 292592 0
Current children cumulated CPU time: 3599.84 s
Current children cumulated vsize: 1183756 KiB
Current children cumulated memory: 1177776 KiB
[startup+3609.3 s]
/proc/loadavg: 4.10 4.11 4.09 4/238 1018303
/proc/meminfo: memFree=122082696/131655788 swapFree=131071996/131071996
[pid=1016395] ppid=1016392 vsize=1183756 memory=1177776 CPUtime=3599.94 cores=1,3
/proc/1016395/stat : 1016395 (LS-MabSP) R 1016392 1016395 1012342 0 -1 4194304 371953 0 0 0 310659 49335 0 0 20 0 1 0 193930798 1212166144 294444 134679101440 4194304 15467897 140736849966912 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 46149632 140736849970205 140736849970308 140736849970308 140736849977325 0
/proc/1016395/statm: 295939 294444 2849 2753 0 292592 0
Current children cumulated CPU time: 3599.94 s
Current children cumulated vsize: 1183756 KiB
Current children cumulated memory: 1177776 KiB
Child status: 0
Real time (s): 3609.36
CPU time (s): 3600.01
CPU user time (s): 3106.64
CPU system time (s): 493.365
CPU usage (%): 99.7408
Max. virtual memory (cumulated for all children) (KiB): 1471240
Max. memory (cumulated for all children) (KiB): 1444136
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3106.64
system time used= 493.365
maximum resident set size= 1444212
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 371961
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= 145
involuntary context switches= 2888
# summary of solver processes directly reported to runsolver:
# pid: 1016395
# total CPU time (s): 3600.01
# total CPU user time (s): 3106.64
# total CPU system time (s): 493.365
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.1202 second user time and 33.4632 second system time
The end
Begin job on nodeC010 at 2024-07-19 21:35:27
IDJOB=4450976
IDBENCH=162338
IDSOLVER=3047
FILE ID=nodeC010/4450976-1721417716
RUNJOBID= nodeC010-1721410509-1012354
SLURM_JOB_ID= 7545469
Free space on /tmp= 723732 MiB
SOLVER NAME= LS-MabSP 2024-07-10
BENCH NAME= PB24/normalized-PB16/DEC-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid5x150split.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-4450976-1721417716/watcher-4450976-1721417716 -o /tmp/evaluation-result-4450976-1721417716/solver-4450976-1721417716 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721410509-1012354 --watchdog 3760 ./LS-MabSP -f HOME/instance-4450976-1721417716.opb -t 3600 -s 1490772954
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a95ffdb987ab7b28268efdc4e16ef22d
RANDOM SEED=1490772954
nodeC010.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 : 0xb00001f
cpu MHz : 3679.157
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.51
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 : 0xb00001f
cpu MHz : 3491.777
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.31
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 : 0xb00001f
cpu MHz : 1197.334
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.51
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 : 0xb00001f
cpu MHz : 1197.175
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.31
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 : 0xb00001f
cpu MHz : 3491.754
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.51
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 : 0xb00001f
cpu MHz : 3491.760
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.31
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 : 0xb00001f
cpu MHz : 1197.475
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.51
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 : 0xb00001f
cpu MHz : 1197.174
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 124252632 kB
MemAvailable: 129479652 kB
Buffers: 529392 kB
Cached: 5485036 kB
SwapCached: 0 kB
Active: 1040756 kB
Inactive: 5679252 kB
Active(anon): 1440 kB
Inactive(anon): 750012 kB
Active(file): 1039316 kB
Inactive(file): 4929240 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 49452 kB
Writeback: 0 kB
AnonPages: 705040 kB
Mapped: 128900 kB
Shmem: 45896 kB
KReclaimable: 196992 kB
Slab: 312372 kB
SReclaimable: 196992 kB
SUnreclaim: 115380 kB
KernelStack: 3888 kB
PageTables: 10640 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1188904 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 61056 kB
HardwareCorrupted: 0 kB
AnonHugePages: 563200 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: 295752 kB
DirectMap2M: 35260416 kB
DirectMap1G: 100663296 kB
Free space on /tmp at the end= 723736 MiB
End job on nodeC010 at 2024-07-19 22:35:36