1.18/1.25 c Filename:instance-4450106-1721410347.opb, Cutoff_time:3600, memory_limit_gb:500000
1.18/1.25 c Use Presolve
1.18/1.25 c Parse finsih
1.18/1.25 c Start Presolve
1.18/1.25 c After Reduce Vars: 4257 Clauses: 13413 Top clause weight: 1 Hard Clauses: 13413
3599.98/3610.12 c Use LS-small
3599.98/3610.12 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 (62521 MiB free)
memory of node 1: 64473 MiB (62138 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450106-1721410347/watcher-4450106-1721410347 -o /tmp/evaluation-result-4450106-1721410347/solver-4450106-1721410347 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721410359-1024941 --watchdog 3760 ./LS-MabSP -f HOME/instance-4450106-1721410347.opb -t 3600 -s 250359080
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=1024995, runsolver pid=1024990
[startup+0.100896 s]*
/proc/loadavg: 2.75 3.07 3.08 7/258 1025005
/proc/meminfo: memFree=127613188/131524600 swapFree=131071996/131071996
[pid=1024995] ppid=1024990 vsize=27140 memory=14520 CPUtime=0.09 cores=0,2
/proc/1024995/stat : 1024995 (LS-MabSP) R 1024990 1024995 1024931 0 -1 4194304 2775 0 0 0 9 0 0 0 20 0 1 0 193198519 27791360 3630 134679101440 4194304 15467897 140721665583648 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26435584 140721665590302 140721665590404 140721665590404 140721665597421 0
/proc/1024995/statm: 6785 3630 1105 2753 0 3438 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 27140 KiB
Current children cumulated memory: 14520 KiB
[startup+0.206059 s]*
/proc/loadavg: 2.75 3.07 3.08 7/258 1025005
/proc/meminfo: memFree=127606780/131524600 swapFree=131071996/131071996
[pid=1024995] ppid=1024990 vsize=27140 memory=14520 CPUtime=0.19 cores=0,2
/proc/1024995/stat : 1024995 (LS-MabSP) R 1024990 1024995 1024931 0 -1 4194304 2775 0 0 0 19 0 0 0 20 0 1 0 193198519 27791360 3630 134679101440 4194304 15467897 140721665583648 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26435584 140721665590302 140721665590404 140721665590404 140721665597421 0
/proc/1024995/statm: 6785 3630 1105 2753 0 3438 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 27140 KiB
Current children cumulated memory: 14520 KiB
[startup+0.305079 s]*
/proc/loadavg: 2.75 3.07 3.08 7/258 1025005
/proc/meminfo: memFree=127595824/131524600 swapFree=131071996/131071996
[pid=1024995] ppid=1024990 vsize=27140 memory=14520 CPUtime=0.29 cores=0,2
/proc/1024995/stat : 1024995 (LS-MabSP) R 1024990 1024995 1024931 0 -1 4194304 2775 0 0 0 29 0 0 0 20 0 1 0 193198519 27791360 3630 134679101440 4194304 15467897 140721665583648 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26435584 140721665590302 140721665590404 140721665590404 140721665597421 0
/proc/1024995/statm: 6785 3630 1105 2753 0 3438 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 27140 KiB
Current children cumulated memory: 14520 KiB
[startup+0.700215 s]
/proc/loadavg: 2.75 3.07 3.08 8/258 1025005
/proc/meminfo: memFree=127474932/131524600 swapFree=131071996/131071996
[pid=1024995] ppid=1024990 vsize=90136 memory=80124 CPUtime=0.69 cores=0,2
/proc/1024995/stat : 1024995 (LS-MabSP) R 1024990 1024995 1024931 0 -1 4194304 18182 0 0 0 66 3 0 0 20 0 1 0 193198519 92299264 20031 134679101440 4194304 15467897 140721665583648 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26435584 140721665590302 140721665590404 140721665590404 140721665597421 0
/proc/1024995/statm: 22534 20031 2833 2753 0 19187 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 90136 KiB
Current children cumulated memory: 80124 KiB
[startup+1.50022 s]
/proc/loadavg: 2.75 3.07 3.08 7/258 1025005
/proc/meminfo: memFree=127410948/131524600 swapFree=131071996/131071996
[pid=1024995] ppid=1024990 vsize=128456 memory=115824 CPUtime=1.48 cores=0,2
/proc/1024995/stat : 1024995 (LS-MabSP) R 1024990 1024995 1024931 0 -1 4194304 27085 0 0 0 144 4 0 0 20 0 1 0 193198519 131538944 28956 134679101440 4194304 15467897 140721665583648 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26435584 140721665590302 140721665590404 140721665590404 140721665597421 0
/proc/1024995/statm: 32114 28956 2849 2753 0 28767 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 128456 KiB
Current children cumulated memory: 115824 KiB
[startup+3.10609 s]
/proc/loadavg: 2.85 3.09 3.09 7/258 1025005
/proc/meminfo: memFree=127343256/131524600 swapFree=131071996/131071996
[pid=1024995] ppid=1024990 vsize=125200 memory=112996 CPUtime=3.08 cores=0,2
/proc/1024995/stat : 1024995 (LS-MabSP) R 1024990 1024995 1024931 0 -1 4194304 27173 0 0 0 304 4 0 0 20 0 1 0 193198519 128204800 28249 134679101440 4194304 15467897 140721665583648 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26435584 140721665590302 140721665590404 140721665590404 140721665597421 0
/proc/1024995/statm: 31300 28249 2849 2753 0 27953 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 125200 KiB
Current children cumulated memory: 112996 KiB
[startup+6.3002 s]
/proc/loadavg: 2.85 3.09 3.09 7/258 1025007
/proc/meminfo: memFree=127263992/131524600 swapFree=131071996/131071996
[pid=1024995] ppid=1024990 vsize=146364 memory=135420 CPUtime=6.26 cores=0,2
/proc/1024995/stat : 1024995 (LS-MabSP) R 1024990 1024995 1024931 0 -1 4194304 35047 0 0 0 621 5 0 0 20 0 1 0 193198519 149876736 33855 134679101440 4194304 15467897 140721665583648 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26435584 140721665590302 140721665590404 140721665590404 140721665597421 0
/proc/1024995/statm: 36591 33855 2849 2753 0 33244 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 146364 KiB
Current children cumulated memory: 135420 KiB
[startup+12.7002 s]
/proc/loadavg: 3.02 3.12 3.10 7/258 1025007
/proc/meminfo: memFree=127246028/131524600 swapFree=131071996/131071996
[pid=1024995] ppid=1024990 vsize=147912 memory=137000 CPUtime=12.64 cores=0,2
/proc/1024995/stat : 1024995 (LS-MabSP) R 1024990 1024995 1024931 0 -1 4194304 39058 0 0 0 1258 6 0 0 20 0 1 0 193198519 151461888 34250 134679101440 4194304 15467897 140721665583648 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26435584 140721665590302 140721665590404 140721665590404 140721665597421 0
/proc/1024995/statm: 36978 34250 2849 2753 0 33631 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 147912 KiB
Current children cumulated memory: 137000 KiB
[startup+25.5002 s]
/proc/loadavg: 3.17 3.15 3.11 7/258 1025008
/proc/meminfo: memFree=127215660/131524600 swapFree=131071996/131071996
[pid=1024995] ppid=1024990 vsize=170000 memory=154296 CPUtime=25.4 cores=0,2
/proc/1024995/stat : 1024995 (LS-MabSP) R 1024990 1024995 1024931 0 -1 4194304 49298 0 0 0 2532 8 0 0 20 0 1 0 193198519 174080000 38574 134679101440 4194304 15467897 140721665583648 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26435584 140721665590302 140721665590404 140721665590404 140721665597421 0
/proc/1024995/statm: 42500 38574 2849 2753 0 39153 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 170000 KiB
Current children cumulated memory: 154296 KiB
[startup+51.1061 s]
/proc/loadavg: 3.53 3.23 3.14 7/258 1025014
/proc/meminfo: memFree=127170648/131524600 swapFree=131071996/131071996
[pid=1024995] ppid=1024990 vsize=205548 memory=157940 CPUtime=50.9 cores=0,2
/proc/1024995/stat : 1024995 (LS-MabSP) R 1024990 1024995 1024931 0 -1 4194304 51361 0 0 0 5082 8 0 0 20 0 1 0 193198519 210481152 39485 134679101440 4194304 15467897 140721665583648 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26435584 140721665590302 140721665590404 140721665590404 140721665597421 0
/proc/1024995/statm: 51387 39485 2849 2753 0 48040 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 205548 KiB
Current children cumulated memory: 157940 KiB
[startup+102.3 s]
/proc/loadavg: 3.88 3.38 3.20 7/257 1025023
/proc/meminfo: memFree=127095852/131524600 swapFree=131071996/131071996
[pid=1024995] ppid=1024990 vsize=244916 memory=167476 CPUtime=101.92 cores=0,2
/proc/1024995/stat : 1024995 (LS-MabSP) R 1024990 1024995 1024931 0 -1 4194304 53823 0 0 0 10183 9 0 0 20 0 1 0 193198519 250793984 41869 134679101440 4194304 15467897 140721665583648 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26435584 140721665590302 140721665590404 140721665590404 140721665597421 0
/proc/1024995/statm: 61229 41869 2849 2753 0 57882 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 244916 KiB
Current children cumulated memory: 167476 KiB
[startup+162.3 s]
/proc/loadavg: 4.00 3.51 3.25 7/256 1025034
/proc/meminfo: memFree=127052784/131524600 swapFree=131071996/131071996
[pid=1024995] ppid=1024990 vsize=246620 memory=168904 CPUtime=161.71 cores=0,2
/proc/1024995/stat : 1024995 (LS-MabSP) R 1024990 1024995 1024931 0 -1 4194304 53831 0 0 0 16162 9 0 0 20 0 1 0 193198519 252538880 42226 134679101440 4194304 15467897 140721665583648 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26435584 140721665590302 140721665590404 140721665590404 140721665597421 0
/proc/1024995/statm: 61655 42226 2849 2753 0 58308 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 246620 KiB
Current children cumulated memory: 168904 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 3.63 3.31 7/255 1025045
/proc/meminfo: memFree=127001356/131524600 swapFree=131071996/131071996
[pid=1024995] ppid=1024990 vsize=246620 memory=174940 CPUtime=221.48 cores=0,2
/proc/1024995/stat : 1024995 (LS-MabSP) R 1024990 1024995 1024931 0 -1 4194304 53894 0 0 0 22138 10 0 0 20 0 1 0 193198519 252538880 43735 134679101440 4194304 15467897 140721665583648 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26435584 140721665590302 140721665590404 140721665590404 140721665597421 0
/proc/1024995/statm: 61655 43735 2849 2753 0 58308 0
Current children cumulated CPU time: 221.48 s
Current children cumulated vsize: 246620 KiB
Current children cumulated memory: 174940 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 3.72 3.37 7/255 1025056
/proc/meminfo: memFree=126808844/131524600 swapFree=131071996/131071996
[pid=1024995] ppid=1024990 vsize=378280 memory=352212 CPUtime=281.28 cores=0,2
/proc/1024995/stat : 1024995 (LS-MabSP) R 1024990 1024995 1024931 0 -1 4194304 55267 0 0 0 28115 13 0 0 20 0 1 0 193198519 387358720 88053 134679101440 4194304 15467897 140721665583648 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26435584 140721665590302 140721665590404 140721665590404 140721665597421 0
/proc/1024995/statm: 94570 88053 2849 2753 0 91223 0
Current children cumulated CPU time: 281.28 s
Current children cumulated vsize: 378280 KiB
Current children cumulated memory: 352212 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 3.79 3.41 7/254 1025066
/proc/meminfo: memFree=126766736/131524600 swapFree=131071996/131071996
[pid=1024995] ppid=1024990 vsize=378280 memory=364496 CPUtime=341.08 cores=0,2
/proc/1024995/stat : 1024995 (LS-MabSP) R 1024990 1024995 1024931 0 -1 4194304 55339 0 0 0 34095 13 0 0 20 0 1 0 193198519 387358720 91124 134679101440 4194304 15467897 140721665583648 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26435584 140721665590302 140721665590404 140721665590404 140721665597421 0
/proc/1024995/statm: 94570 91124 2849 2753 0 91223 0
Current children cumulated CPU time: 341.08 s
Current children cumulated vsize: 378280 KiB
Current children cumulated memory: 364496 KiB
[startup+402.3 s]
/proc/loadavg: 4.16 3.87 3.47 7/254 1025077
/proc/meminfo: memFree=126685492/131524600 swapFree=131071996/131071996
[pid=1024995] ppid=1024990 vsize=440540 memory=424488 CPUtime=400.88 cores=0,2
/proc/1024995/stat : 1024995 (LS-MabSP) R 1024990 1024995 1024931 0 -1 4194304 58092 0 0 0 40072 16 0 0 20 0 1 0 193198519 451112960 106122 134679101440 4194304 15467897 140721665583648 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26435584 140721665590302 140721665590404 140721665590404 140721665597421 0
/proc/1024995/statm: 110135 106122 2849 2753 0 106788 0
Current children cumulated CPU time: 400.88 s
Current children cumulated vsize: 440540 KiB
Current children cumulated memory: 424488 KiB
[startup+462.3 s]
/proc/loadavg: 4.06 3.90 3.50 7/255 1025091
/proc/meminfo: memFree=126622364/131524600 swapFree=131071996/131071996
[pid=1024995] ppid=1024990 vsize=479060 memory=462616 CPUtime=460.67 cores=0,2
/proc/1024995/stat : 1024995 (LS-MabSP) R 1024990 1024995 1024931 0 -1 4194304 60042 0 0 0 46050 17 0 0 20 0 1 0 193198519 490557440 115654 134679101440 4194304 15467897 140721665583648 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26435584 140721665590302 140721665590404 140721665590404 140721665597421 0
/proc/1024995/statm: 119765 115654 2849 2753 0 116418 0
################
# More data... #
################
/proc/loadavg: 4.08 4.10 4.08 7/255 1026555
/proc/meminfo: memFree=126556216/131524600 swapFree=131071996/131071996
[pid=1024995] ppid=1024990 vsize=199784 memory=194560 CPUtime=3272.93 cores=0,2
/proc/1024995/stat : 1024995 (LS-MabSP) R 1024990 1024995 1024931 0 -1 4194304 63134 0 0 0 321312 5981 0 0 20 0 1 0 193198519 204578816 48640 134679101440 4194304 15467897 140721665583648 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26435584 140721665590302 140721665590404 140721665590404 140721665597421 0
/proc/1024995/statm: 49946 48640 2849 2753 0 46599 0
Current children cumulated CPU time: 3272.93 s
Current children cumulated vsize: 199784 KiB
Current children cumulated memory: 194560 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.10 4.08 7/257 1026736
/proc/meminfo: memFree=126555500/131524600 swapFree=131071996/131071996
[pid=1024995] ppid=1024990 vsize=199784 memory=194560 CPUtime=3332.8 cores=0,2
/proc/1024995/stat : 1024995 (LS-MabSP) R 1024990 1024995 1024931 0 -1 4194304 63139 0 0 0 327054 6226 0 0 20 0 1 0 193198519 204578816 48640 134679101440 4194304 15467897 140721665583648 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26435584 140721665590302 140721665590404 140721665590404 140721665597421 0
/proc/1024995/statm: 49946 48640 2849 2753 0 46599 0
Current children cumulated CPU time: 3332.8 s
Current children cumulated vsize: 199784 KiB
Current children cumulated memory: 194560 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.11 4.08 6/257 1026746
/proc/meminfo: memFree=126554776/131524600 swapFree=131071996/131071996
[pid=1024995] ppid=1024990 vsize=199784 memory=194560 CPUtime=3392.66 cores=0,2
/proc/1024995/stat : 1024995 (LS-MabSP) R 1024990 1024995 1024931 0 -1 4194304 63144 0 0 0 332750 6516 0 0 20 0 1 0 193198519 204578816 48640 134679101440 4194304 15467897 140721665583648 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26435584 140721665590302 140721665590404 140721665590404 140721665597421 0
/proc/1024995/statm: 49946 48640 2849 2753 0 46599 0
Current children cumulated CPU time: 3392.66 s
Current children cumulated vsize: 199784 KiB
Current children cumulated memory: 194560 KiB
[startup+3462.3 s]
/proc/loadavg: 4.19 4.12 4.09 7/259 1026814
/proc/meminfo: memFree=126553960/131524600 swapFree=131071996/131071996
[pid=1024995] ppid=1024990 vsize=199784 memory=194560 CPUtime=3452.52 cores=0,2
/proc/1024995/stat : 1024995 (LS-MabSP) R 1024990 1024995 1024931 0 -1 4194304 63149 0 0 0 338449 6803 0 0 20 0 1 0 193198519 204578816 48640 134679101440 4194304 15467897 140721665583648 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26435584 140721665590302 140721665590404 140721665590404 140721665597421 0
/proc/1024995/statm: 49946 48640 2849 2753 0 46599 0
Current children cumulated CPU time: 3452.52 s
Current children cumulated vsize: 199784 KiB
Current children cumulated memory: 194560 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.09 4.08 6/259 1026826
/proc/meminfo: memFree=126553376/131524600 swapFree=131071996/131071996
[pid=1024995] ppid=1024990 vsize=199784 memory=194560 CPUtime=3512.37 cores=0,2
/proc/1024995/stat : 1024995 (LS-MabSP) R 1024990 1024995 1024931 0 -1 4194304 63154 0 0 0 344233 7004 0 0 20 0 1 0 193198519 204578816 48640 134679101440 4194304 15467897 140721665583648 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26435584 140721665590302 140721665590404 140721665590404 140721665597421 0
/proc/1024995/statm: 49946 48640 2849 2753 0 46599 0
Current children cumulated CPU time: 3512.37 s
Current children cumulated vsize: 199784 KiB
Current children cumulated memory: 194560 KiB
[startup+3582.3 s]
/proc/loadavg: 4.17 4.12 4.09 7/259 1026836
/proc/meminfo: memFree=126552884/131524600 swapFree=131071996/131071996
[pid=1024995] ppid=1024990 vsize=199784 memory=194560 CPUtime=3572.24 cores=0,2
/proc/1024995/stat : 1024995 (LS-MabSP) R 1024990 1024995 1024931 0 -1 4194304 63159 0 0 0 350000 7224 0 0 20 0 1 0 193198519 204578816 48640 134679101440 4194304 15467897 140721665583648 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26435584 140721665590302 140721665590404 140721665590404 140721665597421 0
/proc/1024995/statm: 49946 48640 2849 2753 0 46599 0
Current children cumulated CPU time: 3572.24 s
Current children cumulated vsize: 199784 KiB
Current children cumulated memory: 194560 KiB
[startup+3610.12 s]
# the end of solver process 1024995 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3526.65 s, system=73.3575 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.17 4.12 4.09 7/259 1026836
/proc/meminfo: memFree=126552884/131524600 swapFree=131071996/131071996
[pid=1024995] ppid=1024990 vsize=199784 memory=194560 CPUtime=3573.95 cores=0,2
/proc/1024995/stat : 1024995 (LS-MabSP) R 1024990 1024995 1024931 0 -1 4194304 63159 0 0 0 350164 7231 0 0 20 0 1 0 193198519 204578816 48640 134679101440 4194304 15467897 140721665583648 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26435584 140721665590302 140721665590404 140721665590404 140721665597421 0
/proc/1024995/statm: 49946 48640 2849 2753 0 46599 0
Current children cumulated CPU time: 3573.95 s
Current children cumulated vsize: 199784 KiB
Current children cumulated memory: 194560 KiB
[startup+3596.8 s]
/proc/loadavg: 4.14 4.12 4.09 7/259 1026839
/proc/meminfo: memFree=126552828/131524600 swapFree=131071996/131071996
[pid=1024995] ppid=1024990 vsize=199784 memory=194560 CPUtime=3586.7 cores=0,2
/proc/1024995/stat : 1024995 (LS-MabSP) R 1024990 1024995 1024931 0 -1 4194304 63159 0 0 0 351387 7283 0 0 20 0 1 0 193198519 204578816 48640 134679101440 4194304 15467897 140721665583648 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26435584 140721665590302 140721665590404 140721665590404 140721665597421 0
/proc/1024995/statm: 49946 48640 2849 2753 0 46599 0
Current children cumulated CPU time: 3586.7 s
Current children cumulated vsize: 199784 KiB
Current children cumulated memory: 194560 KiB
[startup+3603.2 s]
/proc/loadavg: 4.12 4.11 4.09 7/259 1026839
/proc/meminfo: memFree=126552716/131524600 swapFree=131071996/131071996
[pid=1024995] ppid=1024990 vsize=199784 memory=194560 CPUtime=3593.09 cores=0,2
/proc/1024995/stat : 1024995 (LS-MabSP) R 1024990 1024995 1024931 0 -1 4194304 63164 0 0 0 352001 7308 0 0 20 0 1 0 193198519 204578816 48640 134679101440 4194304 15467897 140721665583648 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26435584 140721665590302 140721665590404 140721665590404 140721665597421 0
/proc/1024995/statm: 49946 48640 2849 2753 0 46599 0
Current children cumulated CPU time: 3593.09 s
Current children cumulated vsize: 199784 KiB
Current children cumulated memory: 194560 KiB
[startup+3606.4 s]
/proc/loadavg: 4.12 4.11 4.09 7/259 1026841
/proc/meminfo: memFree=126552600/131524600 swapFree=131071996/131071996
[pid=1024995] ppid=1024990 vsize=199784 memory=194560 CPUtime=3596.29 cores=0,2
/proc/1024995/stat : 1024995 (LS-MabSP) R 1024990 1024995 1024931 0 -1 4194304 63164 0 0 0 352308 7321 0 0 20 0 1 0 193198519 204578816 48640 134679101440 4194304 15467897 140721665583648 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26435584 140721665590302 140721665590404 140721665590404 140721665597421 0
/proc/1024995/statm: 49946 48640 2849 2753 0 46599 0
Current children cumulated CPU time: 3596.29 s
Current children cumulated vsize: 199784 KiB
Current children cumulated memory: 194560 KiB
[startup+3608 s]*
/proc/loadavg: 4.11 4.11 4.09 5/256 1026855
/proc/meminfo: memFree=126999072/131524600 swapFree=131071996/131071996
[pid=1024995] ppid=1024990 vsize=199784 memory=194560 CPUtime=3597.88 cores=0,2
/proc/1024995/stat : 1024995 (LS-MabSP) R 1024990 1024995 1024931 0 -1 4194304 63164 0 0 0 352462 7326 0 0 20 0 1 0 193198519 204578816 48640 134679101440 4194304 15467897 140721665583648 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26435584 140721665590302 140721665590404 140721665590404 140721665597421 0
/proc/1024995/statm: 49946 48640 2849 2753 0 46599 0
Current children cumulated CPU time: 3597.88 s
Current children cumulated vsize: 199784 KiB
Current children cumulated memory: 194560 KiB
[startup+3608.8 s]
/proc/loadavg: 4.11 4.11 4.09 5/256 1026855
/proc/meminfo: memFree=126999072/131524600 swapFree=131071996/131071996
[pid=1024995] ppid=1024990 vsize=199784 memory=194560 CPUtime=3598.68 cores=0,2
/proc/1024995/stat : 1024995 (LS-MabSP) R 1024990 1024995 1024931 0 -1 4194304 63164 0 0 0 352539 7329 0 0 20 0 1 0 193198519 204578816 48640 134679101440 4194304 15467897 140721665583648 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26435584 140721665590302 140721665590404 140721665590404 140721665597421 0
/proc/1024995/statm: 49946 48640 2849 2753 0 46599 0
Current children cumulated CPU time: 3598.68 s
Current children cumulated vsize: 199784 KiB
Current children cumulated memory: 194560 KiB
[startup+3609.6 s]
/proc/loadavg: 4.11 4.11 4.09 4/251 1026918
/proc/meminfo: memFree=127432444/131524600 swapFree=131071996/131071996
[pid=1024995] ppid=1024990 vsize=199784 memory=194560 CPUtime=3599.48 cores=0,2
/proc/1024995/stat : 1024995 (LS-MabSP) R 1024990 1024995 1024931 0 -1 4194304 63164 0 0 0 352616 7332 0 0 20 0 1 0 193198519 204578816 48640 134679101440 4194304 15467897 140721665583648 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26435584 140721665590302 140721665590404 140721665590404 140721665597421 0
/proc/1024995/statm: 49946 48640 2849 2753 0 46599 0
Current children cumulated CPU time: 3599.48 s
Current children cumulated vsize: 199784 KiB
Current children cumulated memory: 194560 KiB
[startup+3610 s]*
/proc/loadavg: 4.11 4.11 4.09 5/259 1026979
/proc/meminfo: memFree=127319628/131524600 swapFree=131071996/131071996
[pid=1024995] ppid=1024990 vsize=199784 memory=194560 CPUtime=3599.88 cores=0,2
/proc/1024995/stat : 1024995 (LS-MabSP) R 1024990 1024995 1024931 0 -1 4194304 63164 0 0 0 352654 7334 0 0 20 0 1 0 193198519 204578816 48640 134679101440 4194304 15467897 140721665583648 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26435584 140721665590302 140721665590404 140721665590404 140721665597421 0
/proc/1024995/statm: 49946 48640 2849 2753 0 46599 0
Current children cumulated CPU time: 3599.88 s
Current children cumulated vsize: 199784 KiB
Current children cumulated memory: 194560 KiB
[startup+3610.1 s]
/proc/loadavg: 4.11 4.11 4.09 5/259 1026979
/proc/meminfo: memFree=127319628/131524600 swapFree=131071996/131071996
[pid=1024995] ppid=1024990 vsize=199784 memory=194560 CPUtime=3599.98 cores=0,2
/proc/1024995/stat : 1024995 (LS-MabSP) R 1024990 1024995 1024931 0 -1 4194304 63164 0 0 0 352663 7335 0 0 20 0 1 0 193198519 204578816 48640 134679101440 4194304 15467897 140721665583648 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 26435584 140721665590302 140721665590404 140721665590404 140721665597421 0
/proc/1024995/statm: 49946 48640 2849 2753 0 46599 0
Current children cumulated CPU time: 3599.98 s
Current children cumulated vsize: 199784 KiB
Current children cumulated memory: 194560 KiB
Child status: 0
Real time (s): 3610.12
CPU time (s): 3600.01
CPU user time (s): 3526.65
CPU system time (s): 73.3575
CPU usage (%): 99.7198
Max. virtual memory (cumulated for all children) (KiB): 479916
Max. memory (cumulated for all children) (KiB): 466860
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3526.65
system time used= 73.3575
maximum resident set size= 466860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63173
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= 49
involuntary context switches= 24648
# summary of solver processes directly reported to runsolver:
# pid: 1024995
# total CPU time (s): 3600.01
# total CPU user time (s): 3526.65
# total CPU system time (s): 73.3575
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.08769 second user time and 15.8668 second system time
The end
Begin job on nodeC021 at 2024-07-19 19:32:39
IDJOB=4450106
IDBENCH=160404
IDSOLVER=3047
FILE ID=nodeC021/4450106-1721410347
RUNJOBID= nodeC021-1721410359-1024941
SLURM_JOB_ID= 7545463
Free space on /tmp= 890080 MiB
SOLVER NAME= LS-MabSP 2024-07-10
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/normalized-3col-left3reg-l060-r059-n1.cnf-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-4450106-1721410347/watcher-4450106-1721410347 -o /tmp/evaluation-result-4450106-1721410347/solver-4450106-1721410347 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721410359-1024941 --watchdog 3760 ./LS-MabSP -f HOME/instance-4450106-1721410347.opb -t 3600 -s 250359080
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 941394ab05487707ac91e3110f759ebc
RANDOM SEED=250359080
nodeC021.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 : 3626.434
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.42
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 : 3621.727
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.23
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 : 3653.471
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.42
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 : 3645.814
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.23
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 : 3580.934
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.42
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 : 3590.082
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.23
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 : 3649.541
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.42
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 : 3653.112
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.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 127663032 kB
MemAvailable: 129681896 kB
Buffers: 537168 kB
Cached: 2309588 kB
SwapCached: 0 kB
Active: 1057628 kB
Inactive: 2154628 kB
Active(anon): 1440 kB
Inactive(anon): 409964 kB
Active(file): 1056188 kB
Inactive(file): 1744664 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 65488 kB
Writeback: 0 kB
AnonPages: 364776 kB
Mapped: 106848 kB
Shmem: 45912 kB
KReclaimable: 115668 kB
Slab: 230648 kB
SReclaimable: 115668 kB
SUnreclaim: 114980 kB
KernelStack: 3860 kB
PageTables: 10184 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 767364 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 71584 kB
HardwareCorrupted: 0 kB
AnonHugePages: 243712 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: 260820 kB
DirectMap2M: 25726976 kB
DirectMap1G: 110100480 kB
Free space on /tmp at the end= 890020 MiB
End job on nodeC021 at 2024-07-19 20:32:49