3599.97/3606.73 c Filename:instance-4452178-1721445029.opb, Cutoff_time:3600, memory_limit_gb:500000
3599.97/3606.73 c Use Presolve
3599.97/3606.73 c Parse finsih
3599.97/3606.73 c Start Presolve
3599.97/3606.73 c After Reduce Vars: 178842 Clauses: 163423 Top clause weight: 1 Hard Clauses: 163423
3599.97/3606.73 c Use LS-small
3599.97/3606.73 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 (62542 MiB free)
memory of node 1: 64510 MiB (63206 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452178-1721445029/watcher-4452178-1721445029 -o /tmp/evaluation-result-4452178-1721445029/solver-4452178-1721445029 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721445042-1036443 --watchdog 3760 ./LS-MabP -f HOME/instance-4452178-1721445029.opb -t 3600 -s 2019391486 --no-s
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=1036504, runsolver pid=1036501
[startup+0.100524 s]*
/proc/loadavg: 1.08 2.11 2.76 5/257 1036505
/proc/meminfo: memFree=128738212/131524600 swapFree=131071996/131071996
[pid=1036504] ppid=1036501 vsize=40704 memory=27844 CPUtime=0.09 cores=1,3
/proc/1036504/stat : 1036504 (LS-MabP) R 1036501 1036504 1036431 0 -1 4194304 3725 0 0 0 9 0 0 0 20 0 1 0 196667849 41680896 6961 134679101440 4194304 15467897 140731972837008 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47722496 140731972838424 140731972838533 140731972838533 140731972845550 0
/proc/1036504/statm: 10176 6961 1073 2753 0 6829 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 40704 KiB
Current children cumulated memory: 27844 KiB
[startup+0.205089 s]*
/proc/loadavg: 1.08 2.11 2.76 5/257 1036505
/proc/meminfo: memFree=128732364/131524600 swapFree=131071996/131071996
[pid=1036504] ppid=1036501 vsize=44104 memory=31220 CPUtime=0.2 cores=1,3
/proc/1036504/stat : 1036504 (LS-MabP) R 1036501 1036504 1036431 0 -1 4194304 4779 0 0 0 20 0 0 0 20 0 1 0 196667849 45162496 7805 134679101440 4194304 15467897 140731972837008 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47722496 140731972838424 140731972838533 140731972838533 140731972845550 0
/proc/1036504/statm: 11026 7805 1073 2753 0 7679 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 44104 KiB
Current children cumulated memory: 31220 KiB
[startup+0.3051 s]*
/proc/loadavg: 1.08 2.11 2.76 5/257 1036505
/proc/meminfo: memFree=128725864/131524600 swapFree=131071996/131071996
[pid=1036504] ppid=1036501 vsize=48132 memory=35280 CPUtime=0.29 cores=1,3
/proc/1036504/stat : 1036504 (LS-MabP) R 1036501 1036504 1036431 0 -1 4194304 5794 0 0 0 29 0 0 0 20 0 1 0 196667849 49287168 8820 134679101440 4194304 15467897 140731972837008 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47722496 140731972838424 140731972838533 140731972838533 140731972845550 0
/proc/1036504/statm: 12033 8820 1073 2753 0 8686 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 48132 KiB
Current children cumulated memory: 35280 KiB
[startup+0.700242 s]
/proc/loadavg: 1.08 2.11 2.76 5/257 1036505
/proc/meminfo: memFree=128676308/131524600 swapFree=131071996/131071996
[pid=1036504] ppid=1036501 vsize=62268 memory=43048 CPUtime=0.69 cores=1,3
/proc/1036504/stat : 1036504 (LS-MabP) R 1036501 1036504 1036431 0 -1 4194304 7280 0 0 0 68 1 0 0 20 0 1 0 196667849 63762432 10762 134679101440 4194304 15467897 140731972837008 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47722496 140731972838424 140731972838533 140731972838533 140731972845550 0
/proc/1036504/statm: 15567 10762 1073 2753 0 12220 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 62268 KiB
Current children cumulated memory: 43048 KiB
[startup+1.50022 s]
/proc/loadavg: 1.08 2.11 2.76 5/257 1036505
/proc/meminfo: memFree=128666752/131524600 swapFree=131071996/131071996
[pid=1036504] ppid=1036501 vsize=86836 memory=59728 CPUtime=1.48 cores=1,3
/proc/1036504/stat : 1036504 (LS-MabP) R 1036501 1036504 1036431 0 -1 4194304 9878 0 0 0 146 2 0 0 20 0 1 0 196667849 88920064 14932 134679101440 4194304 15467897 140731972837008 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47722496 140731972838424 140731972838533 140731972838533 140731972845550 0
/proc/1036504/statm: 21709 14932 1073 2753 0 18362 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 86836 KiB
Current children cumulated memory: 59728 KiB
[startup+3.10557 s]
/proc/loadavg: 1.08 2.11 2.76 5/257 1036507
/proc/meminfo: memFree=127971952/131524600 swapFree=131071996/131071996
[pid=1036504] ppid=1036501 vsize=216344 memory=194772 CPUtime=3.09 cores=1,3
/proc/1036504/stat : 1036504 (LS-MabP) R 1036501 1036504 1036431 0 -1 4194304 18729 0 0 0 302 7 0 0 20 0 1 0 196667849 221536256 48693 134679101440 4194304 15467897 140731972837008 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47722496 140731972838424 140731972838533 140731972838533 140731972845550 0
/proc/1036504/statm: 54086 48693 1105 2753 0 50739 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 216344 KiB
Current children cumulated memory: 194772 KiB
[startup+6.30022 s]
/proc/loadavg: 1.31 2.14 2.77 5/257 1036507
/proc/meminfo: memFree=127917296/131524600 swapFree=131071996/131071996
[pid=1036504] ppid=1036501 vsize=216344 memory=195184 CPUtime=6.27 cores=1,3
/proc/1036504/stat : 1036504 (LS-MabP) R 1036501 1036504 1036431 0 -1 4194304 18766 0 0 0 620 7 0 0 20 0 1 0 196667849 221536256 48796 134679101440 4194304 15467897 140731972837008 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47722496 140731972838424 140731972838533 140731972838533 140731972845550 0
/proc/1036504/statm: 54086 48796 1153 2753 0 50739 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 216344 KiB
Current children cumulated memory: 195184 KiB
[startup+12.7002 s]
/proc/loadavg: 1.53 2.17 2.77 5/257 1036508
/proc/meminfo: memFree=126735084/131524600 swapFree=131071996/131071996
[pid=1036504] ppid=1036501 vsize=1707180 memory=1668436 CPUtime=12.67 cores=1,3
/proc/1036504/stat : 1036504 (LS-MabP) R 1036501 1036504 1036431 0 -1 4194304 395903 0 0 0 1210 57 0 0 20 0 1 0 196667849 1748152320 417109 134679101440 4194304 15467897 140731972837008 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47722496 140731972838424 140731972838533 140731972838533 140731972845550 0
/proc/1036504/statm: 426795 417109 1153 2753 0 423448 0
Current children cumulated CPU time: 12.67 s
Current children cumulated vsize: 1707180 KiB
Current children cumulated memory: 1668436 KiB
[startup+25.5002 s]
/proc/loadavg: 2.16 2.28 2.80 5/257 1036510
/proc/meminfo: memFree=121270948/131524600 swapFree=131071996/131071996
[pid=1036504] ppid=1036501 vsize=7077408 memory=7038848 CPUtime=25.43 cores=1,3
/proc/1036504/stat : 1036504 (LS-MabP) R 1036501 1036504 1036431 0 -1 4194304 1738543 0 0 0 2325 218 0 0 20 0 1 0 196667849 7247265792 1759712 134679101440 4194304 15467897 140731972837008 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47722496 140731972838424 140731972838533 140731972838533 140731972845550 0
/proc/1036504/statm: 1769352 1759712 1153 2753 0 1766005 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 7077408 KiB
Current children cumulated memory: 7038848 KiB
[startup+51.1056 s]
/proc/loadavg: 2.79 2.42 2.83 5/257 1036513
/proc/meminfo: memFree=110794120/131524600 swapFree=131071996/131071996
[pid=1036504] ppid=1036501 vsize=17307376 memory=17280876 CPUtime=50.99 cores=1,3
/proc/1036504/stat : 1036504 (LS-MabP) R 1036501 1036504 1036431 0 -1 4194304 4299099 0 0 0 4555 544 0 0 20 0 1 0 196667849 17722753024 4320219 134679101440 4194304 15467897 140731972837008 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47722496 140731972838424 140731972838533 140731972838533 140731972845550 0
/proc/1036504/statm: 4326844 4320219 1153 2753 0 4323497 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 17307376 KiB
Current children cumulated memory: 17280876 KiB
[startup+102.3 s]
/proc/loadavg: 3.58 2.69 2.91 5/257 1036523
/proc/meminfo: memFree=110793396/131524600 swapFree=131071996/131071996
[pid=1036504] ppid=1036501 vsize=17307376 memory=17281160 CPUtime=102.09 cores=1,3
/proc/1036504/stat : 1036504 (LS-MabP) R 1036501 1036504 1036431 0 -1 4194304 4299671 0 0 0 9639 570 0 0 20 0 1 0 196667849 17722753024 4320290 134679101440 4194304 15467897 140731972837008 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47722496 140731972838424 140731972838533 140731972838533 140731972845550 0
/proc/1036504/statm: 4326844 4320290 1153 2753 0 4323497 0
Current children cumulated CPU time: 102.09 s
Current children cumulated vsize: 17307376 KiB
Current children cumulated memory: 17281160 KiB
[startup+162.3 s]
/proc/loadavg: 3.89 2.95 2.98 5/257 1036535
/proc/meminfo: memFree=110793116/131524600 swapFree=131071996/131071996
[pid=1036504] ppid=1036501 vsize=17307376 memory=17281160 CPUtime=161.97 cores=1,3
/proc/1036504/stat : 1036504 (LS-MabP) R 1036501 1036504 1036431 0 -1 4194304 4300507 0 0 0 15593 604 0 0 20 0 1 0 196667849 17722753024 4320290 134679101440 4194304 15467897 140731972837008 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47722496 140731972838424 140731972838533 140731972838533 140731972845550 0
/proc/1036504/statm: 4326844 4320290 1153 2753 0 4323497 0
Current children cumulated CPU time: 161.97 s
Current children cumulated vsize: 17307376 KiB
Current children cumulated memory: 17281160 KiB
[startup+222.3 s]
/proc/loadavg: 4.01 3.16 3.05 5/257 1036545
/proc/meminfo: memFree=110792312/131524600 swapFree=131071996/131071996
[pid=1036504] ppid=1036501 vsize=17307376 memory=17281160 CPUtime=221.85 cores=1,3
/proc/1036504/stat : 1036504 (LS-MabP) R 1036501 1036504 1036431 0 -1 4194304 4302066 0 0 0 21545 640 0 0 20 0 1 0 196667849 17722753024 4320290 134679101440 4194304 15467897 140731972837008 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47722496 140731972838424 140731972838533 140731972838533 140731972845550 0
/proc/1036504/statm: 4326844 4320290 1153 2753 0 4323497 0
Current children cumulated CPU time: 221.85 s
Current children cumulated vsize: 17307376 KiB
Current children cumulated memory: 17281160 KiB
[startup+282.3 s]
/proc/loadavg: 4.04 3.33 3.12 5/257 1036555
/proc/meminfo: memFree=110792116/131524600 swapFree=131071996/131071996
[pid=1036504] ppid=1036501 vsize=17307376 memory=17281160 CPUtime=281.74 cores=1,3
/proc/1036504/stat : 1036504 (LS-MabP) R 1036501 1036504 1036431 0 -1 4194304 4303772 0 0 0 27497 677 0 0 20 0 1 0 196667849 17722753024 4320290 134679101440 4194304 15467897 140731972837008 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47722496 140731972838424 140731972838533 140731972838533 140731972845550 0
/proc/1036504/statm: 4326844 4320290 1153 2753 0 4323497 0
Current children cumulated CPU time: 281.74 s
Current children cumulated vsize: 17307376 KiB
Current children cumulated memory: 17281160 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 3.48 3.19 5/254 1036566
/proc/meminfo: memFree=110791808/131524600 swapFree=131071996/131071996
[pid=1036504] ppid=1036501 vsize=17307376 memory=17281160 CPUtime=341.63 cores=1,3
/proc/1036504/stat : 1036504 (LS-MabP) R 1036501 1036504 1036431 0 -1 4194304 4305786 0 0 0 33450 713 0 0 20 0 1 0 196667849 17722753024 4320290 134679101440 4194304 15467897 140731972837008 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47722496 140731972838424 140731972838533 140731972838533 140731972845550 0
/proc/1036504/statm: 4326844 4320290 1153 2753 0 4323497 0
Current children cumulated CPU time: 341.63 s
Current children cumulated vsize: 17307376 KiB
Current children cumulated memory: 17281160 KiB
[startup+402.3 s]
/proc/loadavg: 4.04 3.58 3.24 5/254 1036576
/proc/meminfo: memFree=110791508/131524600 swapFree=131071996/131071996
[pid=1036504] ppid=1036501 vsize=17307376 memory=17281160 CPUtime=401.51 cores=1,3
/proc/1036504/stat : 1036504 (LS-MabP) R 1036501 1036504 1036431 0 -1 4194304 4307539 0 0 0 39403 748 0 0 20 0 1 0 196667849 17722753024 4320290 134679101440 4194304 15467897 140731972837008 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47722496 140731972838424 140731972838533 140731972838533 140731972845550 0
/proc/1036504/statm: 4326844 4320290 1153 2753 0 4323497 0
Current children cumulated CPU time: 401.51 s
Current children cumulated vsize: 17307376 KiB
Current children cumulated memory: 17281160 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 3.69 3.30 5/254 1036588
/proc/meminfo: memFree=110791184/131524600 swapFree=131071996/131071996
[pid=1036504] ppid=1036501 vsize=17307376 memory=17281160 CPUtime=461.39 cores=1,3
/proc/1036504/stat : 1036504 (LS-MabP) R 1036501 1036504 1036431 0 -1 4194304 4308711 0 0 0 45357 782 0 0 20 0 1 0 196667849 17722753024 4320290 134679101440 4194304 15467897 140731972837008 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47722496 140731972838424 140731972838533 140731972838533 140731972845550 0
/proc/1036504/statm: 4326844 4320290 1153 2753 0 4323497 0
################
# More data... #
################
Current children cumulated memory: 17286788 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.09 4.05 6/257 1038218
/proc/meminfo: memFree=110772388/131524600 swapFree=131071996/131071996
[pid=1036504] ppid=1036501 vsize=17307376 memory=17286788 CPUtime=2976.72 cores=1,3
/proc/1036504/stat : 1036504 (LS-MabP) R 1036501 1036504 1036431 0 -1 4194304 4396659 0 0 0 295779 1893 0 0 20 0 1 0 196667849 17722753024 4321697 134679101440 4194304 15467897 140731972837008 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47722496 140731972838424 140731972838533 140731972838533 140731972845550 0
/proc/1036504/statm: 4326844 4321697 1153 2753 0 4323497 0
Current children cumulated CPU time: 2976.72 s
Current children cumulated vsize: 17307376 KiB
Current children cumulated memory: 17286788 KiB
[startup+3042.3 s]
/proc/loadavg: 4.11 4.09 4.05 5/257 1038240
/proc/meminfo: memFree=110771976/131524600 swapFree=131071996/131071996
[pid=1036504] ppid=1036501 vsize=17307376 memory=17286788 CPUtime=3036.61 cores=1,3
/proc/1036504/stat : 1036504 (LS-MabP) R 1036501 1036504 1036431 0 -1 4194304 4399844 0 0 0 301747 1914 0 0 20 0 1 0 196667849 17722753024 4321697 134679101440 4194304 15467897 140731972837008 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47722496 140731972838424 140731972838533 140731972838533 140731972845550 0
/proc/1036504/statm: 4326844 4321697 1153 2753 0 4323497 0
Current children cumulated CPU time: 3036.61 s
Current children cumulated vsize: 17307376 KiB
Current children cumulated memory: 17286788 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.09 4.05 5/257 1038250
/proc/meminfo: memFree=110771712/131524600 swapFree=131071996/131071996
[pid=1036504] ppid=1036501 vsize=17307376 memory=17286788 CPUtime=3096.5 cores=1,3
/proc/1036504/stat : 1036504 (LS-MabP) R 1036501 1036504 1036431 0 -1 4194304 4402960 0 0 0 307715 1935 0 0 20 0 1 0 196667849 17722753024 4321697 134679101440 4194304 15467897 140731972837008 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47722496 140731972838424 140731972838533 140731972838533 140731972845550 0
/proc/1036504/statm: 4326844 4321697 1153 2753 0 4323497 0
Current children cumulated CPU time: 3096.5 s
Current children cumulated vsize: 17307376 KiB
Current children cumulated memory: 17286788 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.08 4.05 5/256 1038261
/proc/meminfo: memFree=110771492/131524600 swapFree=131071996/131071996
[pid=1036504] ppid=1036501 vsize=17307376 memory=17286788 CPUtime=3156.39 cores=1,3
/proc/1036504/stat : 1036504 (LS-MabP) R 1036501 1036504 1036431 0 -1 4194304 4405930 0 0 0 313683 1956 0 0 20 0 1 0 196667849 17722753024 4321697 134679101440 4194304 15467897 140731972837008 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47722496 140731972838424 140731972838533 140731972838533 140731972845550 0
/proc/1036504/statm: 4326844 4321697 1153 2753 0 4323497 0
Current children cumulated CPU time: 3156.39 s
Current children cumulated vsize: 17307376 KiB
Current children cumulated memory: 17286788 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.10 4.05 5/255 1038272
/proc/meminfo: memFree=110771232/131524600 swapFree=131071996/131071996
[pid=1036504] ppid=1036501 vsize=17307376 memory=17286788 CPUtime=3216.28 cores=1,3
/proc/1036504/stat : 1036504 (LS-MabP) R 1036501 1036504 1036431 0 -1 4194304 4407995 0 0 0 319652 1976 0 0 20 0 1 0 196667849 17722753024 4321697 134679101440 4194304 15467897 140731972837008 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47722496 140731972838424 140731972838533 140731972838533 140731972845550 0
/proc/1036504/statm: 4326844 4321697 1153 2753 0 4323497 0
Current children cumulated CPU time: 3216.28 s
Current children cumulated vsize: 17307376 KiB
Current children cumulated memory: 17286788 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.09 4.05 5/254 1038282
/proc/meminfo: memFree=110770764/131524600 swapFree=131071996/131071996
[pid=1036504] ppid=1036501 vsize=17307376 memory=17286788 CPUtime=3276.17 cores=1,3
/proc/1036504/stat : 1036504 (LS-MabP) R 1036501 1036504 1036431 0 -1 4194304 4410965 0 0 0 325620 1997 0 0 20 0 1 0 196667849 17722753024 4321697 134679101440 4194304 15467897 140731972837008 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47722496 140731972838424 140731972838533 140731972838533 140731972845550 0
/proc/1036504/statm: 4326844 4321697 1153 2753 0 4323497 0
Current children cumulated CPU time: 3276.17 s
Current children cumulated vsize: 17307376 KiB
Current children cumulated memory: 17286788 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.10 4.06 5/254 1038292
/proc/meminfo: memFree=110770660/131524600 swapFree=131071996/131071996
[pid=1036504] ppid=1036501 vsize=17307376 memory=17286788 CPUtime=3336.06 cores=1,3
/proc/1036504/stat : 1036504 (LS-MabP) R 1036501 1036504 1036431 0 -1 4194304 4413932 0 0 0 331587 2019 0 0 20 0 1 0 196667849 17722753024 4321697 134679101440 4194304 15467897 140731972837008 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47722496 140731972838424 140731972838533 140731972838533 140731972845550 0
/proc/1036504/statm: 4326844 4321697 1153 2753 0 4323497 0
Current children cumulated CPU time: 3336.06 s
Current children cumulated vsize: 17307376 KiB
Current children cumulated memory: 17286788 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.10 4.06 5/255 1038303
/proc/meminfo: memFree=110770144/131524600 swapFree=131071996/131071996
[pid=1036504] ppid=1036501 vsize=17307376 memory=17286788 CPUtime=3395.94 cores=1,3
/proc/1036504/stat : 1036504 (LS-MabP) R 1036501 1036504 1036431 0 -1 4194304 4416889 0 0 0 337557 2037 0 0 20 0 1 0 196667849 17722753024 4321697 134679101440 4194304 15467897 140731972837008 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47722496 140731972838424 140731972838533 140731972838533 140731972845550 0
/proc/1036504/statm: 4326844 4321697 1153 2753 0 4323497 0
Current children cumulated CPU time: 3395.94 s
Current children cumulated vsize: 17307376 KiB
Current children cumulated memory: 17286788 KiB
[startup+3462.3 s]
/proc/loadavg: 4.04 4.08 4.05 5/255 1038314
/proc/meminfo: memFree=110769872/131524600 swapFree=131071996/131071996
[pid=1036504] ppid=1036501 vsize=17307376 memory=17286788 CPUtime=3455.84 cores=1,3
/proc/1036504/stat : 1036504 (LS-MabP) R 1036501 1036504 1036431 0 -1 4194304 4419639 0 0 0 343527 2057 0 0 20 0 1 0 196667849 17722753024 4321697 134679101440 4194304 15467897 140731972837008 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47722496 140731972838424 140731972838533 140731972838533 140731972845550 0
/proc/1036504/statm: 4326844 4321697 1153 2753 0 4323497 0
Current children cumulated CPU time: 3455.84 s
Current children cumulated vsize: 17307376 KiB
Current children cumulated memory: 17286788 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.09 4.06 5/255 1038324
/proc/meminfo: memFree=110769684/131524600 swapFree=131071996/131071996
[pid=1036504] ppid=1036501 vsize=17307376 memory=17286788 CPUtime=3515.73 cores=1,3
/proc/1036504/stat : 1036504 (LS-MabP) R 1036501 1036504 1036431 0 -1 4194304 4422770 0 0 0 349496 2077 0 0 20 0 1 0 196667849 17722753024 4321697 134679101440 4194304 15467897 140731972837008 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47722496 140731972838424 140731972838533 140731972838533 140731972845550 0
/proc/1036504/statm: 4326844 4321697 1153 2753 0 4323497 0
Current children cumulated CPU time: 3515.73 s
Current children cumulated vsize: 17307376 KiB
Current children cumulated memory: 17286788 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.09 4.06 5/257 1038339
/proc/meminfo: memFree=110769356/131524600 swapFree=131071996/131071996
[pid=1036504] ppid=1036501 vsize=17307376 memory=17286788 CPUtime=3575.62 cores=1,3
/proc/1036504/stat : 1036504 (LS-MabP) R 1036501 1036504 1036431 0 -1 4194304 4425896 0 0 0 355465 2097 0 0 20 0 1 0 196667849 17722753024 4321697 134679101440 4194304 15467897 140731972837008 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47722496 140731972838424 140731972838533 140731972838533 140731972845550 0
/proc/1036504/statm: 4326844 4321697 1153 2753 0 4323497 0
Current children cumulated CPU time: 3575.62 s
Current children cumulated vsize: 17307376 KiB
Current children cumulated memory: 17286788 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3606.8 s]
/proc/loadavg: 4.13 4.10 4.06 5/254 1038357
/proc/meminfo: memFree=110776216/131524600 swapFree=131071996/131071996
[pid=1036504] ppid=1036501 vsize=17307376 memory=11299100 CPUtime=3600.06 cores=1,3
/proc/1036504/stat : 1036504 (LS-MabP) R 1036501 1036504 1036431 0 -1 4194304 4428875 0 0 0 357898 2108 0 0 20 0 1 0 196667849 17722753024 2824775 134679101440 4194304 15467897 140731972837008 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47722496 140731972838424 140731972838533 140731972838533 140731972845550 0
/proc/1036504/statm: 4326844 2824775 1153 2753 0 4323497 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 17307376 KiB
Current children cumulated memory: 11299100 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3607.13 s]
# the end of solver process 1036504 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3578.99 s, system=21.4158 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3607 s]*
/proc/loadavg: 4.13 4.10 4.06 4/255 1038389
/proc/meminfo: memFree=124068628/131524600 swapFree=131071996/131071996
[pid=1036504] ppid=1036501 vsize=17307376 memory=4277748 CPUtime=3600.27 cores=1,3
/proc/1036504/stat : 1036504 (LS-MabP) R 1036501 1036504 1036431 0 -1 4194304 4428875 0 0 0 357898 2129 0 0 20 0 1 0 196667849 17722753024 1069437 134679101440 4194304 15467897 140731972837008 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47722496 140731972838424 140731972838533 140731972838533 140731972845550 0
/proc/1036504/statm: 4326844 1069437 1153 2753 0 4323497 0
Current children cumulated CPU time: 3600.27 s
Current children cumulated vsize: 17307376 KiB
Current children cumulated memory: 4277748 KiB
[startup+3607.11 s]
/proc/loadavg: 4.13 4.10 4.06 4/255 1038389
/proc/meminfo: memFree=124068628/131524600 swapFree=131071996/131071996
[pid=1036504] ppid=1036501 vsize=17307376 memory=825260 CPUtime=3600.37 cores=1,3
/proc/1036504/stat : 1036504 (LS-MabP) R 1036501 1036504 1036431 0 -1 4194304 4428875 0 0 0 357898 2139 0 0 20 0 1 0 196667849 17722753024 206315 134679101440 4194304 15467897 140731972837008 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47722496 140731972838424 140731972838533 140731972838533 140731972845550 0
/proc/1036504/statm: 4326844 206315 1153 2753 0 4323497 0
Current children cumulated CPU time: 3600.37 s
Current children cumulated vsize: 17307376 KiB
Current children cumulated memory: 825260 KiB
Child status: 10
Real time (s): 3607.13
CPU time (s): 3600.41
CPU user time (s): 3578.99
CPU system time (s): 21.4158
CPU usage (%): 99.8137
Max. virtual memory (cumulated for all children) (KiB): 17307376
Max. memory (cumulated for all children) (KiB): 17286788
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3578.99
system time used= 21.4158
maximum resident set size= 17286788
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4428893
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= 72
involuntary context switches= 984
# summary of solver processes directly reported to runsolver:
# pid: 1036504
# total CPU time (s): 3600.41
# total CPU user time (s): 3578.99
# total CPU system time (s): 21.4158
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.98976 second user time and 18.0505 second system time
The end
Begin job on nodeC024 at 2024-07-20 05:10:42
IDJOB=4452178
IDBENCH=163951
IDSOLVER=3049
FILE ID=nodeC024/4452178-1721445029
RUNJOBID= nodeC024-1721445042-1036443
SLURM_JOB_ID= 7545663
Free space on /tmp= 890024 MiB
SOLVER NAME= LS-MabP 2024-07-10
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2003/normalized-stp3d.0.s.opb
COMMAND LINE= ./LS-MabP -f BENCHNAME -t TIMEOUT -s RANDOMSEED --no-s
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452178-1721445029/watcher-4452178-1721445029 -o /tmp/evaluation-result-4452178-1721445029/solver-4452178-1721445029 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721445042-1036443 --watchdog 3760 ./LS-MabP -f HOME/instance-4452178-1721445029.opb -t 3600 -s 2019391486 --no-s
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 3669957ef10a08034abaee305bfecedd
RANDOM SEED=2019391486
nodeC024.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 : 3664.707
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.60
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 : 3666.579
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 : 7007.08
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.104
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.60
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 : 3663.571
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 : 7007.08
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 : 3664.622
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.60
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 : 3637.464
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 : 7007.08
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.773
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.60
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 : 3667.437
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 : 7007.08
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 128767088 kB
MemAvailable: 129689752 kB
Buffers: 543396 kB
Cached: 1223444 kB
SwapCached: 0 kB
Active: 1034020 kB
Inactive: 1109164 kB
Active(anon): 1420 kB
Inactive(anon): 420828 kB
Active(file): 1032600 kB
Inactive(file): 688336 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 75900 kB
Writeback: 0 kB
AnonPages: 376436 kB
Mapped: 120328 kB
Shmem: 45912 kB
KReclaimable: 82752 kB
Slab: 194476 kB
SReclaimable: 82752 kB
SUnreclaim: 111724 kB
KernelStack: 4056 kB
PageTables: 9836 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 677320 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 71392 kB
HardwareCorrupted: 0 kB
AnonHugePages: 233472 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: 299732 kB
DirectMap2M: 36173824 kB
DirectMap1G: 99614720 kB
Free space on /tmp at the end= 890008 MiB
End job on nodeC024 at 2024-07-20 06:10:50