0.00/0.01 c Filename:instance-4447506-1721360407.opb, Cutoff_time:3600, memory_limit_gb:500000
0.00/0.01 c Use Presolve
0.00/0.01 c Parse finsih
0.00/0.01 c Start Presolve
0.00/0.01 c After Reduce Vars: 141 Clauses: 376 Top clause weight: 1 Hard Clauses: 376
3599.91/3608.88 c Use LS-small
3599.91/3608.88 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: 63931 MiB (61060 MiB free)
memory of node 1: 64510 MiB (62107 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447506-1721360407/watcher-4447506-1721360407 -o /tmp/evaluation-result-4447506-1721360407/solver-4447506-1721360407 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721354345-1014652 --watchdog 3760 ./LS-MabSP -f HOME/instance-4447506-1721360407.opb -t 3600 -s 783327891
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
solver pid=1017984, runsolver pid=1017981
Current StackSize limit: 8192 KiB
[startup+0.100089 s]*
/proc/loadavg: 4.31 4.18 4.12 5/257 1017985
/proc/meminfo: memFree=126112460/131524600 swapFree=131071996/131071996
[pid=1017984] ppid=1017981 vsize=29228 memory=22296 CPUtime=0.1 cores=1,3
/proc/1017984/stat : 1017984 (LS-MabSP) R 1017981 1017984 1014640 0 -1 4194304 2555 0 0 0 10 0 0 0 20 0 1 0 188202570 29929472 5574 134679101440 4194304 15467897 140734278585056 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 39460864 140734278587422 140734278587524 140734278587524 140734278594541 0
/proc/1017984/statm: 7307 5574 2849 2753 0 3960 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 29228 KiB
Current children cumulated memory: 22296 KiB
[startup+0.20557 s]*
/proc/loadavg: 4.31 4.18 4.12 5/257 1017985
/proc/meminfo: memFree=126107884/131524600 swapFree=131071996/131071996
[pid=1017984] ppid=1017981 vsize=34136 memory=26256 CPUtime=0.2 cores=1,3
/proc/1017984/stat : 1017984 (LS-MabSP) R 1017981 1017984 1014640 0 -1 4194304 3500 0 0 0 20 0 0 0 20 0 1 0 188202570 34955264 6564 134679101440 4194304 15467897 140734278585056 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 39460864 140734278587422 140734278587524 140734278587524 140734278594541 0
/proc/1017984/statm: 8534 6564 2849 2753 0 5187 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 34136 KiB
Current children cumulated memory: 26256 KiB
[startup+0.305475 s]*
/proc/loadavg: 4.31 4.18 4.12 5/257 1017985
/proc/meminfo: memFree=126106764/131524600 swapFree=131071996/131071996
[pid=1017984] ppid=1017981 vsize=34272 memory=27312 CPUtime=0.3 cores=1,3
/proc/1017984/stat : 1017984 (LS-MabSP) R 1017981 1017984 1014640 0 -1 4194304 3768 0 0 0 30 0 0 0 20 0 1 0 188202570 35094528 6828 134679101440 4194304 15467897 140734278585056 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 39460864 140734278587422 140734278587524 140734278587524 140734278594541 0
/proc/1017984/statm: 8568 6828 2849 2753 0 5221 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 34272 KiB
Current children cumulated memory: 27312 KiB
[startup+0.700212 s]
/proc/loadavg: 4.31 4.18 4.12 5/257 1017985
/proc/meminfo: memFree=126106624/131524600 swapFree=131071996/131071996
[pid=1017984] ppid=1017981 vsize=34536 memory=27576 CPUtime=0.69 cores=1,3
/proc/1017984/stat : 1017984 (LS-MabSP) R 1017981 1017984 1014640 0 -1 4194304 3848 0 0 0 69 0 0 0 20 0 1 0 188202570 35364864 6894 134679101440 4194304 15467897 140734278585056 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 39460864 140734278587422 140734278587524 140734278587524 140734278594541 0
/proc/1017984/statm: 8634 6894 2849 2753 0 5287 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 34536 KiB
Current children cumulated memory: 27576 KiB
[startup+1.50022 s]
/proc/loadavg: 4.28 4.17 4.12 5/257 1017985
/proc/meminfo: memFree=126104572/131524600 swapFree=131071996/131071996
[pid=1017984] ppid=1017981 vsize=36832 memory=29688 CPUtime=1.48 cores=1,3
/proc/1017984/stat : 1017984 (LS-MabSP) R 1017981 1017984 1014640 0 -1 4194304 4399 0 0 0 148 0 0 0 20 0 1 0 188202570 37715968 7422 134679101440 4194304 15467897 140734278585056 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 39460864 140734278587422 140734278587524 140734278587524 140734278594541 0
/proc/1017984/statm: 9208 7422 2849 2753 0 5861 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 36832 KiB
Current children cumulated memory: 29688 KiB
[startup+3.10542 s]
/proc/loadavg: 4.28 4.17 4.12 5/257 1017987
/proc/meminfo: memFree=126098780/131524600 swapFree=131071996/131071996
[pid=1017984] ppid=1017981 vsize=37752 memory=31004 CPUtime=3.08 cores=1,3
/proc/1017984/stat : 1017984 (LS-MabSP) R 1017981 1017984 1014640 0 -1 4194304 4703 0 0 0 308 0 0 0 20 0 1 0 188202570 38658048 7751 134679101440 4194304 15467897 140734278585056 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 39460864 140734278587422 140734278587524 140734278587524 140734278594541 0
/proc/1017984/statm: 9438 7751 2849 2753 0 6091 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 37752 KiB
Current children cumulated memory: 31004 KiB
[startup+6.30016 s]
/proc/loadavg: 4.26 4.17 4.12 5/257 1017987
/proc/meminfo: memFree=126092252/131524600 swapFree=131071996/131071996
[pid=1017984] ppid=1017981 vsize=42244 memory=35224 CPUtime=6.26 cores=1,3
/proc/1017984/stat : 1017984 (LS-MabSP) R 1017981 1017984 1014640 0 -1 4194304 5745 0 0 0 626 0 0 0 20 0 1 0 188202570 43257856 8806 134679101440 4194304 15467897 140734278585056 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 39460864 140734278587422 140734278587524 140734278587524 140734278594541 0
/proc/1017984/statm: 10561 8806 2849 2753 0 7214 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 42244 KiB
Current children cumulated memory: 35224 KiB
[startup+12.7002 s]
/proc/loadavg: 4.24 4.17 4.12 5/257 1017987
/proc/meminfo: memFree=126075536/131524600 swapFree=131071996/131071996
[pid=1017984] ppid=1017981 vsize=48796 memory=41924 CPUtime=12.65 cores=1,3
/proc/1017984/stat : 1017984 (LS-MabSP) R 1017981 1017984 1014640 0 -1 4194304 7615 0 0 0 1264 1 0 0 20 0 1 0 188202570 49967104 10481 134679101440 4194304 15467897 140734278585056 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 39460864 140734278587422 140734278587524 140734278587524 140734278594541 0
/proc/1017984/statm: 12199 10481 2849 2753 0 8852 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 48796 KiB
Current children cumulated memory: 41924 KiB
[startup+25.5002 s]
/proc/loadavg: 4.20 4.16 4.11 5/257 1017990
/proc/meminfo: memFree=126034808/131524600 swapFree=131071996/131071996
[pid=1017984] ppid=1017981 vsize=67952 memory=60612 CPUtime=25.4 cores=1,3
/proc/1017984/stat : 1017984 (LS-MabSP) R 1017981 1017984 1014640 0 -1 4194304 12248 0 0 0 2538 2 0 0 20 0 1 0 188202570 69582848 15153 134679101440 4194304 15467897 140734278585056 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 39460864 140734278587422 140734278587524 140734278587524 140734278594541 0
/proc/1017984/statm: 16988 15153 2849 2753 0 13641 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 67952 KiB
Current children cumulated memory: 60612 KiB
[startup+51.1054 s]
/proc/loadavg: 4.17 4.16 4.11 5/257 1017994
/proc/meminfo: memFree=125954284/131524600 swapFree=131071996/131071996
[pid=1017984] ppid=1017981 vsize=104400 memory=95340 CPUtime=50.9 cores=1,3
/proc/1017984/stat : 1017984 (LS-MabSP) R 1017981 1017984 1014640 0 -1 4194304 20939 0 0 0 5087 3 0 0 20 0 1 0 188202570 106905600 23835 134679101440 4194304 15467897 140734278585056 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 39460864 140734278587422 140734278587524 140734278587524 140734278594541 0
/proc/1017984/statm: 26100 23835 2849 2753 0 22753 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 104400 KiB
Current children cumulated memory: 95340 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.15 4.11 5/257 1018002
/proc/meminfo: memFree=125807024/131524600 swapFree=131071996/131071996
[pid=1017984] ppid=1017981 vsize=169812 memory=153212 CPUtime=101.91 cores=1,3
/proc/1017984/stat : 1017984 (LS-MabSP) R 1017981 1017984 1014640 0 -1 4194304 35617 0 0 0 10186 5 0 0 20 0 1 0 188202570 173887488 38303 134679101440 4194304 15467897 140734278585056 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 39460864 140734278587422 140734278587524 140734278587524 140734278594541 0
/proc/1017984/statm: 42453 38303 2849 2753 0 39106 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 169812 KiB
Current children cumulated memory: 153212 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.15 4.11 5/257 1018012
/proc/meminfo: memFree=125647104/131524600 swapFree=131071996/131071996
[pid=1017984] ppid=1017981 vsize=225824 memory=208140 CPUtime=161.71 cores=1,3
/proc/1017984/stat : 1017984 (LS-MabSP) R 1017981 1017984 1014640 0 -1 4194304 48829 0 0 0 16162 9 0 0 20 0 1 0 188202570 231243776 52035 134679101440 4194304 15467897 140734278585056 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 39460864 140734278587422 140734278587524 140734278587524 140734278594541 0
/proc/1017984/statm: 56456 52035 2849 2753 0 53109 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 225824 KiB
Current children cumulated memory: 208140 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 4.12 4.10 5/257 1018023
/proc/meminfo: memFree=125492588/131524600 swapFree=131071996/131071996
[pid=1017984] ppid=1017981 vsize=272888 memory=256024 CPUtime=221.51 cores=1,3
/proc/1017984/stat : 1017984 (LS-MabSP) R 1017981 1017984 1014640 0 -1 4194304 60811 0 0 0 22140 11 0 0 20 0 1 0 188202570 279437312 64006 134679101440 4194304 15467897 140734278585056 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 39460864 140734278587422 140734278587524 140734278587524 140734278594541 0
/proc/1017984/statm: 68222 64006 2849 2753 0 64875 0
Current children cumulated CPU time: 221.51 s
Current children cumulated vsize: 272888 KiB
Current children cumulated memory: 256024 KiB
[startup+282.3 s]
/proc/loadavg: 4.06 4.11 4.09 5/258 1018035
/proc/meminfo: memFree=125344172/131524600 swapFree=131071996/131071996
[pid=1017984] ppid=1017981 vsize=320764 memory=299288 CPUtime=281.32 cores=1,3
/proc/1017984/stat : 1017984 (LS-MabSP) R 1017981 1017984 1014640 0 -1 4194304 71130 0 0 0 28117 15 0 0 20 0 1 0 188202570 328462336 74822 134679101440 4194304 15467897 140734278585056 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 39460864 140734278587422 140734278587524 140734278587524 140734278594541 0
/proc/1017984/statm: 80191 74822 2849 2753 0 76844 0
Current children cumulated CPU time: 281.32 s
Current children cumulated vsize: 320764 KiB
Current children cumulated memory: 299288 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/255 1018045
/proc/meminfo: memFree=125201180/131524600 swapFree=131071996/131071996
[pid=1017984] ppid=1017981 vsize=367156 memory=341364 CPUtime=341.13 cores=1,3
/proc/1017984/stat : 1017984 (LS-MabSP) R 1017981 1017984 1014640 0 -1 4194304 81350 0 0 0 34096 17 0 0 20 0 1 0 188202570 375967744 85341 134679101440 4194304 15467897 140734278585056 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 39460864 140734278587422 140734278587524 140734278587524 140734278594541 0
/proc/1017984/statm: 91789 85341 2849 2753 0 88442 0
Current children cumulated CPU time: 341.13 s
Current children cumulated vsize: 367156 KiB
Current children cumulated memory: 341364 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/255 1018055
/proc/meminfo: memFree=125066656/131524600 swapFree=131071996/131071996
[pid=1017984] ppid=1017981 vsize=411260 memory=380280 CPUtime=400.94 cores=1,3
/proc/1017984/stat : 1017984 (LS-MabSP) R 1017981 1017984 1014640 0 -1 4194304 90048 0 0 0 40075 19 0 0 20 0 1 0 188202570 421130240 95070 134679101440 4194304 15467897 140734278585056 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 39460864 140734278587422 140734278587524 140734278587524 140734278594541 0
/proc/1017984/statm: 102815 95070 2849 2753 0 99468 0
Current children cumulated CPU time: 400.94 s
Current children cumulated vsize: 411260 KiB
Current children cumulated memory: 380280 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/255 1018066
/proc/meminfo: memFree=124926032/131524600 swapFree=131071996/131071996
[pid=1017984] ppid=1017981 vsize=437068 memory=414904 CPUtime=460.76 cores=1,3
/proc/1017984/stat : 1017984 (LS-MabSP) R 1017981 1017984 1014640 0 -1 4194304 97176 0 0 0 46055 21 0 0 20 0 1 0 188202570 447557632 103726 134679101440 4194304 15467897 140734278585056 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 39460864 140734278587422 140734278587524 140734278587524 140734278594541 0
/proc/1017984/statm: 109267 103726 2849 2753 0 105920 0
################
# More data... #
################
/proc/loadavg: 4.13 4.12 4.10 5/259 1019829
/proc/meminfo: memFree=125405456/131524600 swapFree=131071996/131071996
[pid=1017984] ppid=1017981 vsize=423264 memory=417988 CPUtime=3154.22 cores=1,3
/proc/1017984/stat : 1017984 (LS-MabSP) R 1017981 1017984 1014640 0 -1 4194304 198305 0 0 0 285948 29474 0 0 20 0 1 0 188202570 433422336 104497 134679101440 4194304 15467897 140734278585056 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 39460864 140734278587422 140734278587524 140734278587524 140734278594541 0
/proc/1017984/statm: 105816 104497 2849 2753 0 102469 0
Current children cumulated CPU time: 3154.22 s
Current children cumulated vsize: 423264 KiB
Current children cumulated memory: 417988 KiB
[startup+3222.3 s]
/proc/loadavg: 4.20 4.14 4.11 5/259 1019886
/proc/meminfo: memFree=126199296/131524600 swapFree=131071996/131071996
[pid=1017984] ppid=1017981 vsize=423264 memory=417988 CPUtime=3214.1 cores=1,3
/proc/1017984/stat : 1017984 (LS-MabSP) R 1017981 1017984 1014640 0 -1 4194304 198306 0 0 0 290635 30775 0 0 20 0 1 0 188202570 433422336 104497 134679101440 4194304 15467897 140734278585056 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 39460864 140734278587422 140734278587524 140734278587524 140734278594541 0
/proc/1017984/statm: 105816 104497 2849 2753 0 102469 0
Current children cumulated CPU time: 3214.1 s
Current children cumulated vsize: 423264 KiB
Current children cumulated memory: 417988 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.11 4.10 5/259 1019897
/proc/meminfo: memFree=126179264/131524600 swapFree=131071996/131071996
[pid=1017984] ppid=1017981 vsize=423264 memory=417988 CPUtime=3273.99 cores=1,3
/proc/1017984/stat : 1017984 (LS-MabSP) R 1017981 1017984 1014640 0 -1 4194304 198307 0 0 0 295322 32077 0 0 20 0 1 0 188202570 433422336 104497 134679101440 4194304 15467897 140734278585056 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 39460864 140734278587422 140734278587524 140734278587524 140734278594541 0
/proc/1017984/statm: 105816 104497 2849 2753 0 102469 0
Current children cumulated CPU time: 3273.99 s
Current children cumulated vsize: 423264 KiB
Current children cumulated memory: 417988 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.12 4.10 5/254 1019907
/proc/meminfo: memFree=126179032/131524600 swapFree=131071996/131071996
[pid=1017984] ppid=1017981 vsize=423264 memory=417988 CPUtime=3333.88 cores=1,3
/proc/1017984/stat : 1017984 (LS-MabSP) R 1017981 1017984 1014640 0 -1 4194304 198308 0 0 0 300027 33361 0 0 20 0 1 0 188202570 433422336 104497 134679101440 4194304 15467897 140734278585056 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 39460864 140734278587422 140734278587524 140734278587524 140734278594541 0
/proc/1017984/statm: 105816 104497 2849 2753 0 102469 0
Current children cumulated CPU time: 3333.88 s
Current children cumulated vsize: 423264 KiB
Current children cumulated memory: 417988 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/255 1019918
/proc/meminfo: memFree=126178616/131524600 swapFree=131071996/131071996
[pid=1017984] ppid=1017981 vsize=423264 memory=417988 CPUtime=3393.78 cores=1,3
/proc/1017984/stat : 1017984 (LS-MabSP) R 1017981 1017984 1014640 0 -1 4194304 198309 0 0 0 304729 34649 0 0 20 0 1 0 188202570 433422336 104497 134679101440 4194304 15467897 140734278585056 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 39460864 140734278587422 140734278587524 140734278587524 140734278594541 0
/proc/1017984/statm: 105816 104497 2849 2753 0 102469 0
Current children cumulated CPU time: 3393.78 s
Current children cumulated vsize: 423264 KiB
Current children cumulated memory: 417988 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/255 1019929
/proc/meminfo: memFree=126178240/131524600 swapFree=131071996/131071996
[pid=1017984] ppid=1017981 vsize=423264 memory=417988 CPUtime=3453.67 cores=1,3
/proc/1017984/stat : 1017984 (LS-MabSP) R 1017981 1017984 1014640 0 -1 4194304 198310 0 0 0 309433 35934 0 0 20 0 1 0 188202570 433422336 104497 134679101440 4194304 15467897 140734278585056 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 39460864 140734278587422 140734278587524 140734278587524 140734278594541 0
/proc/1017984/statm: 105816 104497 2849 2753 0 102469 0
Current children cumulated CPU time: 3453.67 s
Current children cumulated vsize: 423264 KiB
Current children cumulated memory: 417988 KiB
[startup+3522.3 s]
/proc/loadavg: 4.18 4.13 4.10 5/255 1019939
/proc/meminfo: memFree=126177792/131524600 swapFree=131071996/131071996
[pid=1017984] ppid=1017981 vsize=423264 memory=417988 CPUtime=3513.56 cores=1,3
/proc/1017984/stat : 1017984 (LS-MabSP) R 1017981 1017984 1014640 0 -1 4194304 198311 0 0 0 314130 37226 0 0 20 0 1 0 188202570 433422336 104497 134679101440 4194304 15467897 140734278585056 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 39460864 140734278587422 140734278587524 140734278587524 140734278594541 0
/proc/1017984/statm: 105816 104497 2849 2753 0 102469 0
Current children cumulated CPU time: 3513.56 s
Current children cumulated vsize: 423264 KiB
Current children cumulated memory: 417988 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/255 1019949
/proc/meminfo: memFree=126177448/131524600 swapFree=131071996/131071996
[pid=1017984] ppid=1017981 vsize=423264 memory=417988 CPUtime=3573.45 cores=1,3
/proc/1017984/stat : 1017984 (LS-MabSP) R 1017981 1017984 1014640 0 -1 4194304 198312 0 0 0 318818 38527 0 0 20 0 1 0 188202570 433422336 104497 134679101440 4194304 15467897 140734278585056 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 39460864 140734278587422 140734278587524 140734278587524 140734278594541 0
/proc/1017984/statm: 105816 104497 2849 2753 0 102469 0
Current children cumulated CPU time: 3573.45 s
Current children cumulated vsize: 423264 KiB
Current children cumulated memory: 417988 KiB
[startup+3608.89 s]
# the end of solver process 1017984 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3208.99 s, system=391.014 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.12 4.12 4.09 5/255 1019950
/proc/meminfo: memFree=126177404/131524600 swapFree=131071996/131071996
[pid=1017984] ppid=1017981 vsize=423264 memory=417988 CPUtime=3575.16 cores=1,3
/proc/1017984/stat : 1017984 (LS-MabSP) R 1017981 1017984 1014640 0 -1 4194304 198312 0 0 0 318953 38563 0 0 20 0 1 0 188202570 433422336 104497 134679101440 4194304 15467897 140734278585056 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 39460864 140734278587422 140734278587524 140734278587524 140734278594541 0
/proc/1017984/statm: 105816 104497 2849 2753 0 102469 0
Current children cumulated CPU time: 3575.16 s
Current children cumulated vsize: 423264 KiB
Current children cumulated memory: 417988 KiB
[startup+3596.8 s]
/proc/loadavg: 4.10 4.11 4.09 5/257 1019956
/proc/meminfo: memFree=126177172/131524600 swapFree=131071996/131071996
[pid=1017984] ppid=1017981 vsize=423264 memory=417988 CPUtime=3587.93 cores=1,3
/proc/1017984/stat : 1017984 (LS-MabSP) R 1017981 1017984 1014640 0 -1 4194304 198312 0 0 0 319955 38838 0 0 20 0 1 0 188202570 433422336 104497 134679101440 4194304 15467897 140734278585056 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 39460864 140734278587422 140734278587524 140734278587524 140734278594541 0
/proc/1017984/statm: 105816 104497 2849 2753 0 102469 0
Current children cumulated CPU time: 3587.93 s
Current children cumulated vsize: 423264 KiB
Current children cumulated memory: 417988 KiB
[startup+3603.2 s]
/proc/loadavg: 4.16 4.13 4.09 5/257 1019957
/proc/meminfo: memFree=126177200/131524600 swapFree=131071996/131071996
[pid=1017984] ppid=1017981 vsize=423264 memory=417988 CPUtime=3594.32 cores=1,3
/proc/1017984/stat : 1017984 (LS-MabSP) R 1017981 1017984 1014640 0 -1 4194304 198312 0 0 0 320456 38976 0 0 20 0 1 0 188202570 433422336 104497 134679101440 4194304 15467897 140734278585056 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 39460864 140734278587422 140734278587524 140734278587524 140734278594541 0
/proc/1017984/statm: 105816 104497 2849 2753 0 102469 0
Current children cumulated CPU time: 3594.32 s
Current children cumulated vsize: 423264 KiB
Current children cumulated memory: 417988 KiB
[startup+3606.4 s]
/proc/loadavg: 4.16 4.13 4.09 5/257 1019957
/proc/meminfo: memFree=126177220/131524600 swapFree=131071996/131071996
[pid=1017984] ppid=1017981 vsize=423264 memory=417988 CPUtime=3597.51 cores=1,3
/proc/1017984/stat : 1017984 (LS-MabSP) R 1017981 1017984 1014640 0 -1 4194304 198312 0 0 0 320705 39046 0 0 20 0 1 0 188202570 433422336 104497 134679101440 4194304 15467897 140734278585056 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 39460864 140734278587422 140734278587524 140734278587524 140734278594541 0
/proc/1017984/statm: 105816 104497 2849 2753 0 102469 0
Current children cumulated CPU time: 3597.51 s
Current children cumulated vsize: 423264 KiB
Current children cumulated memory: 417988 KiB
[startup+3608 s]*
/proc/loadavg: 4.15 4.12 4.09 5/257 1019958
/proc/meminfo: memFree=126177232/131524600 swapFree=131071996/131071996
[pid=1017984] ppid=1017981 vsize=423264 memory=417988 CPUtime=3599.11 cores=1,3
/proc/1017984/stat : 1017984 (LS-MabSP) R 1017981 1017984 1014640 0 -1 4194304 198312 0 0 0 320830 39081 0 0 20 0 1 0 188202570 433422336 104497 134679101440 4194304 15467897 140734278585056 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 39460864 140734278587422 140734278587524 140734278587524 140734278594541 0
/proc/1017984/statm: 105816 104497 2849 2753 0 102469 0
Current children cumulated CPU time: 3599.11 s
Current children cumulated vsize: 423264 KiB
Current children cumulated memory: 417988 KiB
[startup+3608.4 s]
/proc/loadavg: 4.15 4.12 4.09 5/257 1019958
/proc/meminfo: memFree=126177232/131524600 swapFree=131071996/131071996
[pid=1017984] ppid=1017981 vsize=423264 memory=417988 CPUtime=3599.51 cores=1,3
/proc/1017984/stat : 1017984 (LS-MabSP) R 1017981 1017984 1014640 0 -1 4194304 198312 0 0 0 320861 39090 0 0 20 0 1 0 188202570 433422336 104497 134679101440 4194304 15467897 140734278585056 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 39460864 140734278587422 140734278587524 140734278587524 140734278594541 0
/proc/1017984/statm: 105816 104497 2849 2753 0 102469 0
Current children cumulated CPU time: 3599.51 s
Current children cumulated vsize: 423264 KiB
Current children cumulated memory: 417988 KiB
[startup+3608.8 s]
/proc/loadavg: 4.15 4.12 4.09 5/257 1019958
/proc/meminfo: memFree=126177232/131524600 swapFree=131071996/131071996
[pid=1017984] ppid=1017981 vsize=423264 memory=417988 CPUtime=3599.91 cores=1,3
/proc/1017984/stat : 1017984 (LS-MabSP) R 1017981 1017984 1014640 0 -1 4194304 198312 0 0 0 320892 39099 0 0 20 0 1 0 188202570 433422336 104497 134679101440 4194304 15467897 140734278585056 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 39460864 140734278587422 140734278587524 140734278587524 140734278594541 0
/proc/1017984/statm: 105816 104497 2849 2753 0 102469 0
Current children cumulated CPU time: 3599.91 s
Current children cumulated vsize: 423264 KiB
Current children cumulated memory: 417988 KiB
Child status: 0
Real time (s): 3608.89
CPU time (s): 3600
CPU user time (s): 3208.99
CPU system time (s): 391.014
CPU usage (%): 99.7538
Max. virtual memory (cumulated for all children) (KiB): 935828
Max. memory (cumulated for all children) (KiB): 893936
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3208.99
system time used= 391.014
maximum resident set size= 893936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 198319
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= 62
involuntary context switches= 2990
# summary of solver processes directly reported to runsolver:
# pid: 1017984
# total CPU time (s): 3600
# total CPU user time (s): 3208.99
# total CPU system time (s): 391.014
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.31622 second user time and 14.134 second system time
The end
Begin job on nodeC017 at 2024-07-19 05:40:20
IDJOB=4447506
IDBENCH=159214
IDSOLVER=3047
FILE ID=nodeC017/4447506-1721360407
RUNJOBID= nodeC017-1721354345-1014652
SLURM_JOB_ID= 7542774
Free space on /tmp= 890036 MiB
SOLVER NAME= LS-MabSP 2024-07-10
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n94-d3-i3-r1.cnf.gz-plain.pb.metafix.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-4447506-1721360407/watcher-4447506-1721360407 -o /tmp/evaluation-result-4447506-1721360407/solver-4447506-1721360407 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721354345-1014652 --watchdog 3760 ./LS-MabSP -f HOME/instance-4447506-1721360407.opb -t 3600 -s 783327891
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d3332ca740d3ae6dd3f9a6cb3b2999d7
RANDOM SEED=783327891
nodeC017.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 : 3674.697
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.46
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 : 3664.240
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 : 7006.99
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 : 3599.753
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.46
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 : 3666.048
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 : 7006.99
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 : 3674.708
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.46
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 : 3681.025
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 : 7006.99
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 : 3599.986
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.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.076
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 : 7006.99
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 126124340 kB
MemAvailable: 128675244 kB
Buffers: 550708 kB
Cached: 2817816 kB
SwapCached: 0 kB
Active: 1232824 kB
Inactive: 3512420 kB
Active(anon): 1544 kB
Inactive(anon): 1412888 kB
Active(file): 1231280 kB
Inactive(file): 2099532 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 16020 kB
Writeback: 24 kB
AnonPages: 1376720 kB
Mapped: 140828 kB
Shmem: 37720 kB
KReclaimable: 119480 kB
Slab: 233816 kB
SReclaimable: 119480 kB
SUnreclaim: 114336 kB
KernelStack: 4156 kB
PageTables: 12312 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1698484 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 68960 kB
HardwareCorrupted: 0 kB
AnonHugePages: 708608 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: 287444 kB
DirectMap2M: 40380416 kB
DirectMap1G: 95420416 kB
Free space on /tmp at the end= 890016 MiB
End job on nodeC017 at 2024-07-19 06:40:29