0.00/0.03 c Filename:instance-4448076-1721364915.opb, Cutoff_time:3600, memory_limit_gb:500000
0.00/0.03 c Use Presolve
0.00/0.03 c Parse finsih
0.00/0.03 c Start Presolve
0.00/0.03 c After Reduce Vars: 400 Clauses: 556 Top clause weight: 1 Hard Clauses: 556
3599.95/3609.64 c Use LS-small
3599.95/3609.64 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 (62377 MiB free)
memory of node 1: 64473 MiB (62721 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4448076-1721364915/watcher-4448076-1721364915 -o /tmp/evaluation-result-4448076-1721364915/solver-4448076-1721364915 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721361319-1034920 --watchdog 3760 ./LS-MabSP -f HOME/instance-4448076-1721364915.opb -t 3600 -s 1514413633
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
Linux 4.18.0-301.1.el8.x
solver pid=1036975, runsolver pid=1036972
Current StackSize limit: 8192 KiB
[startup+0.100086 s]*
/proc/loadavg: 4.14 4.11 4.09 5/258 1036976
/proc/meminfo: memFree=128089136/131524600 swapFree=131071996/131071996
[pid=1036975] ppid=1036972 vsize=30464 memory=23836 CPUtime=0.09 cores=4,6
/proc/1036975/stat : 1036975 (LS-MabSP) R 1036972 1036975 1034909 0 -1 4194304 3144 0 0 0 9 0 0 0 20 0 1 0 188659582 31195136 5959 134679101440 4194304 15467897 140726884719680 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 32530432 140726884725789 140726884725892 140726884725892 140726884732909 0
/proc/1036975/statm: 7616 5959 2833 2753 0 4269 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 30464 KiB
Current children cumulated memory: 23836 KiB
[startup+0.205504 s]*
/proc/loadavg: 4.14 4.11 4.09 5/258 1036976
/proc/meminfo: memFree=128086616/131524600 swapFree=131071996/131071996
[pid=1036975] ppid=1036972 vsize=33516 memory=26208 CPUtime=0.2 cores=4,6
/proc/1036975/stat : 1036975 (LS-MabSP) R 1036972 1036975 1034909 0 -1 4194304 3758 0 0 0 20 0 0 0 20 0 1 0 188659582 34320384 6552 134679101440 4194304 15467897 140726884719680 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 32530432 140726884725789 140726884725892 140726884725892 140726884732909 0
/proc/1036975/statm: 8379 6552 2833 2753 0 5032 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 33516 KiB
Current children cumulated memory: 26208 KiB
[startup+0.305368 s]*
/proc/loadavg: 4.14 4.11 4.09 5/258 1036976
/proc/meminfo: memFree=128076708/131524600 swapFree=131071996/131071996
[pid=1036975] ppid=1036972 vsize=34856 memory=27852 CPUtime=0.29 cores=4,6
/proc/1036975/stat : 1036975 (LS-MabSP) R 1036972 1036975 1034909 0 -1 4194304 4186 0 0 0 29 0 0 0 20 0 1 0 188659582 35692544 6963 134679101440 4194304 15467897 140726884719680 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 32530432 140726884725789 140726884725892 140726884725892 140726884732909 0
/proc/1036975/statm: 8714 6963 2849 2753 0 5367 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 34856 KiB
Current children cumulated memory: 27852 KiB
[startup+0.700168 s]
/proc/loadavg: 4.14 4.11 4.09 5/258 1036976
/proc/meminfo: memFree=128075896/131524600 swapFree=131071996/131071996
[pid=1036975] ppid=1036972 vsize=34856 memory=28116 CPUtime=0.68 cores=4,6
/proc/1036975/stat : 1036975 (LS-MabSP) R 1036972 1036975 1034909 0 -1 4194304 4242 0 0 0 68 0 0 0 20 0 1 0 188659582 35692544 7029 134679101440 4194304 15467897 140726884719680 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 32530432 140726884725789 140726884725892 140726884725892 140726884732909 0
/proc/1036975/statm: 8714 7029 2849 2753 0 5367 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 34856 KiB
Current children cumulated memory: 28116 KiB
[startup+1.50023 s]
/proc/loadavg: 4.14 4.11 4.09 5/258 1037022
/proc/meminfo: memFree=128409400/131524600 swapFree=131071996/131071996
[pid=1036975] ppid=1036972 vsize=41188 memory=34452 CPUtime=1.49 cores=4,6
/proc/1036975/stat : 1036975 (LS-MabSP) R 1036972 1036975 1034909 0 -1 4194304 5787 0 0 0 148 1 0 0 20 0 1 0 188659582 42176512 8613 134679101440 4194304 15467897 140726884719680 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 32530432 140726884725789 140726884725892 140726884725892 140726884732909 0
/proc/1036975/statm: 10297 8613 2849 2753 0 6950 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 41188 KiB
Current children cumulated memory: 34452 KiB
[startup+3.10543 s]
/proc/loadavg: 4.21 4.13 4.10 5/258 1037022
/proc/meminfo: memFree=128362512/131524600 swapFree=131071996/131071996
[pid=1036975] ppid=1036972 vsize=51824 memory=44092 CPUtime=3.08 cores=4,6
/proc/1036975/stat : 1036975 (LS-MabSP) R 1036972 1036975 1034909 0 -1 4194304 8683 0 0 0 307 1 0 0 20 0 1 0 188659582 53067776 11023 134679101440 4194304 15467897 140726884719680 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 32530432 140726884725789 140726884725892 140726884725892 140726884732909 0
/proc/1036975/statm: 12956 11023 2849 2753 0 9609 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 51824 KiB
Current children cumulated memory: 44092 KiB
[startup+6.3002 s]
/proc/loadavg: 4.21 4.13 4.10 5/258 1037024
/proc/meminfo: memFree=128326780/131524600 swapFree=131071996/131071996
[pid=1036975] ppid=1036972 vsize=57360 memory=50688 CPUtime=6.26 cores=4,6
/proc/1036975/stat : 1036975 (LS-MabSP) R 1036972 1036975 1034909 0 -1 4194304 10334 0 0 0 625 1 0 0 20 0 1 0 188659582 58736640 12672 134679101440 4194304 15467897 140726884719680 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 32530432 140726884725789 140726884725892 140726884725892 140726884732909 0
/proc/1036975/statm: 14340 12672 2849 2753 0 10993 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 57360 KiB
Current children cumulated memory: 50688 KiB
[startup+12.7002 s]
/proc/loadavg: 4.33 4.16 4.11 5/258 1037024
/proc/meminfo: memFree=128307044/131524600 swapFree=131071996/131071996
[pid=1036975] ppid=1036972 vsize=61792 memory=54376 CPUtime=12.63 cores=4,6
/proc/1036975/stat : 1036975 (LS-MabSP) R 1036972 1036975 1034909 0 -1 4194304 11211 0 0 0 1262 1 0 0 20 0 1 0 188659582 63275008 13594 134679101440 4194304 15467897 140726884719680 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 32530432 140726884725789 140726884725892 140726884725892 140726884732909 0
/proc/1036975/statm: 15448 13594 2849 2753 0 12101 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 61792 KiB
Current children cumulated memory: 54376 KiB
[startup+25.5002 s]
/proc/loadavg: 4.43 4.19 4.12 5/258 1037025
/proc/meminfo: memFree=128269112/131524600 swapFree=131071996/131071996
[pid=1036975] ppid=1036972 vsize=66512 memory=60204 CPUtime=25.37 cores=4,6
/proc/1036975/stat : 1036975 (LS-MabSP) R 1036972 1036975 1034909 0 -1 4194304 13085 0 0 0 2535 2 0 0 20 0 1 0 188659582 68108288 15051 134679101440 4194304 15467897 140726884719680 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 32530432 140726884725789 140726884725892 140726884725892 140726884732909 0
/proc/1036975/statm: 16628 15051 2849 2753 0 13281 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 66512 KiB
Current children cumulated memory: 60204 KiB
[startup+51.1054 s]
/proc/loadavg: 4.34 4.19 4.12 5/258 1037031
/proc/meminfo: memFree=128173820/131524600 swapFree=131071996/131071996
[pid=1036975] ppid=1036972 vsize=92528 memory=86716 CPUtime=50.86 cores=4,6
/proc/1036975/stat : 1036975 (LS-MabSP) R 1036972 1036975 1034909 0 -1 4194304 20301 0 0 0 5082 4 0 0 20 0 1 0 188659582 94748672 21679 134679101440 4194304 15467897 140726884719680 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 32530432 140726884725789 140726884725892 140726884725892 140726884732909 0
/proc/1036975/statm: 23132 21679 2849 2753 0 19785 0
Current children cumulated CPU time: 50.86 s
Current children cumulated vsize: 92528 KiB
Current children cumulated memory: 86716 KiB
[startup+102.3 s]
/proc/loadavg: 4.23 4.18 4.12 5/258 1037040
/proc/meminfo: memFree=128024440/131524600 swapFree=131071996/131071996
[pid=1036975] ppid=1036972 vsize=125460 memory=118024 CPUtime=101.83 cores=4,6
/proc/1036975/stat : 1036975 (LS-MabSP) R 1036972 1036975 1034909 0 -1 4194304 30674 0 0 0 10178 5 0 0 20 0 1 0 188659582 128471040 29506 134679101440 4194304 15467897 140726884719680 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 32530432 140726884725789 140726884725892 140726884725892 140726884732909 0
/proc/1036975/statm: 31365 29506 2849 2753 0 28018 0
Current children cumulated CPU time: 101.83 s
Current children cumulated vsize: 125460 KiB
Current children cumulated memory: 118024 KiB
[startup+162.3 s]
/proc/loadavg: 4.20 4.18 4.12 5/258 1037051
/proc/meminfo: memFree=127799116/131524600 swapFree=131071996/131071996
[pid=1036975] ppid=1036972 vsize=168296 memory=161428 CPUtime=161.59 cores=4,6
/proc/1036975/stat : 1036975 (LS-MabSP) R 1036972 1036975 1034909 0 -1 4194304 42690 0 0 0 16152 7 0 0 20 0 1 0 188659582 172335104 40357 134679101440 4194304 15467897 140726884719680 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 32530432 140726884725789 140726884725892 140726884725892 140726884732909 0
/proc/1036975/statm: 42074 40357 2849 2753 0 38727 0
Current children cumulated CPU time: 161.59 s
Current children cumulated vsize: 168296 KiB
Current children cumulated memory: 161428 KiB
[startup+222.3 s]
/proc/loadavg: 4.18 4.17 4.12 5/260 1037232
/proc/meminfo: memFree=127628864/131524600 swapFree=131071996/131071996
[pid=1036975] ppid=1036972 vsize=196284 memory=189832 CPUtime=221.37 cores=4,6
/proc/1036975/stat : 1036975 (LS-MabSP) R 1036972 1036975 1034909 0 -1 4194304 51733 0 0 0 22128 9 0 0 20 0 1 0 188659582 200994816 47458 134679101440 4194304 15467897 140726884719680 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 32530432 140726884725789 140726884725892 140726884725892 140726884732909 0
/proc/1036975/statm: 49071 47458 2849 2753 0 45724 0
Current children cumulated CPU time: 221.37 s
Current children cumulated vsize: 196284 KiB
Current children cumulated memory: 189832 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.16 4.11 5/261 1037245
/proc/meminfo: memFree=127444976/131524600 swapFree=131071996/131071996
[pid=1036975] ppid=1036972 vsize=218308 memory=212392 CPUtime=281.14 cores=4,6
/proc/1036975/stat : 1036975 (LS-MabSP) R 1036972 1036975 1034909 0 -1 4194304 61144 0 0 0 28104 10 0 0 20 0 1 0 188659582 223547392 53098 134679101440 4194304 15467897 140726884719680 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 32530432 140726884725789 140726884725892 140726884725892 140726884732909 0
/proc/1036975/statm: 54577 53098 2849 2753 0 51230 0
Current children cumulated CPU time: 281.14 s
Current children cumulated vsize: 218308 KiB
Current children cumulated memory: 212392 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 4.16 4.11 5/259 1037267
/proc/meminfo: memFree=127285000/131524600 swapFree=131071996/131071996
[pid=1036975] ppid=1036972 vsize=260520 memory=249232 CPUtime=340.9 cores=4,6
/proc/1036975/stat : 1036975 (LS-MabSP) R 1036972 1036975 1034909 0 -1 4194304 71621 0 0 0 34078 12 0 0 20 0 1 0 188659582 266772480 62308 134679101440 4194304 15467897 140726884719680 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 32530432 140726884725789 140726884725892 140726884725892 140726884732909 0
/proc/1036975/statm: 65130 62308 2849 2753 0 61783 0
Current children cumulated CPU time: 340.9 s
Current children cumulated vsize: 260520 KiB
Current children cumulated memory: 249232 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.14 4.11 5/258 1037278
/proc/meminfo: memFree=127148948/131524600 swapFree=131071996/131071996
[pid=1036975] ppid=1036972 vsize=279844 memory=268924 CPUtime=400.65 cores=4,6
/proc/1036975/stat : 1036975 (LS-MabSP) R 1036972 1036975 1034909 0 -1 4194304 76647 0 0 0 40053 12 0 0 20 0 1 0 188659582 286560256 67231 134679101440 4194304 15467897 140726884719680 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 32530432 140726884725789 140726884725892 140726884725892 140726884732909 0
/proc/1036975/statm: 69961 67231 2849 2753 0 66614 0
Current children cumulated CPU time: 400.65 s
Current children cumulated vsize: 279844 KiB
Current children cumulated memory: 268924 KiB
[startup+462.3 s]
/proc/loadavg: 4.28 4.18 4.12 6/259 1037289
/proc/meminfo: memFree=127025556/131524600 swapFree=131071996/131071996
[pid=1036975] ppid=1036972 vsize=281752 memory=272376 CPUtime=460.4 cores=4,6
/proc/1036975/stat : 1036975 (LS-MabSP) R 1036972 1036975 1034909 0 -1 4194304 80961 0 0 0 46027 13 0 0 20 0 1 0 188659582 288514048 68094 134679101440 4194304 15467897 140726884719680 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 32530432 140726884725789 140726884725892 140726884725892 140726884732909 0
/proc/1036975/statm: 70438 68094 2849 2753 0 67091 0
################
# More data... #
################
/proc/loadavg: 4.23 4.18 4.12 5/256 1038433
/proc/meminfo: memFree=125940088/131524600 swapFree=131071996/131071996
[pid=1036975] ppid=1036972 vsize=424188 memory=418092 CPUtime=3213.41 cores=4,6
/proc/1036975/stat : 1036975 (LS-MabSP) R 1036972 1036975 1034909 0 -1 4194304 122611 0 0 0 267052 54289 0 0 20 0 1 0 188659582 434368512 104523 134679101440 4194304 15467897 140726884719680 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 32530432 140726884725789 140726884725892 140726884725892 140726884732909 0
/proc/1036975/statm: 106047 104523 2849 2753 0 102700 0
Current children cumulated CPU time: 3213.41 s
Current children cumulated vsize: 424188 KiB
Current children cumulated memory: 418092 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.16 4.11 5/256 1038444
/proc/meminfo: memFree=125939376/131524600 swapFree=131071996/131071996
[pid=1036975] ppid=1036972 vsize=424188 memory=418092 CPUtime=3273.29 cores=4,6
/proc/1036975/stat : 1036975 (LS-MabSP) R 1036972 1036975 1034909 0 -1 4194304 122612 0 0 0 271605 55724 0 0 20 0 1 0 188659582 434368512 104523 134679101440 4194304 15467897 140726884719680 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 32530432 140726884725789 140726884725892 140726884725892 140726884732909 0
/proc/1036975/statm: 106047 104523 2849 2753 0 102700 0
Current children cumulated CPU time: 3273.29 s
Current children cumulated vsize: 424188 KiB
Current children cumulated memory: 418092 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.16 4.11 5/259 1038460
/proc/meminfo: memFree=125938560/131524600 swapFree=131071996/131071996
[pid=1036975] ppid=1036972 vsize=424188 memory=418092 CPUtime=3333.18 cores=4,6
/proc/1036975/stat : 1036975 (LS-MabSP) R 1036972 1036975 1034909 0 -1 4194304 122613 0 0 0 276170 57148 0 0 20 0 1 0 188659582 434368512 104523 134679101440 4194304 15467897 140726884719680 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 32530432 140726884725789 140726884725892 140726884725892 140726884732909 0
/proc/1036975/statm: 106047 104523 2849 2753 0 102700 0
Current children cumulated CPU time: 3333.18 s
Current children cumulated vsize: 424188 KiB
Current children cumulated memory: 418092 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.16 4.11 5/259 1038471
/proc/meminfo: memFree=125937608/131524600 swapFree=131071996/131071996
[pid=1036975] ppid=1036972 vsize=424188 memory=418092 CPUtime=3393.06 cores=4,6
/proc/1036975/stat : 1036975 (LS-MabSP) R 1036972 1036975 1034909 0 -1 4194304 122614 0 0 0 280726 58580 0 0 20 0 1 0 188659582 434368512 104523 134679101440 4194304 15467897 140726884719680 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 32530432 140726884725789 140726884725892 140726884725892 140726884732909 0
/proc/1036975/statm: 106047 104523 2849 2753 0 102700 0
Current children cumulated CPU time: 3393.06 s
Current children cumulated vsize: 424188 KiB
Current children cumulated memory: 418092 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.14 4.10 5/259 1038482
/proc/meminfo: memFree=125936940/131524600 swapFree=131071996/131071996
[pid=1036975] ppid=1036972 vsize=424188 memory=418092 CPUtime=3452.94 cores=4,6
/proc/1036975/stat : 1036975 (LS-MabSP) R 1036972 1036975 1034909 0 -1 4194304 122615 0 0 0 285280 60014 0 0 20 0 1 0 188659582 434368512 104523 134679101440 4194304 15467897 140726884719680 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 32530432 140726884725789 140726884725892 140726884725892 140726884732909 0
/proc/1036975/statm: 106047 104523 2849 2753 0 102700 0
Current children cumulated CPU time: 3452.94 s
Current children cumulated vsize: 424188 KiB
Current children cumulated memory: 418092 KiB
[startup+3522.3 s]
/proc/loadavg: 4.19 4.16 4.11 5/258 1038494
/proc/meminfo: memFree=125936068/131524600 swapFree=131071996/131071996
[pid=1036975] ppid=1036972 vsize=424188 memory=418092 CPUtime=3512.82 cores=4,6
/proc/1036975/stat : 1036975 (LS-MabSP) R 1036972 1036975 1034909 0 -1 4194304 122616 0 0 0 289835 61447 0 0 20 0 1 0 188659582 434368512 104523 134679101440 4194304 15467897 140726884719680 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 32530432 140726884725789 140726884725892 140726884725892 140726884732909 0
/proc/1036975/statm: 106047 104523 2849 2753 0 102700 0
Current children cumulated CPU time: 3512.82 s
Current children cumulated vsize: 424188 KiB
Current children cumulated memory: 418092 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.14 4.10 5/258 1038505
/proc/meminfo: memFree=125935348/131524600 swapFree=131071996/131071996
[pid=1036975] ppid=1036972 vsize=424188 memory=418092 CPUtime=3572.71 cores=4,6
/proc/1036975/stat : 1036975 (LS-MabSP) R 1036972 1036975 1034909 0 -1 4194304 122617 0 0 0 294371 62900 0 0 20 0 1 0 188659582 434368512 104523 134679101440 4194304 15467897 140726884719680 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 32530432 140726884725789 140726884725892 140726884725892 140726884732909 0
/proc/1036975/statm: 106047 104523 2849 2753 0 102700 0
Current children cumulated CPU time: 3572.71 s
Current children cumulated vsize: 424188 KiB
Current children cumulated memory: 418092 KiB
[startup+3609.65 s]
# the end of solver process 1036975 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=2964.48 s, system=635.523 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.12 4.14 4.10 5/258 1038505
/proc/meminfo: memFree=125935376/131524600 swapFree=131071996/131071996
[pid=1036975] ppid=1036972 vsize=424188 memory=418092 CPUtime=3574.41 cores=4,6
/proc/1036975/stat : 1036975 (LS-MabSP) R 1036972 1036975 1034909 0 -1 4194304 122617 0 0 0 294500 62941 0 0 20 0 1 0 188659582 434368512 104523 134679101440 4194304 15467897 140726884719680 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 32530432 140726884725789 140726884725892 140726884725892 140726884732909 0
/proc/1036975/statm: 106047 104523 2849 2753 0 102700 0
Current children cumulated CPU time: 3574.41 s
Current children cumulated vsize: 424188 KiB
Current children cumulated memory: 418092 KiB
[startup+3596.8 s]
/proc/loadavg: 4.10 4.14 4.10 5/260 1038895
/proc/meminfo: memFree=126034104/131524600 swapFree=131071996/131071996
[pid=1036975] ppid=1036972 vsize=424188 memory=418092 CPUtime=3587.18 cores=4,6
/proc/1036975/stat : 1036975 (LS-MabSP) R 1036972 1036975 1034909 0 -1 4194304 122617 0 0 0 295476 63242 0 0 20 0 1 0 188659582 434368512 104523 134679101440 4194304 15467897 140726884719680 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 32530432 140726884725789 140726884725892 140726884725892 140726884732909 0
/proc/1036975/statm: 106047 104523 2849 2753 0 102700 0
Current children cumulated CPU time: 3587.18 s
Current children cumulated vsize: 424188 KiB
Current children cumulated memory: 418092 KiB
[startup+3603.2 s]
/proc/loadavg: 4.16 4.15 4.10 5/257 1038895
/proc/meminfo: memFree=126034244/131524600 swapFree=131071996/131071996
[pid=1036975] ppid=1036972 vsize=424188 memory=418092 CPUtime=3593.57 cores=4,6
/proc/1036975/stat : 1036975 (LS-MabSP) R 1036972 1036975 1034909 0 -1 4194304 122617 0 0 0 295955 63402 0 0 20 0 1 0 188659582 434368512 104523 134679101440 4194304 15467897 140726884719680 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 32530432 140726884725789 140726884725892 140726884725892 140726884732909 0
/proc/1036975/statm: 106047 104523 2849 2753 0 102700 0
Current children cumulated CPU time: 3593.57 s
Current children cumulated vsize: 424188 KiB
Current children cumulated memory: 418092 KiB
[startup+3606.4 s]
/proc/loadavg: 4.16 4.15 4.10 5/257 1038898
/proc/meminfo: memFree=126034160/131524600 swapFree=131071996/131071996
[pid=1036975] ppid=1036972 vsize=424188 memory=418092 CPUtime=3596.76 cores=4,6
/proc/1036975/stat : 1036975 (LS-MabSP) R 1036972 1036975 1034909 0 -1 4194304 122617 0 0 0 296201 63475 0 0 20 0 1 0 188659582 434368512 104523 134679101440 4194304 15467897 140726884719680 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 32530432 140726884725789 140726884725892 140726884725892 140726884732909 0
/proc/1036975/statm: 106047 104523 2849 2753 0 102700 0
Current children cumulated CPU time: 3596.76 s
Current children cumulated vsize: 424188 KiB
Current children cumulated memory: 418092 KiB
[startup+3608 s]*
/proc/loadavg: 4.15 4.15 4.10 4/254 1038912
/proc/meminfo: memFree=127034468/131524600 swapFree=131071996/131071996
[pid=1036975] ppid=1036972 vsize=424188 memory=418092 CPUtime=3598.36 cores=4,6
/proc/1036975/stat : 1036975 (LS-MabSP) R 1036972 1036975 1034909 0 -1 4194304 122617 0 0 0 296320 63516 0 0 20 0 1 0 188659582 434368512 104523 134679101440 4194304 15467897 140726884719680 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 32530432 140726884725789 140726884725892 140726884725892 140726884732909 0
/proc/1036975/statm: 106047 104523 2849 2753 0 102700 0
Current children cumulated CPU time: 3598.36 s
Current children cumulated vsize: 424188 KiB
Current children cumulated memory: 418092 KiB
[startup+3608.8 s]
/proc/loadavg: 4.15 4.15 4.10 4/254 1038912
/proc/meminfo: memFree=127034468/131524600 swapFree=131071996/131071996
[pid=1036975] ppid=1036972 vsize=424188 memory=418092 CPUtime=3599.15 cores=4,6
/proc/1036975/stat : 1036975 (LS-MabSP) R 1036972 1036975 1034909 0 -1 4194304 122617 0 0 0 296381 63534 0 0 20 0 1 0 188659582 434368512 104523 134679101440 4194304 15467897 140726884719680 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 32530432 140726884725789 140726884725892 140726884725892 140726884732909 0
/proc/1036975/statm: 106047 104523 2849 2753 0 102700 0
Current children cumulated CPU time: 3599.15 s
Current children cumulated vsize: 424188 KiB
Current children cumulated memory: 418092 KiB
[startup+3609.2 s]
/proc/loadavg: 4.15 4.15 4.10 5/257 1038944
/proc/meminfo: memFree=127011628/131524600 swapFree=131071996/131071996
[pid=1036975] ppid=1036972 vsize=424188 memory=418092 CPUtime=3599.55 cores=4,6
/proc/1036975/stat : 1036975 (LS-MabSP) R 1036972 1036975 1034909 0 -1 4194304 122617 0 0 0 296413 63542 0 0 20 0 1 0 188659582 434368512 104523 134679101440 4194304 15467897 140726884719680 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 32530432 140726884725789 140726884725892 140726884725892 140726884732909 0
/proc/1036975/statm: 106047 104523 2849 2753 0 102700 0
Current children cumulated CPU time: 3599.55 s
Current children cumulated vsize: 424188 KiB
Current children cumulated memory: 418092 KiB
[startup+3609.6 s]
/proc/loadavg: 4.15 4.15 4.10 5/257 1038944
/proc/meminfo: memFree=127011628/131524600 swapFree=131071996/131071996
[pid=1036975] ppid=1036972 vsize=424188 memory=418092 CPUtime=3599.95 cores=4,6
/proc/1036975/stat : 1036975 (LS-MabSP) R 1036972 1036975 1034909 0 -1 4194304 122617 0 0 0 296444 63551 0 0 20 0 1 0 188659582 434368512 104523 134679101440 4194304 15467897 140726884719680 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 32530432 140726884725789 140726884725892 140726884725892 140726884732909 0
/proc/1036975/statm: 106047 104523 2849 2753 0 102700 0
Current children cumulated CPU time: 3599.95 s
Current children cumulated vsize: 424188 KiB
Current children cumulated memory: 418092 KiB
Child status: 0
Real time (s): 3609.65
CPU time (s): 3600
CPU user time (s): 2964.48
CPU system time (s): 635.523
CPU usage (%): 99.7329
Max. virtual memory (cumulated for all children) (KiB): 425472
Max. memory (cumulated for all children) (KiB): 418092
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2964.48
system time used= 635.523
maximum resident set size= 418972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 122621
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= 77
involuntary context switches= 1901
# summary of solver processes directly reported to runsolver:
# pid: 1036975
# total CPU time (s): 3600
# total CPU user time (s): 2964.48
# total CPU system time (s): 635.523
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.38005 second user time and 13.7704 second system time
The end
Begin job on nodeC030 at 2024-07-19 06:55:28
IDJOB=4448076
IDBENCH=160362
IDSOLVER=3047
FILE ID=nodeC030/4448076-1721364915
RUNJOBID= nodeC030-1721361319-1034920
SLURM_JOB_ID= 7542780
Free space on /tmp= 890032 MiB
SOLVER NAME= LS-MabSP 2024-07-10
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/normalized-ECgrid5x40split.cnf-extracted.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-4448076-1721364915/watcher-4448076-1721364915 -o /tmp/evaluation-result-4448076-1721364915/solver-4448076-1721364915 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721361319-1034920 --watchdog 3760 ./LS-MabSP -f HOME/instance-4448076-1721364915.opb -t 3600 -s 1514413633
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 7b2bd6f9c4b35d9a7e05934ad0cefb7e
RANDOM SEED=1514413633
nodeC030.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.080
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.28
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 : 3677.545
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.11
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.105
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.28
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 : 3599.647
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.11
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 : 3659.677
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.28
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 : 3677.679
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.11
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 : 3666.828
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.28
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.039
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.11
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 128101400 kB
MemAvailable: 129291120 kB
Buffers: 497756 kB
Cached: 1520624 kB
SwapCached: 0 kB
Active: 1153672 kB
Inactive: 1640072 kB
Active(anon): 1540 kB
Inactive(anon): 811584 kB
Active(file): 1152132 kB
Inactive(file): 828488 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 49192 kB
Writeback: 12 kB
AnonPages: 774884 kB
Mapped: 140500 kB
Shmem: 37720 kB
KReclaimable: 97848 kB
Slab: 210244 kB
SReclaimable: 97848 kB
SUnreclaim: 112396 kB
KernelStack: 4096 kB
PageTables: 10688 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1092696 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 71232 kB
HardwareCorrupted: 0 kB
AnonHugePages: 598016 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: 234196 kB
DirectMap2M: 18413568 kB
DirectMap1G: 117440512 kB
Free space on /tmp at the end= 890016 MiB
End job on nodeC030 at 2024-07-19 07:55:38