0.40/0.50 c Using cadical-2.0.0-2df7b7f SAT solver by Armin Biere (2022)
0.40/0.50 c Using SCIP solver, version 8.1.0, https://www.scipopt.org
0.60/0.63 c Starting SCIP solver (with time-limit = 1800s) ...
1795.71/1800.64 c SCIP timeout with lower and upper bounds: [3479356, 9223372036854775807]
3600.09/3610.00 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (60435 MiB free)
memory of node 1: 64510 MiB (62880 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438919-1721243822/watcher-4438919-1721243822 -o /tmp/evaluation-result-4438919-1721243822/solver-4438919-1721243822 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721240223-935385 --watchdog 3760 CASHWMaxSAT-DisjCad-SP HOME/instance-4438919-1721243822.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
solver pid=937418, runsolver pid=937415
Current StackSize limit: 8192 KiB
[startup+0.100091 s]*
/proc/loadavg: 4.13 4.11 4.07 6/254 937419
/proc/meminfo: memFree=126226564/131524600 swapFree=131071996/131071996
[pid=937418] ppid=937415 vsize=48308 memory=33204 CPUtime=0.1 cores=4,6
/proc/937418/stat : 937418 (CASHWMaxSAT-Dis) R 937415 937418 935374 0 -1 4194304 7891 0 0 0 9 1 0 0 20 0 1 0 176546375 49467392 8301 134679101440 4194304 15356333 140720603973104 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 47996928 140720603980770 140720603980886 140720603980886 140720603987902 0
/proc/937418/statm: 12077 8301 954 2726 0 8825 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 48308 KiB
Current children cumulated memory: 33204 KiB
[startup+0.205834 s]*
/proc/loadavg: 4.13 4.11 4.07 5/254 937419
/proc/meminfo: memFree=126204264/131524600 swapFree=131071996/131071996
[pid=937418] ppid=937415 vsize=54736 memory=40040 CPUtime=0.2 cores=4,6
/proc/937418/stat : 937418 (CASHWMaxSAT-Dis) R 937415 937418 935374 0 -1 4194304 10839 0 0 0 19 1 0 0 20 0 1 0 176546375 56049664 10010 134679101440 4194304 15356333 140720603973104 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 47996928 140720603980770 140720603980886 140720603980886 140720603987902 0
/proc/937418/statm: 13684 10010 1034 2726 0 10432 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 54736 KiB
Current children cumulated memory: 40040 KiB
[startup+0.305431 s]*
/proc/loadavg: 4.13 4.11 4.07 5/254 937419
/proc/meminfo: memFree=126174604/131524600 swapFree=131071996/131071996
[pid=937418] ppid=937415 vsize=72420 memory=57788 CPUtime=0.3 cores=4,6
/proc/937418/stat : 937418 (CASHWMaxSAT-Dis) R 937415 937418 935374 0 -1 4194304 15249 0 0 0 28 2 0 0 20 0 1 0 176546375 74158080 14447 134679101440 4194304 15356333 140720603973104 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 17424944 17514448 47996928 140720603980770 140720603980886 140720603980886 140720603987902 0
/proc/937418/statm: 18105 14447 1050 2726 0 14853 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 72420 KiB
Current children cumulated memory: 57788 KiB
[startup+0.700218 s]
/proc/loadavg: 4.13 4.11 4.07 5/254 937419
/proc/meminfo: memFree=126114708/131524600 swapFree=131071996/131071996
[pid=937418] ppid=937415 vsize=226200 memory=214276 CPUtime=0.68 cores=4,6
/proc/937418/stat : 937418 (CASHWMaxSAT-Dis) R 937415 937418 935374 0 -1 4194304 50733 0 0 0 62 6 0 0 20 0 1 0 176546375 231628800 53569 134679101440 4194304 15356333 140720603973104 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 47996928 140720603980770 140720603980886 140720603980886 140720603987902 0
/proc/937418/statm: 56550 53569 2538 2726 0 53298 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 226200 KiB
Current children cumulated memory: 214276 KiB
[startup+1.50023 s]
/proc/loadavg: 4.13 4.11 4.07 5/254 937419
/proc/meminfo: memFree=125851868/131524600 swapFree=131071996/131071996
[pid=937418] ppid=937415 vsize=356408 memory=340644 CPUtime=1.48 cores=4,6
/proc/937418/stat : 937418 (CASHWMaxSAT-Dis) R 937415 937418 935374 0 -1 4194304 82336 0 0 0 137 11 0 0 20 0 1 0 176546375 364961792 85161 134679101440 4194304 15356333 140720603973104 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 47996928 140720603980770 140720603980886 140720603980886 140720603987902 0
/proc/937418/statm: 89102 85161 2634 2726 0 85850 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 356408 KiB
Current children cumulated memory: 340644 KiB
[startup+3.10529 s]
/proc/loadavg: 4.13 4.11 4.07 5/254 937465
/proc/meminfo: memFree=125700076/131524600 swapFree=131071996/131071996
[pid=937418] ppid=937415 vsize=373900 memory=358728 CPUtime=3.09 cores=4,6
/proc/937418/stat : 937418 (CASHWMaxSAT-Dis) R 937415 937418 935374 0 -1 4194304 86965 0 0 0 296 13 0 0 20 0 1 0 176546375 382873600 89682 134679101440 4194304 15356333 140720603973104 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 47996928 140720603980770 140720603980886 140720603980886 140720603987902 0
/proc/937418/statm: 93475 89682 2650 2726 0 90223 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 373900 KiB
Current children cumulated memory: 358728 KiB
[startup+6.30022 s]
/proc/loadavg: 4.12 4.11 4.07 5/254 937465
/proc/meminfo: memFree=125290744/131524600 swapFree=131071996/131071996
[pid=937418] ppid=937415 vsize=383048 memory=367928 CPUtime=6.27 cores=4,6
/proc/937418/stat : 937418 (CASHWMaxSAT-Dis) R 937415 937418 935374 0 -1 4194304 89258 0 0 0 614 13 0 0 20 0 1 0 176546375 392241152 91982 134679101440 4194304 15356333 140720603973104 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 47996928 140720603980770 140720603980886 140720603980886 140720603987902 0
/proc/937418/statm: 95762 91982 2650 2726 0 92510 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 383048 KiB
Current children cumulated memory: 367928 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.11 4.07 5/254 937466
/proc/meminfo: memFree=123438620/131524600 swapFree=131071996/131071996
[pid=937418] ppid=937415 vsize=406308 memory=390784 CPUtime=12.66 cores=4,6
/proc/937418/stat : 937418 (CASHWMaxSAT-Dis) R 937415 937418 935374 0 -1 4194304 95030 0 0 0 1251 15 0 0 20 0 1 0 176546375 416059392 97696 134679101440 4194304 15356333 140720603973104 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 47996928 140720603980770 140720603980886 140720603980886 140720603987902 0
/proc/937418/statm: 101577 97696 2650 2726 0 98325 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 406308 KiB
Current children cumulated memory: 390784 KiB
[startup+25.5002 s]
/proc/loadavg: 4.09 4.10 4.06 5/254 937469
/proc/meminfo: memFree=120904640/131524600 swapFree=131071996/131071996
[pid=937418] ppid=937415 vsize=443708 memory=428380 CPUtime=25.42 cores=4,6
/proc/937418/stat : 937418 (CASHWMaxSAT-Dis) R 937415 937418 935374 0 -1 4194304 104494 0 0 0 2526 16 0 0 20 0 1 0 176546375 454356992 107095 134679101440 4194304 15356333 140720603973104 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 47996928 140720603980770 140720603980886 140720603980886 140720603987902 0
/proc/937418/statm: 110927 107095 2650 2726 0 107675 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 443708 KiB
Current children cumulated memory: 428380 KiB
[startup+51.1055 s]
/proc/loadavg: 4.18 4.12 4.07 5/255 937475
/proc/meminfo: memFree=120805948/131524600 swapFree=131071996/131071996
[pid=937418] ppid=937415 vsize=513756 memory=498628 CPUtime=50.96 cores=4,6
/proc/937418/stat : 937418 (CASHWMaxSAT-Dis) R 937415 937418 935374 0 -1 4194304 120546 0 0 0 5076 20 0 0 20 0 1 0 176546375 526086144 124657 134679101440 4194304 15356333 140720603973104 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 47996928 140720603980770 140720603980886 140720603980886 140720603987902 0
/proc/937418/statm: 128439 124657 2650 2726 0 125187 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 513756 KiB
Current children cumulated memory: 498628 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.12 4.07 5/255 937483
/proc/meminfo: memFree=120557228/131524600 swapFree=131071996/131071996
[pid=937418] ppid=937415 vsize=624464 memory=609212 CPUtime=102.01 cores=4,6
/proc/937418/stat : 937418 (CASHWMaxSAT-Dis) R 937415 937418 935374 0 -1 4194304 148182 0 0 0 10176 25 0 0 20 0 1 0 176546375 639451136 152303 134679101440 4194304 15356333 140720603973104 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 47996928 140720603980770 140720603980886 140720603980886 140720603987902 0
/proc/937418/statm: 156116 152303 2650 2726 0 152864 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 624464 KiB
Current children cumulated memory: 609212 KiB
[startup+162.3 s]
/proc/loadavg: 4.19 4.13 4.08 5/255 937493
/proc/meminfo: memFree=120462636/131524600 swapFree=131071996/131071996
[pid=937418] ppid=937415 vsize=738548 memory=723232 CPUtime=161.85 cores=4,6
/proc/937418/stat : 937418 (CASHWMaxSAT-Dis) R 937415 937418 935374 0 -1 4194304 176723 0 0 0 16154 31 0 0 20 0 1 0 176546375 756273152 180808 134679101440 4194304 15356333 140720603973104 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 47996928 140720603980770 140720603980886 140720603980886 140720603987902 0
/proc/937418/statm: 184637 180808 2650 2726 0 181385 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 738548 KiB
Current children cumulated memory: 723232 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.12 4.08 5/257 937508
/proc/meminfo: memFree=120381024/131524600 swapFree=131071996/131071996
[pid=937418] ppid=937415 vsize=835984 memory=820632 CPUtime=221.68 cores=4,6
/proc/937418/stat : 937418 (CASHWMaxSAT-Dis) R 937415 937418 935374 0 -1 4194304 201040 0 0 0 22133 35 0 0 20 0 1 0 176546375 856047616 205158 134679101440 4194304 15356333 140720603973104 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 47996928 140720603980770 140720603980886 140720603980886 140720603987902 0
/proc/937418/statm: 208996 205158 2650 2726 0 205744 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 835984 KiB
Current children cumulated memory: 820632 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.11 4.08 5/257 937518
/proc/meminfo: memFree=120227916/131524600 swapFree=131071996/131071996
[pid=937418] ppid=937415 vsize=911232 memory=895728 CPUtime=281.53 cores=4,6
/proc/937418/stat : 937418 (CASHWMaxSAT-Dis) R 937415 937418 935374 0 -1 4194304 219892 0 0 0 28113 40 0 0 20 0 1 0 176546375 933101568 223932 134679101440 4194304 15356333 140720603973104 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 47996928 140720603980770 140720603980886 140720603980886 140720603987902 0
/proc/937418/statm: 227808 223932 2650 2726 0 224556 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 911232 KiB
Current children cumulated memory: 895728 KiB
[startup+342.3 s]
/proc/loadavg: 4.07 4.10 4.08 5/257 937528
/proc/meminfo: memFree=120186448/131524600 swapFree=131071996/131071996
[pid=937418] ppid=937415 vsize=916268 memory=900716 CPUtime=341.36 cores=4,6
/proc/937418/stat : 937418 (CASHWMaxSAT-Dis) R 937415 937418 935374 0 -1 4194304 221150 0 0 0 34096 40 0 0 20 0 1 0 176546375 938258432 225179 134679101440 4194304 15356333 140720603973104 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 47996928 140720603980770 140720603980886 140720603980886 140720603987902 0
/proc/937418/statm: 229067 225179 2650 2726 0 225815 0
Current children cumulated CPU time: 341.36 s
Current children cumulated vsize: 916268 KiB
Current children cumulated memory: 900716 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/256 937538
/proc/meminfo: memFree=120151308/131524600 swapFree=131071996/131071996
[pid=937418] ppid=937415 vsize=1013716 memory=995812 CPUtime=401.2 cores=4,6
/proc/937418/stat : 937418 (CASHWMaxSAT-Dis) R 937415 937418 935374 0 -1 4194304 244304 0 0 0 40076 44 0 0 20 0 1 0 176546375 1038045184 248953 134679101440 4194304 15356333 140720603973104 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 47996928 140720603980770 140720603980886 140720603980886 140720603987902 0
/proc/937418/statm: 253429 248953 2762 2726 0 250177 0
Current children cumulated CPU time: 401.2 s
Current children cumulated vsize: 1013716 KiB
Current children cumulated memory: 995812 KiB
[startup+462.3 s]
/proc/loadavg: 4.17 4.13 4.09 5/256 937550
/proc/meminfo: memFree=119941132/131524600 swapFree=131071996/131071996
[pid=937418] ppid=937415 vsize=1199460 memory=1117364 CPUtime=461.04 cores=4,6
/proc/937418/stat : 937418 (CASHWMaxSAT-Dis) R 937415 937418 935374 0 -1 4194304 265101 0 0 0 46056 48 0 0 20 0 1 0 176546375 1228247040 279341 134679101440 4194304 15356333 140720603973104 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 47996928 140720603980770 140720603980886 140720603980886 140720603987902 0
/proc/937418/statm: 299865 279341 2778 2726 0 296613 0
################
# More data... #
################
Current children cumulated memory: 1550184 KiB
[startup+2862.3 s]
/proc/loadavg: 4.11 4.19 4.14 5/256 939152
/proc/meminfo: memFree=118439480/131524600 swapFree=131071996/131071996
[pid=937418] ppid=937415 vsize=1752064 memory=1550184 CPUtime=2854.47 cores=4,6
/proc/937418/stat : 937418 (CASHWMaxSAT-Dis) R 937415 937418 935374 0 -1 4194304 443725 0 0 0 285283 164 0 0 20 0 1 0 176546375 1794113536 387546 134679101440 4194304 15356333 140720603973104 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 47996928 140720603980770 140720603980886 140720603980886 140720603987902 0
/proc/937418/statm: 438016 387546 2826 2726 0 434764 0
Current children cumulated CPU time: 2854.47 s
Current children cumulated vsize: 1752064 KiB
Current children cumulated memory: 1550184 KiB
[startup+2922.3 s]
/proc/loadavg: 4.15 4.19 4.14 5/254 939162
/proc/meminfo: memFree=118484452/131524600 swapFree=131071996/131071996
[pid=937418] ppid=937415 vsize=1752064 memory=1550184 CPUtime=2914.3 cores=4,6
/proc/937418/stat : 937418 (CASHWMaxSAT-Dis) R 937415 937418 935374 0 -1 4194304 443731 0 0 0 291263 167 0 0 20 0 1 0 176546375 1794113536 387546 134679101440 4194304 15356333 140720603973104 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 47996928 140720603980770 140720603980886 140720603980886 140720603987902 0
/proc/937418/statm: 438016 387546 2826 2726 0 434764 0
Current children cumulated CPU time: 2914.3 s
Current children cumulated vsize: 1752064 KiB
Current children cumulated memory: 1550184 KiB
[startup+2982.3 s]
/proc/loadavg: 4.14 4.18 4.14 5/254 939172
/proc/meminfo: memFree=118271676/131524600 swapFree=131071996/131071996
[pid=937418] ppid=937415 vsize=1752064 memory=1550184 CPUtime=2974.14 cores=4,6
/proc/937418/stat : 937418 (CASHWMaxSAT-Dis) R 937415 937418 935374 0 -1 4194304 443737 0 0 0 297244 170 0 0 20 0 1 0 176546375 1794113536 387546 134679101440 4194304 15356333 140720603973104 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 47996928 140720603980770 140720603980886 140720603980886 140720603987902 0
/proc/937418/statm: 438016 387546 2826 2726 0 434764 0
Current children cumulated CPU time: 2974.14 s
Current children cumulated vsize: 1752064 KiB
Current children cumulated memory: 1550184 KiB
[startup+3042.3 s]
/proc/loadavg: 4.22 4.19 4.14 5/254 939183
/proc/meminfo: memFree=118290344/131524600 swapFree=131071996/131071996
[pid=937418] ppid=937415 vsize=1752064 memory=1550184 CPUtime=3033.97 cores=4,6
/proc/937418/stat : 937418 (CASHWMaxSAT-Dis) R 937415 937418 935374 0 -1 4194304 443743 0 0 0 303225 172 0 0 20 0 1 0 176546375 1794113536 387546 134679101440 4194304 15356333 140720603973104 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 47996928 140720603980770 140720603980886 140720603980886 140720603987902 0
/proc/937418/statm: 438016 387546 2826 2726 0 434764 0
Current children cumulated CPU time: 3033.97 s
Current children cumulated vsize: 1752064 KiB
Current children cumulated memory: 1550184 KiB
[startup+3102.3 s]
/proc/loadavg: 4.14 4.17 4.14 5/254 939193
/proc/meminfo: memFree=118267852/131524600 swapFree=131071996/131071996
[pid=937418] ppid=937415 vsize=1752064 memory=1550184 CPUtime=3093.8 cores=4,6
/proc/937418/stat : 937418 (CASHWMaxSAT-Dis) R 937415 937418 935374 0 -1 4194304 443749 0 0 0 309206 174 0 0 20 0 1 0 176546375 1794113536 387546 134679101440 4194304 15356333 140720603973104 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 47996928 140720603980770 140720603980886 140720603980886 140720603987902 0
/proc/937418/statm: 438016 387546 2826 2726 0 434764 0
Current children cumulated CPU time: 3093.8 s
Current children cumulated vsize: 1752064 KiB
Current children cumulated memory: 1550184 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.15 4.13 5/254 939203
/proc/meminfo: memFree=117856700/131524600 swapFree=131071996/131071996
[pid=937418] ppid=937415 vsize=1752064 memory=1550184 CPUtime=3153.64 cores=4,6
/proc/937418/stat : 937418 (CASHWMaxSAT-Dis) R 937415 937418 935374 0 -1 4194304 443755 0 0 0 315187 177 0 0 20 0 1 0 176546375 1794113536 387546 134679101440 4194304 15356333 140720603973104 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 47996928 140720603980770 140720603980886 140720603980886 140720603987902 0
/proc/937418/statm: 438016 387546 2826 2726 0 434764 0
Current children cumulated CPU time: 3153.64 s
Current children cumulated vsize: 1752064 KiB
Current children cumulated memory: 1550184 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.15 4.13 5/256 939218
/proc/meminfo: memFree=118177260/131524600 swapFree=131071996/131071996
[pid=937418] ppid=937415 vsize=1752064 memory=1550184 CPUtime=3213.48 cores=4,6
/proc/937418/stat : 937418 (CASHWMaxSAT-Dis) R 937415 937418 935374 0 -1 4194304 443761 0 0 0 321168 180 0 0 20 0 1 0 176546375 1794113536 387546 134679101440 4194304 15356333 140720603973104 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 47996928 140720603980770 140720603980886 140720603980886 140720603987902 0
/proc/937418/statm: 438016 387546 2826 2726 0 434764 0
Current children cumulated CPU time: 3213.48 s
Current children cumulated vsize: 1752064 KiB
Current children cumulated memory: 1550184 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.14 4.13 5/256 939228
/proc/meminfo: memFree=118179172/131524600 swapFree=131071996/131071996
[pid=937418] ppid=937415 vsize=1752064 memory=1550184 CPUtime=3273.3 cores=4,6
/proc/937418/stat : 937418 (CASHWMaxSAT-Dis) R 937415 937418 935374 0 -1 4194304 443767 0 0 0 327148 182 0 0 20 0 1 0 176546375 1794113536 387546 134679101440 4194304 15356333 140720603973104 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 47996928 140720603980770 140720603980886 140720603980886 140720603987902 0
/proc/937418/statm: 438016 387546 2826 2726 0 434764 0
Current children cumulated CPU time: 3273.3 s
Current children cumulated vsize: 1752064 KiB
Current children cumulated memory: 1550184 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.12 4.12 5/256 939238
/proc/meminfo: memFree=118167408/131524600 swapFree=131071996/131071996
[pid=937418] ppid=937415 vsize=1752064 memory=1550184 CPUtime=3333.14 cores=4,6
/proc/937418/stat : 937418 (CASHWMaxSAT-Dis) R 937415 937418 935374 0 -1 4194304 443773 0 0 0 333129 185 0 0 20 0 1 0 176546375 1794113536 387546 134679101440 4194304 15356333 140720603973104 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 47996928 140720603980770 140720603980886 140720603980886 140720603987902 0
/proc/937418/statm: 438016 387546 2826 2726 0 434764 0
Current children cumulated CPU time: 3333.14 s
Current children cumulated vsize: 1752064 KiB
Current children cumulated memory: 1550184 KiB
[startup+3402.3 s]
/proc/loadavg: 4.06 4.11 4.12 5/256 939248
/proc/meminfo: memFree=118158868/131524600 swapFree=131071996/131071996
[pid=937418] ppid=937415 vsize=1752064 memory=1550184 CPUtime=3392.97 cores=4,6
/proc/937418/stat : 937418 (CASHWMaxSAT-Dis) R 937415 937418 935374 0 -1 4194304 443779 0 0 0 339109 188 0 0 20 0 1 0 176546375 1794113536 387546 134679101440 4194304 15356333 140720603973104 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 47996928 140720603980770 140720603980886 140720603980886 140720603987902 0
/proc/937418/statm: 438016 387546 2826 2726 0 434764 0
Current children cumulated CPU time: 3392.97 s
Current children cumulated vsize: 1752064 KiB
Current children cumulated memory: 1550184 KiB
[startup+3462.3 s]
/proc/loadavg: 4.06 4.11 4.11 5/256 939260
/proc/meminfo: memFree=117660364/131524600 swapFree=131071996/131071996
[pid=937418] ppid=937415 vsize=1752064 memory=1550184 CPUtime=3452.81 cores=4,6
/proc/937418/stat : 937418 (CASHWMaxSAT-Dis) R 937415 937418 935374 0 -1 4194304 443785 0 0 0 345090 191 0 0 20 0 1 0 176546375 1794113536 387546 134679101440 4194304 15356333 140720603973104 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 47996928 140720603980770 140720603980886 140720603980886 140720603987902 0
/proc/937418/statm: 438016 387546 2826 2726 0 434764 0
Current children cumulated CPU time: 3452.81 s
Current children cumulated vsize: 1752064 KiB
Current children cumulated memory: 1550184 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.12 4.11 5/254 939270
/proc/meminfo: memFree=117654160/131524600 swapFree=131071996/131071996
[pid=937418] ppid=937415 vsize=1752064 memory=1550780 CPUtime=3512.62 cores=4,6
/proc/937418/stat : 937418 (CASHWMaxSAT-Dis) R 937415 937418 935374 0 -1 4194304 443869 0 0 0 351069 193 0 0 20 0 1 0 176546375 1794113536 387695 134679101440 4194304 15356333 140720603973104 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 47996928 140720603980770 140720603980886 140720603980886 140720603987902 0
/proc/937418/statm: 438016 387695 2826 2726 0 434764 0
Current children cumulated CPU time: 3512.62 s
Current children cumulated vsize: 1752064 KiB
Current children cumulated memory: 1550780 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.11 4.10 5/254 939280
/proc/meminfo: memFree=117550912/131524600 swapFree=131071996/131071996
[pid=937418] ppid=937415 vsize=1752064 memory=1551008 CPUtime=3572.46 cores=4,6
/proc/937418/stat : 937418 (CASHWMaxSAT-Dis) R 937415 937418 935374 0 -1 4194304 443929 0 0 0 357050 196 0 0 20 0 1 0 176546375 1794113536 387752 134679101440 4194304 15356333 140720603973104 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 47996928 140720603980770 140720603980886 140720603980886 140720603987902 0
/proc/937418/statm: 438016 387752 2826 2726 0 434764 0
Current children cumulated CPU time: 3572.46 s
Current children cumulated vsize: 1752064 KiB
Current children cumulated memory: 1551008 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610 s]*
/proc/loadavg: 4.06 4.10 4.10 5/254 939286
/proc/meminfo: memFree=117723464/131524600 swapFree=131071996/131071996
[pid=937418] ppid=937415 vsize=1752064 memory=1551008 CPUtime=3600.09 cores=4,6
/proc/937418/stat : 937418 (CASHWMaxSAT-Dis) R 937415 937418 935374 0 -1 4194304 443989 0 0 0 359812 197 0 0 20 0 1 0 176546375 1794113536 387752 134679101440 4194304 15356333 140720603973104 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 47996928 140720603980770 140720603980886 140720603980886 140720603987902 0
/proc/937418/statm: 438016 387752 2826 2726 0 434764 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 1752064 KiB
Current children cumulated memory: 1551008 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.07 s]
# the end of solver process 937418 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3598.13 s, system=2.0304 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.07
CPU time (s): 3600.16
CPU user time (s): 3598.13
CPU system time (s): 2.0304
CPU usage (%): 99.7255
Max. virtual memory (cumulated for all children) (KiB): 2651556
Max. memory (cumulated for all children) (KiB): 1838216
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.13
system time used= 2.0304
maximum resident set size= 1838216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 443989
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= 29
involuntary context switches= 2324
# summary of solver processes directly reported to runsolver:
# pid: 937418
# total CPU time (s): 3600.16
# total CPU user time (s): 3598.13
# total CPU system time (s): 2.0304
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.71037 second user time and 16.7583 second system time
The end
Begin job on nodeC022 at 2024-07-17 21:17:15
IDJOB=4438919
IDBENCH=155717
IDSOLVER=3074
FILE ID=nodeC022/4438919-1721243822
RUNJOBID= nodeC022-1721240223-935385
SLURM_JOB_ID= 7508993
Free space on /tmp= 889964 MiB
SOLVER NAME= CASHWMaxSAT-DisjCad-SP 2024-07-10
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/IC/normalized-minisat25_6_3_5_ic.opb
COMMAND LINE= CASHWMaxSAT-DisjCad-SP BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438919-1721243822/watcher-4438919-1721243822 -o /tmp/evaluation-result-4438919-1721243822/solver-4438919-1721243822 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721240223-935385 --watchdog 3760 CASHWMaxSAT-DisjCad-SP HOME/instance-4438919-1721243822.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= ee8f5ca8a7564b2d122e7dc0e93c6e43
RANDOM SEED=642643393
nodeC022.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 : 3665.575
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.66
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 : 3678.654
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 : 7006.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.127
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.66
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 : 3666.434
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 : 7006.96
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 : 3652.518
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.66
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 : 3680.308
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 : 7006.96
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.526
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.66
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.846
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 : 7006.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 126278480 kB
MemAvailable: 128602452 kB
Buffers: 446760 kB
Cached: 2698312 kB
SwapCached: 0 kB
Active: 1066864 kB
Inactive: 3544668 kB
Active(anon): 1548 kB
Inactive(anon): 1502628 kB
Active(file): 1065316 kB
Inactive(file): 2042040 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 120308 kB
Writeback: 0 kB
AnonPages: 1465524 kB
Mapped: 125516 kB
Shmem: 37720 kB
KReclaimable: 112524 kB
Slab: 222976 kB
SReclaimable: 112524 kB
SUnreclaim: 110452 kB
KernelStack: 4080 kB
PageTables: 12120 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1768868 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 64992 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1243136 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: 240340 kB
DirectMap2M: 26796032 kB
DirectMap1G: 109051904 kB
Free space on /tmp at the end= 889940 MiB
End job on nodeC022 at 2024-07-17 22:17:25