2.68/2.79 c initialize IPBHS solver
2.68/2.79 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
2.68/2.79 c optimizer = "scip"
2.68/2.79 c pbsolver = "roundingsat"
2.68/2.79 c load symmetries from file ""
2.68/2.79 c set time limit for symmetry computation to 100 seconds.
2.68/2.79 c set interchangeable summation variable limit to 3
2.68/2.79 c set abs symmetric core budget per WCE-iteration to 100
2.68/2.79 c set rel symmetric core budget per WCE-iteration to 0
2.68/2.79 c set lit symmetric core budget per WCE-iteration to 0
2.68/2.79 c set sym generation to 's'
2.68/2.79 c set abstraction set creation to 10 iterations without LB change
2.68/2.79 c set abstraction set inputs to 0
2.68/2.79 c set abstraction set cluster min size to 2
2.68/2.79 c set abstraction set cluster max size to 100000000
2.68/2.79 c set abstraction set cluster activation limit to 2
2.68/2.79 c enable abstraction set require equal cost
2.68/2.79 c set abstraction set assumptions to 0
2.68/2.79 c set abstraction set constraint type to 0
2.68/2.79 c set abstract core extraction strategy to b
2.68/2.79 c set core extraction strategy to 2
2.68/2.79 c set core extraction shuffles 10
2.68/2.79 c set cores per iteration to 5
2.68/2.79 c set optimizer bound usage strategy to 2
2.68/2.79 c set optimizer max non-optimal iterations to 1000
2.68/2.79 c set small core cardinality limit to 2
2.68/2.79 c set max coef in cores to 1000000000
2.68/2.79 c set SIS iterations to 5
2.68/2.79 c set SIS budget abs to 1000
2.68/2.79 c set SIS budget rel to 0.05
2.68/2.79 c limit for coefficient in constraints and objective to 9223372036854775807
2.68/2.79 c will solve HOME/instance-4431762-1721066465.opb
2.68/2.79 c [0.97] solve iteration 1, LB=0, UB=2347112
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 (58512 MiB free)
memory of node 1: 64473 MiB (61249 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431762-1721066465/watcher-4431762-1721066465 -o /tmp/evaluation-result-4431762-1721066465/solver-4431762-1721066465 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721059157-808014 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4431762-1721066465.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
solver pid=812582, runsolver pid=812579
Current StackSize limit: 8192 KiB
Starting watchdog thread
[startup+0.100093 s]*
/proc/loadavg: 4.12 4.13 4.09 5/257 812583
/proc/meminfo: memFree=122622956/131524600 swapFree=131071996/131071996
[pid=812582] ppid=812579 vsize=41380 memory=18272 CPUtime=0.09 cores=5,7
/proc/812582/stat : 812582 (ipbhs_static_sc) R 812579 812582 808001 0 -1 4194304 3792 0 0 0 9 0 0 0 20 0 1 0 158813559 42373120 4568 134679101440 4194304 16068861 140734607297680 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30437376 140734607303718 140734607303805 140734607303805 140734607310820 0
/proc/812582/statm: 10345 4568 1135 2900 0 6859 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 41380 KiB
Current children cumulated memory: 18272 KiB
[startup+0.205653 s]*
/proc/loadavg: 4.12 4.13 4.09 5/257 812583
/proc/meminfo: memFree=122591224/131524600 swapFree=131071996/131071996
[pid=812582] ppid=812579 vsize=70332 memory=54316 CPUtime=0.2 cores=5,7
/proc/812582/stat : 812582 (ipbhs_static_sc) R 812579 812582 808001 0 -1 4194304 11188 0 0 0 17 3 0 0 20 0 1 0 158813559 72019968 13579 134679101440 4194304 16068861 140734607297680 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30437376 140734607303718 140734607303805 140734607303805 140734607310820 0
/proc/812582/statm: 17583 13579 2399 2900 0 14097 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 70332 KiB
Current children cumulated memory: 54316 KiB
[startup+0.305579 s]*
/proc/loadavg: 4.12 4.13 4.09 5/257 812583
/proc/meminfo: memFree=122589404/131524600 swapFree=131071996/131071996
[pid=812582] ppid=812579 vsize=71648 memory=55900 CPUtime=0.3 cores=5,7
/proc/812582/stat : 812582 (ipbhs_static_sc) R 812579 812582 808001 0 -1 4194304 11544 0 0 0 27 3 0 0 20 0 1 0 158813559 73367552 13975 134679101440 4194304 16068861 140734607297680 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30437376 140734607303718 140734607303805 140734607303805 140734607310820 0
/proc/812582/statm: 17912 13975 2399 2900 0 14426 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 71648 KiB
Current children cumulated memory: 55900 KiB
[startup+0.70023 s]
/proc/loadavg: 4.12 4.13 4.09 5/257 812583
/proc/meminfo: memFree=122586240/131524600 swapFree=131071996/131071996
[pid=812582] ppid=812579 vsize=78304 memory=62228 CPUtime=0.69 cores=5,7
/proc/812582/stat : 812582 (ipbhs_static_sc) R 812579 812582 808001 0 -1 4194304 13177 0 0 0 64 5 0 0 20 0 1 0 158813559 80183296 15557 134679101440 4194304 16068861 140734607297680 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30437376 140734607303718 140734607303805 140734607303805 140734607310820 0
/proc/812582/statm: 19576 15557 2399 2900 0 16090 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 78304 KiB
Current children cumulated memory: 62228 KiB
[startup+1.50022 s]
/proc/loadavg: 4.12 4.13 4.09 5/257 812583
/proc/meminfo: memFree=122578872/131524600 swapFree=131071996/131071996
[pid=812582] ppid=812579 vsize=147724 memory=129672 CPUtime=1.48 cores=5,7
/proc/812582/stat : 812582 (ipbhs_static_sc) R 812579 812582 808001 0 -1 4194304 28710 0 0 0 140 8 0 0 20 0 1 0 158813559 151269376 32418 134679101440 4194304 16068861 140734607297680 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30437376 140734607303718 140734607303805 140734607303805 140734607310820 0
/proc/812582/statm: 36931 32418 2687 2900 0 33445 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 147724 KiB
Current children cumulated memory: 129672 KiB
[startup+3.10542 s]
/proc/loadavg: 4.11 4.13 4.09 5/257 812583
/proc/meminfo: memFree=122351524/131524600 swapFree=131071996/131071996
[pid=812582] ppid=812579 vsize=353276 memory=295304 CPUtime=3.09 cores=5,7
/proc/812582/stat : 812582 (ipbhs_static_sc) R 812579 812582 808001 0 -1 4194304 66062 0 0 0 295 14 0 0 20 0 1 0 158813559 361754624 73826 134679101440 4194304 16068861 140734607297680 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30437376 140734607303718 140734607303805 140734607303805 140734607310820 0
/proc/812582/statm: 88319 73826 2879 2900 0 84833 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 353276 KiB
Current children cumulated memory: 295304 KiB
[startup+6.30021 s]
/proc/loadavg: 4.11 4.13 4.09 5/257 812584
/proc/meminfo: memFree=122322176/131524600 swapFree=131071996/131071996
[pid=812582] ppid=812579 vsize=370280 memory=325648 CPUtime=6.27 cores=5,7
/proc/812582/stat : 812582 (ipbhs_static_sc) R 812579 812582 808001 0 -1 4194304 73967 0 0 0 612 15 0 0 20 0 1 0 158813559 379166720 81412 134679101440 4194304 16068861 140734607297680 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30437376 140734607303718 140734607303805 140734607303805 140734607310820 0
/proc/812582/statm: 92570 81412 2911 2900 0 89084 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 370280 KiB
Current children cumulated memory: 325648 KiB
[startup+12.7002 s]
/proc/loadavg: 4.09 4.12 4.09 5/257 812584
/proc/meminfo: memFree=122126164/131524600 swapFree=131071996/131071996
[pid=812582] ppid=812579 vsize=598740 memory=519972 CPUtime=12.66 cores=5,7
/proc/812582/stat : 812582 (ipbhs_static_sc) R 812579 812582 808001 0 -1 4194304 111000 0 0 0 1244 22 0 0 20 0 1 0 158813559 613109760 129993 134679101440 4194304 16068861 140734607297680 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30437376 140734607303718 140734607303805 140734607303805 140734607310820 0
/proc/812582/statm: 149685 129993 2911 2900 0 146199 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 598740 KiB
Current children cumulated memory: 519972 KiB
[startup+25.5002 s]
/proc/loadavg: 4.08 4.12 4.09 5/257 812633
/proc/meminfo: memFree=123829400/131524600 swapFree=131071996/131071996
[pid=812582] ppid=812579 vsize=633280 memory=550908 CPUtime=25.41 cores=5,7
/proc/812582/stat : 812582 (ipbhs_static_sc) R 812579 812582 808001 0 -1 4194304 115726 0 0 0 2518 23 0 0 20 0 1 0 158813559 648478720 137727 134679101440 4194304 16068861 140734607297680 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30437376 140734607303718 140734607303805 140734607303805 140734607310820 0
/proc/812582/statm: 158320 137727 2911 2900 0 154834 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 633280 KiB
Current children cumulated memory: 550908 KiB
[startup+51.1056 s]
/proc/loadavg: 4.11 4.12 4.09 5/257 812636
/proc/meminfo: memFree=123798384/131524600 swapFree=131071996/131071996
[pid=812582] ppid=812579 vsize=660464 memory=576644 CPUtime=50.93 cores=5,7
/proc/812582/stat : 812582 (ipbhs_static_sc) R 812579 812582 808001 0 -1 4194304 121685 0 0 0 5068 25 0 0 20 0 1 0 158813559 676315136 144161 134679101440 4194304 16068861 140734607297680 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30437376 140734607303718 140734607303805 140734607303805 140734607310820 0
/proc/812582/statm: 165116 144161 2911 2900 0 161630 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 660464 KiB
Current children cumulated memory: 576644 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/257 812691
/proc/meminfo: memFree=125355684/131524600 swapFree=131071996/131071996
[pid=812582] ppid=812579 vsize=729532 memory=642752 CPUtime=101.95 cores=5,7
/proc/812582/stat : 812582 (ipbhs_static_sc) R 812579 812582 808001 0 -1 4194304 138273 0 0 0 10167 28 0 0 20 0 1 0 158813559 747040768 160688 134679101440 4194304 16068861 140734607297680 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30437376 140734607303718 140734607303805 140734607303805 140734607310820 0
/proc/812582/statm: 182383 160688 2911 2900 0 178897 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 729532 KiB
Current children cumulated memory: 642752 KiB
[startup+162.3 s]
/proc/loadavg: 4.23 4.14 4.10 5/256 812703
/proc/meminfo: memFree=125299768/131524600 swapFree=131071996/131071996
[pid=812582] ppid=812579 vsize=729532 memory=643492 CPUtime=161.74 cores=5,7
/proc/812582/stat : 812582 (ipbhs_static_sc) R 812579 812582 808001 0 -1 4194304 138491 0 0 0 16145 29 0 0 20 0 1 0 158813559 747040768 160873 134679101440 4194304 16068861 140734607297680 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30437376 140734607303718 140734607303805 140734607303805 140734607310820 0
/proc/812582/statm: 182383 160873 2911 2900 0 178897 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 729532 KiB
Current children cumulated memory: 643492 KiB
[startup+222.3 s]
/proc/loadavg: 4.37 4.20 4.12 5/256 812715
/proc/meminfo: memFree=125143296/131524600 swapFree=131071996/131071996
[pid=812582] ppid=812579 vsize=729532 memory=643708 CPUtime=221.53 cores=5,7
/proc/812582/stat : 812582 (ipbhs_static_sc) R 812579 812582 808001 0 -1 4194304 138510 0 0 0 22124 29 0 0 20 0 1 0 158813559 747040768 160927 134679101440 4194304 16068861 140734607297680 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30437376 140734607303718 140734607303805 140734607303805 140734607310820 0
/proc/812582/statm: 182383 160927 2911 2900 0 178897 0
Current children cumulated CPU time: 221.53 s
Current children cumulated vsize: 729532 KiB
Current children cumulated memory: 643708 KiB
[startup+282.3 s]
/proc/loadavg: 4.18 4.18 4.12 5/255 812725
/proc/meminfo: memFree=125114248/131524600 swapFree=131071996/131071996
[pid=812582] ppid=812579 vsize=729532 memory=643776 CPUtime=281.31 cores=5,7
/proc/812582/stat : 812582 (ipbhs_static_sc) R 812579 812582 808001 0 -1 4194304 138565 0 0 0 28102 29 0 0 20 0 1 0 158813559 747040768 160944 134679101440 4194304 16068861 140734607297680 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30437376 140734607303718 140734607303805 140734607303805 140734607310820 0
/proc/812582/statm: 182383 160944 2911 2900 0 178897 0
Current children cumulated CPU time: 281.31 s
Current children cumulated vsize: 729532 KiB
Current children cumulated memory: 643776 KiB
[startup+342.3 s]
/proc/loadavg: 4.17 4.18 4.12 5/255 812735
/proc/meminfo: memFree=125075460/131524600 swapFree=131071996/131071996
[pid=812582] ppid=812579 vsize=732040 memory=646588 CPUtime=341.11 cores=5,7
/proc/812582/stat : 812582 (ipbhs_static_sc) R 812579 812582 808001 0 -1 4194304 139331 0 0 0 34081 30 0 0 20 0 1 0 158813559 749608960 161647 134679101440 4194304 16068861 140734607297680 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30437376 140734607303718 140734607303805 140734607303805 140734607310820 0
/proc/812582/statm: 183010 161647 2911 2900 0 179524 0
Current children cumulated CPU time: 341.11 s
Current children cumulated vsize: 732040 KiB
Current children cumulated memory: 646588 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.16 4.11 5/255 812838
/proc/meminfo: memFree=127824592/131524600 swapFree=131071996/131071996
[pid=812582] ppid=812579 vsize=732192 memory=649724 CPUtime=400.9 cores=5,7
/proc/812582/stat : 812582 (ipbhs_static_sc) R 812579 812582 808001 0 -1 4194304 139546 0 0 0 40060 30 0 0 20 0 1 0 158813559 749764608 162431 134679101440 4194304 16068861 140734607297680 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30437376 140734607303718 140734607303805 140734607303805 140734607310820 0
/proc/812582/statm: 183048 162431 2911 2900 0 179562 0
Current children cumulated CPU time: 400.9 s
Current children cumulated vsize: 732192 KiB
Current children cumulated memory: 649724 KiB
[startup+462.3 s]
/proc/loadavg: 4.16 4.16 4.11 5/254 812848
/proc/meminfo: memFree=127755720/131524600 swapFree=131071996/131071996
[pid=812582] ppid=812579 vsize=736440 memory=657560 CPUtime=460.72 cores=5,7
/proc/812582/stat : 812582 (ipbhs_static_sc) R 812579 812582 808001 0 -1 4194304 140380 0 0 0 46042 30 0 0 20 0 1 0 158813559 754114560 164390 134679101440 4194304 16068861 140734607297680 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30437376 140734607303718 140734607303805 140734607303805 140734607310820 0
/proc/812582/statm: 184110 164390 2911 2900 0 180624 0
################
# More data... #
################
Current children cumulated memory: 795156 KiB
[startup+2922.3 s]
/proc/loadavg: 4.17 4.12 4.09 5/254 813906
/proc/meminfo: memFree=126460200/131524600 swapFree=131071996/131071996
[pid=812582] ppid=812579 vsize=836040 memory=795156 CPUtime=2913.9 cores=5,7
/proc/812582/stat : 812582 (ipbhs_static_sc) R 812579 812582 808001 0 -1 4194304 178492 0 0 0 291353 37 0 0 20 0 1 0 158813559 856104960 198789 134679101440 4194304 16068861 140734607297680 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30437376 140734607303718 140734607303805 140734607303805 140734607310820 0
/proc/812582/statm: 209010 198789 3231 2900 0 205524 0
Current children cumulated CPU time: 2913.9 s
Current children cumulated vsize: 836040 KiB
Current children cumulated memory: 795156 KiB
[startup+2982.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/257 813923
/proc/meminfo: memFree=126417708/131524600 swapFree=131071996/131071996
[pid=812582] ppid=812579 vsize=836040 memory=795156 CPUtime=2973.73 cores=5,7
/proc/812582/stat : 812582 (ipbhs_static_sc) R 812579 812582 808001 0 -1 4194304 178774 0 0 0 297336 37 0 0 20 0 1 0 158813559 856104960 198789 134679101440 4194304 16068861 140734607297680 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30437376 140734607303718 140734607303805 140734607303805 140734607310820 0
/proc/812582/statm: 209010 198789 3231 2900 0 205524 0
Current children cumulated CPU time: 2973.73 s
Current children cumulated vsize: 836040 KiB
Current children cumulated memory: 795156 KiB
[startup+3042.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/258 813934
/proc/meminfo: memFree=126404004/131524600 swapFree=131071996/131071996
[pid=812582] ppid=812579 vsize=836040 memory=795156 CPUtime=3033.56 cores=5,7
/proc/812582/stat : 812582 (ipbhs_static_sc) R 812579 812582 808001 0 -1 4194304 179090 0 0 0 303319 37 0 0 20 0 1 0 158813559 856104960 198789 134679101440 4194304 16068861 140734607297680 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30437376 140734607303718 140734607303805 140734607303805 140734607310820 0
/proc/812582/statm: 209010 198789 3231 2900 0 205524 0
Current children cumulated CPU time: 3033.56 s
Current children cumulated vsize: 836040 KiB
Current children cumulated memory: 795156 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/258 813944
/proc/meminfo: memFree=126384444/131524600 swapFree=131071996/131071996
[pid=812582] ppid=812579 vsize=836040 memory=795156 CPUtime=3093.39 cores=5,7
/proc/812582/stat : 812582 (ipbhs_static_sc) R 812579 812582 808001 0 -1 4194304 179338 0 0 0 309302 37 0 0 20 0 1 0 158813559 856104960 198789 134679101440 4194304 16068861 140734607297680 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30437376 140734607303718 140734607303805 140734607303805 140734607310820 0
/proc/812582/statm: 209010 198789 3231 2900 0 205524 0
Current children cumulated CPU time: 3093.39 s
Current children cumulated vsize: 836040 KiB
Current children cumulated memory: 795156 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/258 813955
/proc/meminfo: memFree=126355380/131524600 swapFree=131071996/131071996
[pid=812582] ppid=812579 vsize=836040 memory=795156 CPUtime=3153.21 cores=5,7
/proc/812582/stat : 812582 (ipbhs_static_sc) R 812579 812582 808001 0 -1 4194304 179628 0 0 0 315284 37 0 0 20 0 1 0 158813559 856104960 198789 134679101440 4194304 16068861 140734607297680 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30437376 140734607303718 140734607303805 140734607303805 140734607310820 0
/proc/812582/statm: 209010 198789 3231 2900 0 205524 0
Current children cumulated CPU time: 3153.21 s
Current children cumulated vsize: 836040 KiB
Current children cumulated memory: 795156 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/258 813966
/proc/meminfo: memFree=126330280/131524600 swapFree=131071996/131071996
[pid=812582] ppid=812579 vsize=836040 memory=795156 CPUtime=3213.04 cores=5,7
/proc/812582/stat : 812582 (ipbhs_static_sc) R 812579 812582 808001 0 -1 4194304 179923 0 0 0 321267 37 0 0 20 0 1 0 158813559 856104960 198789 134679101440 4194304 16068861 140734607297680 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30437376 140734607303718 140734607303805 140734607303805 140734607310820 0
/proc/812582/statm: 209010 198789 3231 2900 0 205524 0
Current children cumulated CPU time: 3213.04 s
Current children cumulated vsize: 836040 KiB
Current children cumulated memory: 795156 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/257 814360
/proc/meminfo: memFree=126287484/131524600 swapFree=131071996/131071996
[pid=812582] ppid=812579 vsize=836040 memory=795156 CPUtime=3272.87 cores=5,7
/proc/812582/stat : 812582 (ipbhs_static_sc) R 812579 812582 808001 0 -1 4194304 180159 0 0 0 327250 37 0 0 20 0 1 0 158813559 856104960 198789 134679101440 4194304 16068861 140734607297680 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30437376 140734607303718 140734607303805 140734607303805 140734607310820 0
/proc/812582/statm: 209010 198789 3231 2900 0 205524 0
Current children cumulated CPU time: 3272.87 s
Current children cumulated vsize: 836040 KiB
Current children cumulated memory: 795156 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/257 814370
/proc/meminfo: memFree=126260124/131524600 swapFree=131071996/131071996
[pid=812582] ppid=812579 vsize=836040 memory=795156 CPUtime=3332.7 cores=5,7
/proc/812582/stat : 812582 (ipbhs_static_sc) R 812579 812582 808001 0 -1 4194304 180439 0 0 0 333233 37 0 0 20 0 1 0 158813559 856104960 198789 134679101440 4194304 16068861 140734607297680 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30437376 140734607303718 140734607303805 140734607303805 140734607310820 0
/proc/812582/statm: 209010 198789 3231 2900 0 205524 0
Current children cumulated CPU time: 3332.7 s
Current children cumulated vsize: 836040 KiB
Current children cumulated memory: 795156 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/257 814382
/proc/meminfo: memFree=126257332/131524600 swapFree=131071996/131071996
[pid=812582] ppid=812579 vsize=836040 memory=795156 CPUtime=3392.53 cores=5,7
/proc/812582/stat : 812582 (ipbhs_static_sc) R 812579 812582 808001 0 -1 4194304 180749 0 0 0 339216 37 0 0 20 0 1 0 158813559 856104960 198789 134679101440 4194304 16068861 140734607297680 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30437376 140734607303718 140734607303805 140734607303805 140734607310820 0
/proc/812582/statm: 209010 198789 3231 2900 0 205524 0
Current children cumulated CPU time: 3392.53 s
Current children cumulated vsize: 836040 KiB
Current children cumulated memory: 795156 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/259 814562
/proc/meminfo: memFree=126242512/131524600 swapFree=131071996/131071996
[pid=812582] ppid=812579 vsize=836040 memory=795156 CPUtime=3452.36 cores=5,7
/proc/812582/stat : 812582 (ipbhs_static_sc) R 812579 812582 808001 0 -1 4194304 180999 0 0 0 345199 37 0 0 20 0 1 0 158813559 856104960 198789 134679101440 4194304 16068861 140734607297680 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30437376 140734607303718 140734607303805 140734607303805 140734607310820 0
/proc/812582/statm: 209010 198789 3231 2900 0 205524 0
Current children cumulated CPU time: 3452.36 s
Current children cumulated vsize: 836040 KiB
Current children cumulated memory: 795156 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/259 814572
/proc/meminfo: memFree=126243936/131524600 swapFree=131071996/131071996
[pid=812582] ppid=812579 vsize=836040 memory=795156 CPUtime=3512.15 cores=5,7
/proc/812582/stat : 812582 (ipbhs_static_sc) R 812579 812582 808001 0 -1 4194304 181280 0 0 0 351178 37 0 0 20 0 1 0 158813559 856104960 198789 134679101440 4194304 16068861 140734607297680 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30437376 140734607303718 140734607303805 140734607303805 140734607310820 0
/proc/812582/statm: 209010 198789 3231 2900 0 205524 0
Current children cumulated CPU time: 3512.15 s
Current children cumulated vsize: 836040 KiB
Current children cumulated memory: 795156 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/258 814586
/proc/meminfo: memFree=126223360/131524600 swapFree=131071996/131071996
[pid=812582] ppid=812579 vsize=836040 memory=795156 CPUtime=3571.94 cores=5,7
/proc/812582/stat : 812582 (ipbhs_static_sc) R 812579 812582 808001 0 -1 4194304 181593 0 0 0 357157 37 0 0 20 0 1 0 158813559 856104960 198789 134679101440 4194304 16068861 140734607297680 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30437376 140734607303718 140734607303805 140734607303805 140734607310820 0
/proc/812582/statm: 209010 198789 3231 2900 0 205524 0
Current children cumulated CPU time: 3571.94 s
Current children cumulated vsize: 836040 KiB
Current children cumulated memory: 795156 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.5 s]
/proc/loadavg: 4.48 4.20 4.12 5/258 814603
/proc/meminfo: memFree=126180296/131524600 swapFree=131071996/131071996
[pid=812582] ppid=812579 vsize=836040 memory=795156 CPUtime=3600.04 cores=5,7
/proc/812582/stat : 812582 (ipbhs_static_sc) R 812579 812582 808001 0 -1 4194304 181700 0 0 0 359967 37 0 0 20 0 1 0 158813559 856104960 198789 134679101440 4194304 16068861 140734607297680 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30437376 140734607303718 140734607303805 140734607303805 140734607310820 0
/proc/812582/statm: 209010 198789 3231 2900 0 205524 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 836040 KiB
Current children cumulated memory: 795156 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.5 s]
# the end of solver process 812582 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3599.67 s, system=0.382849 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.5 s]
/proc/loadavg: 4.48 4.20 4.12 5/258 814603
/proc/meminfo: memFree=126180296/131524600 swapFree=131071996/131071996
[pid=812582] ppid=812579 vsize=836040 memory=795156 CPUtime=3600.04 cores=5,7
/proc/812582/stat : 812582 (ipbhs_static_sc) R 812579 812582 808001 0 -1 4194304 181700 0 0 0 359967 37 0 0 20 0 1 0 158813559 856104960 198789 134679101440 4194304 16068861 140734607297680 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30437376 140734607303718 140734607303805 140734607303805 140734607310820 0
/proc/812582/statm: 209010 198789 3231 2900 0 205524 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 836040 KiB
Current children cumulated memory: 795156 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3610.5
CPU time (s): 3600.05
CPU user time (s): 3599.67
CPU system time (s): 0.382849
CPU usage (%): 99.7106
Max. virtual memory (cumulated for all children) (KiB): 842444
Max. memory (cumulated for all children) (KiB): 797640
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.67
system time used= 0.382849
maximum resident set size= 797640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 181700
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= 38
involuntary context switches= 2892
# summary of solver processes directly reported to runsolver:
# pid: 812582
# total CPU time (s): 3600.05
# total CPU user time (s): 3599.67
# total CPU system time (s): 0.382849
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.69734 second user time and 16.1014 second system time
The end
Begin job on nodeC028 at 2024-07-15 20:01:17
IDJOB=4431762
IDBENCH=146712
IDSOLVER=3057
FILE ID=nodeC028/4431762-1721066465
RUNJOBID= nodeC028-1721059157-808014
SLURM_JOB_ID= 7505495
Free space on /tmp= 889900 MiB
SOLVER NAME= IPBHS-SCIP 2024-07-09
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-seymour1.opb
COMMAND LINE= ./ipbhs_static_scip BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431762-1721066465/watcher-4431762-1721066465 -o /tmp/evaluation-result-4431762-1721066465/solver-4431762-1721066465 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721059157-808014 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4431762-1721066465.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 0695af47158b7a843c4563178a14696e
RANDOM SEED=1363885205
nodeC028.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 : 3675.229
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.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3678.830
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.59
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 : 3599.949
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.56
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 : 3600.133
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.59
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 : 3675.248
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.56
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 : 3667.587
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.59
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 : 3600.056
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.56
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 : 3683.517
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.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 122636772 kB
MemAvailable: 123327988 kB
Buffers: 370388 kB
Cached: 1159456 kB
SwapCached: 0 kB
Active: 663616 kB
Inactive: 7628092 kB
Active(anon): 1560 kB
Inactive(anon): 6798016 kB
Active(file): 662056 kB
Inactive(file): 830076 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 56888 kB
Writeback: 0 kB
AnonPages: 6751108 kB
Mapped: 142420 kB
Shmem: 37720 kB
KReclaimable: 77812 kB
Slab: 179576 kB
SReclaimable: 77812 kB
SUnreclaim: 101764 kB
KernelStack: 4140 kB
PageTables: 22744 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 8397972 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 59776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 4380672 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: 193236 kB
DirectMap2M: 18454528 kB
DirectMap1G: 117440512 kB
Free space on /tmp at the end= 889852 MiB
End job on nodeC028 at 2024-07-15 21:01:28