0.59/0.64 c initialize IPBHS solver
0.59/0.64 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
0.59/0.64 c optimizer = "scip"
0.59/0.64 c pbsolver = "roundingsat"
0.59/0.64 c load symmetries from file ""
0.59/0.64 c set time limit for symmetry computation to 100 seconds.
0.59/0.64 c set interchangeable summation variable limit to 3
0.59/0.64 c set abs symmetric core budget per WCE-iteration to 100
0.59/0.64 c set rel symmetric core budget per WCE-iteration to 0
0.59/0.64 c set lit symmetric core budget per WCE-iteration to 0
0.59/0.64 c set sym generation to 's'
0.59/0.64 c set abstraction set creation to 10 iterations without LB change
0.59/0.64 c set abstraction set inputs to 0
0.59/0.64 c set abstraction set cluster min size to 2
0.59/0.64 c set abstraction set cluster max size to 100000000
0.59/0.64 c set abstraction set cluster activation limit to 2
0.59/0.64 c enable abstraction set require equal cost
0.59/0.64 c set abstraction set assumptions to 0
0.59/0.64 c set abstraction set constraint type to 0
0.59/0.64 c set abstract core extraction strategy to b
0.59/0.64 c set core extraction strategy to 2
0.59/0.64 c set core extraction shuffles 10
0.59/0.64 c set cores per iteration to 5
0.59/0.64 c set optimizer bound usage strategy to 2
0.59/0.64 c set optimizer max non-optimal iterations to 1000
0.59/0.64 c set small core cardinality limit to 2
0.59/0.64 c set max coef in cores to 1000000000
0.59/0.64 c set SIS iterations to 5
0.59/0.64 c set SIS budget abs to 1000
0.59/0.64 c set SIS budget rel to 0.05
0.59/0.64 c limit for coefficient in constraints and objective to 9223372036854775807
0.59/0.64 c will solve HOME/instance-4431760-1721066479.opb
0.59/0.64 c [0.08] solve iteration 1, LB=0, UB=1599918681647
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 (62592 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431760-1721066479/watcher-4431760-1721066479 -o /tmp/evaluation-result-4431760-1721066479/solver-4431760-1721066479 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721059157-808013 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4431760-1721066479.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=812629, runsolver pid=812626
Current StackSize limit: 8192 KiB
[startup+0.100087 s]*
/proc/loadavg: 4.09 4.12 4.09 5/257 812630
/proc/meminfo: memFree=123984268/131524600 swapFree=131071996/131071996
[pid=812629] ppid=812626 vsize=52828 memory=36140 CPUtime=0.09 cores=1,3
/proc/812629/stat : 812629 (ipbhs_static_sc) R 812626 812629 808001 0 -1 4194304 6498 0 0 0 8 1 0 0 20 0 1 0 158814977 54095872 9035 134679101440 4194304 16068861 140724437109424 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 56385536 140724437115942 140724437116029 140724437116029 140724437123044 0
/proc/812629/statm: 13207 9035 2399 2900 0 9721 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 52828 KiB
Current children cumulated memory: 36140 KiB
[startup+0.205644 s]*
/proc/loadavg: 4.09 4.12 4.09 5/257 812630
/proc/meminfo: memFree=123953188/131524600 swapFree=131071996/131071996
[pid=812629] ppid=812626 vsize=94092 memory=68476 CPUtime=0.2 cores=1,3
/proc/812629/stat : 812629 (ipbhs_static_sc) R 812626 812629 808001 0 -1 4194304 14437 0 0 0 17 3 0 0 20 0 1 0 158814977 96350208 17119 134679101440 4194304 16068861 140724437109424 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 56385536 140724437115942 140724437116029 140724437116029 140724437123044 0
/proc/812629/statm: 23523 17119 2863 2900 0 20037 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 94092 KiB
Current children cumulated memory: 68476 KiB
[startup+0.305618 s]*
/proc/loadavg: 4.09 4.12 4.09 5/257 812632
/proc/meminfo: memFree=123928660/131524600 swapFree=131071996/131071996
[pid=812629] ppid=812626 vsize=128944 memory=93888 CPUtime=0.3 cores=1,3
/proc/812629/stat : 812629 (ipbhs_static_sc) R 812626 812629 808001 0 -1 4194304 20769 0 0 0 26 4 0 0 20 0 1 0 158814977 132038656 23472 134679101440 4194304 16068861 140724437109424 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 56385536 140724437115942 140724437116029 140724437116029 140724437123044 0
/proc/812629/statm: 32236 23472 2895 2900 0 28750 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 128944 KiB
Current children cumulated memory: 93888 KiB
[startup+0.700188 s]
/proc/loadavg: 4.09 4.12 4.09 5/257 812632
/proc/meminfo: memFree=123916088/131524600 swapFree=131071996/131071996
[pid=812629] ppid=812626 vsize=157732 memory=119740 CPUtime=0.69 cores=1,3
/proc/812629/stat : 812629 (ipbhs_static_sc) R 812626 812629 808001 0 -1 4194304 29141 0 0 0 64 5 0 0 20 0 1 0 158814977 161517568 29935 134679101440 4194304 16068861 140724437109424 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 56385536 140724437115942 140724437116029 140724437116029 140724437123044 0
/proc/812629/statm: 39433 29935 2911 2900 0 35947 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 157732 KiB
Current children cumulated memory: 119740 KiB
[startup+1.50019 s]
/proc/loadavg: 4.09 4.12 4.09 5/257 812632
/proc/meminfo: memFree=123900640/131524600 swapFree=131071996/131071996
[pid=812629] ppid=812626 vsize=160524 memory=123928 CPUtime=1.48 cores=1,3
/proc/812629/stat : 812629 (ipbhs_static_sc) R 812626 812629 808001 0 -1 4194304 30227 0 0 0 143 5 0 0 20 0 1 0 158814977 164376576 30982 134679101440 4194304 16068861 140724437109424 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 56385536 140724437115942 140724437116029 140724437116029 140724437123044 0
/proc/812629/statm: 40131 30982 2911 2900 0 36645 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 160524 KiB
Current children cumulated memory: 123928 KiB
[startup+3.10553 s]
/proc/loadavg: 4.09 4.12 4.09 5/257 812632
/proc/meminfo: memFree=123878912/131524600 swapFree=131071996/131071996
[pid=812629] ppid=812626 vsize=178516 memory=142632 CPUtime=3.08 cores=1,3
/proc/812629/stat : 812629 (ipbhs_static_sc) R 812626 812629 808001 0 -1 4194304 35411 0 0 0 302 6 0 0 20 0 1 0 158814977 182800384 35658 134679101440 4194304 16068861 140724437109424 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 56385536 140724437115942 140724437116029 140724437116029 140724437123044 0
/proc/812629/statm: 44629 35658 2911 2900 0 41143 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 178516 KiB
Current children cumulated memory: 142632 KiB
[startup+6.30021 s]
/proc/loadavg: 4.09 4.12 4.09 5/257 812632
/proc/meminfo: memFree=123871876/131524600 swapFree=131071996/131071996
[pid=812629] ppid=812626 vsize=179896 memory=143952 CPUtime=6.27 cores=1,3
/proc/812629/stat : 812629 (ipbhs_static_sc) R 812626 812629 808001 0 -1 4194304 35770 0 0 0 621 6 0 0 20 0 1 0 158814977 184213504 35988 134679101440 4194304 16068861 140724437109424 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 56385536 140724437115942 140724437116029 140724437116029 140724437123044 0
/proc/812629/statm: 44974 35988 2911 2900 0 41488 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 179896 KiB
Current children cumulated memory: 143952 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 4.12 4.09 5/257 812633
/proc/meminfo: memFree=123827048/131524600 swapFree=131071996/131071996
[pid=812629] ppid=812626 vsize=214092 memory=177076 CPUtime=12.66 cores=1,3
/proc/812629/stat : 812629 (ipbhs_static_sc) R 812626 812629 808001 0 -1 4194304 43767 0 0 0 1258 8 0 0 20 0 1 0 158814977 219230208 44269 134679101440 4194304 16068861 140724437109424 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 56385536 140724437115942 140724437116029 140724437116029 140724437123044 0
/proc/812629/statm: 53523 44269 3231 2900 0 50037 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 214092 KiB
Current children cumulated memory: 177076 KiB
[startup+25.5002 s]
/proc/loadavg: 4.13 4.13 4.09 5/257 812635
/proc/meminfo: memFree=123800908/131524600 swapFree=131071996/131071996
[pid=812629] ppid=812626 vsize=214092 memory=177076 CPUtime=25.43 cores=1,3
/proc/812629/stat : 812629 (ipbhs_static_sc) R 812626 812629 808001 0 -1 4194304 43770 0 0 0 2535 8 0 0 20 0 1 0 158814977 219230208 44269 134679101440 4194304 16068861 140724437109424 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 56385536 140724437115942 140724437116029 140724437116029 140724437123044 0
/proc/812629/statm: 53523 44269 3231 2900 0 50037 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 214092 KiB
Current children cumulated memory: 177076 KiB
[startup+51.1057 s]
/proc/loadavg: 4.08 4.12 4.09 5/257 812639
/proc/meminfo: memFree=123770944/131524600 swapFree=131071996/131071996
[pid=812629] ppid=812626 vsize=232220 memory=196828 CPUtime=50.96 cores=1,3
/proc/812629/stat : 812629 (ipbhs_static_sc) R 812626 812629 808001 0 -1 4194304 48693 0 0 0 5087 9 0 0 20 0 1 0 158814977 237793280 49207 134679101440 4194304 16068861 140724437109424 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 56385536 140724437115942 140724437116029 140724437116029 140724437123044 0
/proc/812629/statm: 58055 49207 3231 2900 0 54569 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 232220 KiB
Current children cumulated memory: 196828 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/258 812696
/proc/meminfo: memFree=125341912/131524600 swapFree=131071996/131071996
[pid=812629] ppid=812626 vsize=238232 memory=203036 CPUtime=102.02 cores=1,3
/proc/812629/stat : 812629 (ipbhs_static_sc) R 812626 812629 808001 0 -1 4194304 50938 0 0 0 10191 11 0 0 20 0 1 0 158814977 243949568 50759 134679101440 4194304 16068861 140724437109424 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 56385536 140724437115942 140724437116029 140724437116029 140724437123044 0
/proc/812629/statm: 59558 50759 3231 2900 0 56072 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 238232 KiB
Current children cumulated memory: 203036 KiB
[startup+162.3 s]
/proc/loadavg: 4.26 4.15 4.10 5/256 812707
/proc/meminfo: memFree=125286060/131524600 swapFree=131071996/131071996
[pid=812629] ppid=812626 vsize=249976 memory=212176 CPUtime=161.86 cores=1,3
/proc/812629/stat : 812629 (ipbhs_static_sc) R 812626 812629 808001 0 -1 4194304 59890 0 0 0 16173 13 0 0 20 0 1 0 158814977 255975424 53044 134679101440 4194304 16068861 140724437109424 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 56385536 140724437115942 140724437116029 140724437116029 140724437123044 0
/proc/812629/statm: 62494 53044 3231 2900 0 59008 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 249976 KiB
Current children cumulated memory: 212176 KiB
[startup+222.3 s]
/proc/loadavg: 4.28 4.19 4.12 5/255 812718
/proc/meminfo: memFree=125131592/131524600 swapFree=131071996/131071996
[pid=812629] ppid=812626 vsize=253140 memory=215600 CPUtime=221.71 cores=1,3
/proc/812629/stat : 812629 (ipbhs_static_sc) R 812626 812629 808001 0 -1 4194304 60709 0 0 0 22157 14 0 0 20 0 1 0 158814977 259215360 53900 134679101440 4194304 16068861 140724437109424 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 56385536 140724437115942 140724437116029 140724437116029 140724437123044 0
/proc/812629/statm: 63285 53900 3231 2900 0 59799 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 253140 KiB
Current children cumulated memory: 215600 KiB
[startup+282.3 s]
/proc/loadavg: 4.21 4.19 4.12 5/255 812728
/proc/meminfo: memFree=125111916/131524600 swapFree=131071996/131071996
[pid=812629] ppid=812626 vsize=260004 memory=222512 CPUtime=281.55 cores=1,3
/proc/812629/stat : 812629 (ipbhs_static_sc) R 812626 812629 808001 0 -1 4194304 65277 0 0 0 28140 15 0 0 20 0 1 0 158814977 266244096 55628 134679101440 4194304 16068861 140724437109424 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 56385536 140724437115942 140724437116029 140724437116029 140724437123044 0
/proc/812629/statm: 65001 55628 3231 2900 0 61515 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 260004 KiB
Current children cumulated memory: 222512 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.17 4.11 5/255 812738
/proc/meminfo: memFree=125067496/131524600 swapFree=131071996/131071996
[pid=812629] ppid=812626 vsize=282596 memory=245148 CPUtime=341.4 cores=1,3
/proc/812629/stat : 812629 (ipbhs_static_sc) R 812626 812629 808001 0 -1 4194304 71539 0 0 0 34123 17 0 0 20 0 1 0 158814977 289378304 61287 134679101440 4194304 16068861 140724437109424 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 56385536 140724437115942 140724437116029 140724437116029 140724437123044 0
/proc/812629/statm: 70649 61287 3231 2900 0 67163 0
Current children cumulated CPU time: 341.4 s
Current children cumulated vsize: 282596 KiB
Current children cumulated memory: 245148 KiB
[startup+402.3 s]
/proc/loadavg: 4.17 4.17 4.11 5/255 812841
/proc/meminfo: memFree=127809676/131524600 swapFree=131071996/131071996
[pid=812629] ppid=812626 vsize=284904 memory=247228 CPUtime=401.24 cores=1,3
/proc/812629/stat : 812629 (ipbhs_static_sc) R 812626 812629 808001 0 -1 4194304 72128 0 0 0 40107 17 0 0 20 0 1 0 158814977 291741696 61807 134679101440 4194304 16068861 140724437109424 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 56385536 140724437115942 140724437116029 140724437116029 140724437123044 0
/proc/812629/statm: 71226 61807 3231 2900 0 67740 0
Current children cumulated CPU time: 401.24 s
Current children cumulated vsize: 284904 KiB
Current children cumulated memory: 247228 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.15 4.11 5/254 812851
/proc/meminfo: memFree=127749924/131524600 swapFree=131071996/131071996
[pid=812629] ppid=812626 vsize=290972 memory=253548 CPUtime=461.07 cores=1,3
/proc/812629/stat : 812629 (ipbhs_static_sc) R 812626 812629 808001 0 -1 4194304 73724 0 0 0 46090 17 0 0 20 0 1 0 158814977 297955328 63387 134679101440 4194304 16068861 140724437109424 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 56385536 140724437115942 140724437116029 140724437116029 140724437123044 0
/proc/812629/statm: 72743 63387 3231 2900 0 69257 0
################
# More data... #
################
Current children cumulated memory: 520164 KiB
[startup+2922.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/257 813914
/proc/meminfo: memFree=126457952/131524600 swapFree=131071996/131071996
[pid=812629] ppid=812626 vsize=540720 memory=525496 CPUtime=2914.52 cores=1,3
/proc/812629/stat : 812629 (ipbhs_static_sc) R 812626 812629 808001 0 -1 4194304 176584 0 0 0 291417 35 0 0 20 0 1 0 158814977 553697280 131374 134679101440 4194304 16068861 140724437109424 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 56385536 140724437115942 140724437116029 140724437116029 140724437123044 0
/proc/812629/statm: 135180 131374 3231 2900 0 131694 0
Current children cumulated CPU time: 2914.52 s
Current children cumulated vsize: 540720 KiB
Current children cumulated memory: 525496 KiB
[startup+2982.3 s]
/proc/loadavg: 4.17 4.12 4.10 5/257 813926
/proc/meminfo: memFree=126414156/131524600 swapFree=131071996/131071996
[pid=812629] ppid=812626 vsize=548492 memory=533316 CPUtime=2974.35 cores=1,3
/proc/812629/stat : 812629 (ipbhs_static_sc) R 812626 812629 808001 0 -1 4194304 178772 0 0 0 297400 35 0 0 20 0 1 0 158814977 561655808 133329 134679101440 4194304 16068861 140724437109424 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 56385536 140724437115942 140724437116029 140724437116029 140724437123044 0
/proc/812629/statm: 137123 133329 3231 2900 0 133637 0
Current children cumulated CPU time: 2974.35 s
Current children cumulated vsize: 548492 KiB
Current children cumulated memory: 533316 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/258 813937
/proc/meminfo: memFree=126400780/131524600 swapFree=131071996/131071996
[pid=812629] ppid=812626 vsize=561480 memory=546120 CPUtime=3034.19 cores=1,3
/proc/812629/stat : 812629 (ipbhs_static_sc) R 812626 812629 808001 0 -1 4194304 182396 0 0 0 303383 36 0 0 20 0 1 0 158814977 574955520 136530 134679101440 4194304 16068861 140724437109424 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 56385536 140724437115942 140724437116029 140724437116029 140724437123044 0
/proc/812629/statm: 140370 136530 3231 2900 0 136884 0
Current children cumulated CPU time: 3034.19 s
Current children cumulated vsize: 561480 KiB
Current children cumulated memory: 546120 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/258 813948
/proc/meminfo: memFree=126377684/131524600 swapFree=131071996/131071996
[pid=812629] ppid=812626 vsize=574240 memory=559148 CPUtime=3094.02 cores=1,3
/proc/812629/stat : 812629 (ipbhs_static_sc) R 812626 812629 808001 0 -1 4194304 188721 0 0 0 309365 37 0 0 20 0 1 0 158814977 588021760 139787 134679101440 4194304 16068861 140724437109424 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 56385536 140724437115942 140724437116029 140724437116029 140724437123044 0
/proc/812629/statm: 143560 139787 3231 2900 0 140074 0
Current children cumulated CPU time: 3094.02 s
Current children cumulated vsize: 574240 KiB
Current children cumulated memory: 559148 KiB
[startup+3162.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/258 813959
/proc/meminfo: memFree=126350892/131524600 swapFree=131071996/131071996
[pid=812629] ppid=812626 vsize=579300 memory=564340 CPUtime=3153.86 cores=1,3
/proc/812629/stat : 812629 (ipbhs_static_sc) R 812626 812629 808001 0 -1 4194304 195462 0 0 0 315347 39 0 0 20 0 1 0 158814977 593203200 141085 134679101440 4194304 16068861 140724437109424 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 56385536 140724437115942 140724437116029 140724437116029 140724437123044 0
/proc/812629/statm: 144825 141085 3231 2900 0 141339 0
Current children cumulated CPU time: 3153.86 s
Current children cumulated vsize: 579300 KiB
Current children cumulated memory: 564340 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/258 813969
/proc/meminfo: memFree=126318880/131524600 swapFree=131071996/131071996
[pid=812629] ppid=812626 vsize=587984 memory=572920 CPUtime=3213.69 cores=1,3
/proc/812629/stat : 812629 (ipbhs_static_sc) R 812626 812629 808001 0 -1 4194304 200310 0 0 0 321329 40 0 0 20 0 1 0 158814977 602095616 143230 134679101440 4194304 16068861 140724437109424 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 56385536 140724437115942 140724437116029 140724437116029 140724437123044 0
/proc/812629/statm: 146996 143230 3231 2900 0 143510 0
Current children cumulated CPU time: 3213.69 s
Current children cumulated vsize: 587984 KiB
Current children cumulated memory: 572920 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/257 814363
/proc/meminfo: memFree=126278776/131524600 swapFree=131071996/131071996
[pid=812629] ppid=812626 vsize=590332 memory=574964 CPUtime=3273.53 cores=1,3
/proc/812629/stat : 812629 (ipbhs_static_sc) R 812626 812629 808001 0 -1 4194304 201097 0 0 0 327313 40 0 0 20 0 1 0 158814977 604499968 143741 134679101440 4194304 16068861 140724437109424 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 56385536 140724437115942 140724437116029 140724437116029 140724437123044 0
/proc/812629/statm: 147583 143741 3231 2900 0 144097 0
Current children cumulated CPU time: 3273.53 s
Current children cumulated vsize: 590332 KiB
Current children cumulated memory: 574964 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/256 814373
/proc/meminfo: memFree=126260012/131524600 swapFree=131071996/131071996
[pid=812629] ppid=812626 vsize=603900 memory=587312 CPUtime=3333.35 cores=1,3
/proc/812629/stat : 812629 (ipbhs_static_sc) R 812626 812629 808001 0 -1 4194304 204337 0 0 0 333295 40 0 0 20 0 1 0 158814977 618393600 146828 134679101440 4194304 16068861 140724437109424 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 56385536 140724437115942 140724437116029 140724437116029 140724437123044 0
/proc/812629/statm: 150975 146828 3231 2900 0 147489 0
Current children cumulated CPU time: 3333.35 s
Current children cumulated vsize: 603900 KiB
Current children cumulated memory: 587312 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/259 814555
/proc/meminfo: memFree=126254380/131524600 swapFree=131071996/131071996
[pid=812629] ppid=812626 vsize=606344 memory=590664 CPUtime=3393.19 cores=1,3
/proc/812629/stat : 812629 (ipbhs_static_sc) R 812626 812629 808001 0 -1 4194304 205445 0 0 0 339279 40 0 0 20 0 1 0 158814977 620896256 147666 134679101440 4194304 16068861 140724437109424 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 56385536 140724437115942 140724437116029 140724437116029 140724437123044 0
/proc/812629/statm: 151586 147666 3231 2900 0 148100 0
Current children cumulated CPU time: 3393.19 s
Current children cumulated vsize: 606344 KiB
Current children cumulated memory: 590664 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/259 814565
/proc/meminfo: memFree=126242352/131524600 swapFree=131071996/131071996
[pid=812629] ppid=812626 vsize=606776 memory=591452 CPUtime=3453.02 cores=1,3
/proc/812629/stat : 812629 (ipbhs_static_sc) R 812626 812629 808001 0 -1 4194304 205797 0 0 0 345262 40 0 0 20 0 1 0 158814977 621338624 147863 134679101440 4194304 16068861 140724437109424 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 56385536 140724437115942 140724437116029 140724437116029 140724437123044 0
/proc/812629/statm: 151694 147863 3231 2900 0 148208 0
Current children cumulated CPU time: 3453.02 s
Current children cumulated vsize: 606776 KiB
Current children cumulated memory: 591452 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/260 814578
/proc/meminfo: memFree=126243492/131524600 swapFree=131071996/131071996
[pid=812629] ppid=812626 vsize=603900 memory=589048 CPUtime=3512.85 cores=1,3
/proc/812629/stat : 812629 (ipbhs_static_sc) R 812626 812629 808001 0 -1 4194304 206363 0 0 0 351245 40 0 0 20 0 1 0 158814977 618393600 147262 134679101440 4194304 16068861 140724437109424 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 56385536 140724437115942 140724437116029 140724437116029 140724437123044 0
/proc/812629/statm: 150975 147262 3231 2900 0 147489 0
Current children cumulated CPU time: 3512.85 s
Current children cumulated vsize: 603900 KiB
Current children cumulated memory: 589048 KiB
[startup+3582.3 s]
/proc/loadavg: 4.24 4.14 4.10 5/258 814600
/proc/meminfo: memFree=126202284/131524600 swapFree=131071996/131071996
[pid=812629] ppid=812626 vsize=603900 memory=589056 CPUtime=3572.69 cores=1,3
/proc/812629/stat : 812629 (ipbhs_static_sc) R 812626 812629 808001 0 -1 4194304 207775 0 0 0 357228 41 0 0 20 0 1 0 158814977 618393600 147264 134679101440 4194304 16068861 140724437109424 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 56385536 140724437115942 140724437116029 140724437116029 140724437123044 0
/proc/812629/statm: 150975 147264 3231 2900 0 147489 0
Current children cumulated CPU time: 3572.69 s
Current children cumulated vsize: 603900 KiB
Current children cumulated memory: 589056 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.7 s]
/proc/loadavg: 4.15 4.14 4.10 4/251 814635
/proc/meminfo: memFree=127004952/131524600 swapFree=131071996/131071996
[pid=812629] ppid=812626 vsize=603900 memory=589056 CPUtime=3600.01 cores=1,3
/proc/812629/stat : 812629 (ipbhs_static_sc) R 812626 812629 808001 0 -1 4194304 209729 0 0 0 359960 41 0 0 20 0 1 0 158814977 618393600 147264 134679101440 4194304 16068861 140724437109424 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 56385536 140724437115942 140724437116029 140724437116029 140724437123044 0
/proc/812629/statm: 150975 147264 3231 2900 0 147489 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 603900 KiB
Current children cumulated memory: 589056 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.71 s]
# the end of solver process 812629 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3599.6 s, system=0.41881 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.7 s]
/proc/loadavg: 4.15 4.14 4.10 4/251 814635
/proc/meminfo: memFree=127004952/131524600 swapFree=131071996/131071996
[pid=812629] ppid=812626 vsize=603900 memory=589056 CPUtime=3600.01 cores=1,3
/proc/812629/stat : 812629 (ipbhs_static_sc) R 812626 812629 808001 0 -1 4194304 209729 0 0 0 359960 41 0 0 20 0 1 0 158814977 618393600 147264 134679101440 4194304 16068861 140724437109424 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 56385536 140724437115942 140724437116029 140724437116029 140724437123044 0
/proc/812629/statm: 150975 147264 3231 2900 0 147489 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 603900 KiB
Current children cumulated memory: 589056 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3609.71
CPU time (s): 3600.02
CPU user time (s): 3599.6
CPU system time (s): 0.41881
CPU usage (%): 99.7317
Max. virtual memory (cumulated for all children) (KiB): 607992
Max. memory (cumulated for all children) (KiB): 592452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.6
system time used= 0.41881
maximum resident set size= 596444
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 209729
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= 53
involuntary context switches= 2335
# summary of solver processes directly reported to runsolver:
# pid: 812629
# total CPU time (s): 3600.02
# total CPU user time (s): 3599.6
# total CPU system time (s): 0.41881
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.92338 second user time and 16.2998 second system time
The end
Begin job on nodeC028 at 2024-07-15 20:01:32
IDJOB=4431760
IDBENCH=146743
IDSOLVER=3057
FILE ID=nodeC028/4431760-1721066479
RUNJOBID= nodeC028-1721059157-808013
SLURM_JOB_ID= 7505495
Free space on /tmp= 889904 MiB
SOLVER NAME= IPBHS-SCIP 2024-07-09
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran10x26.opb
COMMAND LINE= ./ipbhs_static_scip BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431760-1721066479/watcher-4431760-1721066479 -o /tmp/evaluation-result-4431760-1721066479/solver-4431760-1721066479 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721059157-808013 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4431760-1721066479.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 6ea30ee5c980a208725b42ec6ced88d1
RANDOM SEED=388628242
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 : 3676.400
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 : 3665.169
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.923
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 : 3678.018
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 : 3676.432
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 : 3673.912
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.157
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 : 3599.848
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: 124011152 kB
MemAvailable: 124702196 kB
Buffers: 370408 kB
Cached: 1159220 kB
SwapCached: 0 kB
Active: 666140 kB
Inactive: 6254168 kB
Active(anon): 1536 kB
Inactive(anon): 5426868 kB
Active(file): 664604 kB
Inactive(file): 827300 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 111316 kB
Writeback: 0 kB
AnonPages: 5384304 kB
Mapped: 140988 kB
Shmem: 37720 kB
KReclaimable: 77924 kB
Slab: 179816 kB
SReclaimable: 77924 kB
SUnreclaim: 101892 kB
KernelStack: 4128 kB
PageTables: 20012 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 6732416 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 59776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 3241984 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= 889908 MiB
End job on nodeC028 at 2024-07-15 21:01:42