9.26/9.34 c initialize IPBHS solver
9.26/9.34 c IPBHS 0.0.0 beta (471c63a-dirty, Jul 9 2024 15:06:57), with Glucose 3.0, with SCIP , with RoundingSat 2, with SSPB2SAT 0.2.0, with BreakID 0.0.0
9.26/9.34 c optimizer = "scip"
9.26/9.34 c pbsolver = "roundingsat"
9.26/9.34 c load symmetries from file ""
9.26/9.34 c set time limit for symmetry computation to 100 seconds.
9.26/9.34 c set interchangeable summation variable limit to 3
9.26/9.34 c set abs symmetric core budget per WCE-iteration to 100
9.26/9.34 c set rel symmetric core budget per WCE-iteration to 0
9.26/9.34 c set lit symmetric core budget per WCE-iteration to 0
9.26/9.34 c set sym generation to 's'
9.26/9.34 c set abstraction set creation to 10 iterations without LB change
9.26/9.34 c set abstraction set inputs to 0
9.26/9.34 c set abstraction set cluster min size to 2
9.26/9.34 c set abstraction set cluster max size to 100000000
9.26/9.34 c set abstraction set cluster activation limit to 2
9.26/9.34 c enable abstraction set require equal cost
9.26/9.34 c set abstraction set assumptions to 0
9.26/9.34 c set abstraction set constraint type to 0
9.26/9.34 c set abstract core extraction strategy to b
9.26/9.34 c set core extraction strategy to 2
9.26/9.34 c set core extraction shuffles 10
9.26/9.34 c set cores per iteration to 5
9.26/9.34 c set optimizer bound usage strategy to 2
9.26/9.34 c set optimizer max non-optimal iterations to 1000
9.26/9.34 c set small core cardinality limit to 2
9.26/9.34 c set max coef in cores to 1000000000
9.26/9.34 c set SIS iterations to 5
9.26/9.34 c set SIS budget abs to 1000
9.26/9.34 c set SIS budget rel to 0.05
9.26/9.34 c limit for coefficient in constraints and objective to 9223372036854775807
9.26/9.34 c will solve HOME/instance-4431832-1721077720.opb
9.26/9.34 c [0.03] solve iteration 1, LB=0, UB=1965
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 (61905 MiB free)
memory of node 1: 64510 MiB (63257 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431832-1721077720/watcher-4431832-1721077720 -o /tmp/evaluation-result-4431832-1721077720/solver-4431832-1721077720 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721070510-808456 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4431832-1721077720.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=812579, runsolver pid=812576
Current StackSize limit: 8192 KiB
[startup+0.100102 s]*
/proc/loadavg: 4.14 4.22 4.22 5/236 812580
/proc/meminfo: memFree=128149408/131655788 swapFree=131071996/131071996
[pid=812579] ppid=812576 vsize=47112 memory=28396 CPUtime=0.1 cores=1,3
/proc/812579/stat : 812579 (ipbhs_static_sc) R 812576 812579 808444 0 -1 4194304 4774 0 0 0 7 3 0 0 20 0 1 0 159928688 48242688 7099 134679101440 4194304 16068861 140721775518032 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 38944768 140721775522854 140721775522941 140721775522941 140721775529956 0
/proc/812579/statm: 11778 7099 2623 2900 0 8292 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 47112 KiB
Current children cumulated memory: 28396 KiB
[startup+0.210482 s]*
/proc/loadavg: 4.14 4.22 4.22 5/236 812580
/proc/meminfo: memFree=128142540/131655788 swapFree=131071996/131071996
[pid=812579] ppid=812576 vsize=55604 memory=34436 CPUtime=0.21 cores=1,3
/proc/812579/stat : 812579 (ipbhs_static_sc) R 812576 812579 808444 0 -1 4194304 6255 0 0 0 17 4 0 0 20 0 1 0 159928688 56938496 8609 134679101440 4194304 16068861 140721775518032 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 38944768 140721775522854 140721775522941 140721775522941 140721775529956 0
/proc/812579/statm: 13901 8609 2863 2900 0 10415 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 55604 KiB
Current children cumulated memory: 34436 KiB
[startup+0.31067 s]*
/proc/loadavg: 4.14 4.22 4.22 5/242 812590
/proc/meminfo: memFree=128118908/131655788 swapFree=131071996/131071996
[pid=812579] ppid=812576 vsize=63924 memory=42540 CPUtime=0.31 cores=1,3
/proc/812579/stat : 812579 (ipbhs_static_sc) R 812576 812579 808444 0 -1 4194304 8296 0 0 0 26 5 0 0 20 0 1 0 159928688 65458176 10635 134679101440 4194304 16068861 140721775518032 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 38944768 140721775522854 140721775522941 140721775522941 140721775529956 0
/proc/812579/statm: 15981 10635 2863 2900 0 12495 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 63924 KiB
Current children cumulated memory: 42540 KiB
[startup+0.700262 s]
/proc/loadavg: 4.14 4.22 4.22 5/242 812590
/proc/meminfo: memFree=128083824/131655788 swapFree=131071996/131071996
[pid=812579] ppid=812576 vsize=75644 memory=51268 CPUtime=0.69 cores=1,3
/proc/812579/stat : 812579 (ipbhs_static_sc) R 812576 812579 808444 0 -1 4194304 10437 0 0 0 64 5 0 0 20 0 1 0 159928688 77459456 12817 134679101440 4194304 16068861 140721775518032 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 38944768 140721775522854 140721775522941 140721775522941 140721775529956 0
/proc/812579/statm: 18911 12817 2879 2900 0 15425 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 75644 KiB
Current children cumulated memory: 51268 KiB
[startup+1.50027 s]
/proc/loadavg: 4.14 4.22 4.22 5/242 812590
/proc/meminfo: memFree=128072012/131655788 swapFree=131071996/131071996
[pid=812579] ppid=812576 vsize=79912 memory=54988 CPUtime=1.48 cores=1,3
/proc/812579/stat : 812579 (ipbhs_static_sc) R 812576 812579 808444 0 -1 4194304 11391 0 0 0 143 5 0 0 20 0 1 0 159928688 81829888 13747 134679101440 4194304 16068861 140721775518032 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 38944768 140721775522854 140721775522941 140721775522941 140721775529956 0
/proc/812579/statm: 19978 13747 2895 2900 0 16492 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 79912 KiB
Current children cumulated memory: 54988 KiB
[startup+3.1124 s]
/proc/loadavg: 4.13 4.22 4.22 5/242 812591
/proc/meminfo: memFree=128045944/131655788 swapFree=131071996/131071996
[pid=812579] ppid=812576 vsize=88028 memory=61588 CPUtime=3.09 cores=1,3
/proc/812579/stat : 812579 (ipbhs_static_sc) R 812576 812579 808444 0 -1 4194304 13034 0 0 0 304 5 0 0 20 0 1 0 159928688 90140672 15397 134679101440 4194304 16068861 140721775518032 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 38944768 140721775522854 140721775522941 140721775522941 140721775529956 0
/proc/812579/statm: 22007 15397 2895 2900 0 18521 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 88028 KiB
Current children cumulated memory: 61588 KiB
[startup+6.30026 s]
/proc/loadavg: 4.13 4.22 4.22 5/242 812591
/proc/meminfo: memFree=127989496/131655788 swapFree=131071996/131071996
[pid=812579] ppid=812576 vsize=112788 memory=84820 CPUtime=6.27 cores=1,3
/proc/812579/stat : 812579 (ipbhs_static_sc) R 812576 812579 808444 0 -1 4194304 18856 0 0 0 621 6 0 0 20 0 1 0 159928688 115494912 21205 134679101440 4194304 16068861 140721775518032 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 38944768 140721775522854 140721775522941 140721775522941 140721775529956 0
/proc/812579/statm: 28197 21205 2895 2900 0 24711 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 112788 KiB
Current children cumulated memory: 84820 KiB
[startup+12.7002 s]
/proc/loadavg: 4.12 4.21 4.22 6/242 812640
/proc/meminfo: memFree=128316632/131655788 swapFree=131071996/131071996
[pid=812579] ppid=812576 vsize=128340 memory=97552 CPUtime=12.65 cores=1,3
/proc/812579/stat : 812579 (ipbhs_static_sc) R 812576 812579 808444 0 -1 4194304 22845 0 0 0 1259 6 0 0 20 0 1 0 159928688 131420160 24388 134679101440 4194304 16068861 140721775518032 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 38944768 140721775522854 140721775522941 140721775522941 140721775529956 0
/proc/812579/statm: 32085 24388 2895 2900 0 28599 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 128340 KiB
Current children cumulated memory: 97552 KiB
[startup+25.5003 s]
/proc/loadavg: 4.16 4.22 4.22 5/242 812641
/proc/meminfo: memFree=128305636/131655788 swapFree=131071996/131071996
[pid=812579] ppid=812576 vsize=129364 memory=98604 CPUtime=25.42 cores=1,3
/proc/812579/stat : 812579 (ipbhs_static_sc) R 812576 812579 808444 0 -1 4194304 23118 0 0 0 2535 7 0 0 20 0 1 0 159928688 132468736 24651 134679101440 4194304 16068861 140721775518032 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 38944768 140721775522854 140721775522941 140721775522941 140721775529956 0
/proc/812579/statm: 32341 24651 2895 2900 0 28855 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 129364 KiB
Current children cumulated memory: 98604 KiB
[startup+51.1124 s]
/proc/loadavg: 4.11 4.20 4.21 5/242 812644
/proc/meminfo: memFree=128155576/131655788 swapFree=131071996/131071996
[pid=812579] ppid=812576 vsize=166560 memory=133572 CPUtime=50.95 cores=1,3
/proc/812579/stat : 812579 (ipbhs_static_sc) R 812576 812579 808444 0 -1 4194304 32090 0 0 0 5087 8 0 0 20 0 1 0 159928688 170557440 33393 134679101440 4194304 16068861 140721775518032 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 38944768 140721775522854 140721775522941 140721775522941 140721775529956 0
/proc/812579/statm: 41640 33393 2895 2900 0 38154 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 166560 KiB
Current children cumulated memory: 133572 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.18 4.20 6/244 812658
/proc/meminfo: memFree=128084288/131655788 swapFree=131071996/131071996
[pid=812579] ppid=812576 vsize=208312 memory=172572 CPUtime=101.98 cores=1,3
/proc/812579/stat : 812579 (ipbhs_static_sc) R 812576 812579 808444 0 -1 4194304 42533 0 0 0 10188 10 0 0 20 0 1 0 159928688 213311488 43143 134679101440 4194304 16068861 140721775518032 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 38944768 140721775522854 140721775522941 140721775522941 140721775529956 0
/proc/812579/statm: 52078 43143 2895 2900 0 48592 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 208312 KiB
Current children cumulated memory: 172572 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.18 4.20 6/244 812668
/proc/meminfo: memFree=127989452/131655788 swapFree=131071996/131071996
[pid=812579] ppid=812576 vsize=236300 memory=208768 CPUtime=161.81 cores=1,3
/proc/812579/stat : 812579 (ipbhs_static_sc) R 812576 812579 808444 0 -1 4194304 51058 0 0 0 16170 11 0 0 20 0 1 0 159928688 241971200 52192 134679101440 4194304 16068861 140721775518032 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 38944768 140721775522854 140721775522941 140721775522941 140721775529956 0
/proc/812579/statm: 59075 52192 2895 2900 0 55589 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 236300 KiB
Current children cumulated memory: 208768 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 4.17 4.19 6/244 812680
/proc/meminfo: memFree=127954624/131655788 swapFree=131071996/131071996
[pid=812579] ppid=812576 vsize=232644 memory=213696 CPUtime=221.66 cores=1,3
/proc/812579/stat : 812579 (ipbhs_static_sc) R 812576 812579 808444 0 -1 4194304 51277 0 0 0 22155 11 0 0 20 0 1 0 159928688 238227456 53424 134679101440 4194304 16068861 140721775518032 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 38944768 140721775522854 140721775522941 140721775522941 140721775529956 0
/proc/812579/statm: 58161 53424 2895 2900 0 54675 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 232644 KiB
Current children cumulated memory: 213696 KiB
[startup+282.3 s]
/proc/loadavg: 4.22 4.19 4.19 6/244 812690
/proc/meminfo: memFree=127911040/131655788 swapFree=131071996/131071996
[pid=812579] ppid=812576 vsize=227188 memory=209984 CPUtime=281.52 cores=1,3
/proc/812579/stat : 812579 (ipbhs_static_sc) R 812576 812579 808444 0 -1 4194304 51481 0 0 0 28141 11 0 0 20 0 1 0 159928688 232640512 52496 134679101440 4194304 16068861 140721775518032 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 38944768 140721775522854 140721775522941 140721775522941 140721775529956 0
/proc/812579/statm: 56797 52496 2895 2900 0 53311 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 227188 KiB
Current children cumulated memory: 209984 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 4.17 4.18 6/244 812700
/proc/meminfo: memFree=127879960/131655788 swapFree=131071996/131071996
[pid=812579] ppid=812576 vsize=227188 memory=210228 CPUtime=341.37 cores=1,3
/proc/812579/stat : 812579 (ipbhs_static_sc) R 812576 812579 808444 0 -1 4194304 51562 0 0 0 34126 11 0 0 20 0 1 0 159928688 232640512 52557 134679101440 4194304 16068861 140721775518032 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 38944768 140721775522854 140721775522941 140721775522941 140721775529956 0
/proc/812579/statm: 56797 52557 2895 2900 0 53311 0
Current children cumulated CPU time: 341.37 s
Current children cumulated vsize: 227188 KiB
Current children cumulated memory: 210228 KiB
[startup+402.3 s]
/proc/loadavg: 4.18 4.17 4.18 6/244 812711
/proc/meminfo: memFree=127846012/131655788 swapFree=131071996/131071996
[pid=812579] ppid=812576 vsize=235020 memory=217556 CPUtime=401.23 cores=1,3
/proc/812579/stat : 812579 (ipbhs_static_sc) R 812576 812579 808444 0 -1 4194304 53502 0 0 0 40112 11 0 0 20 0 1 0 159928688 240660480 54389 134679101440 4194304 16068861 140721775518032 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 38944768 140721775522854 140721775522941 140721775522941 140721775529956 0
/proc/812579/statm: 58755 54389 2895 2900 0 55269 0
Current children cumulated CPU time: 401.23 s
Current children cumulated vsize: 235020 KiB
Current children cumulated memory: 217556 KiB
[startup+462.3 s]
/proc/loadavg: 4.17 4.16 4.18 6/242 812722
/proc/meminfo: memFree=127808588/131655788 swapFree=131071996/131071996
[pid=812579] ppid=812576 vsize=238160 memory=219528 CPUtime=461.08 cores=1,3
/proc/812579/stat : 812579 (ipbhs_static_sc) R 812576 812579 808444 0 -1 4194304 54558 0 0 0 46097 11 0 0 20 0 1 0 159928688 243875840 54882 134679101440 4194304 16068861 140721775518032 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 38944768 140721775522854 140721775522941 140721775522941 140721775529956 0
/proc/812579/statm: 59540 54882 2895 2900 0 56054 0
################
# More data... #
################
Current children cumulated memory: 373700 KiB
[startup+2862.3 s]
/proc/loadavg: 4.12 4.13 4.16 6/244 814152
/proc/meminfo: memFree=127294720/131655788 swapFree=131071996/131071996
[pid=812579] ppid=812576 vsize=390572 memory=373716 CPUtime=2854.22 cores=1,3
/proc/812579/stat : 812579 (ipbhs_static_sc) R 812576 812579 808444 0 -1 4194304 97671 0 0 0 285403 19 0 0 20 0 1 0 159928688 399945728 93429 134679101440 4194304 16068861 140721775518032 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 38944768 140721775522854 140721775522941 140721775522941 140721775529956 0
/proc/812579/statm: 97643 93429 2895 2900 0 94157 0
Current children cumulated CPU time: 2854.22 s
Current children cumulated vsize: 390572 KiB
Current children cumulated memory: 373716 KiB
[startup+2922.3 s]
/proc/loadavg: 4.10 4.12 4.16 6/244 814162
/proc/meminfo: memFree=127287996/131655788 swapFree=131071996/131071996
[pid=812579] ppid=812576 vsize=390572 memory=373716 CPUtime=2914.04 cores=1,3
/proc/812579/stat : 812579 (ipbhs_static_sc) R 812576 812579 808444 0 -1 4194304 97829 0 0 0 291385 19 0 0 20 0 1 0 159928688 399945728 93429 134679101440 4194304 16068861 140721775518032 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 38944768 140721775522854 140721775522941 140721775522941 140721775529956 0
/proc/812579/statm: 97643 93429 2895 2900 0 94157 0
Current children cumulated CPU time: 2914.04 s
Current children cumulated vsize: 390572 KiB
Current children cumulated memory: 373716 KiB
[startup+2982.3 s]
/proc/loadavg: 4.08 4.11 4.15 6/247 814343
/proc/meminfo: memFree=127255620/131655788 swapFree=131071996/131071996
[pid=812579] ppid=812576 vsize=422204 memory=404648 CPUtime=2973.86 cores=1,3
/proc/812579/stat : 812579 (ipbhs_static_sc) R 812576 812579 808444 0 -1 4194304 105761 0 0 0 297366 20 0 0 20 0 1 0 159928688 432336896 101162 134679101440 4194304 16068861 140721775518032 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 38944768 140721775522854 140721775522941 140721775522941 140721775529956 0
/proc/812579/statm: 105551 101162 2895 2900 0 102065 0
Current children cumulated CPU time: 2973.86 s
Current children cumulated vsize: 422204 KiB
Current children cumulated memory: 404648 KiB
[startup+3042.3 s]
/proc/loadavg: 4.07 4.10 4.15 6/247 814354
/proc/meminfo: memFree=127248056/131655788 swapFree=131071996/131071996
[pid=812579] ppid=812576 vsize=422204 memory=405220 CPUtime=3033.67 cores=1,3
/proc/812579/stat : 812579 (ipbhs_static_sc) R 812576 812579 808444 0 -1 4194304 106022 0 0 0 303347 20 0 0 20 0 1 0 159928688 432336896 101305 134679101440 4194304 16068861 140721775518032 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 38944768 140721775522854 140721775522941 140721775522941 140721775529956 0
/proc/812579/statm: 105551 101305 2895 2900 0 102065 0
Current children cumulated CPU time: 3033.67 s
Current children cumulated vsize: 422204 KiB
Current children cumulated memory: 405220 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.10 4.14 6/248 814369
/proc/meminfo: memFree=127250460/131655788 swapFree=131071996/131071996
[pid=812579] ppid=812576 vsize=418228 memory=400000 CPUtime=3093.5 cores=1,3
/proc/812579/stat : 812579 (ipbhs_static_sc) R 812576 812579 808444 0 -1 4194304 106409 0 0 0 309329 21 0 0 20 0 1 0 159928688 428265472 100000 134679101440 4194304 16068861 140721775518032 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 38944768 140721775522854 140721775522941 140721775522941 140721775529956 0
/proc/812579/statm: 104557 100000 2895 2900 0 101071 0
Current children cumulated CPU time: 3093.5 s
Current children cumulated vsize: 418228 KiB
Current children cumulated memory: 400000 KiB
[startup+3162.3 s]
/proc/loadavg: 4.07 4.09 4.13 6/246 814392
/proc/meminfo: memFree=127248772/131655788 swapFree=131071996/131071996
[pid=812579] ppid=812576 vsize=418228 memory=400164 CPUtime=3153.31 cores=1,3
/proc/812579/stat : 812579 (ipbhs_static_sc) R 812576 812579 808444 0 -1 4194304 106552 0 0 0 315310 21 0 0 20 0 1 0 159928688 428265472 100041 134679101440 4194304 16068861 140721775518032 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 38944768 140721775522854 140721775522941 140721775522941 140721775529956 0
/proc/812579/statm: 104557 100041 2895 2900 0 101071 0
Current children cumulated CPU time: 3153.31 s
Current children cumulated vsize: 418228 KiB
Current children cumulated memory: 400164 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.10 4.13 6/246 814403
/proc/meminfo: memFree=127244944/131655788 swapFree=131071996/131071996
[pid=812579] ppid=812576 vsize=418228 memory=400460 CPUtime=3213.13 cores=1,3
/proc/812579/stat : 812579 (ipbhs_static_sc) R 812576 812579 808444 0 -1 4194304 106786 0 0 0 321292 21 0 0 20 0 1 0 159928688 428265472 100115 134679101440 4194304 16068861 140721775518032 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 38944768 140721775522854 140721775522941 140721775522941 140721775529956 0
/proc/812579/statm: 104557 100115 2895 2900 0 101071 0
Current children cumulated CPU time: 3213.13 s
Current children cumulated vsize: 418228 KiB
Current children cumulated memory: 400460 KiB
[startup+3282.3 s]
/proc/loadavg: 4.04 4.08 4.12 6/247 814414
/proc/meminfo: memFree=127236316/131655788 swapFree=131071996/131071996
[pid=812579] ppid=812576 vsize=418228 memory=400660 CPUtime=3272.95 cores=1,3
/proc/812579/stat : 812579 (ipbhs_static_sc) R 812576 812579 808444 0 -1 4194304 107005 0 0 0 327274 21 0 0 20 0 1 0 159928688 428265472 100165 134679101440 4194304 16068861 140721775518032 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 38944768 140721775522854 140721775522941 140721775522941 140721775529956 0
/proc/812579/statm: 104557 100165 2895 2900 0 101071 0
Current children cumulated CPU time: 3272.95 s
Current children cumulated vsize: 418228 KiB
Current children cumulated memory: 400660 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.09 4.12 6/245 814424
/proc/meminfo: memFree=127235844/131655788 swapFree=131071996/131071996
[pid=812579] ppid=812576 vsize=418228 memory=400660 CPUtime=3332.76 cores=1,3
/proc/812579/stat : 812579 (ipbhs_static_sc) R 812576 812579 808444 0 -1 4194304 107156 0 0 0 333255 21 0 0 20 0 1 0 159928688 428265472 100165 134679101440 4194304 16068861 140721775518032 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 38944768 140721775522854 140721775522941 140721775522941 140721775529956 0
/proc/812579/statm: 104557 100165 2895 2900 0 101071 0
Current children cumulated CPU time: 3332.76 s
Current children cumulated vsize: 418228 KiB
Current children cumulated memory: 400660 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.09 4.12 6/243 814436
/proc/meminfo: memFree=127236740/131655788 swapFree=131071996/131071996
[pid=812579] ppid=812576 vsize=416184 memory=399192 CPUtime=3392.58 cores=1,3
/proc/812579/stat : 812579 (ipbhs_static_sc) R 812576 812579 808444 0 -1 4194304 107459 0 0 0 339237 21 0 0 20 0 1 0 159928688 426172416 99798 134679101440 4194304 16068861 140721775518032 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 38944768 140721775522854 140721775522941 140721775522941 140721775529956 0
/proc/812579/statm: 104046 99798 2895 2900 0 100560 0
Current children cumulated CPU time: 3392.58 s
Current children cumulated vsize: 416184 KiB
Current children cumulated memory: 399192 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.09 4.11 6/243 814447
/proc/meminfo: memFree=127236192/131655788 swapFree=131071996/131071996
[pid=812579] ppid=812576 vsize=416184 memory=399192 CPUtime=3452.4 cores=1,3
/proc/812579/stat : 812579 (ipbhs_static_sc) R 812576 812579 808444 0 -1 4194304 107613 0 0 0 345219 21 0 0 20 0 1 0 159928688 426172416 99798 134679101440 4194304 16068861 140721775518032 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 38944768 140721775522854 140721775522941 140721775522941 140721775529956 0
/proc/812579/statm: 104046 99798 2895 2900 0 100560 0
Current children cumulated CPU time: 3452.4 s
Current children cumulated vsize: 416184 KiB
Current children cumulated memory: 399192 KiB
[startup+3522.3 s]
/proc/loadavg: 4.17 4.10 4.11 6/245 814471
/proc/meminfo: memFree=127234804/131655788 swapFree=131071996/131071996
[pid=812579] ppid=812576 vsize=416184 memory=399192 CPUtime=3512.21 cores=1,3
/proc/812579/stat : 812579 (ipbhs_static_sc) R 812576 812579 808444 0 -1 4194304 107759 0 0 0 351200 21 0 0 20 0 1 0 159928688 426172416 99798 134679101440 4194304 16068861 140721775518032 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 38944768 140721775522854 140721775522941 140721775522941 140721775529956 0
/proc/812579/statm: 104046 99798 2895 2900 0 100560 0
Current children cumulated CPU time: 3512.21 s
Current children cumulated vsize: 416184 KiB
Current children cumulated memory: 399192 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.10 4.11 6/246 814709
/proc/meminfo: memFree=127232920/131655788 swapFree=131071996/131071996
[pid=812579] ppid=812576 vsize=416184 memory=399360 CPUtime=3572.03 cores=1,3
/proc/812579/stat : 812579 (ipbhs_static_sc) R 812576 812579 808444 0 -1 4194304 107960 0 0 0 357182 21 0 0 20 0 1 0 159928688 426172416 99840 134679101440 4194304 16068861 140721775518032 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 38944768 140721775522854 140721775522941 140721775522941 140721775529956 0
/proc/812579/statm: 104046 99840 2895 2900 0 100560 0
Current children cumulated CPU time: 3572.03 s
Current children cumulated vsize: 416184 KiB
Current children cumulated memory: 399360 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.4 s]
/proc/loadavg: 4.05 4.08 4.10 3/232 814774
/proc/meminfo: memFree=128018372/131655788 swapFree=131071996/131071996
[pid=812579] ppid=812576 vsize=416184 memory=399360 CPUtime=3600.04 cores=1,3
/proc/812579/stat : 812579 (ipbhs_static_sc) R 812576 812579 808444 0 -1 4194304 107990 0 0 0 359983 21 0 0 20 0 1 0 159928688 426172416 99840 134679101440 4194304 16068861 140721775518032 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 38944768 140721775522854 140721775522941 140721775522941 140721775529956 0
/proc/812579/statm: 104046 99840 2895 2900 0 100560 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 416184 KiB
Current children cumulated memory: 399360 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.4 s]
# the end of solver process 812579 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3599.84 s, system=0.214985 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3610.4
CPU time (s): 3600.05
CPU user time (s): 3599.84
CPU system time (s): 0.214985
CPU usage (%): 99.7133
Max. virtual memory (cumulated for all children) (KiB): 422204
Max. memory (cumulated for all children) (KiB): 405220
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.84
system time used= 0.214985
maximum resident set size= 405220
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 107990
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= 37
involuntary context switches= 1742
# summary of solver processes directly reported to runsolver:
# pid: 812579
# total CPU time (s): 3600.05
# total CPU user time (s): 3599.84
# total CPU system time (s): 0.214985
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.0655 second user time and 34.4997 second system time
The end
Begin job on nodeC007 at 2024-07-15 23:08:53
IDJOB=4431832
IDBENCH=147534
IDSOLVER=3057
FILE ID=nodeC007/4431832-1721077720
RUNJOBID= nodeC007-1721070510-808456
SLURM_JOB_ID= 7505529
Free space on /tmp= 723624 MiB
SOLVER NAME= IPBHS-SCIP 2024-07-09
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_11.opb.PB06.opb
COMMAND LINE= ./ipbhs_static_scip BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431832-1721077720/watcher-4431832-1721077720 -o /tmp/evaluation-result-4431832-1721077720/solver-4431832-1721077720 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721070510-808456 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4431832-1721077720.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 40839a009ce460ae7be0fe2be6267e36
RANDOM SEED=624995589
nodeC007.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 : 3673.418
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.25
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 : 3492.051
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.30
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.357
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.25
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.129
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.30
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 : 3491.628
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.25
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 : 3592.764
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.30
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.334
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.25
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.137
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.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 128166892 kB
MemAvailable: 129488972 kB
Buffers: 378676 kB
Cached: 1774404 kB
SwapCached: 0 kB
Active: 677992 kB
Inactive: 2264380 kB
Active(anon): 1436 kB
Inactive(anon): 825556 kB
Active(file): 676556 kB
Inactive(file): 1438824 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 161432 kB
Writeback: 0 kB
AnonPages: 789368 kB
Mapped: 126696 kB
Shmem: 37704 kB
KReclaimable: 93460 kB
Slab: 189256 kB
SReclaimable: 93460 kB
SUnreclaim: 95796 kB
KernelStack: 3808 kB
PageTables: 10752 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1174108 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 51168 kB
HardwareCorrupted: 0 kB
AnonHugePages: 573440 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: 248648 kB
DirectMap2M: 22724608 kB
DirectMap1G: 113246208 kB
Free space on /tmp at the end= 723676 MiB
End job on nodeC007 at 2024-07-16 00:09:03