8.98/9.06 c initialize IPBHS solver
8.98/9.06 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
8.98/9.06 c optimizer = "scip"
8.98/9.06 c pbsolver = "roundingsat"
8.98/9.06 c load symmetries from file ""
8.98/9.06 c set time limit for symmetry computation to 100 seconds.
8.98/9.06 c set interchangeable summation variable limit to 3
8.98/9.06 c set abs symmetric core budget per WCE-iteration to 100
8.98/9.06 c set rel symmetric core budget per WCE-iteration to 0
8.98/9.06 c set lit symmetric core budget per WCE-iteration to 0
8.98/9.06 c set sym generation to 's'
8.98/9.06 c set abstraction set creation to 10 iterations without LB change
8.98/9.06 c set abstraction set inputs to 0
8.98/9.06 c set abstraction set cluster min size to 2
8.98/9.06 c set abstraction set cluster max size to 100000000
8.98/9.06 c set abstraction set cluster activation limit to 2
8.98/9.06 c enable abstraction set require equal cost
8.98/9.06 c set abstraction set assumptions to 0
8.98/9.06 c set abstraction set constraint type to 0
8.98/9.06 c set abstract core extraction strategy to b
8.98/9.06 c set core extraction strategy to 2
8.98/9.06 c set core extraction shuffles 10
8.98/9.06 c set cores per iteration to 5
8.98/9.06 c set optimizer bound usage strategy to 2
8.98/9.06 c set optimizer max non-optimal iterations to 1000
8.98/9.06 c set small core cardinality limit to 2
8.98/9.06 c set max coef in cores to 1000000000
8.98/9.06 c set SIS iterations to 5
8.98/9.06 c set SIS budget abs to 1000
8.98/9.06 c set SIS budget rel to 0.05
8.98/9.06 c limit for coefficient in constraints and objective to 9223372036854775807
8.98/9.06 c will solve HOME/instance-4431840-1721077720.opb
8.98/9.06 c [0.01] solve iteration 1, LB=0, UB=1969
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 (63233 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431840-1721077720/watcher-4431840-1721077720 -o /tmp/evaluation-result-4431840-1721077720/solver-4431840-1721077720 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721070510-808457 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4431840-1721077720.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=812589, runsolver pid=812586
[startup+0.100094 s]*
/proc/loadavg: 4.14 4.22 4.22 6/242 812590
/proc/meminfo: memFree=128109488/131655788 swapFree=131071996/131071996
[pid=812589] ppid=812586 vsize=59956 memory=39124 CPUtime=0.11 cores=5,7
/proc/812589/stat : 812589 (ipbhs_static_sc) R 812586 812589 808444 0 -1 4194304 7351 0 0 0 9 2 0 0 20 0 1 0 159928714 61394944 9781 134679101440 4194304 16068861 140735481077376 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30961664 140735481082918 140735481083005 140735481083005 140735481090020 0
/proc/812589/statm: 14989 9781 2863 2900 0 11503 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 59956 KiB
Current children cumulated memory: 39124 KiB
[startup+0.212864 s]*
/proc/loadavg: 4.14 4.22 4.22 5/242 812590
/proc/meminfo: memFree=128085644/131655788 swapFree=131071996/131071996
[pid=812589] ppid=812586 vsize=74408 memory=50496 CPUtime=0.21 cores=5,7
/proc/812589/stat : 812589 (ipbhs_static_sc) R 812586 812589 808444 0 -1 4194304 10193 0 0 0 19 2 0 0 20 0 1 0 159928714 76193792 12624 134679101440 4194304 16068861 140735481077376 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30961664 140735481082918 140735481083005 140735481083005 140735481090020 0
/proc/812589/statm: 18602 12624 2879 2900 0 15116 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 74408 KiB
Current children cumulated memory: 50496 KiB
[startup+0.312745 s]*
/proc/loadavg: 4.14 4.22 4.22 5/242 812590
/proc/meminfo: memFree=128082816/131655788 swapFree=131071996/131071996
[pid=812589] ppid=812586 vsize=74408 memory=50496 CPUtime=0.31 cores=5,7
/proc/812589/stat : 812589 (ipbhs_static_sc) R 812586 812589 808444 0 -1 4194304 10206 0 0 0 29 2 0 0 20 0 1 0 159928714 76193792 12624 134679101440 4194304 16068861 140735481077376 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30961664 140735481082918 140735481083005 140735481083005 140735481090020 0
/proc/812589/statm: 18602 12624 2879 2900 0 15116 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 74408 KiB
Current children cumulated memory: 50496 KiB
[startup+0.700314 s]
/proc/loadavg: 4.14 4.22 4.22 5/242 812590
/proc/meminfo: memFree=128076964/131655788 swapFree=131071996/131071996
[pid=812589] ppid=812586 vsize=78068 memory=53712 CPUtime=0.68 cores=5,7
/proc/812589/stat : 812589 (ipbhs_static_sc) R 812586 812589 808444 0 -1 4194304 11035 0 0 0 66 2 0 0 20 0 1 0 159928714 79941632 13428 134679101440 4194304 16068861 140735481077376 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30961664 140735481082918 140735481083005 140735481083005 140735481090020 0
/proc/812589/statm: 19517 13428 2895 2900 0 16031 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 78068 KiB
Current children cumulated memory: 53712 KiB
[startup+1.50026 s]
/proc/loadavg: 4.14 4.22 4.22 5/242 812590
/proc/meminfo: memFree=128071676/131655788 swapFree=131071996/131071996
[pid=812589] ppid=812586 vsize=80508 memory=55560 CPUtime=1.48 cores=5,7
/proc/812589/stat : 812589 (ipbhs_static_sc) R 812586 812589 808444 0 -1 4194304 11492 0 0 0 146 2 0 0 20 0 1 0 159928714 82440192 13890 134679101440 4194304 16068861 140735481077376 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30961664 140735481082918 140735481083005 140735481083005 140735481090020 0
/proc/812589/statm: 20127 13890 2895 2900 0 16641 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 80508 KiB
Current children cumulated memory: 55560 KiB
[startup+3.11221 s]
/proc/loadavg: 4.13 4.22 4.22 5/242 812591
/proc/meminfo: memFree=128039896/131655788 swapFree=131071996/131071996
[pid=812589] ppid=812586 vsize=95296 memory=68760 CPUtime=3.1 cores=5,7
/proc/812589/stat : 812589 (ipbhs_static_sc) R 812586 812589 808444 0 -1 4194304 14806 0 0 0 307 3 0 0 20 0 1 0 159928714 97583104 17190 134679101440 4194304 16068861 140735481077376 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30961664 140735481082918 140735481083005 140735481083005 140735481090020 0
/proc/812589/statm: 23824 17190 2895 2900 0 20338 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 95296 KiB
Current children cumulated memory: 68760 KiB
[startup+6.30026 s]
/proc/loadavg: 4.13 4.22 4.22 5/242 812591
/proc/meminfo: memFree=127982784/131655788 swapFree=131071996/131071996
[pid=812589] ppid=812586 vsize=116492 memory=90144 CPUtime=6.27 cores=5,7
/proc/812589/stat : 812589 (ipbhs_static_sc) R 812586 812589 808444 0 -1 4194304 20106 0 0 0 624 3 0 0 20 0 1 0 159928714 119287808 22536 134679101440 4194304 16068861 140735481077376 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30961664 140735481082918 140735481083005 140735481083005 140735481090020 0
/proc/812589/statm: 29123 22536 2895 2900 0 25637 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 116492 KiB
Current children cumulated memory: 90144 KiB
[startup+12.7003 s]
/proc/loadavg: 4.12 4.21 4.22 5/242 812640
/proc/meminfo: memFree=128315872/131655788 swapFree=131071996/131071996
[pid=812589] ppid=812586 vsize=128864 memory=100240 CPUtime=12.66 cores=5,7
/proc/812589/stat : 812589 (ipbhs_static_sc) R 812586 812589 808444 0 -1 4194304 23632 0 0 0 1262 4 0 0 20 0 1 0 159928714 131956736 25060 134679101440 4194304 16068861 140735481077376 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30961664 140735481082918 140735481083005 140735481083005 140735481090020 0
/proc/812589/statm: 32216 25060 2895 2900 0 28730 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 128864 KiB
Current children cumulated memory: 100240 KiB
[startup+25.5003 s]
/proc/loadavg: 4.16 4.22 4.22 5/242 812641
/proc/meminfo: memFree=128303620/131655788 swapFree=131071996/131071996
[pid=812589] ppid=812586 vsize=128864 memory=100500 CPUtime=25.42 cores=5,7
/proc/812589/stat : 812589 (ipbhs_static_sc) R 812586 812589 808444 0 -1 4194304 23701 0 0 0 2538 4 0 0 20 0 1 0 159928714 131956736 25125 134679101440 4194304 16068861 140735481077376 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30961664 140735481082918 140735481083005 140735481083005 140735481090020 0
/proc/812589/statm: 32216 25125 2895 2900 0 28730 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 128864 KiB
Current children cumulated memory: 100500 KiB
[startup+51.1122 s]
/proc/loadavg: 4.11 4.20 4.21 5/242 812644
/proc/meminfo: memFree=128153896/131655788 swapFree=131071996/131071996
[pid=812589] ppid=812586 vsize=171896 memory=138504 CPUtime=50.97 cores=5,7
/proc/812589/stat : 812589 (ipbhs_static_sc) R 812586 812589 808444 0 -1 4194304 33217 0 0 0 5091 6 0 0 20 0 1 0 159928714 176021504 34626 134679101440 4194304 16068861 140735481077376 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30961664 140735481082918 140735481083005 140735481083005 140735481090020 0
/proc/812589/statm: 42974 34626 2895 2900 0 39488 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 171896 KiB
Current children cumulated memory: 138504 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.18 4.20 5/244 812658
/proc/meminfo: memFree=128084320/131655788 swapFree=131071996/131071996
[pid=812589] ppid=812586 vsize=180280 memory=144116 CPUtime=102.03 cores=5,7
/proc/812589/stat : 812589 (ipbhs_static_sc) R 812586 812589 808444 0 -1 4194304 39838 0 0 0 10196 7 0 0 20 0 1 0 159928714 184606720 36029 134679101440 4194304 16068861 140735481077376 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30961664 140735481082918 140735481083005 140735481083005 140735481090020 0
/proc/812589/statm: 45070 36029 2895 2900 0 41584 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 180280 KiB
Current children cumulated memory: 144116 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.18 4.20 5/244 812668
/proc/meminfo: memFree=127988692/131655788 swapFree=131071996/131071996
[pid=812589] ppid=812586 vsize=191400 memory=151876 CPUtime=161.85 cores=5,7
/proc/812589/stat : 812589 (ipbhs_static_sc) R 812586 812589 808444 0 -1 4194304 43127 0 0 0 16177 8 0 0 20 0 1 0 159928714 195993600 37969 134679101440 4194304 16068861 140735481077376 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30961664 140735481082918 140735481083005 140735481083005 140735481090020 0
/proc/812589/statm: 47850 37969 2895 2900 0 44364 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 191400 KiB
Current children cumulated memory: 151876 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 4.17 4.19 5/244 812680
/proc/meminfo: memFree=127954624/131655788 swapFree=131071996/131071996
[pid=812589] ppid=812586 vsize=209636 memory=165528 CPUtime=221.66 cores=5,7
/proc/812589/stat : 812589 (ipbhs_static_sc) R 812586 812589 808444 0 -1 4194304 47293 0 0 0 22158 8 0 0 20 0 1 0 159928714 214667264 41382 134679101440 4194304 16068861 140735481077376 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30961664 140735481082918 140735481083005 140735481083005 140735481090020 0
/proc/812589/statm: 52409 41382 2895 2900 0 48923 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 209636 KiB
Current children cumulated memory: 165528 KiB
[startup+282.3 s]
/proc/loadavg: 4.22 4.19 4.19 5/244 812690
/proc/meminfo: memFree=127911040/131655788 swapFree=131071996/131071996
[pid=812589] ppid=812586 vsize=217336 memory=186556 CPUtime=281.51 cores=5,7
/proc/812589/stat : 812589 (ipbhs_static_sc) R 812586 812589 808444 0 -1 4194304 48596 0 0 0 28142 9 0 0 20 0 1 0 159928714 222552064 46639 134679101440 4194304 16068861 140735481077376 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30961664 140735481082918 140735481083005 140735481083005 140735481090020 0
/proc/812589/statm: 54334 46639 2895 2900 0 50848 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 217336 KiB
Current children cumulated memory: 186556 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 4.17 4.18 5/244 812700
/proc/meminfo: memFree=127879936/131655788 swapFree=131071996/131071996
[pid=812589] ppid=812586 vsize=226664 memory=210480 CPUtime=341.35 cores=5,7
/proc/812589/stat : 812589 (ipbhs_static_sc) R 812586 812589 808444 0 -1 4194304 50523 0 0 0 34126 9 0 0 20 0 1 0 159928714 232103936 52620 134679101440 4194304 16068861 140735481077376 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30961664 140735481082918 140735481083005 140735481083005 140735481090020 0
/proc/812589/statm: 56666 52620 2895 2900 0 53180 0
Current children cumulated CPU time: 341.35 s
Current children cumulated vsize: 226664 KiB
Current children cumulated memory: 210480 KiB
[startup+402.3 s]
/proc/loadavg: 4.18 4.17 4.18 5/244 812711
/proc/meminfo: memFree=127846024/131655788 swapFree=131071996/131071996
[pid=812589] ppid=812586 vsize=233752 memory=214376 CPUtime=401.21 cores=5,7
/proc/812589/stat : 812589 (ipbhs_static_sc) R 812586 812589 808444 0 -1 4194304 51656 0 0 0 40111 10 0 0 20 0 1 0 159928714 239362048 53594 134679101440 4194304 16068861 140735481077376 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30961664 140735481082918 140735481083005 140735481083005 140735481090020 0
/proc/812589/statm: 58438 53594 2895 2900 0 54952 0
Current children cumulated CPU time: 401.21 s
Current children cumulated vsize: 233752 KiB
Current children cumulated memory: 214376 KiB
[startup+462.3 s]
/proc/loadavg: 4.17 4.16 4.18 5/242 812722
/proc/meminfo: memFree=127808588/131655788 swapFree=131071996/131071996
[pid=812589] ppid=812586 vsize=257344 memory=236752 CPUtime=461.06 cores=5,7
/proc/812589/stat : 812589 (ipbhs_static_sc) R 812586 812589 808444 0 -1 4194304 57885 0 0 0 46095 11 0 0 20 0 1 0 159928714 263520256 59188 134679101440 4194304 16068861 140735481077376 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30961664 140735481082918 140735481083005 140735481083005 140735481090020 0
/proc/812589/statm: 64336 59188 2895 2900 0 60850 0
################
# More data... #
################
Current children cumulated memory: 312528 KiB
[startup+2922.3 s]
/proc/loadavg: 4.10 4.12 4.16 5/244 814162
/proc/meminfo: memFree=127287996/131655788 swapFree=131071996/131071996
[pid=812589] ppid=812586 vsize=335724 memory=318564 CPUtime=2914.73 cores=5,7
/proc/812589/stat : 812589 (ipbhs_static_sc) R 812586 812589 808444 0 -1 4194304 87110 0 0 0 291455 18 0 0 20 0 1 0 159928714 343781376 79641 134679101440 4194304 16068861 140735481077376 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30961664 140735481082918 140735481083005 140735481083005 140735481090020 0
/proc/812589/statm: 83931 79641 2895 2900 0 80445 0
Current children cumulated CPU time: 2914.73 s
Current children cumulated vsize: 335724 KiB
Current children cumulated memory: 318564 KiB
[startup+2982.3 s]
/proc/loadavg: 4.08 4.11 4.15 5/247 814343
/proc/meminfo: memFree=127255620/131655788 swapFree=131071996/131071996
[pid=812589] ppid=812586 vsize=335724 memory=318564 CPUtime=2974.59 cores=5,7
/proc/812589/stat : 812589 (ipbhs_static_sc) R 812586 812589 808444 0 -1 4194304 87237 0 0 0 297440 19 0 0 20 0 1 0 159928714 343781376 79641 134679101440 4194304 16068861 140735481077376 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30961664 140735481082918 140735481083005 140735481083005 140735481090020 0
/proc/812589/statm: 83931 79641 2895 2900 0 80445 0
Current children cumulated CPU time: 2974.59 s
Current children cumulated vsize: 335724 KiB
Current children cumulated memory: 318564 KiB
[startup+3042.3 s]
/proc/loadavg: 4.07 4.10 4.15 5/247 814354
/proc/meminfo: memFree=127248064/131655788 swapFree=131071996/131071996
[pid=812589] ppid=812586 vsize=340068 memory=323380 CPUtime=3034.44 cores=5,7
/proc/812589/stat : 812589 (ipbhs_static_sc) R 812586 812589 808444 0 -1 4194304 88627 0 0 0 303425 19 0 0 20 0 1 0 159928714 348229632 80845 134679101440 4194304 16068861 140735481077376 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30961664 140735481082918 140735481083005 140735481083005 140735481090020 0
/proc/812589/statm: 85017 80845 2895 2900 0 81531 0
Current children cumulated CPU time: 3034.44 s
Current children cumulated vsize: 340068 KiB
Current children cumulated memory: 323380 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.10 4.14 5/248 814369
/proc/meminfo: memFree=127250460/131655788 swapFree=131071996/131071996
[pid=812589] ppid=812586 vsize=341088 memory=324904 CPUtime=3094.29 cores=5,7
/proc/812589/stat : 812589 (ipbhs_static_sc) R 812586 812589 808444 0 -1 4194304 89582 0 0 0 309410 19 0 0 20 0 1 0 159928714 349274112 81226 134679101440 4194304 16068861 140735481077376 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30961664 140735481082918 140735481083005 140735481083005 140735481090020 0
/proc/812589/statm: 85272 81226 2895 2900 0 81786 0
Current children cumulated CPU time: 3094.29 s
Current children cumulated vsize: 341088 KiB
Current children cumulated memory: 324904 KiB
[startup+3162.3 s]
/proc/loadavg: 4.07 4.09 4.13 5/246 814392
/proc/meminfo: memFree=127248688/131655788 swapFree=131071996/131071996
[pid=812589] ppid=812586 vsize=341088 memory=324904 CPUtime=3154.15 cores=5,7
/proc/812589/stat : 812589 (ipbhs_static_sc) R 812586 812589 808444 0 -1 4194304 89705 0 0 0 315395 20 0 0 20 0 1 0 159928714 349274112 81226 134679101440 4194304 16068861 140735481077376 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30961664 140735481082918 140735481083005 140735481083005 140735481090020 0
/proc/812589/statm: 85272 81226 2895 2900 0 81786 0
Current children cumulated CPU time: 3154.15 s
Current children cumulated vsize: 341088 KiB
Current children cumulated memory: 324904 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.10 4.13 5/246 814403
/proc/meminfo: memFree=127244876/131655788 swapFree=131071996/131071996
[pid=812589] ppid=812586 vsize=341088 memory=324952 CPUtime=3213.99 cores=5,7
/proc/812589/stat : 812589 (ipbhs_static_sc) R 812586 812589 808444 0 -1 4194304 89841 0 0 0 321379 20 0 0 20 0 1 0 159928714 349274112 81238 134679101440 4194304 16068861 140735481077376 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30961664 140735481082918 140735481083005 140735481083005 140735481090020 0
/proc/812589/statm: 85272 81238 2895 2900 0 81786 0
Current children cumulated CPU time: 3213.99 s
Current children cumulated vsize: 341088 KiB
Current children cumulated memory: 324952 KiB
[startup+3282.3 s]
/proc/loadavg: 4.04 4.08 4.12 5/247 814414
/proc/meminfo: memFree=127236316/131655788 swapFree=131071996/131071996
[pid=812589] ppid=812586 vsize=349104 memory=332580 CPUtime=3273.84 cores=5,7
/proc/812589/stat : 812589 (ipbhs_static_sc) R 812586 812589 808444 0 -1 4194304 91870 0 0 0 327364 20 0 0 20 0 1 0 159928714 357482496 83145 134679101440 4194304 16068861 140735481077376 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30961664 140735481082918 140735481083005 140735481083005 140735481090020 0
/proc/812589/statm: 87276 83145 2895 2900 0 83790 0
Current children cumulated CPU time: 3273.84 s
Current children cumulated vsize: 349104 KiB
Current children cumulated memory: 332580 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.09 4.12 5/245 814424
/proc/meminfo: memFree=127235844/131655788 swapFree=131071996/131071996
[pid=812589] ppid=812586 vsize=349104 memory=332580 CPUtime=3333.7 cores=5,7
/proc/812589/stat : 812589 (ipbhs_static_sc) R 812586 812589 808444 0 -1 4194304 91997 0 0 0 333349 21 0 0 20 0 1 0 159928714 357482496 83145 134679101440 4194304 16068861 140735481077376 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30961664 140735481082918 140735481083005 140735481083005 140735481090020 0
/proc/812589/statm: 87276 83145 2895 2900 0 83790 0
Current children cumulated CPU time: 3333.7 s
Current children cumulated vsize: 349104 KiB
Current children cumulated memory: 332580 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.09 4.12 5/243 814436
/proc/meminfo: memFree=127236748/131655788 swapFree=131071996/131071996
[pid=812589] ppid=812586 vsize=349104 memory=332792 CPUtime=3393.55 cores=5,7
/proc/812589/stat : 812589 (ipbhs_static_sc) R 812586 812589 808444 0 -1 4194304 92174 0 0 0 339334 21 0 0 20 0 1 0 159928714 357482496 83198 134679101440 4194304 16068861 140735481077376 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30961664 140735481082918 140735481083005 140735481083005 140735481090020 0
/proc/812589/statm: 87276 83198 2895 2900 0 83790 0
Current children cumulated CPU time: 3393.55 s
Current children cumulated vsize: 349104 KiB
Current children cumulated memory: 332792 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.09 4.11 5/243 814447
/proc/meminfo: memFree=127236192/131655788 swapFree=131071996/131071996
[pid=812589] ppid=812586 vsize=349104 memory=332904 CPUtime=3453.4 cores=5,7
/proc/812589/stat : 812589 (ipbhs_static_sc) R 812586 812589 808444 0 -1 4194304 92332 0 0 0 345319 21 0 0 20 0 1 0 159928714 357482496 83226 134679101440 4194304 16068861 140735481077376 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30961664 140735481082918 140735481083005 140735481083005 140735481090020 0
/proc/812589/statm: 87276 83226 2895 2900 0 83790 0
Current children cumulated CPU time: 3453.4 s
Current children cumulated vsize: 349104 KiB
Current children cumulated memory: 332904 KiB
[startup+3522.3 s]
/proc/loadavg: 4.17 4.10 4.11 5/245 814471
/proc/meminfo: memFree=127234844/131655788 swapFree=131071996/131071996
[pid=812589] ppid=812586 vsize=349104 memory=332964 CPUtime=3513.26 cores=5,7
/proc/812589/stat : 812589 (ipbhs_static_sc) R 812586 812589 808444 0 -1 4194304 92467 0 0 0 351304 22 0 0 20 0 1 0 159928714 357482496 83241 134679101440 4194304 16068861 140735481077376 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30961664 140735481082918 140735481083005 140735481083005 140735481090020 0
/proc/812589/statm: 87276 83241 2895 2900 0 83790 0
Current children cumulated CPU time: 3513.26 s
Current children cumulated vsize: 349104 KiB
Current children cumulated memory: 332964 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.10 4.11 5/246 814709
/proc/meminfo: memFree=127232936/131655788 swapFree=131071996/131071996
[pid=812589] ppid=812586 vsize=349104 memory=332964 CPUtime=3573.11 cores=5,7
/proc/812589/stat : 812589 (ipbhs_static_sc) R 812586 812589 808444 0 -1 4194304 92588 0 0 0 357289 22 0 0 20 0 1 0 159928714 357482496 83241 134679101440 4194304 16068861 140735481077376 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30961664 140735481082918 140735481083005 140735481083005 140735481090020 0
/proc/812589/statm: 87276 83241 2895 2900 0 83790 0
Current children cumulated CPU time: 3573.11 s
Current children cumulated vsize: 349104 KiB
Current children cumulated memory: 332964 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.3 s]
/proc/loadavg: 4.05 4.08 4.10 4/239 814743
/proc/meminfo: memFree=127632212/131655788 swapFree=131071996/131071996
[pid=812589] ppid=812586 vsize=349104 memory=332964 CPUtime=3600.04 cores=5,7
/proc/812589/stat : 812589 (ipbhs_static_sc) R 812586 812589 808444 0 -1 4194304 92601 0 0 0 359982 22 0 0 20 0 1 0 159928714 357482496 83241 134679101440 4194304 16068861 140735481077376 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30961664 140735481082918 140735481083005 140735481083005 140735481090020 0
/proc/812589/statm: 87276 83241 2895 2900 0 83790 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 349104 KiB
Current children cumulated memory: 332964 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.3 s]
# the end of solver process 812589 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3599.82 s, system=0.230014 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.3 s]
/proc/loadavg: 4.05 4.08 4.10 4/239 814743
/proc/meminfo: memFree=127632212/131655788 swapFree=131071996/131071996
[pid=812589] ppid=812586 vsize=349104 memory=332964 CPUtime=3600.04 cores=5,7
/proc/812589/stat : 812589 (ipbhs_static_sc) R 812586 812589 808444 0 -1 4194304 92601 0 0 0 359982 22 0 0 20 0 1 0 159928714 357482496 83241 134679101440 4194304 16068861 140735481077376 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30961664 140735481082918 140735481083005 140735481083005 140735481090020 0
/proc/812589/statm: 87276 83241 2895 2900 0 83790 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 349104 KiB
Current children cumulated memory: 332964 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3609.3
CPU time (s): 3600.05
CPU user time (s): 3599.82
CPU system time (s): 0.230014
CPU usage (%): 99.7436
Max. virtual memory (cumulated for all children) (KiB): 349104
Max. memory (cumulated for all children) (KiB): 332964
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.82
system time used= 0.230014
maximum resident set size= 332964
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 92601
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= 34
involuntary context switches= 1742
# summary of solver processes directly reported to runsolver:
# pid: 812589
# total CPU time (s): 3600.05
# total CPU user time (s): 3599.82
# total CPU system time (s): 0.230014
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.0903 second user time and 34.0514 second system time
The end
Begin job on nodeC007 at 2024-07-15 23:08:53
IDJOB=4431840
IDBENCH=147535
IDSOLVER=3057
FILE ID=nodeC007/4431840-1721077720
RUNJOBID= nodeC007-1721070510-808457
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_7.opb.PB06.opb
COMMAND LINE= ./ipbhs_static_scip BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431840-1721077720/watcher-4431840-1721077720 -o /tmp/evaluation-result-4431840-1721077720/solver-4431840-1721077720 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721070510-808457 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4431840-1721077720.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 4613bd71ebda28f991e46514414d76dd
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 : 3669.126
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 : 1231.806
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.337
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 : 1417.597
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 : 3608.642
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 : 3570.224
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.340
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.129
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: 128142540 kB
MemAvailable: 129464660 kB
Buffers: 378676 kB
Cached: 1774440 kB
SwapCached: 0 kB
Active: 678000 kB
Inactive: 2288588 kB
Active(anon): 1444 kB
Inactive(anon): 849724 kB
Active(file): 676556 kB
Inactive(file): 1438864 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 161468 kB
Writeback: 0 kB
AnonPages: 813564 kB
Mapped: 138100 kB
Shmem: 37704 kB
KReclaimable: 93460 kB
Slab: 189312 kB
SReclaimable: 93460 kB
SUnreclaim: 95852 kB
KernelStack: 3904 kB
PageTables: 10860 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1244764 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= 723624 MiB
End job on nodeC007 at 2024-07-16 00:09:03