1.27/1.32 c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
1.27/1.32 c Do: 140726294715496 140726294715504
3.26/3.36 c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
3.26/3.36 c Using SCIP solver, version 8.1.0, https://www.scipopt.org
3.76/3.86 c Starting SCIP solver (with time-limit = 1800s) ...
1798.26/1804.01 c SCIP timeout with lower and upper bounds: [0, 9223372036854775807]
1801.14/1806.98 s UNSATISFIABLE
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 (57833 MiB free)
memory of node 1: 64473 MiB (54540 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459487-1721886018/watcher-4459487-1721886018 -o /tmp/evaluation-result-4459487-1721886018/solver-4459487-1721886018 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721877898-217719 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4459487-1721886018.opb -total-t=3600 -no-par -v0
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=222771, runsolver pid=222768
[startup+0.100836 s]*
/proc/loadavg: 4.00 4.09 4.08 5/257 222774
/proc/meminfo: memFree=115055044/131524600 swapFree=131055836/131071996
[pid=222771] ppid=222768 vsize=33072 memory=14412 CPUtime=0.09 cores=4,6
/proc/222771/stat : 222771 (CASHWMaxSAT-Dis) R 222768 222771 217708 0 -1 4194304 2952 0 0 0 9 0 0 0 20 0 1 0 25131536 33865728 3603 134679101440 4194304 14093885 140726294717856 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 15976432 16051504 26583040 140726294725605 140726294725720 140726294725720 140726294732735 0
/proc/222771/statm: 8268 3603 750 2417 0 5370 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 33072 KiB
Current children cumulated memory: 14412 KiB
[startup+0.205821 s]*
/proc/loadavg: 4.00 4.09 4.08 5/257 222774
/proc/meminfo: memFree=115044172/131524600 swapFree=131055836/131071996
[pid=222771] ppid=222768 vsize=39912 memory=21072 CPUtime=0.19 cores=4,6
/proc/222771/stat : 222771 (CASHWMaxSAT-Dis) R 222768 222771 217708 0 -1 4194304 4660 0 0 0 19 0 0 0 20 0 1 0 25131536 40869888 5268 134679101440 4194304 14093885 140726294717856 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 15976432 16051504 26583040 140726294725605 140726294725720 140726294725720 140726294732735 0
/proc/222771/statm: 9978 5268 766 2417 0 7080 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 39912 KiB
Current children cumulated memory: 21072 KiB
[startup+0.305836 s]*
/proc/loadavg: 4.00 4.09 4.08 5/257 222774
/proc/meminfo: memFree=115024024/131524600 swapFree=131055836/131071996
[pid=222771] ppid=222768 vsize=58156 memory=36884 CPUtime=0.29 cores=4,6
/proc/222771/stat : 222771 (CASHWMaxSAT-Dis) R 222768 222771 217708 0 -1 4194304 8784 0 0 0 28 1 0 0 20 0 1 0 25131536 59551744 9221 134679101440 4194304 14093885 140726294717856 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 15976432 16051504 26583040 140726294725605 140726294725720 140726294725720 140726294732735 0
/proc/222771/statm: 14539 9221 798 2417 0 11641 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 58156 KiB
Current children cumulated memory: 36884 KiB
[startup+0.700235 s]
/proc/loadavg: 4.00 4.09 4.08 5/257 222774
/proc/meminfo: memFree=114968484/131524600 swapFree=131055836/131071996
[pid=222771] ppid=222768 vsize=128052 memory=110864 CPUtime=0.66 cores=4,6
/proc/222771/stat : 222771 (CASHWMaxSAT-Dis) R 222768 222771 217708 0 -1 4194304 19497 0 0 0 63 3 0 0 20 0 1 0 25131536 131125248 27716 134679101440 4194304 14093885 140726294717856 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26583040 140726294725605 140726294725720 140726294725720 140726294732735 0
/proc/222771/statm: 32013 27716 798 2417 0 29115 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 128052 KiB
Current children cumulated memory: 110864 KiB
[startup+1.50024 s]
/proc/loadavg: 4.00 4.09 4.08 5/257 222774
/proc/meminfo: memFree=114872564/131524600 swapFree=131055836/131071996
[pid=222771] ppid=222768 vsize=317192 memory=287988 CPUtime=1.46 cores=4,6
/proc/222771/stat : 222771 (CASHWMaxSAT-Dis) R 222768 222771 217708 0 -1 4194304 42927 0 0 0 137 9 0 0 20 0 1 0 25131536 324804608 71997 134679101440 4194304 14093885 140726294717856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26583040 140726294725605 140726294725720 140726294725720 140726294732735 0
/proc/222771/statm: 79298 71997 798 2417 0 76400 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 317192 KiB
Current children cumulated memory: 287988 KiB
[startup+3.10587 s]
/proc/loadavg: 4.00 4.09 4.08 5/257 222774
/proc/meminfo: memFree=114575732/131524600 swapFree=131055836/131071996
[pid=222771] ppid=222768 vsize=317008 memory=286000 CPUtime=3.07 cores=4,6
/proc/222771/stat : 222771 (CASHWMaxSAT-Dis) R 222768 222771 217708 0 -1 4194304 43803 0 0 0 297 10 0 0 20 0 1 0 25131536 324616192 71500 134679101440 4194304 14093885 140726294717856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26583040 140726294725605 140726294725720 140726294725720 140726294732735 0
/proc/222771/statm: 79252 71500 798 2417 0 76354 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 317008 KiB
Current children cumulated memory: 286000 KiB
[startup+6.30022 s]
/proc/loadavg: 4.08 4.10 4.09 5/257 222774
/proc/meminfo: memFree=114011252/131524600 swapFree=131055836/131071996
[pid=222771] ppid=222768 vsize=1199904 memory=1158992 CPUtime=6.26 cores=4,6
/proc/222771/stat : 222771 (CASHWMaxSAT-Dis) R 222768 222771 217708 0 -1 4194304 252934 0 0 0 586 40 0 0 20 0 1 0 25131536 1228701696 289682 134679101440 4194304 14093885 140726294717856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26583040 140726294725605 140726294725720 140726294725720 140726294732735 0
/proc/222771/statm: 299976 289748 2350 2417 0 297078 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 1199904 KiB
Current children cumulated memory: 1158992 KiB
[startup+12.7002 s]
/proc/loadavg: 4.07 4.10 4.09 5/257 222775
/proc/meminfo: memFree=113882860/131524600 swapFree=131055836/131071996
[pid=222771] ppid=222768 vsize=1271940 memory=1231092 CPUtime=12.63 cores=4,6
/proc/222771/stat : 222771 (CASHWMaxSAT-Dis) R 222768 222771 217708 0 -1 4194304 267964 0 0 0 1221 42 0 0 20 0 1 0 25131536 1302466560 307773 134679101440 4194304 14093885 140726294717856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26583040 140726294725605 140726294725720 140726294725720 140726294732735 0
/proc/222771/statm: 317985 307773 2414 2417 0 315087 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 1271940 KiB
Current children cumulated memory: 1231092 KiB
[startup+25.5002 s]
/proc/loadavg: 4.06 4.10 4.09 5/257 222778
/proc/meminfo: memFree=113926260/131524600 swapFree=131055836/131071996
[pid=222771] ppid=222768 vsize=1274908 memory=1234112 CPUtime=25.39 cores=4,6
/proc/222771/stat : 222771 (CASHWMaxSAT-Dis) R 222768 222771 217708 0 -1 4194304 268221 0 0 0 2496 43 0 0 20 0 1 0 25131536 1305505792 308528 134679101440 4194304 14093885 140726294717856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26583040 140726294725605 140726294725720 140726294725720 140726294732735 0
/proc/222771/statm: 318727 308528 2414 2417 0 315829 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 1274908 KiB
Current children cumulated memory: 1234112 KiB
[startup+51.1055 s]
/proc/loadavg: 4.12 4.10 4.09 5/257 222783
/proc/meminfo: memFree=113335912/131524600 swapFree=131055836/131071996
[pid=222771] ppid=222768 vsize=1846252 memory=1793444 CPUtime=50.92 cores=4,6
/proc/222771/stat : 222771 (CASHWMaxSAT-Dis) R 222768 222771 217708 0 -1 4194304 372008 0 0 0 5030 62 0 0 20 0 1 0 25131536 1890562048 448361 134679101440 4194304 14093885 140726294717856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26583040 140726294725605 140726294725720 140726294725720 140726294732735 0
/proc/222771/statm: 461563 448361 2526 2417 0 458665 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 1846252 KiB
Current children cumulated memory: 1793444 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/257 222794
/proc/meminfo: memFree=113298056/131524600 swapFree=131055836/131071996
[pid=222771] ppid=222768 vsize=1858948 memory=1808728 CPUtime=101.97 cores=4,6
/proc/222771/stat : 222771 (CASHWMaxSAT-Dis) R 222768 222771 217708 0 -1 4194304 375937 0 0 0 10133 64 0 0 20 0 1 0 25131536 1903562752 452182 134679101440 4194304 14093885 140726294717856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26583040 140726294725605 140726294725720 140726294725720 140726294732735 0
/proc/222771/statm: 464737 452182 2526 2417 0 461839 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 1858948 KiB
Current children cumulated memory: 1808728 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/257 222804
/proc/meminfo: memFree=113293048/131524600 swapFree=131055836/131071996
[pid=222771] ppid=222768 vsize=1860664 memory=1810608 CPUtime=161.78 cores=4,6
/proc/222771/stat : 222771 (CASHWMaxSAT-Dis) R 222768 222771 217708 0 -1 4194304 376471 0 0 0 16112 66 0 0 20 0 1 0 25131536 1905319936 452652 134679101440 4194304 14093885 140726294717856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26583040 140726294725605 140726294725720 140726294725720 140726294732735 0
/proc/222771/statm: 465166 452652 2526 2417 0 462268 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 1860664 KiB
Current children cumulated memory: 1810608 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/256 222815
/proc/meminfo: memFree=113152652/131524600 swapFree=131055836/131071996
[pid=222771] ppid=222768 vsize=1866544 memory=1816360 CPUtime=221.59 cores=4,6
/proc/222771/stat : 222771 (CASHWMaxSAT-Dis) R 222768 222771 217708 0 -1 4194304 377544 0 0 0 22092 67 0 0 20 0 1 0 25131536 1911341056 454090 134679101440 4194304 14093885 140726294717856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26583040 140726294725605 140726294725720 140726294725720 140726294732735 0
/proc/222771/statm: 466636 454090 2526 2417 0 463738 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 1866544 KiB
Current children cumulated memory: 1816360 KiB
[startup+282.3 s]
/proc/loadavg: 4.17 4.12 4.10 5/256 222825
/proc/meminfo: memFree=113220404/131524600 swapFree=131055836/131071996
[pid=222771] ppid=222768 vsize=1876740 memory=1826612 CPUtime=281.41 cores=4,6
/proc/222771/stat : 222771 (CASHWMaxSAT-Dis) R 222768 222771 217708 0 -1 4194304 378666 0 0 0 28071 70 0 0 20 0 1 0 25131536 1921781760 456653 134679101440 4194304 14093885 140726294717856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26583040 140726294725605 140726294725720 140726294725720 140726294732735 0
/proc/222771/statm: 469185 456653 2526 2417 0 466287 0
Current children cumulated CPU time: 281.41 s
Current children cumulated vsize: 1876740 KiB
Current children cumulated memory: 1826612 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/255 222837
/proc/meminfo: memFree=113163656/131524600 swapFree=131055836/131071996
[pid=222771] ppid=222768 vsize=1879508 memory=1829656 CPUtime=341.22 cores=4,6
/proc/222771/stat : 222771 (CASHWMaxSAT-Dis) R 222768 222771 217708 0 -1 4194304 379503 0 0 0 34051 71 0 0 20 0 1 0 25131536 1924616192 457414 134679101440 4194304 14093885 140726294717856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26583040 140726294725605 140726294725720 140726294725720 140726294732735 0
/proc/222771/statm: 469877 457414 2526 2417 0 466979 0
Current children cumulated CPU time: 341.22 s
Current children cumulated vsize: 1879508 KiB
Current children cumulated memory: 1829656 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/255 222848
/proc/meminfo: memFree=113131668/131524600 swapFree=131055836/131071996
[pid=222771] ppid=222768 vsize=1879508 memory=1829768 CPUtime=401.04 cores=4,6
/proc/222771/stat : 222771 (CASHWMaxSAT-Dis) R 222768 222771 217708 0 -1 4194304 379642 0 0 0 40031 73 0 0 20 0 1 0 25131536 1924616192 457442 134679101440 4194304 14093885 140726294717856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26583040 140726294725605 140726294725720 140726294725720 140726294732735 0
/proc/222771/statm: 469877 457442 2526 2417 0 466979 0
Current children cumulated CPU time: 401.04 s
Current children cumulated vsize: 1879508 KiB
Current children cumulated memory: 1829768 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/255 222859
/proc/meminfo: memFree=113109596/131524600 swapFree=131055836/131071996
[pid=222771] ppid=222768 vsize=1879848 memory=1830032 CPUtime=460.85 cores=4,6
/proc/222771/stat : 222771 (CASHWMaxSAT-Dis) R 222768 222771 217708 0 -1 4194304 379811 0 0 0 46011 74 0 0 20 0 1 0 25131536 1924964352 457508 134679101440 4194304 14093885 140726294717856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26583040 140726294725605 140726294725720 140726294725720 140726294732735 0
/proc/222771/statm: 469962 457508 2526 2417 0 467064 0
################
# More data... #
################
Current children cumulated memory: 1844828 KiB
[startup+1362.3 s]
/proc/loadavg: 4.19 4.24 4.19 5/258 223689
/proc/meminfo: memFree=114418860/131524600 swapFree=131055836/131071996
[pid=222771] ppid=222768 vsize=1909420 memory=1844828 CPUtime=1358.02 cores=4,6
/proc/222771/stat : 222771 (CASHWMaxSAT-Dis) R 222768 222771 217708 0 -1 4194304 383863 0 0 0 135700 102 0 0 20 0 1 0 25131536 1955246080 461207 134679101440 4194304 14093885 140726294717856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26583040 140726294725605 140726294725720 140726294725720 140726294732735 0
/proc/222771/statm: 477355 461207 2526 2417 0 474457 0
Current children cumulated CPU time: 1358.02 s
Current children cumulated vsize: 1909420 KiB
Current children cumulated memory: 1844828 KiB
[startup+1422.3 s]
/proc/loadavg: 4.11 4.21 4.18 5/258 223701
/proc/meminfo: memFree=114313644/131524600 swapFree=131055836/131071996
[pid=222771] ppid=222768 vsize=1909420 memory=1844836 CPUtime=1417.82 cores=4,6
/proc/222771/stat : 222771 (CASHWMaxSAT-Dis) R 222768 222771 217708 0 -1 4194304 384011 0 0 0 141678 104 0 0 20 0 1 0 25131536 1955246080 461209 134679101440 4194304 14093885 140726294717856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26583040 140726294725605 140726294725720 140726294725720 140726294732735 0
/proc/222771/statm: 477355 461209 2526 2417 0 474457 0
Current children cumulated CPU time: 1417.82 s
Current children cumulated vsize: 1909420 KiB
Current children cumulated memory: 1844836 KiB
[startup+1482.3 s]
/proc/loadavg: 4.07 4.18 4.17 5/258 223711
/proc/meminfo: memFree=114234000/131524600 swapFree=131055836/131071996
[pid=222771] ppid=222768 vsize=1909420 memory=1844840 CPUtime=1477.62 cores=4,6
/proc/222771/stat : 222771 (CASHWMaxSAT-Dis) R 222768 222771 217708 0 -1 4194304 384120 0 0 0 147656 106 0 0 20 0 1 0 25131536 1955246080 461210 134679101440 4194304 14093885 140726294717856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26583040 140726294725605 140726294725720 140726294725720 140726294732735 0
/proc/222771/statm: 477355 461210 2526 2417 0 474457 0
Current children cumulated CPU time: 1477.62 s
Current children cumulated vsize: 1909420 KiB
Current children cumulated memory: 1844840 KiB
[startup+1542.3 s]
/proc/loadavg: 4.07 4.16 4.17 5/255 223722
/proc/meminfo: memFree=114188296/131524600 swapFree=131055836/131071996
[pid=222771] ppid=222768 vsize=1909420 memory=1844844 CPUtime=1537.43 cores=4,6
/proc/222771/stat : 222771 (CASHWMaxSAT-Dis) R 222768 222771 217708 0 -1 4194304 384263 0 0 0 153635 108 0 0 20 0 1 0 25131536 1955246080 461211 134679101440 4194304 14093885 140726294717856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26583040 140726294725605 140726294725720 140726294725720 140726294732735 0
/proc/222771/statm: 477355 461211 2526 2417 0 474457 0
Current children cumulated CPU time: 1537.43 s
Current children cumulated vsize: 1909420 KiB
Current children cumulated memory: 1844844 KiB
[startup+1602.3 s]
/proc/loadavg: 4.14 4.16 4.17 5/255 223732
/proc/meminfo: memFree=114103984/131524600 swapFree=131055836/131071996
[pid=222771] ppid=222768 vsize=1909420 memory=1844848 CPUtime=1597.23 cores=4,6
/proc/222771/stat : 222771 (CASHWMaxSAT-Dis) R 222768 222771 217708 0 -1 4194304 384409 0 0 0 159613 110 0 0 20 0 1 0 25131536 1955246080 461212 134679101440 4194304 14093885 140726294717856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26583040 140726294725605 140726294725720 140726294725720 140726294732735 0
/proc/222771/statm: 477355 461212 2526 2417 0 474457 0
Current children cumulated CPU time: 1597.23 s
Current children cumulated vsize: 1909420 KiB
Current children cumulated memory: 1844848 KiB
[startup+1662.3 s]
/proc/loadavg: 4.11 4.15 4.16 5/255 223742
/proc/meminfo: memFree=114162736/131524600 swapFree=131055836/131071996
[pid=222771] ppid=222768 vsize=1909420 memory=1844852 CPUtime=1657.03 cores=4,6
/proc/222771/stat : 222771 (CASHWMaxSAT-Dis) R 222768 222771 217708 0 -1 4194304 384522 0 0 0 165591 112 0 0 20 0 1 0 25131536 1955246080 461213 134679101440 4194304 14093885 140726294717856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26583040 140726294725605 140726294725720 140726294725720 140726294732735 0
/proc/222771/statm: 477355 461213 2526 2417 0 474457 0
Current children cumulated CPU time: 1657.03 s
Current children cumulated vsize: 1909420 KiB
Current children cumulated memory: 1844852 KiB
[startup+1722.3 s]
/proc/loadavg: 4.04 4.12 4.15 5/254 223752
/proc/meminfo: memFree=114015608/131524600 swapFree=131055836/131071996
[pid=222771] ppid=222768 vsize=1909420 memory=1844852 CPUtime=1716.82 cores=4,6
/proc/222771/stat : 222771 (CASHWMaxSAT-Dis) R 222768 222771 217708 0 -1 4194304 384663 0 0 0 171569 113 0 0 20 0 1 0 25131536 1955246080 461213 134679101440 4194304 14093885 140726294717856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26583040 140726294725605 140726294725720 140726294725720 140726294732735 0
/proc/222771/statm: 477355 461213 2526 2417 0 474457 0
Current children cumulated CPU time: 1716.82 s
Current children cumulated vsize: 1909420 KiB
Current children cumulated memory: 1844852 KiB
[startup+1782.3 s]
/proc/loadavg: 4.11 4.12 4.15 5/254 223764
/proc/meminfo: memFree=114094664/131524600 swapFree=131055836/131071996
[pid=222771] ppid=222768 vsize=1909420 memory=1844856 CPUtime=1776.62 cores=4,6
/proc/222771/stat : 222771 (CASHWMaxSAT-Dis) R 222768 222771 217708 0 -1 4194304 384780 0 0 0 177547 115 0 0 20 0 1 0 25131536 1955246080 461214 134679101440 4194304 14093885 140726294717856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26583040 140726294725605 140726294725720 140726294725720 140726294732735 0
/proc/222771/statm: 477355 461214 2526 2417 0 474457 0
Current children cumulated CPU time: 1776.62 s
Current children cumulated vsize: 1909420 KiB
Current children cumulated memory: 1844856 KiB
[startup+1807.04 s]
# the end of solver process 222771 was just reported to runsolver
# Child status: 20
# cumulated CPU time of all completed processes: user=1800.07 s, system=1.22361 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1792 s]*
/proc/loadavg: 4.09 4.12 4.15 5/257 223770
/proc/meminfo: memFree=114103188/131524600 swapFree=131055836/131071996
[pid=222771] ppid=222768 vsize=1909420 memory=1844856 CPUtime=1786.29 cores=4,6
/proc/222771/stat : 222771 (CASHWMaxSAT-Dis) R 222768 222771 217708 0 -1 4194304 384815 0 0 0 178514 115 0 0 20 0 1 0 25131536 1955246080 461214 134679101440 4194304 14093885 140726294717856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26583040 140726294725605 140726294725720 140726294725720 140726294732735 0
/proc/222771/statm: 477355 461214 2526 2417 0 474457 0
Current children cumulated CPU time: 1786.29 s
Current children cumulated vsize: 1909420 KiB
Current children cumulated memory: 1844856 KiB
[startup+1798.4 s]
/proc/loadavg: 4.09 4.12 4.15 5/257 223770
/proc/meminfo: memFree=114069272/131524600 swapFree=131055836/131071996
[pid=222771] ppid=222768 vsize=1909420 memory=1844856 CPUtime=1792.67 cores=4,6
/proc/222771/stat : 222771 (CASHWMaxSAT-Dis) R 222768 222771 217708 0 -1 4194304 384824 0 0 0 179151 116 0 0 20 0 1 0 25131536 1955246080 461214 134679101440 4194304 14093885 140726294717856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26583040 140726294725605 140726294725720 140726294725720 140726294732735 0
/proc/222771/statm: 477355 461214 2526 2417 0 474457 0
Current children cumulated CPU time: 1792.67 s
Current children cumulated vsize: 1909420 KiB
Current children cumulated memory: 1844856 KiB
[startup+1801.6 s]
/proc/loadavg: 4.08 4.11 4.14 5/257 223772
/proc/meminfo: memFree=114035764/131524600 swapFree=131055836/131071996
[pid=222771] ppid=222768 vsize=1909420 memory=1844856 CPUtime=1795.86 cores=4,6
/proc/222771/stat : 222771 (CASHWMaxSAT-Dis) R 222768 222771 217708 0 -1 4194304 384825 0 0 0 179470 116 0 0 20 0 1 0 25131536 1955246080 461214 134679101440 4194304 14093885 140726294717856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26583040 140726294725605 140726294725720 140726294725720 140726294732735 0
/proc/222771/statm: 477355 461214 2526 2417 0 474457 0
Current children cumulated CPU time: 1795.86 s
Current children cumulated vsize: 1909420 KiB
Current children cumulated memory: 1844856 KiB
[startup+1804.8 s]
/proc/loadavg: 4.08 4.11 4.14 5/257 223773
/proc/meminfo: memFree=114109032/131524600 swapFree=131055836/131071996
[pid=222771] ppid=222768 vsize=1909420 memory=1845060 CPUtime=1799.05 cores=4,6
/proc/222771/stat : 222771 (CASHWMaxSAT-Dis) R 222768 222771 217708 0 -1 4194304 384941 0 0 0 179789 116 0 0 20 0 1 0 25131536 1955246080 461265 134679101440 4194304 14093885 140726294717856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26583040 140726294725605 140726294725720 140726294725720 140726294732735 0
/proc/222771/statm: 477355 461265 2526 2417 0 474457 0
Current children cumulated CPU time: 1799.05 s
Current children cumulated vsize: 1909420 KiB
Current children cumulated memory: 1845060 KiB
[startup+1806.4 s]
/proc/loadavg: 4.07 4.11 4.14 5/257 223773
/proc/meminfo: memFree=114087324/131524600 swapFree=131055836/131071996
[pid=222771] ppid=222768 vsize=1909420 memory=1849956 CPUtime=1800.64 cores=4,6
/proc/222771/stat : 222771 (CASHWMaxSAT-Dis) R 222768 222771 217708 0 -1 4194304 385151 0 0 0 179948 116 0 0 20 0 1 0 25131536 1955246080 462489 134679101440 4194304 14093885 140726294717856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26583040 140726294725605 140726294725720 140726294725720 140726294732735 0
/proc/222771/statm: 477355 462489 2526 2417 0 474457 0
Current children cumulated CPU time: 1800.64 s
Current children cumulated vsize: 1909420 KiB
Current children cumulated memory: 1849956 KiB
[startup+1806.8 s]
/proc/loadavg: 4.07 4.11 4.14 5/257 223773
/proc/meminfo: memFree=114087324/131524600 swapFree=131055836/131071996
[pid=222771] ppid=222768 vsize=1909420 memory=1849956 CPUtime=1801.04 cores=4,6
/proc/222771/stat : 222771 (CASHWMaxSAT-Dis) R 222768 222771 217708 0 -1 4194304 385151 0 0 0 179988 116 0 0 20 0 1 0 25131536 1955246080 462489 134679101440 4194304 14093885 140726294717856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 26583040 140726294725605 140726294725720 140726294725720 140726294732735 0
/proc/222771/statm: 477355 462489 2526 2417 0 474457 0
Current children cumulated CPU time: 1801.04 s
Current children cumulated vsize: 1909420 KiB
Current children cumulated memory: 1849956 KiB
[startup+1807 s]*
/proc/loadavg: 4.07 4.11 4.14 5/257 223773
/proc/meminfo: memFree=114427936/131524600 swapFree=131055836/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 20
Real time (s): 1807.04
CPU time (s): 1801.3
CPU user time (s): 1800.07
CPU system time (s): 1.22361
CPU usage (%): 99.6819
Max. virtual memory (cumulated for all children) (KiB): 1909420
Max. memory (cumulated for all children) (KiB): 1852004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.07
system time used= 1.22361
maximum resident set size= 1852012
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 385152
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= 2
involuntary context switches= 862
# summary of solver processes directly reported to runsolver:
# pid: 222771
# total CPU time (s): 1801.3
# total CPU user time (s): 1800.07
# total CPU system time (s): 1.22361
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.57889 second user time and 8.4504 second system time
The end
Begin job on nodeC033 at 2024-07-25 07:40:18
IDJOB=4459487
IDBENCH=178813
IDSOLVER=3077
FILE ID=nodeC033/4459487-1721886018
RUNJOBID= nodeC033-1721877898-217719
SLURM_JOB_ID= 8089280
Free space on /tmp= 889940 MiB
SOLVER NAME= CASHWMaxSAT-DisjCom-S 2024-07-10
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/opt/miplib2010/normalized-ns1745726.opb
COMMAND LINE= CASHWMaxSAT-DisjCom-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459487-1721886018/watcher-4459487-1721886018 -o /tmp/evaluation-result-4459487-1721886018/solver-4459487-1721886018 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721877898-217719 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4459487-1721886018.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 57846165ce4f1efeb40b7c60e97860ee
RANDOM SEED=1457161725
nodeC033.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 : 3669.126
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.99
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3688.540
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.76
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 : 3634.932
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.99
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.269
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.76
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 : 3631.361
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.99
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3688.585
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.76
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 : 3663.706
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.99
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.334
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.76
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 115073216 kB
MemAvailable: 118955052 kB
Buffers: 296564 kB
Cached: 4383500 kB
SwapCached: 300 kB
Active: 2558672 kB
Inactive: 13212224 kB
Active(anon): 2256 kB
Inactive(anon): 11141960 kB
Active(file): 2556416 kB
Inactive(file): 2070264 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131055836 kB
Dirty: 14096 kB
Writeback: 0 kB
AnonPages: 11089052 kB
Mapped: 118424 kB
Shmem: 53064 kB
KReclaimable: 189960 kB
Slab: 305720 kB
SReclaimable: 189960 kB
SUnreclaim: 115760 kB
KernelStack: 4140 kB
PageTables: 30876 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 12900644 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 16704 kB
HardwareCorrupted: 0 kB
AnonHugePages: 6326272 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: 391892 kB
DirectMap2M: 39227392 kB
DirectMap1G: 96468992 kB
Free space on /tmp at the end= 889944 MiB
End job on nodeC033 at 2024-07-25 08:10:26