1.98/2.09 c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
1.98/2.09 c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
848.12/851.34 c Using SCIP solver, version 8.1.0, https://www.scipopt.org
848.41/851.63 c Starting SCIP solver (with time-limit = 1800s) ...
2649.90/2659.35 c SCIP timeout with lower and upper bounds: [5, 9223372036854775807]
3600.04/3612.80 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (62488 MiB free)
memory of node 1: 64473 MiB (61598 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440031-1721227120/watcher-4440031-1721227120 -o /tmp/evaluation-result-4440031-1721227120/solver-4440031-1721227120 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721218082-906852 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4440031-1721227120.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
Current StackSize limit: 8192 KiB
solver pid=913069, runsolver pid=913066
[startup+0.100222 s]*
/proc/loadavg: 4.15 4.14 4.10 5/255 913070
/proc/meminfo: memFree=127041784/131524600 swapFree=131071996/131071996
[pid=913069] ppid=913066 vsize=46404 memory=25904 CPUtime=0.09 cores=0,2
/proc/913069/stat : 913069 (CASHWMaxSAT-Dis) R 913066 913069 906842 0 -1 4194304 6570 0 0 0 8 1 0 0 20 0 1 0 174875782 47517696 6476 134679101440 4194304 14093885 140724431426272 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 50683904 140724431434724 140724431434839 140724431434839 140724431441855 0
/proc/913069/statm: 11601 6476 782 2417 0 8703 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 46404 KiB
Current children cumulated memory: 25904 KiB
[startup+0.205663 s]*
/proc/loadavg: 4.15 4.14 4.10 5/255 913070
/proc/meminfo: memFree=127015440/131524600 swapFree=131071996/131071996
[pid=913069] ppid=913066 vsize=70112 memory=53548 CPUtime=0.2 cores=0,2
/proc/913069/stat : 913069 (CASHWMaxSAT-Dis) R 913066 913069 906842 0 -1 4194304 11257 0 0 0 18 2 0 0 20 0 1 0 174875782 71794688 13387 134679101440 4194304 14093885 140724431426272 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 50683904 140724431434724 140724431434839 140724431434839 140724431441855 0
/proc/913069/statm: 17528 13387 782 2417 0 14630 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 70112 KiB
Current children cumulated memory: 53548 KiB
[startup+0.30565 s]*
/proc/loadavg: 4.15 4.14 4.10 5/255 913070
/proc/meminfo: memFree=126984624/131524600 swapFree=131071996/131071996
[pid=913069] ppid=913066 vsize=98236 memory=82548 CPUtime=0.3 cores=0,2
/proc/913069/stat : 913069 (CASHWMaxSAT-Dis) R 913066 913069 906842 0 -1 4194304 16475 0 0 0 27 3 0 0 20 0 1 0 174875782 100593664 20637 134679101440 4194304 14093885 140724431426272 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 50683904 140724431434724 140724431434839 140724431434839 140724431441855 0
/proc/913069/statm: 24559 20637 782 2417 0 21661 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 98236 KiB
Current children cumulated memory: 82548 KiB
[startup+0.70024 s]
/proc/loadavg: 4.15 4.14 4.10 5/255 913070
/proc/meminfo: memFree=126952344/131524600 swapFree=131071996/131071996
[pid=913069] ppid=913066 vsize=104432 memory=87208 CPUtime=0.68 cores=0,2
/proc/913069/stat : 913069 (CASHWMaxSAT-Dis) R 913066 913069 906842 0 -1 4194304 18797 0 0 0 65 3 0 0 20 0 1 0 174875782 106938368 21802 134679101440 4194304 14093885 140724431426272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 50683904 140724431434724 140724431434839 140724431434839 140724431441855 0
/proc/913069/statm: 26108 21802 782 2417 0 23210 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 104432 KiB
Current children cumulated memory: 87208 KiB
[startup+1.50025 s]
/proc/loadavg: 4.15 4.14 4.10 5/255 913070
/proc/meminfo: memFree=126979272/131524600 swapFree=131071996/131071996
[pid=913069] ppid=913066 vsize=115924 memory=95924 CPUtime=1.47 cores=0,2
/proc/913069/stat : 913069 (CASHWMaxSAT-Dis) R 913066 913069 906842 0 -1 4194304 18891 0 0 0 144 3 0 0 20 0 1 0 174875782 118706176 23981 134679101440 4194304 14093885 140724431426272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 50683904 140724431434724 140724431434839 140724431434839 140724431441855 0
/proc/913069/statm: 28981 23981 782 2417 0 26083 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 115924 KiB
Current children cumulated memory: 95924 KiB
[startup+3.10575 s]
/proc/loadavg: 4.14 4.14 4.10 5/255 913070
/proc/meminfo: memFree=126972408/131524600 swapFree=131071996/131071996
[pid=913069] ppid=913066 vsize=115924 memory=97052 CPUtime=3.08 cores=0,2
/proc/913069/stat : 913069 (CASHWMaxSAT-Dis) R 913066 913069 906842 0 -1 4194304 19181 0 0 0 304 4 0 0 20 0 1 0 174875782 118706176 24263 134679101440 4194304 14093885 140724431426272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 50683904 140724431434724 140724431434839 140724431434839 140724431441855 0
/proc/913069/statm: 28981 24263 814 2417 0 26083 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 115924 KiB
Current children cumulated memory: 97052 KiB
[startup+6.30023 s]
/proc/loadavg: 4.14 4.14 4.10 5/255 913118
/proc/meminfo: memFree=127090528/131524600 swapFree=131071996/131071996
[pid=913069] ppid=913066 vsize=123108 memory=107824 CPUtime=6.26 cores=0,2
/proc/913069/stat : 913069 (CASHWMaxSAT-Dis) R 913066 913069 906842 0 -1 4194304 19853 0 0 0 622 4 0 0 20 0 1 0 174875782 126062592 26956 134679101440 4194304 14093885 140724431426272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 50683904 140724431434724 140724431434839 140724431434839 140724431441855 0
/proc/913069/statm: 30777 26956 814 2417 0 27879 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 123108 KiB
Current children cumulated memory: 107824 KiB
[startup+12.7002 s]
/proc/loadavg: 4.12 4.13 4.10 5/255 913118
/proc/meminfo: memFree=127106320/131524600 swapFree=131071996/131071996
[pid=913069] ppid=913066 vsize=111616 memory=93720 CPUtime=12.63 cores=0,2
/proc/913069/stat : 913069 (CASHWMaxSAT-Dis) R 913066 913069 906842 0 -1 4194304 21604 0 0 0 1258 5 0 0 20 0 1 0 174875782 114294784 23430 134679101440 4194304 14093885 140724431426272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 50683904 140724431434724 140724431434839 140724431434839 140724431441855 0
/proc/913069/statm: 27904 23430 814 2417 0 25006 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 111616 KiB
Current children cumulated memory: 93720 KiB
[startup+25.5002 s]
/proc/loadavg: 4.10 4.13 4.10 5/255 913121
/proc/meminfo: memFree=127038588/131524600 swapFree=131071996/131071996
[pid=913069] ppid=913066 vsize=160640 memory=128464 CPUtime=25.39 cores=0,2
/proc/913069/stat : 913069 (CASHWMaxSAT-Dis) R 913066 913069 906842 0 -1 4194304 22684 0 0 0 2533 6 0 0 20 0 1 0 174875782 164495360 32116 134679101440 4194304 14093885 140724431426272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 50683904 140724431434724 140724431434839 140724431434839 140724431441855 0
/proc/913069/statm: 40160 32116 814 2417 0 37262 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 160640 KiB
Current children cumulated memory: 128464 KiB
[startup+51.1055 s]
/proc/loadavg: 4.13 4.13 4.10 5/255 913170
/proc/meminfo: memFree=127027072/131524600 swapFree=131071996/131071996
[pid=913069] ppid=913066 vsize=160640 memory=136792 CPUtime=50.89 cores=0,2
/proc/913069/stat : 913069 (CASHWMaxSAT-Dis) R 913066 913069 906842 0 -1 4194304 22768 0 0 0 5083 6 0 0 20 0 1 0 174875782 164495360 34198 134679101440 4194304 14093885 140724431426272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 50683904 140724431434724 140724431434839 140724431434839 140724431441855 0
/proc/913069/statm: 40160 34198 814 2417 0 37262 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 160640 KiB
Current children cumulated memory: 136792 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/257 913182
/proc/meminfo: memFree=127016488/131524600 swapFree=131071996/131071996
[pid=913069] ppid=913066 vsize=160640 memory=140888 CPUtime=101.89 cores=0,2
/proc/913069/stat : 913069 (CASHWMaxSAT-Dis) R 913066 913069 906842 0 -1 4194304 22844 0 0 0 10182 7 0 0 20 0 1 0 174875782 164495360 35222 134679101440 4194304 14093885 140724431426272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 50683904 140724431434724 140724431434839 140724431434839 140724431441855 0
/proc/913069/statm: 40160 35222 814 2417 0 37262 0
Current children cumulated CPU time: 101.89 s
Current children cumulated vsize: 160640 KiB
Current children cumulated memory: 140888 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/256 913193
/proc/meminfo: memFree=126973132/131524600 swapFree=131071996/131071996
[pid=913069] ppid=913066 vsize=172884 memory=155224 CPUtime=161.66 cores=0,2
/proc/913069/stat : 913069 (CASHWMaxSAT-Dis) R 913066 913069 906842 0 -1 4194304 24945 0 0 0 16154 12 0 0 20 0 1 0 174875782 177033216 38806 134679101440 4194304 14093885 140724431426272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 50683904 140724431434724 140724431434839 140724431434839 140724431441855 0
/proc/913069/statm: 43221 38806 814 2417 0 40323 0
Current children cumulated CPU time: 161.66 s
Current children cumulated vsize: 172884 KiB
Current children cumulated memory: 155224 KiB
[startup+222.3 s]
/proc/loadavg: 4.28 4.16 4.11 5/256 913249
/proc/meminfo: memFree=127857000/131524600 swapFree=131071996/131071996
[pid=913069] ppid=913066 vsize=172884 memory=155240 CPUtime=221.43 cores=0,2
/proc/913069/stat : 913069 (CASHWMaxSAT-Dis) R 913066 913069 906842 0 -1 4194304 26940 0 0 0 22127 16 0 0 20 0 1 0 174875782 177033216 38810 134679101440 4194304 14093885 140724431426272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 50683904 140724431434724 140724431434839 140724431434839 140724431441855 0
/proc/913069/statm: 43221 38810 814 2417 0 40323 0
Current children cumulated CPU time: 221.43 s
Current children cumulated vsize: 172884 KiB
Current children cumulated memory: 155240 KiB
[startup+282.3 s]
/proc/loadavg: 4.40 4.21 4.12 5/256 913260
/proc/meminfo: memFree=127874100/131524600 swapFree=131071996/131071996
[pid=913069] ppid=913066 vsize=172884 memory=157320 CPUtime=281.2 cores=0,2
/proc/913069/stat : 913069 (CASHWMaxSAT-Dis) R 913066 913069 906842 0 -1 4194304 28587 0 0 0 28101 19 0 0 20 0 1 0 174875782 177033216 39330 134679101440 4194304 14093885 140724431426272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 50683904 140724431434724 140724431434839 140724431434839 140724431441855 0
/proc/913069/statm: 43221 39330 814 2417 0 40323 0
Current children cumulated CPU time: 281.2 s
Current children cumulated vsize: 172884 KiB
Current children cumulated memory: 157320 KiB
[startup+342.3 s]
/proc/loadavg: 4.36 4.25 4.14 5/256 913272
/proc/meminfo: memFree=127842584/131524600 swapFree=131071996/131071996
[pid=913069] ppid=913066 vsize=172884 memory=157800 CPUtime=340.97 cores=0,2
/proc/913069/stat : 913069 (CASHWMaxSAT-Dis) R 913066 913069 906842 0 -1 4194304 29492 0 0 0 34074 23 0 0 20 0 1 0 174875782 177033216 39450 134679101440 4194304 14093885 140724431426272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 50683904 140724431434724 140724431434839 140724431434839 140724431441855 0
/proc/913069/statm: 43221 39450 814 2417 0 40323 0
Current children cumulated CPU time: 340.97 s
Current children cumulated vsize: 172884 KiB
Current children cumulated memory: 157800 KiB
[startup+402.3 s]
/proc/loadavg: 4.19 4.21 4.14 5/256 913283
/proc/meminfo: memFree=127810588/131524600 swapFree=131071996/131071996
[pid=913069] ppid=913066 vsize=172884 memory=157800 CPUtime=400.75 cores=0,2
/proc/913069/stat : 913069 (CASHWMaxSAT-Dis) R 913066 913069 906842 0 -1 4194304 30744 0 0 0 40044 31 0 0 20 0 1 0 174875782 177033216 39450 134679101440 4194304 14093885 140724431426272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 50683904 140724431434724 140724431434839 140724431434839 140724431441855 0
/proc/913069/statm: 43221 39450 814 2417 0 40323 0
Current children cumulated CPU time: 400.75 s
Current children cumulated vsize: 172884 KiB
Current children cumulated memory: 157800 KiB
[startup+462.3 s]
/proc/loadavg: 4.18 4.20 4.14 5/255 913294
/proc/meminfo: memFree=127719880/131524600 swapFree=131071996/131071996
[pid=913069] ppid=913066 vsize=172884 memory=157800 CPUtime=460.52 cores=0,2
/proc/913069/stat : 913069 (CASHWMaxSAT-Dis) R 913066 913069 906842 0 -1 4194304 31301 0 0 0 46018 34 0 0 20 0 1 0 174875782 177033216 39450 134679101440 4194304 14093885 140724431426272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 50683904 140724431434724 140724431434839 140724431434839 140724431441855 0
/proc/913069/statm: 43221 39450 814 2417 0 40323 0
################
# More data... #
################
Current children cumulated memory: 1929480 KiB
[startup+2862.3 s]
/proc/loadavg: 3.10 3.11 3.28 4/249 914714
/proc/meminfo: memFree=124552124/131524600 swapFree=131071996/131071996
[pid=913069] ppid=913066 vsize=2256684 memory=1929484 CPUtime=2852.22 cores=0,2
/proc/913069/stat : 913069 (CASHWMaxSAT-Dis) R 913066 913069 906842 0 -1 4194304 511279 0 0 0 285058 164 0 0 20 0 1 0 174875782 2310844416 482371 134679101440 4194304 14093885 140724431426272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 50683904 140724431434724 140724431434839 140724431434839 140724431441855 0
/proc/913069/statm: 564171 482371 2542 2417 0 561273 0
Current children cumulated CPU time: 2852.22 s
Current children cumulated vsize: 2256684 KiB
Current children cumulated memory: 1929484 KiB
[startup+2922.3 s]
/proc/loadavg: 3.15 3.12 3.27 4/249 914725
/proc/meminfo: memFree=124535564/131524600 swapFree=131071996/131071996
[pid=913069] ppid=913066 vsize=2256684 memory=1934176 CPUtime=2912.02 cores=0,2
/proc/913069/stat : 913069 (CASHWMaxSAT-Dis) R 913066 913069 906842 0 -1 4194304 511458 0 0 0 291037 165 0 0 20 0 1 0 174875782 2310844416 483544 134679101440 4194304 14093885 140724431426272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 50683904 140724431434724 140724431434839 140724431434839 140724431441855 0
/proc/913069/statm: 564171 483544 2542 2417 0 561273 0
Current children cumulated CPU time: 2912.02 s
Current children cumulated vsize: 2256684 KiB
Current children cumulated memory: 1934176 KiB
[startup+2982.3 s]
/proc/loadavg: 3.12 3.11 3.26 4/249 914903
/proc/meminfo: memFree=124542004/131524600 swapFree=131071996/131071996
[pid=913069] ppid=913066 vsize=2256684 memory=1934176 CPUtime=2971.82 cores=0,2
/proc/913069/stat : 913069 (CASHWMaxSAT-Dis) R 913066 913069 906842 0 -1 4194304 511620 0 0 0 297017 165 0 0 20 0 1 0 174875782 2310844416 483544 134679101440 4194304 14093885 140724431426272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 50683904 140724431434724 140724431434839 140724431434839 140724431441855 0
/proc/913069/statm: 564171 483544 2542 2417 0 561273 0
Current children cumulated CPU time: 2971.82 s
Current children cumulated vsize: 2256684 KiB
Current children cumulated memory: 1934176 KiB
[startup+3042.3 s]
/proc/loadavg: 3.13 3.12 3.25 4/249 914913
/proc/meminfo: memFree=124531940/131524600 swapFree=131071996/131071996
[pid=913069] ppid=913066 vsize=2256684 memory=1934176 CPUtime=3031.61 cores=0,2
/proc/913069/stat : 913069 (CASHWMaxSAT-Dis) R 913066 913069 906842 0 -1 4194304 511742 0 0 0 302996 165 0 0 20 0 1 0 174875782 2310844416 483544 134679101440 4194304 14093885 140724431426272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 50683904 140724431434724 140724431434839 140724431434839 140724431441855 0
/proc/913069/statm: 564171 483544 2542 2417 0 561273 0
Current children cumulated CPU time: 3031.61 s
Current children cumulated vsize: 2256684 KiB
Current children cumulated memory: 1934176 KiB
[startup+3102.3 s]
/proc/loadavg: 3.15 3.13 3.24 4/251 914982
/proc/meminfo: memFree=124483596/131524600 swapFree=131071996/131071996
[pid=913069] ppid=913066 vsize=2256684 memory=1981280 CPUtime=3091.39 cores=0,2
/proc/913069/stat : 913069 (CASHWMaxSAT-Dis) R 913066 913069 906842 0 -1 4194304 511907 0 0 0 308973 166 0 0 20 0 1 0 174875782 2310844416 495320 134679101440 4194304 14093885 140724431426272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 50683904 140724431434724 140724431434839 140724431434839 140724431441855 0
/proc/913069/statm: 564171 495320 2542 2417 0 561273 0
Current children cumulated CPU time: 3091.39 s
Current children cumulated vsize: 2256684 KiB
Current children cumulated memory: 1981280 KiB
[startup+3162.3 s]
/proc/loadavg: 3.10 3.12 3.23 4/251 914993
/proc/meminfo: memFree=124492732/131524600 swapFree=131071996/131071996
[pid=913069] ppid=913066 vsize=2256684 memory=1981280 CPUtime=3151.17 cores=0,2
/proc/913069/stat : 913069 (CASHWMaxSAT-Dis) R 913066 913069 906842 0 -1 4194304 512049 0 0 0 314951 166 0 0 20 0 1 0 174875782 2310844416 495320 134679101440 4194304 14093885 140724431426272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 50683904 140724431434724 140724431434839 140724431434839 140724431441855 0
/proc/913069/statm: 564171 495320 2542 2417 0 561273 0
Current children cumulated CPU time: 3151.17 s
Current children cumulated vsize: 2256684 KiB
Current children cumulated memory: 1981280 KiB
[startup+3222.3 s]
/proc/loadavg: 3.08 3.11 3.22 4/251 915003
/proc/meminfo: memFree=124448064/131524600 swapFree=131071996/131071996
[pid=913069] ppid=913066 vsize=2256684 memory=1981280 CPUtime=3210.95 cores=0,2
/proc/913069/stat : 913069 (CASHWMaxSAT-Dis) R 913066 913069 906842 0 -1 4194304 512215 0 0 0 320929 166 0 0 20 0 1 0 174875782 2310844416 495320 134679101440 4194304 14093885 140724431426272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 50683904 140724431434724 140724431434839 140724431434839 140724431441855 0
/proc/913069/statm: 564171 495320 2542 2417 0 561273 0
Current children cumulated CPU time: 3210.95 s
Current children cumulated vsize: 2256684 KiB
Current children cumulated memory: 1981280 KiB
[startup+3282.3 s]
/proc/loadavg: 3.12 3.12 3.21 4/251 915014
/proc/meminfo: memFree=124481420/131524600 swapFree=131071996/131071996
[pid=913069] ppid=913066 vsize=2256684 memory=1983328 CPUtime=3270.72 cores=0,2
/proc/913069/stat : 913069 (CASHWMaxSAT-Dis) R 913066 913069 906842 0 -1 4194304 512428 0 0 0 326906 166 0 0 20 0 1 0 174875782 2310844416 495832 134679101440 4194304 14093885 140724431426272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 50683904 140724431434724 140724431434839 140724431434839 140724431441855 0
/proc/913069/statm: 564171 495832 2542 2417 0 561273 0
Current children cumulated CPU time: 3270.72 s
Current children cumulated vsize: 2256684 KiB
Current children cumulated memory: 1983328 KiB
[startup+3342.3 s]
/proc/loadavg: 3.09 3.11 3.20 4/251 915025
/proc/meminfo: memFree=124474228/131524600 swapFree=131071996/131071996
[pid=913069] ppid=913066 vsize=2256684 memory=1983328 CPUtime=3330.5 cores=0,2
/proc/913069/stat : 913069 (CASHWMaxSAT-Dis) R 913066 913069 906842 0 -1 4194304 512568 0 0 0 332884 166 0 0 20 0 1 0 174875782 2310844416 495832 134679101440 4194304 14093885 140724431426272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 50683904 140724431434724 140724431434839 140724431434839 140724431441855 0
/proc/913069/statm: 564171 495832 2542 2417 0 561273 0
Current children cumulated CPU time: 3330.5 s
Current children cumulated vsize: 2256684 KiB
Current children cumulated memory: 1983328 KiB
[startup+3402.3 s]
/proc/loadavg: 3.14 3.12 3.20 4/247 915035
/proc/meminfo: memFree=124438448/131524600 swapFree=131071996/131071996
[pid=913069] ppid=913066 vsize=2256684 memory=1983328 CPUtime=3390.28 cores=0,2
/proc/913069/stat : 913069 (CASHWMaxSAT-Dis) R 913066 913069 906842 0 -1 4194304 512732 0 0 0 338862 166 0 0 20 0 1 0 174875782 2310844416 495832 134679101440 4194304 14093885 140724431426272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 50683904 140724431434724 140724431434839 140724431434839 140724431441855 0
/proc/913069/statm: 564171 495832 2542 2417 0 561273 0
Current children cumulated CPU time: 3390.28 s
Current children cumulated vsize: 2256684 KiB
Current children cumulated memory: 1983328 KiB
[startup+3462.3 s]
/proc/loadavg: 3.11 3.11 3.19 4/247 915045
/proc/meminfo: memFree=124443552/131524600 swapFree=131071996/131071996
[pid=913069] ppid=913066 vsize=2256684 memory=1983328 CPUtime=3450.07 cores=0,2
/proc/913069/stat : 913069 (CASHWMaxSAT-Dis) R 913066 913069 906842 0 -1 4194304 512923 0 0 0 344841 166 0 0 20 0 1 0 174875782 2310844416 495832 134679101440 4194304 14093885 140724431426272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 50683904 140724431434724 140724431434839 140724431434839 140724431441855 0
/proc/913069/statm: 564171 495832 2542 2417 0 561273 0
Current children cumulated CPU time: 3450.07 s
Current children cumulated vsize: 2256684 KiB
Current children cumulated memory: 1983328 KiB
[startup+3522.3 s]
/proc/loadavg: 3.16 3.12 3.18 4/247 915056
/proc/meminfo: memFree=124466712/131524600 swapFree=131071996/131071996
[pid=913069] ppid=913066 vsize=2256684 memory=1983328 CPUtime=3509.86 cores=0,2
/proc/913069/stat : 913069 (CASHWMaxSAT-Dis) R 913066 913069 906842 0 -1 4194304 513091 0 0 0 350819 167 0 0 20 0 1 0 174875782 2310844416 495832 134679101440 4194304 14093885 140724431426272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 50683904 140724431434724 140724431434839 140724431434839 140724431441855 0
/proc/913069/statm: 564171 495832 2542 2417 0 561273 0
Current children cumulated CPU time: 3509.86 s
Current children cumulated vsize: 2256684 KiB
Current children cumulated memory: 1983328 KiB
[startup+3582.3 s]
/proc/loadavg: 3.12 3.11 3.18 4/247 915066
/proc/meminfo: memFree=124461140/131524600 swapFree=131071996/131071996
[pid=913069] ppid=913066 vsize=2256684 memory=1983328 CPUtime=3569.65 cores=0,2
/proc/913069/stat : 913069 (CASHWMaxSAT-Dis) R 913066 913069 906842 0 -1 4194304 513231 0 0 0 356798 167 0 0 20 0 1 0 174875782 2310844416 495832 134679101440 4194304 14093885 140724431426272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 50683904 140724431434724 140724431434839 140724431434839 140724431441855 0
/proc/913069/statm: 564171 495832 2542 2417 0 561273 0
Current children cumulated CPU time: 3569.65 s
Current children cumulated vsize: 2256684 KiB
Current children cumulated memory: 1983328 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.8 s]
/proc/loadavg: 2.93 3.07 3.16 3/240 915102
/proc/meminfo: memFree=125032764/131524600 swapFree=131071996/131071996
[pid=913069] ppid=913066 vsize=2256684 memory=1983328 CPUtime=3600.04 cores=0,2
/proc/913069/stat : 913069 (CASHWMaxSAT-Dis) R 913066 913069 906842 0 -1 4194304 513326 0 0 0 359837 167 0 0 20 0 1 0 174875782 2310844416 495832 134679101440 4194304 14093885 140724431426272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 50683904 140724431434724 140724431434839 140724431434839 140724431441855 0
/proc/913069/statm: 564171 495832 2542 2417 0 561273 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 2256684 KiB
Current children cumulated memory: 1983328 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.81 s]
# the end of solver process 913069 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3598.38 s, system=1.67576 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3612.81
CPU time (s): 3600.05
CPU user time (s): 3598.38
CPU system time (s): 1.67576
CPU usage (%): 99.647
Max. virtual memory (cumulated for all children) (KiB): 2401708
Max. memory (cumulated for all children) (KiB): 2035564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.38
system time used= 1.67576
maximum resident set size= 2035564
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 513326
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= 63
involuntary context switches= 24660
# summary of solver processes directly reported to runsolver:
# pid: 913069
# total CPU time (s): 3600.05
# total CPU user time (s): 3598.38
# total CPU system time (s): 1.67576
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.2136 second user time and 10.9783 second system time
The end
Begin job on nodeC021 at 2024-07-17 16:38:52
IDJOB=4440031
IDBENCH=148770
IDSOLVER=3077
FILE ID=nodeC021/4440031-1721227120
RUNJOBID= nodeC021-1721218082-906852
SLURM_JOB_ID= 7508936
Free space on /tmp= 890040 MiB
SOLVER NAME= CASHWMaxSAT-DisjCom-S 2024-07-10
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx49.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-4440031-1721227120/watcher-4440031-1721227120 -o /tmp/evaluation-result-4440031-1721227120/solver-4440031-1721227120 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721218082-906852 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4440031-1721227120.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= bb00c8681178995acecbc2b6e4ec1a1a
RANDOM SEED=85567904
nodeC021.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3646.069
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.42
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3682.289
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3663.063
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.42
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.153
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3658.009
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.42
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3682.404
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.767
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.42
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.921
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 127065288 kB
MemAvailable: 127918128 kB
Buffers: 458408 kB
Cached: 1230156 kB
SwapCached: 0 kB
Active: 873692 kB
Inactive: 2979948 kB
Active(anon): 1528 kB
Inactive(anon): 2201260 kB
Active(file): 872164 kB
Inactive(file): 778688 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 40712 kB
Writeback: 0 kB
AnonPages: 2164288 kB
Mapped: 121688 kB
Shmem: 37720 kB
KReclaimable: 83620 kB
Slab: 191128 kB
SReclaimable: 83620 kB
SUnreclaim: 107508 kB
KernelStack: 4096 kB
PageTables: 13652 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 2649984 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 65792 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1581056 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: 256724 kB
DirectMap2M: 23633920 kB
DirectMap1G: 112197632 kB
Free space on /tmp at the end= 890056 MiB
End job on nodeC021 at 2024-07-17 17:39:05