1.10/1.17 c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
1.10/1.17 c Do: 140725274567224 140725274567232
2.17/2.22 c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
2.17/2.22 c Using SCIP solver, version 8.1.0, https://www.scipopt.org
2.78/2.81 c Starting SCIP solver (with time-limit = 1800s) ...
1795.33/1802.87 c SCIP timeout with lower and upper bounds: [0, 9223372036854775807]
1809.38/1817.00 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: 64096 MiB (63043 MiB free)
memory of node 1: 64473 MiB (62324 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440174-1721253595/watcher-4440174-1721253595 -o /tmp/evaluation-result-4440174-1721253595/solver-4440174-1721253595 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721253608-924278 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4440174-1721253595.opb -total-t=3600 -no-par -v0
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
solver pid=924328, runsolver pid=924325
Current StackSize limit: 8192 KiB
[startup+0.1001 s]*
/proc/loadavg: 1.07 1.11 1.17 5/249 924341
/proc/meminfo: memFree=128369612/131655788 swapFree=131071996/131071996
[pid=924328] ppid=924325 vsize=28308 memory=9348 CPUtime=0.1 cores=0,2
/proc/924328/stat : 924328 (CASHWMaxSAT-Dis) R 924325 924328 924261 0 -1 4194304 1750 0 0 0 10 0 0 0 20 0 1 0 177516697 28987392 2337 134679101440 4194304 14093885 140725274569584 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35688448 140725274571748 140725274571863 140725274571863 140725274578879 0
/proc/924328/statm: 7077 2337 750 2417 0 4179 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28308 KiB
Current children cumulated memory: 9348 KiB
[startup+0.213122 s]*
/proc/loadavg: 1.07 1.11 1.17 5/249 924341
/proc/meminfo: memFree=128340228/131655788 swapFree=131071996/131071996
[pid=924328] ppid=924325 vsize=35932 memory=17008 CPUtime=0.21 cores=0,2
/proc/924328/stat : 924328 (CASHWMaxSAT-Dis) R 924325 924328 924261 0 -1 4194304 3615 0 0 0 20 1 0 0 20 0 1 0 177516697 36794368 4252 134679101440 4194304 14093885 140725274569584 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35688448 140725274571748 140725274571863 140725274571863 140725274578879 0
/proc/924328/statm: 8983 4252 750 2417 0 6085 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 35932 KiB
Current children cumulated memory: 17008 KiB
[startup+0.313068 s]*
/proc/loadavg: 1.07 1.11 1.17 5/249 924341
/proc/meminfo: memFree=128322140/131655788 swapFree=131071996/131071996
[pid=924328] ppid=924325 vsize=39844 memory=20704 CPUtime=0.31 cores=0,2
/proc/924328/stat : 924328 (CASHWMaxSAT-Dis) R 924325 924328 924261 0 -1 4194304 4555 0 0 0 30 1 0 0 20 0 1 0 177516697 40800256 5176 134679101440 4194304 14093885 140725274569584 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35688448 140725274571748 140725274571863 140725274571863 140725274578879 0
/proc/924328/statm: 9961 5176 750 2417 0 7063 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 39844 KiB
Current children cumulated memory: 20704 KiB
[startup+0.700387 s]
/proc/loadavg: 1.07 1.11 1.17 5/249 924341
/proc/meminfo: memFree=128270292/131655788 swapFree=131071996/131071996
[pid=924328] ppid=924325 vsize=86560 memory=68004 CPUtime=0.69 cores=0,2
/proc/924328/stat : 924328 (CASHWMaxSAT-Dis) R 924325 924328 924261 0 -1 4194304 15400 0 0 0 64 5 0 0 20 0 1 0 177516697 88637440 17001 134679101440 4194304 14093885 140725274569584 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35688448 140725274571748 140725274571863 140725274571863 140725274578879 0
/proc/924328/statm: 21640 17001 782 2417 0 18742 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 86560 KiB
Current children cumulated memory: 68004 KiB
[startup+1.50035 s]
/proc/loadavg: 1.07 1.11 1.17 5/249 924341
/proc/meminfo: memFree=127966108/131655788 swapFree=131071996/131071996
[pid=924328] ppid=924325 vsize=158800 memory=132116 CPUtime=1.48 cores=0,2
/proc/924328/stat : 924328 (CASHWMaxSAT-Dis) R 924325 924328 924261 0 -1 4194304 25368 0 0 0 140 8 0 0 20 0 1 0 177516697 162611200 33029 134679101440 4194304 14093885 140725274569584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35688448 140725274571748 140725274571863 140725274571863 140725274578879 0
/proc/924328/statm: 39700 33029 782 2417 0 36802 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 158800 KiB
Current children cumulated memory: 132116 KiB
[startup+3.1134 s]
/proc/loadavg: 1.31 1.16 1.18 5/249 924341
/proc/meminfo: memFree=126491200/131655788 swapFree=131071996/131071996
[pid=924328] ppid=924325 vsize=646808 memory=615824 CPUtime=3.09 cores=0,2
/proc/924328/stat : 924328 (CASHWMaxSAT-Dis) R 924325 924328 924261 0 -1 4194304 141392 0 0 0 282 27 0 0 20 0 1 0 177516697 662331392 153956 134679101440 4194304 14093885 140725274569584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35688448 140725274571748 140725274571863 140725274571863 140725274578879 0
/proc/924328/statm: 161702 153956 2302 2417 0 158804 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 646808 KiB
Current children cumulated memory: 615824 KiB
[startup+6.30032 s]
/proc/loadavg: 1.31 1.16 1.18 5/249 924341
/proc/meminfo: memFree=123698068/131655788 swapFree=131071996/131071996
[pid=924328] ppid=924325 vsize=1219108 memory=1183596 CPUtime=6.26 cores=0,2
/proc/924328/stat : 924328 (CASHWMaxSAT-Dis) R 924325 924328 924261 0 -1 4194304 269502 0 0 0 580 46 0 0 20 0 1 0 177516697 1248366592 295899 134679101440 4194304 14093885 140725274569584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35688448 140725274571748 140725274571863 140725274571863 140725274578879 0
/proc/924328/statm: 304777 295899 2350 2417 0 301879 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 1219108 KiB
Current children cumulated memory: 1183596 KiB
[startup+12.7003 s]
/proc/loadavg: 1.52 1.21 1.20 5/249 924343
/proc/meminfo: memFree=123696260/131655788 swapFree=131071996/131071996
[pid=924328] ppid=924325 vsize=1219108 memory=1185376 CPUtime=12.64 cores=0,2
/proc/924328/stat : 924328 (CASHWMaxSAT-Dis) R 924325 924328 924261 0 -1 4194304 270288 0 0 0 1218 46 0 0 20 0 1 0 177516697 1248366592 296344 134679101440 4194304 14093885 140725274569584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35688448 140725274571748 140725274571863 140725274571863 140725274578879 0
/proc/924328/statm: 304777 296344 2414 2417 0 301879 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1219108 KiB
Current children cumulated memory: 1185376 KiB
[startup+25.5004 s]
/proc/loadavg: 2.15 1.36 1.25 5/249 924344
/proc/meminfo: memFree=123696276/131655788 swapFree=131071996/131071996
[pid=924328] ppid=924325 vsize=1219108 memory=1185376 CPUtime=25.39 cores=0,2
/proc/924328/stat : 924328 (CASHWMaxSAT-Dis) R 924325 924328 924261 0 -1 4194304 270436 0 0 0 2492 47 0 0 20 0 1 0 177516697 1248366592 296344 134679101440 4194304 14093885 140725274569584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35688448 140725274571748 140725274571863 140725274571863 140725274578879 0
/proc/924328/statm: 304777 296344 2414 2417 0 301879 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 1219108 KiB
Current children cumulated memory: 1185376 KiB
[startup+51.1129 s]
/proc/loadavg: 2.78 1.57 1.32 5/247 924349
/proc/meminfo: memFree=121608284/131655788 swapFree=131071996/131071996
[pid=924328] ppid=924325 vsize=1753148 memory=1706428 CPUtime=50.9 cores=0,2
/proc/924328/stat : 924328 (CASHWMaxSAT-Dis) R 924325 924328 924261 0 -1 4194304 358311 0 0 0 5024 66 0 0 20 0 1 0 177516697 1795223552 426607 134679101440 4194304 14093885 140725274569584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35688448 140725274571748 140725274571863 140725274571863 140725274578879 0
/proc/924328/statm: 438287 426607 2526 2417 0 435389 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 1753148 KiB
Current children cumulated memory: 1706428 KiB
[startup+102.3 s]
/proc/loadavg: 3.74 2.01 1.49 5/246 924371
/proc/meminfo: memFree=121541108/131655788 swapFree=131071996/131071996
[pid=924328] ppid=924325 vsize=1773248 memory=1728796 CPUtime=101.88 cores=0,2
/proc/924328/stat : 924328 (CASHWMaxSAT-Dis) R 924325 924328 924261 0 -1 4194304 360899 0 0 0 10120 68 0 0 20 0 1 0 177516697 1815805952 432199 134679101440 4194304 14093885 140725274569584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35688448 140725274571748 140725274571863 140725274571863 140725274578879 0
/proc/924328/statm: 443312 432199 2526 2417 0 440414 0
Current children cumulated CPU time: 101.88 s
Current children cumulated vsize: 1773248 KiB
Current children cumulated memory: 1728796 KiB
[startup+162.3 s]
/proc/loadavg: 5.11 2.70 1.76 5/246 924382
/proc/meminfo: memFree=121503688/131655788 swapFree=131071996/131071996
[pid=924328] ppid=924325 vsize=1779104 memory=1735032 CPUtime=161.62 cores=0,2
/proc/924328/stat : 924328 (CASHWMaxSAT-Dis) R 924325 924328 924261 0 -1 4194304 361621 0 0 0 16092 70 0 0 20 0 1 0 177516697 1821802496 433758 134679101440 4194304 14093885 140725274569584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35688448 140725274571748 140725274571863 140725274571863 140725274578879 0
/proc/924328/statm: 444776 433758 2526 2417 0 441878 0
Current children cumulated CPU time: 161.62 s
Current children cumulated vsize: 1779104 KiB
Current children cumulated memory: 1735032 KiB
[startup+222.3 s]
/proc/loadavg: 5.72 3.32 2.03 5/246 924392
/proc/meminfo: memFree=121496848/131655788 swapFree=131071996/131071996
[pid=924328] ppid=924325 vsize=1779104 memory=1735104 CPUtime=221.36 cores=0,2
/proc/924328/stat : 924328 (CASHWMaxSAT-Dis) R 924325 924328 924261 0 -1 4194304 361788 0 0 0 22064 72 0 0 20 0 1 0 177516697 1821802496 433776 134679101440 4194304 14093885 140725274569584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35688448 140725274571748 140725274571863 140725274571863 140725274578879 0
/proc/924328/statm: 444776 433776 2526 2417 0 441878 0
Current children cumulated CPU time: 221.36 s
Current children cumulated vsize: 1779104 KiB
Current children cumulated memory: 1735104 KiB
[startup+282.3 s]
/proc/loadavg: 4.84 3.51 2.18 5/246 924403
/proc/meminfo: memFree=121496208/131655788 swapFree=131071996/131071996
[pid=924328] ppid=924325 vsize=1779104 memory=1735148 CPUtime=281.09 cores=0,2
/proc/924328/stat : 924328 (CASHWMaxSAT-Dis) R 924325 924328 924261 0 -1 4194304 361985 0 0 0 28036 73 0 0 20 0 1 0 177516697 1821802496 433787 134679101440 4194304 14093885 140725274569584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35688448 140725274571748 140725274571863 140725274571863 140725274578879 0
/proc/924328/statm: 444776 433787 2526 2417 0 441878 0
Current children cumulated CPU time: 281.09 s
Current children cumulated vsize: 1779104 KiB
Current children cumulated memory: 1735148 KiB
[startup+342.3 s]
/proc/loadavg: 4.37 3.62 2.30 5/241 924413
/proc/meminfo: memFree=121495760/131655788 swapFree=131071996/131071996
[pid=924328] ppid=924325 vsize=1779104 memory=1735180 CPUtime=340.83 cores=0,2
/proc/924328/stat : 924328 (CASHWMaxSAT-Dis) R 924325 924328 924261 0 -1 4194304 362105 0 0 0 34008 75 0 0 20 0 1 0 177516697 1821802496 433795 134679101440 4194304 14093885 140725274569584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35688448 140725274571748 140725274571863 140725274571863 140725274578879 0
/proc/924328/statm: 444776 433795 2526 2417 0 441878 0
Current children cumulated CPU time: 340.83 s
Current children cumulated vsize: 1779104 KiB
Current children cumulated memory: 1735180 KiB
[startup+402.3 s]
/proc/loadavg: 4.26 3.72 2.42 5/241 924424
/proc/meminfo: memFree=121479180/131655788 swapFree=131071996/131071996
[pid=924328] ppid=924325 vsize=1780816 memory=1736872 CPUtime=400.56 cores=0,2
/proc/924328/stat : 924328 (CASHWMaxSAT-Dis) R 924325 924328 924261 0 -1 4194304 362680 0 0 0 39980 76 0 0 20 0 1 0 177516697 1823555584 434218 134679101440 4194304 14093885 140725274569584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35688448 140725274571748 140725274571863 140725274571863 140725274578879 0
/proc/924328/statm: 445204 434218 2526 2417 0 442306 0
Current children cumulated CPU time: 400.56 s
Current children cumulated vsize: 1780816 KiB
Current children cumulated memory: 1736872 KiB
[startup+462.3 s]
/proc/loadavg: 4.29 3.82 2.54 5/244 924449
/proc/meminfo: memFree=121477608/131655788 swapFree=131071996/131071996
[pid=924328] ppid=924325 vsize=1780816 memory=1736872 CPUtime=460.3 cores=0,2
/proc/924328/stat : 924328 (CASHWMaxSAT-Dis) R 924325 924328 924261 0 -1 4194304 362853 0 0 0 45952 78 0 0 20 0 1 0 177516697 1823555584 434218 134679101440 4194304 14093885 140725274569584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35688448 140725274571748 140725274571863 140725274571863 140725274578879 0
/proc/924328/statm: 445204 434218 2526 2417 0 442306 0
################
# More data... #
################
Current children cumulated memory: 1740260 KiB
[startup+1362.3 s]
/proc/loadavg: 4.12 4.09 3.55 5/244 925128
/proc/meminfo: memFree=121488296/131655788 swapFree=131071996/131071996
[pid=924328] ppid=924325 vsize=1780816 memory=1740260 CPUtime=1356.43 cores=0,2
/proc/924328/stat : 924328 (CASHWMaxSAT-Dis) R 924325 924328 924261 0 -1 4194304 365529 0 0 0 135544 99 0 0 20 0 1 0 177516697 1823555584 435065 134679101440 4194304 14093885 140725274569584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35688448 140725274571748 140725274571863 140725274571863 140725274578879 0
/proc/924328/statm: 445204 435065 2526 2417 0 442306 0
Current children cumulated CPU time: 1356.43 s
Current children cumulated vsize: 1780816 KiB
Current children cumulated memory: 1740260 KiB
[startup+1422.3 s]
/proc/loadavg: 4.10 4.09 3.58 5/244 925138
/proc/meminfo: memFree=121476124/131655788 swapFree=131071996/131071996
[pid=924328] ppid=924325 vsize=1780816 memory=1740288 CPUtime=1416.21 cores=0,2
/proc/924328/stat : 924328 (CASHWMaxSAT-Dis) R 924325 924328 924261 0 -1 4194304 365606 0 0 0 141522 99 0 0 20 0 1 0 177516697 1823555584 435072 134679101440 4194304 14093885 140725274569584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35688448 140725274571748 140725274571863 140725274571863 140725274578879 0
/proc/924328/statm: 445204 435072 2526 2417 0 442306 0
Current children cumulated CPU time: 1416.21 s
Current children cumulated vsize: 1780816 KiB
Current children cumulated memory: 1740288 KiB
[startup+1482.3 s]
/proc/loadavg: 4.12 4.10 3.62 5/244 925149
/proc/meminfo: memFree=121459868/131655788 swapFree=131071996/131071996
[pid=924328] ppid=924325 vsize=1780816 memory=1741552 CPUtime=1476.01 cores=0,2
/proc/924328/stat : 924328 (CASHWMaxSAT-Dis) R 924325 924328 924261 0 -1 4194304 365711 0 0 0 147501 100 0 0 20 0 1 0 177516697 1823555584 435388 134679101440 4194304 14093885 140725274569584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35688448 140725274571748 140725274571863 140725274571863 140725274578879 0
/proc/924328/statm: 445204 435388 2526 2417 0 442306 0
Current children cumulated CPU time: 1476.01 s
Current children cumulated vsize: 1780816 KiB
Current children cumulated memory: 1741552 KiB
[startup+1542.3 s]
/proc/loadavg: 4.27 4.13 3.66 5/245 925542
/proc/meminfo: memFree=121456424/131655788 swapFree=131071996/131071996
[pid=924328] ppid=924325 vsize=1780816 memory=1741552 CPUtime=1535.79 cores=0,2
/proc/924328/stat : 924328 (CASHWMaxSAT-Dis) R 924325 924328 924261 0 -1 4194304 365843 0 0 0 153479 100 0 0 20 0 1 0 177516697 1823555584 435388 134679101440 4194304 14093885 140725274569584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35688448 140725274571748 140725274571863 140725274571863 140725274578879 0
/proc/924328/statm: 445204 435388 2526 2417 0 442306 0
Current children cumulated CPU time: 1535.79 s
Current children cumulated vsize: 1780816 KiB
Current children cumulated memory: 1741552 KiB
[startup+1602.3 s]
/proc/loadavg: 4.21 4.13 3.70 5/243 925553
/proc/meminfo: memFree=121456644/131655788 swapFree=131071996/131071996
[pid=924328] ppid=924325 vsize=1780816 memory=1741560 CPUtime=1595.57 cores=0,2
/proc/924328/stat : 924328 (CASHWMaxSAT-Dis) R 924325 924328 924261 0 -1 4194304 365925 0 0 0 159457 100 0 0 20 0 1 0 177516697 1823555584 435390 134679101440 4194304 14093885 140725274569584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35688448 140725274571748 140725274571863 140725274571863 140725274578879 0
/proc/924328/statm: 445204 435390 2526 2417 0 442306 0
Current children cumulated CPU time: 1595.57 s
Current children cumulated vsize: 1780816 KiB
Current children cumulated memory: 1741560 KiB
[startup+1662.3 s]
/proc/loadavg: 4.19 4.14 3.73 5/243 925563
/proc/meminfo: memFree=121452652/131655788 swapFree=131071996/131071996
[pid=924328] ppid=924325 vsize=1782084 memory=1744668 CPUtime=1655.34 cores=0,2
/proc/924328/stat : 924328 (CASHWMaxSAT-Dis) R 924325 924328 924261 0 -1 4194304 366368 0 0 0 165434 100 0 0 20 0 1 0 177516697 1824854016 436167 134679101440 4194304 14093885 140725274569584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35688448 140725274571748 140725274571863 140725274571863 140725274578879 0
/proc/924328/statm: 445521 436167 2526 2417 0 442623 0
Current children cumulated CPU time: 1655.34 s
Current children cumulated vsize: 1782084 KiB
Current children cumulated memory: 1744668 KiB
[startup+1722.3 s]
/proc/loadavg: 4.15 4.13 3.76 5/244 925742
/proc/meminfo: memFree=121448344/131655788 swapFree=131071996/131071996
[pid=924328] ppid=924325 vsize=1791712 memory=1748068 CPUtime=1715.14 cores=0,2
/proc/924328/stat : 924328 (CASHWMaxSAT-Dis) R 924325 924328 924261 0 -1 4194304 368365 0 0 0 171414 100 0 0 20 0 1 0 177516697 1834713088 437017 134679101440 4194304 14093885 140725274569584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35688448 140725274571748 140725274571863 140725274571863 140725274578879 0
/proc/924328/statm: 447928 437017 2526 2417 0 445030 0
Current children cumulated CPU time: 1715.14 s
Current children cumulated vsize: 1791712 KiB
Current children cumulated memory: 1748068 KiB
[startup+1782.3 s]
/proc/loadavg: 4.10 4.12 3.78 5/244 925754
/proc/meminfo: memFree=121435172/131655788 swapFree=131071996/131071996
[pid=924328] ppid=924325 vsize=1793816 memory=1761428 CPUtime=1774.92 cores=0,2
/proc/924328/stat : 924328 (CASHWMaxSAT-Dis) R 924325 924328 924261 0 -1 4194304 369146 0 0 0 177391 101 0 0 20 0 1 0 177516697 1836867584 440357 134679101440 4194304 14093885 140725274569584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35688448 140725274571748 140725274571863 140725274571863 140725274578879 0
/proc/924328/statm: 448454 440357 2526 2417 0 445556 0
Current children cumulated CPU time: 1774.92 s
Current children cumulated vsize: 1793816 KiB
Current children cumulated memory: 1761428 KiB
[startup+1817.02 s]
# the end of solver process 924328 was just reported to runsolver
# Child status: 20
# cumulated CPU time of all completed processes: user=1808.48 s, system=1.03459 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1792 s]*
/proc/loadavg: 4.15 4.13 3.79 5/244 925755
/proc/meminfo: memFree=121434980/131655788 swapFree=131071996/131071996
[pid=924328] ppid=924325 vsize=1793816 memory=1761428 CPUtime=1784.59 cores=0,2
/proc/924328/stat : 924328 (CASHWMaxSAT-Dis) R 924325 924328 924261 0 -1 4194304 369148 0 0 0 178358 101 0 0 20 0 1 0 177516697 1836867584 440357 134679101440 4194304 14093885 140725274569584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35688448 140725274571748 140725274571863 140725274571863 140725274578879 0
/proc/924328/statm: 448454 440357 2526 2417 0 445556 0
Current children cumulated CPU time: 1784.59 s
Current children cumulated vsize: 1793816 KiB
Current children cumulated memory: 1761428 KiB
[startup+1804.8 s]
/proc/loadavg: 4.12 4.12 3.79 5/244 925758
/proc/meminfo: memFree=121581916/131655788 swapFree=131071996/131071996
[pid=924328] ppid=924325 vsize=1711212 memory=1682936 CPUtime=1797.32 cores=0,2
/proc/924328/stat : 924328 (CASHWMaxSAT-Dis) R 924325 924328 924261 0 -1 4194304 370188 0 0 0 179631 101 0 0 20 0 1 0 177516697 1752281088 420734 134679101440 4194304 14093885 140725274569584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35688448 140725274571748 140725274571863 140725274571863 140725274578879 0
/proc/924328/statm: 427803 420734 2526 2417 0 424905 0
Current children cumulated CPU time: 1797.32 s
Current children cumulated vsize: 1711212 KiB
Current children cumulated memory: 1682936 KiB
[startup+1811.2 s]
/proc/loadavg: 4.11 4.12 3.79 5/244 925759
/proc/meminfo: memFree=121710236/131655788 swapFree=131071996/131071996
[pid=924328] ppid=924325 vsize=1711212 memory=1682936 CPUtime=1803.7 cores=0,2
/proc/924328/stat : 924328 (CASHWMaxSAT-Dis) R 924325 924328 924261 0 -1 4194304 370189 0 0 0 180269 101 0 0 20 0 1 0 177516697 1752281088 420734 134679101440 4194304 14093885 140725274569584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35688448 140725274571748 140725274571863 140725274571863 140725274578879 0
/proc/924328/statm: 427803 420734 2526 2417 0 424905 0
Current children cumulated CPU time: 1803.7 s
Current children cumulated vsize: 1711212 KiB
Current children cumulated memory: 1682936 KiB
[startup+1814.4 s]
/proc/loadavg: 4.10 4.12 3.79 5/244 925759
/proc/meminfo: memFree=121710212/131655788 swapFree=131071996/131071996
[pid=924328] ppid=924325 vsize=1711212 memory=1682936 CPUtime=1806.89 cores=0,2
/proc/924328/stat : 924328 (CASHWMaxSAT-Dis) R 924325 924328 924261 0 -1 4194304 370206 0 0 0 180588 101 0 0 20 0 1 0 177516697 1752281088 420734 134679101440 4194304 14093885 140725274569584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35688448 140725274571748 140725274571863 140725274571863 140725274578879 0
/proc/924328/statm: 427803 420734 2526 2417 0 424905 0
Current children cumulated CPU time: 1806.89 s
Current children cumulated vsize: 1711212 KiB
Current children cumulated memory: 1682936 KiB
[startup+1816 s]*
/proc/loadavg: 4.10 4.12 3.79 5/244 925805
/proc/meminfo: memFree=123354000/131655788 swapFree=131071996/131071996
[pid=924328] ppid=924325 vsize=1711212 memory=1682936 CPUtime=1808.5 cores=0,2
/proc/924328/stat : 924328 (CASHWMaxSAT-Dis) R 924325 924328 924261 0 -1 4194304 370208 0 0 0 180749 101 0 0 20 0 1 0 177516697 1752281088 420734 134679101440 4194304 14093885 140725274569584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35688448 140725274571748 140725274571863 140725274571863 140725274578879 0
/proc/924328/statm: 427803 420734 2526 2417 0 424905 0
Current children cumulated CPU time: 1808.5 s
Current children cumulated vsize: 1711212 KiB
Current children cumulated memory: 1682936 KiB
[startup+1816.8 s]
/proc/loadavg: 4.10 4.12 3.79 5/244 925805
/proc/meminfo: memFree=123354000/131655788 swapFree=131071996/131071996
[pid=924328] ppid=924325 vsize=1711212 memory=1682936 CPUtime=1809.28 cores=0,2
/proc/924328/stat : 924328 (CASHWMaxSAT-Dis) R 924325 924328 924261 0 -1 4194304 370208 0 0 0 180827 101 0 0 20 0 1 0 177516697 1752281088 420734 134679101440 4194304 14093885 140725274569584 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35688448 140725274571748 140725274571863 140725274571863 140725274578879 0
/proc/924328/statm: 427803 420734 2526 2417 0 424905 0
Current children cumulated CPU time: 1809.28 s
Current children cumulated vsize: 1711212 KiB
Current children cumulated memory: 1682936 KiB
[startup+1817 s]*
/proc/loadavg: 4.10 4.12 3.79 5/244 925805
/proc/meminfo: memFree=123307364/131655788 swapFree=131071996/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): 1817.02
CPU time (s): 1809.52
CPU user time (s): 1808.48
CPU system time (s): 1.03459
CPU usage (%): 99.5869
Max. virtual memory (cumulated for all children) (KiB): 1793816
Max. memory (cumulated for all children) (KiB): 1761444
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1808.48
system time used= 1.03459
maximum resident set size= 1761444
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 370208
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= 3
involuntary context switches= 12677
# summary of solver processes directly reported to runsolver:
# pid: 924328
# total CPU time (s): 1809.52
# total CPU user time (s): 1808.48
# total CPU system time (s): 1.03459
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.9722 second user time and 14.8655 second system time
The end
Begin job on nodeC011 at 2024-07-18 00:00:08
IDJOB=4440174
IDBENCH=158390
IDSOLVER=3077
FILE ID=nodeC011/4440174-1721253595
RUNJOBID= nodeC011-1721253608-924278
SLURM_JOB_ID= 7509028
Free space on /tmp= 723772 MiB
SOLVER NAME= CASHWMaxSAT-DisjCom-S 2024-07-10
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/EmployeeScheduling/normalized-sep4.5.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-4440174-1721253595/watcher-4440174-1721253595 -o /tmp/evaluation-result-4440174-1721253595/solver-4440174-1721253595 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721253608-924278 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4440174-1721253595.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b67c8b15922ffb2eac696beabc53406c
RANDOM SEED=1894328305
nodeC011.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.299
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.394
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.120
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.120
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1296.912
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.246
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.120
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.120
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 128396836 kB
MemAvailable: 129942552 kB
Buffers: 491776 kB
Cached: 1881512 kB
SwapCached: 0 kB
Active: 964944 kB
Inactive: 1729964 kB
Active(anon): 1324 kB
Inactive(anon): 358000 kB
Active(file): 963620 kB
Inactive(file): 1371964 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 55620 kB
Writeback: 36 kB
AnonPages: 321716 kB
Mapped: 105068 kB
Shmem: 37704 kB
KReclaimable: 100664 kB
Slab: 201272 kB
SReclaimable: 100664 kB
SUnreclaim: 100608 kB
KernelStack: 3632 kB
PageTables: 9332 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 631708 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 56416 kB
HardwareCorrupted: 0 kB
AnonHugePages: 196608 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: 277320 kB
DirectMap2M: 33181696 kB
DirectMap1G: 102760448 kB
Free space on /tmp at the end= 723720 MiB
End job on nodeC011 at 2024-07-18 00:30:25