6.27/6.33 c Filename:instance-4450256-1721410499.opb, Cutoff_time:3600, memory_limit_gb:500000
6.27/6.33 c Use Presolve
6.27/6.33 c Parse finsih
6.27/6.33 c Start Presolve
6.27/6.33 c After Reduce Vars: 5685 Clauses: 17960 Top clause weight: 1 Hard Clauses: 17960
3599.91/3607.69 c Use LS-small
3599.91/3607.69 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: 64059 MiB (61540 MiB free)
memory of node 1: 64510 MiB (60084 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450256-1721410499/watcher-4450256-1721410499 -o /tmp/evaluation-result-4450256-1721410499/solver-4450256-1721410499 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721410509-1012353 --watchdog 3760 ./LS-MabSP -f HOME/instance-4450256-1721410499.opb -t 3600 -s 1276343069
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1012416, runsolver pid=1012404
[startup+0.100466 s]*
/proc/loadavg: 4.24 4.44 4.42 7/245 1012417
/proc/meminfo: memFree=124532500/131655788 swapFree=131071996/131071996
[pid=1012416] ppid=1012404 vsize=21764 memory=8860 CPUtime=0.1 cores=4,6
/proc/1012416/stat : 1012416 (LS-MabSP) R 1012404 1012416 1012342 0 -1 4194304 1004 0 0 0 10 0 0 0 20 0 1 0 193209067 22286336 2215 134679101440 4194304 15467897 140728894717632 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41668608 140728894719005 140728894719108 140728894719108 140728894726125 0
/proc/1012416/statm: 5441 2215 1073 2753 0 2094 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 21764 KiB
Current children cumulated memory: 8860 KiB
[startup+0.213392 s]*
/proc/loadavg: 4.24 4.44 4.42 7/245 1012417
/proc/meminfo: memFree=124518672/131655788 swapFree=131071996/131071996
[pid=1012416] ppid=1012404 vsize=27408 memory=13612 CPUtime=0.22 cores=4,6
/proc/1012416/stat : 1012416 (LS-MabSP) R 1012404 1012416 1012342 0 -1 4194304 2450 0 0 0 21 1 0 0 20 0 1 0 193209067 28065792 3403 134679101440 4194304 15467897 140728894717632 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41668608 140728894719005 140728894719108 140728894719108 140728894726125 0
/proc/1012416/statm: 6852 3403 1073 2753 0 3505 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 27408 KiB
Current children cumulated memory: 13612 KiB
[startup+0.313027 s]*
/proc/loadavg: 4.24 4.44 4.42 7/245 1012417
/proc/meminfo: memFree=124496824/131655788 swapFree=131071996/131071996
[pid=1012416] ppid=1012404 vsize=30512 memory=17312 CPUtime=0.31 cores=4,6
/proc/1012416/stat : 1012416 (LS-MabSP) R 1012404 1012416 1012342 0 -1 4194304 3697 0 0 0 30 1 0 0 20 0 1 0 193209067 31244288 4328 134679101440 4194304 15467897 140728894717632 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41668608 140728894719005 140728894719108 140728894719108 140728894726125 0
/proc/1012416/statm: 7628 4328 1105 2753 0 4281 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 30512 KiB
Current children cumulated memory: 17312 KiB
[startup+0.700267 s]
/proc/loadavg: 4.24 4.44 4.42 7/245 1012417
/proc/meminfo: memFree=124488128/131655788 swapFree=131071996/131071996
[pid=1012416] ppid=1012404 vsize=30512 memory=17312 CPUtime=0.68 cores=4,6
/proc/1012416/stat : 1012416 (LS-MabSP) R 1012404 1012416 1012342 0 -1 4194304 3698 0 0 0 67 1 0 0 20 0 1 0 193209067 31244288 4328 134679101440 4194304 15467897 140728894717632 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41668608 140728894719005 140728894719108 140728894719108 140728894726125 0
/proc/1012416/statm: 7628 4328 1105 2753 0 4281 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 30512 KiB
Current children cumulated memory: 17312 KiB
[startup+1.50037 s]
/proc/loadavg: 4.22 4.44 4.42 7/245 1012419
/proc/meminfo: memFree=124428544/131655788 swapFree=131071996/131071996
[pid=1012416] ppid=1012404 vsize=86772 memory=76028 CPUtime=1.48 cores=4,6
/proc/1012416/stat : 1012416 (LS-MabSP) R 1012404 1012416 1012342 0 -1 4194304 17173 0 0 0 144 4 0 0 20 0 1 0 193209067 88854528 19007 134679101440 4194304 15467897 140728894717632 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41668608 140728894719005 140728894719108 140728894719108 140728894726125 0
/proc/1012416/statm: 21693 19007 2721 2753 0 18346 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 86772 KiB
Current children cumulated memory: 76028 KiB
[startup+3.11344 s]
/proc/loadavg: 4.22 4.44 4.42 7/245 1012419
/proc/meminfo: memFree=124213772/131655788 swapFree=131071996/131071996
[pid=1012416] ppid=1012404 vsize=121652 memory=108360 CPUtime=3.09 cores=4,6
/proc/1012416/stat : 1012416 (LS-MabSP) R 1012404 1012416 1012342 0 -1 4194304 25100 0 0 0 303 6 0 0 20 0 1 0 193209067 124571648 27090 134679101440 4194304 15467897 140728894717632 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41668608 140728894719005 140728894719108 140728894719108 140728894726125 0
/proc/1012416/statm: 30413 27090 2849 2753 0 27066 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 121652 KiB
Current children cumulated memory: 108360 KiB
[startup+6.3003 s]
/proc/loadavg: 4.20 4.43 4.41 8/245 1012419
/proc/meminfo: memFree=124157420/131655788 swapFree=131071996/131071996
[pid=1012416] ppid=1012404 vsize=152860 memory=128632 CPUtime=6.27 cores=4,6
/proc/1012416/stat : 1012416 (LS-MabSP) R 1012404 1012416 1012342 0 -1 4194304 30174 0 0 0 621 6 0 0 20 0 1 0 193209067 156528640 32158 134679101440 4194304 15467897 140728894717632 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41668608 140728894719005 140728894719108 140728894719108 140728894726125 0
/proc/1012416/statm: 38215 32158 2849 2753 0 34868 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 152860 KiB
Current children cumulated memory: 128632 KiB
[startup+12.7003 s]
/proc/loadavg: 4.19 4.42 4.41 8/245 1012420
/proc/meminfo: memFree=124080288/131655788 swapFree=131071996/131071996
[pid=1012416] ppid=1012404 vsize=175404 memory=151608 CPUtime=12.65 cores=4,6
/proc/1012416/stat : 1012416 (LS-MabSP) R 1012404 1012416 1012342 0 -1 4194304 36569 0 0 0 1258 7 0 0 20 0 1 0 193209067 179613696 37902 134679101440 4194304 15467897 140728894717632 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41668608 140728894719005 140728894719108 140728894719108 140728894726125 0
/proc/1012416/statm: 43851 37902 2849 2753 0 40504 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 175404 KiB
Current children cumulated memory: 151608 KiB
[startup+25.5004 s]
/proc/loadavg: 4.16 4.41 4.41 7/244 1012422
/proc/meminfo: memFree=124052600/131655788 swapFree=131071996/131071996
[pid=1012416] ppid=1012404 vsize=233668 memory=165020 CPUtime=25.42 cores=4,6
/proc/1012416/stat : 1012416 (LS-MabSP) R 1012404 1012416 1012342 0 -1 4194304 39983 0 0 0 2534 8 0 0 20 0 1 0 193209067 239276032 41255 134679101440 4194304 15467897 140728894717632 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41668608 140728894719005 140728894719108 140728894719108 140728894726125 0
/proc/1012416/statm: 58417 41255 2849 2753 0 55070 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 233668 KiB
Current children cumulated memory: 165020 KiB
[startup+51.113 s]
/proc/loadavg: 4.16 4.38 4.40 8/243 1012426
/proc/meminfo: memFree=124024244/131655788 swapFree=131071996/131071996
[pid=1012416] ppid=1012404 vsize=274404 memory=171868 CPUtime=50.96 cores=4,6
/proc/1012416/stat : 1012416 (LS-MabSP) R 1012404 1012416 1012342 0 -1 4194304 41669 0 0 0 5088 8 0 0 20 0 1 0 193209067 280989696 42967 134679101440 4194304 15467897 140728894717632 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41668608 140728894719005 140728894719108 140728894719108 140728894726125 0
/proc/1012416/statm: 68601 42967 2849 2753 0 65254 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 274404 KiB
Current children cumulated memory: 171868 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.34 4.38 7/243 1012435
/proc/meminfo: memFree=123977592/131655788 swapFree=131071996/131071996
[pid=1012416] ppid=1012404 vsize=292128 memory=185612 CPUtime=102.01 cores=4,6
/proc/1012416/stat : 1012416 (LS-MabSP) R 1012404 1012416 1012342 0 -1 4194304 45162 0 0 0 10192 9 0 0 20 0 1 0 193209067 299139072 46403 134679101440 4194304 15467897 140728894717632 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41668608 140728894719005 140728894719108 140728894719108 140728894726125 0
/proc/1012416/statm: 73032 46403 2849 2753 0 69685 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 292128 KiB
Current children cumulated memory: 185612 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.29 4.36 7/243 1012446
/proc/meminfo: memFree=123886368/131655788 swapFree=131071996/131071996
[pid=1012416] ppid=1012404 vsize=338656 memory=230624 CPUtime=161.85 cores=4,6
/proc/1012416/stat : 1012416 (LS-MabSP) R 1012404 1012416 1012342 0 -1 4194304 58608 0 0 0 16173 12 0 0 20 0 1 0 193209067 346783744 57656 134679101440 4194304 15467897 140728894717632 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41668608 140728894719005 140728894719108 140728894719108 140728894726125 0
/proc/1012416/statm: 84664 57656 2849 2753 0 81317 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 338656 KiB
Current children cumulated memory: 230624 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.26 4.35 7/243 1012456
/proc/meminfo: memFree=123844292/131655788 swapFree=131071996/131071996
[pid=1012416] ppid=1012404 vsize=433964 memory=244456 CPUtime=221.67 cores=4,6
/proc/1012416/stat : 1012416 (LS-MabSP) R 1012404 1012416 1012342 0 -1 4194304 62031 0 0 0 22155 12 0 0 20 0 1 0 193209067 444379136 61114 134679101440 4194304 15467897 140728894717632 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41668608 140728894719005 140728894719108 140728894719108 140728894726125 0
/proc/1012416/statm: 108491 61114 2849 2753 0 105144 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 433964 KiB
Current children cumulated memory: 244456 KiB
[startup+282.3 s]
/proc/loadavg: 4.16 4.25 4.33 7/243 1012466
/proc/meminfo: memFree=123749336/131655788 swapFree=131071996/131071996
[pid=1012416] ppid=1012404 vsize=506544 memory=288668 CPUtime=281.49 cores=4,6
/proc/1012416/stat : 1012416 (LS-MabSP) R 1012404 1012416 1012342 0 -1 4194304 73084 0 0 0 28136 13 0 0 20 0 1 0 193209067 518701056 72167 134679101440 4194304 15467897 140728894717632 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41668608 140728894719005 140728894719108 140728894719108 140728894726125 0
/proc/1012416/statm: 126636 72167 2849 2753 0 123289 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 506544 KiB
Current children cumulated memory: 288668 KiB
[startup+342.3 s]
/proc/loadavg: 4.21 4.24 4.33 7/243 1012481
/proc/meminfo: memFree=123733016/131655788 swapFree=131071996/131071996
[pid=1012416] ppid=1012404 vsize=532140 memory=295852 CPUtime=341.32 cores=4,6
/proc/1012416/stat : 1012416 (LS-MabSP) R 1012404 1012416 1012342 0 -1 4194304 74912 0 0 0 34118 14 0 0 20 0 1 0 193209067 544911360 73963 134679101440 4194304 15467897 140728894717632 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41668608 140728894719005 140728894719108 140728894719108 140728894726125 0
/proc/1012416/statm: 133035 73963 2849 2753 0 129688 0
Current children cumulated CPU time: 341.32 s
Current children cumulated vsize: 532140 KiB
Current children cumulated memory: 295852 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.21 4.31 7/243 1012491
/proc/meminfo: memFree=123676248/131655788 swapFree=131071996/131071996
[pid=1012416] ppid=1012404 vsize=587888 memory=335096 CPUtime=401.14 cores=4,6
/proc/1012416/stat : 1012416 (LS-MabSP) R 1012404 1012416 1012342 0 -1 4194304 85302 0 0 0 40098 16 0 0 20 0 1 0 193209067 601997312 83774 134679101440 4194304 15467897 140728894717632 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41668608 140728894719005 140728894719108 140728894719108 140728894726125 0
/proc/1012416/statm: 146972 83774 2849 2753 0 143625 0
Current children cumulated CPU time: 401.14 s
Current children cumulated vsize: 587888 KiB
Current children cumulated memory: 335096 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.19 4.29 7/243 1012501
/proc/meminfo: memFree=123657140/131655788 swapFree=131071996/131071996
[pid=1012416] ppid=1012404 vsize=596848 memory=343824 CPUtime=460.97 cores=4,6
/proc/1012416/stat : 1012416 (LS-MabSP) R 1012404 1012416 1012342 0 -1 4194304 86971 0 0 0 46080 17 0 0 20 0 1 0 193209067 611172352 85956 134679101440 4194304 15467897 140728894717632 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41668608 140728894719005 140728894719108 140728894719108 140728894726125 0
/proc/1012416/statm: 149212 85956 2849 2753 0 145865 0
################
# More data... #
################
/proc/loadavg: 4.12 4.13 4.18 8/244 1013940
/proc/meminfo: memFree=123229588/131655788 swapFree=131071996/131071996
[pid=1012416] ppid=1012404 vsize=632828 memory=627204 CPUtime=3155.33 cores=4,6
/proc/1012416/stat : 1012416 (LS-MabSP) R 1012404 1012416 1012342 0 -1 4194304 132441 0 0 0 311657 3876 0 0 20 0 1 0 193209067 648015872 156801 134679101440 4194304 15467897 140728894717632 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41668608 140728894719005 140728894719108 140728894719108 140728894726125 0
/proc/1012416/statm: 158207 156801 2849 2753 0 154860 0
Current children cumulated CPU time: 3155.33 s
Current children cumulated vsize: 632828 KiB
Current children cumulated memory: 627204 KiB
[startup+3222.3 s]
/proc/loadavg: 4.20 4.15 4.18 7/245 1014119
/proc/meminfo: memFree=123229212/131655788 swapFree=131071996/131071996
[pid=1012416] ppid=1012404 vsize=632828 memory=627204 CPUtime=3215.23 cores=4,6
/proc/1012416/stat : 1012416 (LS-MabSP) R 1012404 1012416 1012342 0 -1 4194304 132453 0 0 0 317444 4079 0 0 20 0 1 0 193209067 648015872 156801 134679101440 4194304 15467897 140728894717632 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41668608 140728894719005 140728894719108 140728894719108 140728894726125 0
/proc/1012416/statm: 158207 156801 2849 2753 0 154860 0
Current children cumulated CPU time: 3215.23 s
Current children cumulated vsize: 632828 KiB
Current children cumulated memory: 627204 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.14 4.17 7/245 1014130
/proc/meminfo: memFree=123228676/131655788 swapFree=131071996/131071996
[pid=1012416] ppid=1012404 vsize=632828 memory=627204 CPUtime=3275.13 cores=4,6
/proc/1012416/stat : 1012416 (LS-MabSP) R 1012404 1012416 1012342 0 -1 4194304 132459 0 0 0 323259 4254 0 0 20 0 1 0 193209067 648015872 156801 134679101440 4194304 15467897 140728894717632 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41668608 140728894719005 140728894719108 140728894719108 140728894726125 0
/proc/1012416/statm: 158207 156801 2849 2753 0 154860 0
Current children cumulated CPU time: 3275.13 s
Current children cumulated vsize: 632828 KiB
Current children cumulated memory: 627204 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.12 4.17 7/244 1014196
/proc/meminfo: memFree=123228236/131655788 swapFree=131071996/131071996
[pid=1012416] ppid=1012404 vsize=632828 memory=627204 CPUtime=3335.03 cores=4,6
/proc/1012416/stat : 1012416 (LS-MabSP) R 1012404 1012416 1012342 0 -1 4194304 132471 0 0 0 329068 4435 0 0 20 0 1 0 193209067 648015872 156801 134679101440 4194304 15467897 140728894717632 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41668608 140728894719005 140728894719108 140728894719108 140728894726125 0
/proc/1012416/statm: 158207 156801 2849 2753 0 154860 0
Current children cumulated CPU time: 3335.03 s
Current children cumulated vsize: 632828 KiB
Current children cumulated memory: 627204 KiB
[startup+3402.3 s]
/proc/loadavg: 4.18 4.14 4.17 7/244 1014206
/proc/meminfo: memFree=123227944/131655788 swapFree=131071996/131071996
[pid=1012416] ppid=1012404 vsize=632828 memory=627204 CPUtime=3394.93 cores=4,6
/proc/1012416/stat : 1012416 (LS-MabSP) R 1012404 1012416 1012342 0 -1 4194304 132477 0 0 0 334880 4613 0 0 20 0 1 0 193209067 648015872 156801 134679101440 4194304 15467897 140728894717632 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41668608 140728894719005 140728894719108 140728894719108 140728894726125 0
/proc/1012416/statm: 158207 156801 2849 2753 0 154860 0
Current children cumulated CPU time: 3394.93 s
Current children cumulated vsize: 632828 KiB
Current children cumulated memory: 627204 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.13 4.17 7/244 1014217
/proc/meminfo: memFree=123227728/131655788 swapFree=131071996/131071996
[pid=1012416] ppid=1012404 vsize=632828 memory=627204 CPUtime=3454.84 cores=4,6
/proc/1012416/stat : 1012416 (LS-MabSP) R 1012404 1012416 1012342 0 -1 4194304 132489 0 0 0 340698 4786 0 0 20 0 1 0 193209067 648015872 156801 134679101440 4194304 15467897 140728894717632 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41668608 140728894719005 140728894719108 140728894719108 140728894726125 0
/proc/1012416/statm: 158207 156801 2849 2753 0 154860 0
Current children cumulated CPU time: 3454.84 s
Current children cumulated vsize: 632828 KiB
Current children cumulated memory: 627204 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.12 4.16 8/243 1014227
/proc/meminfo: memFree=123227376/131655788 swapFree=131071996/131071996
[pid=1012416] ppid=1012404 vsize=632828 memory=627204 CPUtime=3514.74 cores=4,6
/proc/1012416/stat : 1012416 (LS-MabSP) R 1012404 1012416 1012342 0 -1 4194304 132495 0 0 0 346513 4961 0 0 20 0 1 0 193209067 648015872 156801 134679101440 4194304 15467897 140728894717632 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41668608 140728894719005 140728894719108 140728894719108 140728894726125 0
/proc/1012416/statm: 158207 156801 2849 2753 0 154860 0
Current children cumulated CPU time: 3514.74 s
Current children cumulated vsize: 632828 KiB
Current children cumulated memory: 627204 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.12 4.16 7/243 1014238
/proc/meminfo: memFree=123227120/131655788 swapFree=131071996/131071996
[pid=1012416] ppid=1012404 vsize=632828 memory=627204 CPUtime=3574.64 cores=4,6
/proc/1012416/stat : 1012416 (LS-MabSP) R 1012404 1012416 1012342 0 -1 4194304 132507 0 0 0 352325 5139 0 0 20 0 1 0 193209067 648015872 156801 134679101440 4194304 15467897 140728894717632 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41668608 140728894719005 140728894719108 140728894719108 140728894726125 0
/proc/1012416/statm: 158207 156801 2849 2753 0 154860 0
Current children cumulated CPU time: 3574.64 s
Current children cumulated vsize: 632828 KiB
Current children cumulated memory: 627204 KiB
[startup+3607.7 s]
# the end of solver process 1012416 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3547.86 s, system=52.1453 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.13 4.12 4.16 7/243 1014238
/proc/meminfo: memFree=123227100/131655788 swapFree=131071996/131071996
[pid=1012416] ppid=1012404 vsize=632828 memory=627204 CPUtime=3576.35 cores=4,6
/proc/1012416/stat : 1012416 (LS-MabSP) R 1012404 1012416 1012342 0 -1 4194304 132507 0 0 0 352492 5143 0 0 20 0 1 0 193209067 648015872 156801 134679101440 4194304 15467897 140728894717632 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41668608 140728894719005 140728894719108 140728894719108 140728894726125 0
/proc/1012416/statm: 158207 156801 2849 2753 0 154860 0
Current children cumulated CPU time: 3576.35 s
Current children cumulated vsize: 632828 KiB
Current children cumulated memory: 627204 KiB
[startup+3596.8 s]
/proc/loadavg: 4.11 4.12 4.16 8/243 1014239
/proc/meminfo: memFree=123227052/131655788 swapFree=131071996/131071996
[pid=1012416] ppid=1012404 vsize=632828 memory=627204 CPUtime=3589.12 cores=4,6
/proc/1012416/stat : 1012416 (LS-MabSP) R 1012404 1012416 1012342 0 -1 4194304 132507 0 0 0 353732 5180 0 0 20 0 1 0 193209067 648015872 156801 134679101440 4194304 15467897 140728894717632 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41668608 140728894719005 140728894719108 140728894719108 140728894726125 0
/proc/1012416/statm: 158207 156801 2849 2753 0 154860 0
Current children cumulated CPU time: 3589.12 s
Current children cumulated vsize: 632828 KiB
Current children cumulated memory: 627204 KiB
[startup+3603.2 s]
/proc/loadavg: 4.09 4.12 4.16 7/243 1014241
/proc/meminfo: memFree=123226956/131655788 swapFree=131071996/131071996
[pid=1012416] ppid=1012404 vsize=632828 memory=627204 CPUtime=3595.5 cores=4,6
/proc/1012416/stat : 1012416 (LS-MabSP) R 1012404 1012416 1012342 0 -1 4194304 132507 0 0 0 354351 5199 0 0 20 0 1 0 193209067 648015872 156801 134679101440 4194304 15467897 140728894717632 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41668608 140728894719005 140728894719108 140728894719108 140728894726125 0
/proc/1012416/statm: 158207 156801 2849 2753 0 154860 0
Current children cumulated CPU time: 3595.5 s
Current children cumulated vsize: 632828 KiB
Current children cumulated memory: 627204 KiB
[startup+3604.8 s]
/proc/loadavg: 4.09 4.12 4.16 7/243 1014241
/proc/meminfo: memFree=123227000/131655788 swapFree=131071996/131071996
[pid=1012416] ppid=1012404 vsize=632828 memory=627204 CPUtime=3597.11 cores=4,6
/proc/1012416/stat : 1012416 (LS-MabSP) R 1012404 1012416 1012342 0 -1 4194304 132507 0 0 0 354507 5204 0 0 20 0 1 0 193209067 648015872 156801 134679101440 4194304 15467897 140728894717632 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41668608 140728894719005 140728894719108 140728894719108 140728894726125 0
/proc/1012416/statm: 158207 156801 2849 2753 0 154860 0
Current children cumulated CPU time: 3597.11 s
Current children cumulated vsize: 632828 KiB
Current children cumulated memory: 627204 KiB
[startup+3606.4 s]
/proc/loadavg: 4.09 4.12 4.16 7/243 1014242
/proc/meminfo: memFree=123226868/131655788 swapFree=131071996/131071996
[pid=1012416] ppid=1012404 vsize=632828 memory=627204 CPUtime=3598.71 cores=4,6
/proc/1012416/stat : 1012416 (LS-MabSP) R 1012404 1012416 1012342 0 -1 4194304 132507 0 0 0 354661 5210 0 0 20 0 1 0 193209067 648015872 156801 134679101440 4194304 15467897 140728894717632 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41668608 140728894719005 140728894719108 140728894719108 140728894726125 0
/proc/1012416/statm: 158207 156801 2849 2753 0 154860 0
Current children cumulated CPU time: 3598.71 s
Current children cumulated vsize: 632828 KiB
Current children cumulated memory: 627204 KiB
[startup+3607.2 s]
/proc/loadavg: 4.16 4.13 4.16 7/243 1014242
/proc/meminfo: memFree=123226964/131655788 swapFree=131071996/131071996
[pid=1012416] ppid=1012404 vsize=632828 memory=627204 CPUtime=3599.5 cores=4,6
/proc/1012416/stat : 1012416 (LS-MabSP) R 1012404 1012416 1012342 0 -1 4194304 132507 0 0 0 354738 5212 0 0 20 0 1 0 193209067 648015872 156801 134679101440 4194304 15467897 140728894717632 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41668608 140728894719005 140728894719108 140728894719108 140728894726125 0
/proc/1012416/statm: 158207 156801 2849 2753 0 154860 0
Current children cumulated CPU time: 3599.5 s
Current children cumulated vsize: 632828 KiB
Current children cumulated memory: 627204 KiB
[startup+3607.6 s]
/proc/loadavg: 4.16 4.13 4.16 7/243 1014242
/proc/meminfo: memFree=123226964/131655788 swapFree=131071996/131071996
[pid=1012416] ppid=1012404 vsize=632828 memory=627204 CPUtime=3599.91 cores=4,6
/proc/1012416/stat : 1012416 (LS-MabSP) R 1012404 1012416 1012342 0 -1 4194304 132507 0 0 0 354777 5214 0 0 20 0 1 0 193209067 648015872 156801 134679101440 4194304 15467897 140728894717632 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 41668608 140728894719005 140728894719108 140728894719108 140728894726125 0
/proc/1012416/statm: 158207 156801 2849 2753 0 154860 0
Current children cumulated CPU time: 3599.91 s
Current children cumulated vsize: 632828 KiB
Current children cumulated memory: 627204 KiB
Child status: 0
Real time (s): 3607.7
CPU time (s): 3600.01
CPU user time (s): 3547.86
CPU system time (s): 52.1453
CPU usage (%): 99.7869
Max. virtual memory (cumulated for all children) (KiB): 932144
Max. memory (cumulated for all children) (KiB): 900428
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3547.86
system time used= 52.1453
maximum resident set size= 900428
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 132516
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= 71
involuntary context switches= 1930
# summary of solver processes directly reported to runsolver:
# pid: 1012416
# total CPU time (s): 3600.01
# total CPU user time (s): 3547.86
# total CPU system time (s): 52.1453
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.3587 second user time and 30.2698 second system time
The end
Begin job on nodeC010 at 2024-07-19 19:35:10
IDJOB=4450256
IDBENCH=160419
IDSOLVER=3047
FILE ID=nodeC010/4450256-1721410499
RUNJOBID= nodeC010-1721410509-1012353
SLURM_JOB_ID= 7545469
Free space on /tmp= 723780 MiB
SOLVER NAME= LS-MabSP 2024-07-10
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/normalized-3col-left3reg-l080-r079-n1.cnf-plain.pb.metafix.opb
COMMAND LINE= ./LS-MabSP -f BENCHNAME -t TIMEOUT -s RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450256-1721410499/watcher-4450256-1721410499 -o /tmp/evaluation-result-4450256-1721410499/solver-4450256-1721410499 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721410509-1012353 --watchdog 3760 ./LS-MabSP -f HOME/instance-4450256-1721410499.opb -t 3600 -s 1276343069
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 266633e779ed92513dfdd11bdc765a52
RANDOM SEED=1276343069
nodeC010.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 : 1696.047
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.51
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.383
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.173
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.51
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.173
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 : 1197.173
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.51
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.374
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.337
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.51
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.173
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: 124547084 kB
MemAvailable: 129839052 kB
Buffers: 527624 kB
Cached: 5551660 kB
SwapCached: 0 kB
Active: 1037968 kB
Inactive: 5388440 kB
Active(anon): 1364 kB
Inactive(anon): 391648 kB
Active(file): 1036604 kB
Inactive(file): 4996792 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 65084 kB
Writeback: 0 kB
AnonPages: 347068 kB
Mapped: 107284 kB
Shmem: 45896 kB
KReclaimable: 197208 kB
Slab: 312508 kB
SReclaimable: 197208 kB
SUnreclaim: 115300 kB
KernelStack: 3716 kB
PageTables: 10340 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 795416 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 60864 kB
HardwareCorrupted: 0 kB
AnonHugePages: 221184 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: 295752 kB
DirectMap2M: 35260416 kB
DirectMap1G: 100663296 kB
Free space on /tmp at the end= 723716 MiB
End job on nodeC010 at 2024-07-19 20:35:17