38.56/38.77 c initialize IPBHS solver
38.56/38.77 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
38.56/38.77 c optimizer = "scip"
38.56/38.77 c pbsolver = "roundingsat"
38.56/38.77 c load symmetries from file ""
38.56/38.77 c set time limit for symmetry computation to 100 seconds.
38.56/38.77 c set interchangeable summation variable limit to 3
38.56/38.77 c set abs symmetric core budget per WCE-iteration to 100
38.56/38.77 c set rel symmetric core budget per WCE-iteration to 0
38.56/38.77 c set lit symmetric core budget per WCE-iteration to 0
38.56/38.77 c set sym generation to 's'
38.56/38.77 c set abstraction set creation to 10 iterations without LB change
38.56/38.77 c set abstraction set inputs to 0
38.56/38.77 c set abstraction set cluster min size to 2
38.56/38.77 c set abstraction set cluster max size to 100000000
38.56/38.77 c set abstraction set cluster activation limit to 2
38.56/38.77 c enable abstraction set require equal cost
38.56/38.77 c set abstraction set assumptions to 0
38.56/38.77 c set abstraction set constraint type to 0
38.56/38.77 c set abstract core extraction strategy to b
38.56/38.77 c set core extraction strategy to 2
38.56/38.77 c set core extraction shuffles 10
38.56/38.77 c set cores per iteration to 5
38.56/38.77 c set optimizer bound usage strategy to 2
38.56/38.77 c set optimizer max non-optimal iterations to 1000
38.56/38.77 c set small core cardinality limit to 2
38.56/38.77 c set max coef in cores to 1000000000
38.56/38.77 c set SIS iterations to 5
38.56/38.77 c set SIS budget abs to 1000
38.56/38.77 c set SIS budget rel to 0.05
38.56/38.77 c limit for coefficient in constraints and objective to 9223372036854775807
38.56/38.77 c will solve HOME/instance-4431896-1721059173.opb
38.56/38.77 c [0.19] solve iteration 1, LB=-1272, UB=1
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 (62722 MiB free)
memory of node 1: 64473 MiB (62684 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431896-1721059173/watcher-4431896-1721059173 -o /tmp/evaluation-result-4431896-1721059173/solver-4431896-1721059173 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721059157-808011 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4431896-1721059173.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=808403, runsolver pid=808400
[startup+0.100407 s]*
/proc/loadavg: 4.09 4.11 4.08 5/261 808404
/proc/meminfo: memFree=128405732/131524600 swapFree=131071996/131071996
[pid=808403] ppid=808400 vsize=38368 memory=14548 CPUtime=0.09 cores=0,2
/proc/808403/stat : 808403 (ipbhs_static_sc) R 808400 808403 808001 0 -1 4194304 3169 0 0 0 8 1 0 0 20 0 1 0 158084354 39288832 3637 134679101440 4194304 16068861 140735421794272 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 40841216 140735421797414 140735421797501 140735421797501 140735421804516 0
/proc/808403/statm: 9592 3637 1135 2900 0 6106 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38368 KiB
Current children cumulated memory: 14548 KiB
[startup+0.20558 s]*
/proc/loadavg: 4.09 4.11 4.08 5/261 808404
/proc/meminfo: memFree=128393396/131524600 swapFree=131071996/131071996
[pid=808403] ppid=808400 vsize=50128 memory=33152 CPUtime=0.2 cores=0,2
/proc/808403/stat : 808403 (ipbhs_static_sc) R 808400 808403 808001 0 -1 4194304 6092 0 0 0 14 6 0 0 20 0 1 0 158084354 51331072 8288 134679101440 4194304 16068861 140735421794272 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 40841216 140735421797414 140735421797501 140735421797501 140735421804516 0
/proc/808403/statm: 12532 8288 2383 2900 0 9046 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 50128 KiB
Current children cumulated memory: 33152 KiB
[startup+0.304704 s]*
/proc/loadavg: 4.09 4.11 4.08 5/261 808404
/proc/meminfo: memFree=128366424/131524600 swapFree=131071996/131071996
[pid=808403] ppid=808400 vsize=75488 memory=58164 CPUtime=0.29 cores=0,2
/proc/808403/stat : 808403 (ipbhs_static_sc) R 808400 808403 808001 0 -1 4194304 11882 0 0 0 19 10 0 0 20 0 1 0 158084354 77299712 14541 134679101440 4194304 16068861 140735421794272 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 40841216 140735421797414 140735421797501 140735421797501 140735421804516 0
/proc/808403/statm: 18872 14541 2383 2900 0 15386 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 75488 KiB
Current children cumulated memory: 58164 KiB
[startup+0.700215 s]
/proc/loadavg: 4.09 4.11 4.08 5/261 808404
/proc/meminfo: memFree=128317924/131524600 swapFree=131071996/131071996
[pid=808403] ppid=808400 vsize=194916 memory=177928 CPUtime=0.68 cores=0,2
/proc/808403/stat : 808403 (ipbhs_static_sc) R 808400 808403 808001 0 -1 4194304 42331 0 0 0 43 25 0 0 20 0 1 0 158084354 199593984 44482 134679101440 4194304 16068861 140735421794272 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 40841216 140735421797414 140735421797501 140735421797501 140735421804516 0
/proc/808403/statm: 48729 44482 2639 2900 0 45243 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 194916 KiB
Current children cumulated memory: 177928 KiB
[startup+1.50018 s]
/proc/loadavg: 4.09 4.11 4.08 6/261 808404
/proc/meminfo: memFree=128125588/131524600 swapFree=131071996/131071996
[pid=808403] ppid=808400 vsize=437228 memory=397244 CPUtime=1.48 cores=0,2
/proc/808403/stat : 808403 (ipbhs_static_sc) R 808400 808403 808001 0 -1 4194304 57960 0 0 0 118 30 0 0 20 0 1 0 158084354 447721472 99311 134679101440 4194304 16068861 140735421794272 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 40841216 140735421797414 140735421797501 140735421797501 140735421804516 0
/proc/808403/statm: 109307 99311 2671 2900 0 105821 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 437228 KiB
Current children cumulated memory: 397244 KiB
[startup+3.10549 s]
/proc/loadavg: 4.08 4.11 4.07 6/261 808404
/proc/meminfo: memFree=127831540/131524600 swapFree=131071996/131071996
[pid=808403] ppid=808400 vsize=675428 memory=616628 CPUtime=3.08 cores=0,2
/proc/808403/stat : 808403 (ipbhs_static_sc) R 808400 808403 808001 0 -1 4194304 90978 0 0 0 271 37 0 0 20 0 1 0 158084354 691638272 154157 134679101440 4194304 16068861 140735421794272 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 40841216 140735421797414 140735421797501 140735421797501 140735421804516 0
/proc/808403/statm: 168857 154157 2879 2900 0 165371 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 675428 KiB
Current children cumulated memory: 616628 KiB
[startup+6.30014 s]
/proc/loadavg: 4.08 4.11 4.07 6/261 808404
/proc/meminfo: memFree=127507892/131524600 swapFree=131071996/131071996
[pid=808403] ppid=808400 vsize=895716 memory=822152 CPUtime=6.26 cores=0,2
/proc/808403/stat : 808403 (ipbhs_static_sc) R 808400 808403 808001 0 -1 4194304 121066 0 0 0 583 43 0 0 20 0 1 0 158084354 917213184 205538 134679101440 4194304 16068861 140735421794272 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 40841216 140735421797414 140735421797501 140735421797501 140735421804516 0
/proc/808403/statm: 223929 205538 2895 2900 0 220443 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 895716 KiB
Current children cumulated memory: 822152 KiB
[startup+12.7001 s]
/proc/loadavg: 4.15 4.12 4.08 6/261 808405
/proc/meminfo: memFree=127432596/131524600 swapFree=131071996/131071996
[pid=808403] ppid=808400 vsize=913504 memory=831996 CPUtime=12.65 cores=0,2
/proc/808403/stat : 808403 (ipbhs_static_sc) R 808400 808403 808001 0 -1 4194304 122489 0 0 0 1221 44 0 0 20 0 1 0 158084354 935428096 207999 134679101440 4194304 16068861 140735421794272 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 40841216 140735421797414 140735421797501 140735421797501 140735421804516 0
/proc/808403/statm: 228376 207999 2895 2900 0 224890 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 913504 KiB
Current children cumulated memory: 831996 KiB
[startup+25.5002 s]
/proc/loadavg: 4.12 4.12 4.08 6/263 808411
/proc/meminfo: memFree=127388740/131524600 swapFree=131071996/131071996
[pid=808403] ppid=808400 vsize=940024 memory=832080 CPUtime=25.41 cores=0,2
/proc/808403/stat : 808403 (ipbhs_static_sc) R 808400 808403 808001 0 -1 4194304 122531 0 0 0 2496 45 0 0 20 0 1 0 158084354 962584576 208020 134679101440 4194304 16068861 140735421794272 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 40841216 140735421797414 140735421797501 140735421797501 140735421804516 0
/proc/808403/statm: 235006 208020 2895 2900 0 231520 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 940024 KiB
Current children cumulated memory: 832080 KiB
[startup+51.1058 s]
/proc/loadavg: 4.15 4.12 4.08 5/263 808461
/proc/meminfo: memFree=126782332/131524600 swapFree=131071996/131071996
[pid=808403] ppid=808400 vsize=1171860 memory=933360 CPUtime=50.92 cores=0,2
/proc/808403/stat : 808403 (ipbhs_static_sc) R 808400 808403 808001 0 -1 4194304 147876 0 0 0 5043 49 0 0 20 0 1 0 158084354 1199984640 233340 134679101440 4194304 16068861 140735421794272 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 40841216 140735421797414 140735421797501 140735421797501 140735421804516 0
/proc/808403/statm: 292965 233340 2895 2900 0 289479 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 1171860 KiB
Current children cumulated memory: 933360 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.10 4.08 5/261 808572
/proc/meminfo: memFree=125729772/131524600 swapFree=131071996/131071996
[pid=808403] ppid=808400 vsize=1238148 memory=947000 CPUtime=101.9 cores=0,2
/proc/808403/stat : 808403 (ipbhs_static_sc) R 808400 808403 808001 0 -1 4194304 159509 0 0 0 10139 51 0 0 20 0 1 0 158084354 1267863552 236750 134679101440 4194304 16068861 140735421794272 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 40841216 140735421797414 140735421797501 140735421797501 140735421804516 0
/proc/808403/statm: 309537 236750 2895 2900 0 306051 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 1238148 KiB
Current children cumulated memory: 947000 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.11 4.08 5/261 808583
/proc/meminfo: memFree=125662384/131524600 swapFree=131071996/131071996
[pid=808403] ppid=808400 vsize=1326596 memory=949388 CPUtime=161.66 cores=0,2
/proc/808403/stat : 808403 (ipbhs_static_sc) R 808400 808403 808001 0 -1 4194304 159565 0 0 0 16115 51 0 0 20 0 1 0 158084354 1358434304 237347 134679101440 4194304 16068861 140735421794272 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 40841216 140735421797414 140735421797501 140735421797501 140735421804516 0
/proc/808403/statm: 331649 237347 2895 2900 0 328163 0
Current children cumulated CPU time: 161.66 s
Current children cumulated vsize: 1326596 KiB
Current children cumulated memory: 949388 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.10 4.08 5/260 808594
/proc/meminfo: memFree=125452088/131524600 swapFree=131071996/131071996
[pid=808403] ppid=808400 vsize=1456024 memory=1038980 CPUtime=221.46 cores=0,2
/proc/808403/stat : 808403 (ipbhs_static_sc) R 808400 808403 808001 0 -1 4194304 180894 0 0 0 22091 55 0 0 20 0 1 0 158084354 1490968576 259745 134679101440 4194304 16068861 140735421794272 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 40841216 140735421797414 140735421797501 140735421797501 140735421804516 0
/proc/808403/statm: 364006 259745 2895 2900 0 360520 0
Current children cumulated CPU time: 221.46 s
Current children cumulated vsize: 1456024 KiB
Current children cumulated memory: 1038980 KiB
[startup+282.3 s]
/proc/loadavg: 4.18 4.13 4.09 5/260 808607
/proc/meminfo: memFree=125323144/131524600 swapFree=131071996/131071996
[pid=808403] ppid=808400 vsize=1449832 memory=1025644 CPUtime=281.25 cores=0,2
/proc/808403/stat : 808403 (ipbhs_static_sc) R 808400 808403 808001 0 -1 4194304 183918 0 0 0 28069 56 0 0 20 0 1 0 158084354 1484627968 256411 134679101440 4194304 16068861 140735421794272 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 40841216 140735421797414 140735421797501 140735421797501 140735421804516 0
/proc/808403/statm: 362458 256411 2895 2900 0 358972 0
Current children cumulated CPU time: 281.25 s
Current children cumulated vsize: 1449832 KiB
Current children cumulated memory: 1025644 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/256 808617
/proc/meminfo: memFree=125067360/131524600 swapFree=131071996/131071996
[pid=808403] ppid=808400 vsize=1533260 memory=1091048 CPUtime=341 cores=0,2
/proc/808403/stat : 808403 (ipbhs_static_sc) R 808400 808403 808001 0 -1 4194304 196690 0 0 0 34042 58 0 0 20 0 1 0 158084354 1570058240 272762 134679101440 4194304 16068861 140735421794272 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 40841216 140735421797414 140735421797501 140735421797501 140735421804516 0
/proc/808403/statm: 383315 272762 2895 2900 0 379829 0
Current children cumulated CPU time: 341 s
Current children cumulated vsize: 1533260 KiB
Current children cumulated memory: 1091048 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/256 808632
/proc/meminfo: memFree=124885320/131524600 swapFree=131071996/131071996
[pid=808403] ppid=808400 vsize=1613804 memory=1178252 CPUtime=400.8 cores=0,2
/proc/808403/stat : 808403 (ipbhs_static_sc) R 808400 808403 808001 0 -1 4194304 217166 0 0 0 40018 62 0 0 20 0 1 0 158084354 1652535296 294563 134679101440 4194304 16068861 140735421794272 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 40841216 140735421797414 140735421797501 140735421797501 140735421804516 0
/proc/808403/statm: 403451 294563 2895 2900 0 399965 0
Current children cumulated CPU time: 400.8 s
Current children cumulated vsize: 1613804 KiB
Current children cumulated memory: 1178252 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/256 808643
/proc/meminfo: memFree=124629736/131524600 swapFree=131071996/131071996
[pid=808403] ppid=808400 vsize=1669580 memory=1260252 CPUtime=460.6 cores=0,2
/proc/808403/stat : 808403 (ipbhs_static_sc) R 808400 808403 808001 0 -1 4194304 231235 0 0 0 45995 65 0 0 20 0 1 0 158084354 1709649920 315063 134679101440 4194304 16068861 140735421794272 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 40841216 140735421797414 140735421797501 140735421797501 140735421804516 0
/proc/808403/statm: 417395 315063 3215 2900 0 413909 0
################
# More data... #
################
Current children cumulated memory: 2128316 KiB
[startup+2922.3 s]
/proc/loadavg: 4.13 4.17 4.12 5/254 809713
/proc/meminfo: memFree=120680620/131524600 swapFree=131071996/131071996
[pid=808403] ppid=808400 vsize=2879784 memory=2137108 CPUtime=2912.81 cores=0,2
/proc/808403/stat : 808403 (ipbhs_static_sc) R 808400 808403 808001 0 -1 4194304 366979 0 0 0 291175 106 0 0 20 0 1 0 158084354 2948898816 534277 134679101440 4194304 16068861 140735421794272 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 40841216 140735421797414 140735421797501 140735421797501 140735421804516 0
/proc/808403/statm: 719946 534277 3215 2900 0 716460 0
Current children cumulated CPU time: 2912.81 s
Current children cumulated vsize: 2879784 KiB
Current children cumulated memory: 2137108 KiB
[startup+2982.3 s]
/proc/loadavg: 4.15 4.16 4.12 5/254 809723
/proc/meminfo: memFree=120563316/131524600 swapFree=131071996/131071996
[pid=808403] ppid=808400 vsize=2881260 memory=2153616 CPUtime=2972.63 cores=0,2
/proc/808403/stat : 808403 (ipbhs_static_sc) R 808400 808403 808001 0 -1 4194304 367396 0 0 0 297156 107 0 0 20 0 1 0 158084354 2950410240 538404 134679101440 4194304 16068861 140735421794272 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 40841216 140735421797414 140735421797501 140735421797501 140735421804516 0
/proc/808403/statm: 720315 538404 3215 2900 0 716829 0
Current children cumulated CPU time: 2972.63 s
Current children cumulated vsize: 2881260 KiB
Current children cumulated memory: 2153616 KiB
[startup+3042.3 s]
/proc/loadavg: 4.11 4.15 4.11 5/256 809738
/proc/meminfo: memFree=120451712/131524600 swapFree=131071996/131071996
[pid=808403] ppid=808400 vsize=2886372 memory=2166560 CPUtime=3032.45 cores=0,2
/proc/808403/stat : 808403 (ipbhs_static_sc) R 808400 808403 808001 0 -1 4194304 368457 0 0 0 303137 108 0 0 20 0 1 0 158084354 2955644928 541640 134679101440 4194304 16068861 140735421794272 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 40841216 140735421797414 140735421797501 140735421797501 140735421804516 0
/proc/808403/statm: 721593 541640 3215 2900 0 718107 0
Current children cumulated CPU time: 3032.45 s
Current children cumulated vsize: 2886372 KiB
Current children cumulated memory: 2166560 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.13 4.10 5/256 809749
/proc/meminfo: memFree=120433124/131524600 swapFree=131071996/131071996
[pid=808403] ppid=808400 vsize=2892528 memory=2172740 CPUtime=3092.26 cores=0,2
/proc/808403/stat : 808403 (ipbhs_static_sc) R 808400 808403 808001 0 -1 4194304 370351 0 0 0 309117 109 0 0 20 0 1 0 158084354 2961948672 543185 134679101440 4194304 16068861 140735421794272 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 40841216 140735421797414 140735421797501 140735421797501 140735421804516 0
/proc/808403/statm: 723132 543185 3215 2900 0 719646 0
Current children cumulated CPU time: 3092.26 s
Current children cumulated vsize: 2892528 KiB
Current children cumulated memory: 2172740 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.14 4.10 5/256 809759
/proc/meminfo: memFree=120286616/131524600 swapFree=131071996/131071996
[pid=808403] ppid=808400 vsize=2981436 memory=2288092 CPUtime=3152.08 cores=0,2
/proc/808403/stat : 808403 (ipbhs_static_sc) R 808400 808403 808001 0 -1 4194304 393477 0 0 0 315095 113 0 0 20 0 1 0 158084354 3052990464 572023 134679101440 4194304 16068861 140735421794272 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 40841216 140735421797414 140735421797501 140735421797501 140735421804516 0
/proc/808403/statm: 745359 572023 3215 2900 0 741873 0
Current children cumulated CPU time: 3152.08 s
Current children cumulated vsize: 2981436 KiB
Current children cumulated memory: 2288092 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.13 4.10 5/256 809771
/proc/meminfo: memFree=120233336/131524600 swapFree=131071996/131071996
[pid=808403] ppid=808400 vsize=2961532 memory=2269088 CPUtime=3211.89 cores=0,2
/proc/808403/stat : 808403 (ipbhs_static_sc) R 808400 808403 808001 0 -1 4194304 395000 0 0 0 321076 113 0 0 20 0 1 0 158084354 3032608768 567272 134679101440 4194304 16068861 140735421794272 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 40841216 140735421797414 140735421797501 140735421797501 140735421804516 0
/proc/808403/statm: 740383 567272 3215 2900 0 736897 0
Current children cumulated CPU time: 3211.89 s
Current children cumulated vsize: 2961532 KiB
Current children cumulated memory: 2269088 KiB
[startup+3282.3 s]
/proc/loadavg: 4.32 4.18 4.12 5/256 809782
/proc/meminfo: memFree=120172168/131524600 swapFree=131071996/131071996
[pid=808403] ppid=808400 vsize=2961532 memory=2286092 CPUtime=3271.71 cores=0,2
/proc/808403/stat : 808403 (ipbhs_static_sc) R 808400 808403 808001 0 -1 4194304 395629 0 0 0 327057 114 0 0 20 0 1 0 158084354 3032608768 571523 134679101440 4194304 16068861 140735421794272 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 40841216 140735421797414 140735421797501 140735421797501 140735421804516 0
/proc/808403/statm: 740383 571523 3215 2900 0 736897 0
Current children cumulated CPU time: 3271.71 s
Current children cumulated vsize: 2961532 KiB
Current children cumulated memory: 2286092 KiB
[startup+3342.3 s]
/proc/loadavg: 4.23 4.18 4.12 5/254 809792
/proc/meminfo: memFree=120114180/131524600 swapFree=131071996/131071996
[pid=808403] ppid=808400 vsize=2961532 memory=2286264 CPUtime=3331.52 cores=0,2
/proc/808403/stat : 808403 (ipbhs_static_sc) R 808400 808403 808001 0 -1 4194304 396088 0 0 0 333038 114 0 0 20 0 1 0 158084354 3032608768 571566 134679101440 4194304 16068861 140735421794272 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 40841216 140735421797414 140735421797501 140735421797501 140735421804516 0
/proc/808403/statm: 740383 571566 3215 2900 0 736897 0
Current children cumulated CPU time: 3331.52 s
Current children cumulated vsize: 2961532 KiB
Current children cumulated memory: 2286264 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.16 4.11 5/256 810186
/proc/meminfo: memFree=120028332/131524600 swapFree=131071996/131071996
[pid=808403] ppid=808400 vsize=2961532 memory=2286436 CPUtime=3391.33 cores=0,2
/proc/808403/stat : 808403 (ipbhs_static_sc) R 808400 808403 808001 0 -1 4194304 396479 0 0 0 339018 115 0 0 20 0 1 0 158084354 3032608768 571609 134679101440 4194304 16068861 140735421794272 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 40841216 140735421797414 140735421797501 140735421797501 140735421804516 0
/proc/808403/statm: 740383 571609 3215 2900 0 736897 0
Current children cumulated CPU time: 3391.33 s
Current children cumulated vsize: 2961532 KiB
Current children cumulated memory: 2286436 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.16 4.11 5/256 810198
/proc/meminfo: memFree=119906212/131524600 swapFree=131071996/131071996
[pid=808403] ppid=808400 vsize=3076532 memory=2314472 CPUtime=3451.13 cores=0,2
/proc/808403/stat : 808403 (ipbhs_static_sc) R 808400 808403 808001 0 -1 4194304 398775 0 0 0 344997 116 0 0 20 0 1 0 158084354 3150368768 578618 134679101440 4194304 16068861 140735421794272 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 40841216 140735421797414 140735421797501 140735421797501 140735421804516 0
/proc/808403/statm: 769133 578618 3215 2900 0 765647 0
Current children cumulated CPU time: 3451.13 s
Current children cumulated vsize: 3076532 KiB
Current children cumulated memory: 2314472 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.14 4.10 5/258 810378
/proc/meminfo: memFree=119804292/131524600 swapFree=131071996/131071996
[pid=808403] ppid=808400 vsize=3076532 memory=2331992 CPUtime=3510.95 cores=0,2
/proc/808403/stat : 808403 (ipbhs_static_sc) R 808400 808403 808001 0 -1 4194304 399485 0 0 0 350978 117 0 0 20 0 1 0 158084354 3150368768 582998 134679101440 4194304 16068861 140735421794272 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 40841216 140735421797414 140735421797501 140735421797501 140735421804516 0
/proc/808403/statm: 769133 582998 3215 2900 0 765647 0
Current children cumulated CPU time: 3510.95 s
Current children cumulated vsize: 3076532 KiB
Current children cumulated memory: 2331992 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/258 810388
/proc/meminfo: memFree=119768912/131524600 swapFree=131071996/131071996
[pid=808403] ppid=808400 vsize=3076532 memory=2340412 CPUtime=3570.78 cores=0,2
/proc/808403/stat : 808403 (ipbhs_static_sc) R 808400 808403 808001 0 -1 4194304 399865 0 0 0 356960 118 0 0 20 0 1 0 158084354 3150368768 585103 134679101440 4194304 16068861 140735421794272 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 40841216 140735421797414 140735421797501 140735421797501 140735421804516 0
/proc/808403/statm: 769133 585103 3215 2900 0 765647 0
Current children cumulated CPU time: 3570.78 s
Current children cumulated vsize: 3076532 KiB
Current children cumulated memory: 2340412 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.7 s]
/proc/loadavg: 4.16 4.15 4.10 5/258 810393
/proc/meminfo: memFree=119600816/131524600 swapFree=131071996/131071996
[pid=808403] ppid=808400 vsize=3076532 memory=2350676 CPUtime=3600.08 cores=0,2
/proc/808403/stat : 808403 (ipbhs_static_sc) R 808400 808403 808001 0 -1 4194304 400086 0 0 0 359890 118 0 0 20 0 1 0 158084354 3150368768 587669 134679101440 4194304 16068861 140735421794272 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 40841216 140735421797414 140735421797501 140735421797501 140735421804516 0
/proc/808403/statm: 769133 587669 3215 2900 0 765647 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 3076532 KiB
Current children cumulated memory: 2350676 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.72 s]
# the end of solver process 808403 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3598.91 s, system=1.20983 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.7 s]
/proc/loadavg: 4.16 4.15 4.10 5/258 810393
/proc/meminfo: memFree=119600816/131524600 swapFree=131071996/131071996
[pid=808403] ppid=808400 vsize=3076532 memory=2350676 CPUtime=3600.08 cores=0,2
/proc/808403/stat : 808403 (ipbhs_static_sc) R 808400 808403 808001 0 -1 4194304 400086 0 0 0 359890 118 0 0 20 0 1 0 158084354 3150368768 587669 134679101440 4194304 16068861 140735421794272 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 40841216 140735421797414 140735421797501 140735421797501 140735421804516 0
/proc/808403/statm: 769133 587669 3215 2900 0 765647 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 3076532 KiB
Current children cumulated memory: 2350676 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3611.72
CPU time (s): 3600.12
CPU user time (s): 3598.91
CPU system time (s): 1.20983
CPU usage (%): 99.6787
Max. virtual memory (cumulated for all children) (KiB): 3076532
Max. memory (cumulated for all children) (KiB): 2350676
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.91
system time used= 1.20983
maximum resident set size= 2350676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 400086
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= 75
involuntary context switches= 24673
# summary of solver processes directly reported to runsolver:
# pid: 808403
# total CPU time (s): 3600.12
# total CPU user time (s): 3598.91
# total CPU system time (s): 1.20983
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.95584 second user time and 15.682 second system time
The end
Begin job on nodeC028 at 2024-07-15 17:59:45
IDJOB=4431896
IDBENCH=146672
IDSOLVER=3057
FILE ID=nodeC028/4431896-1721059173
RUNJOBID= nodeC028-1721059157-808011
SLURM_JOB_ID= 7505495
Free space on /tmp= 889908 MiB
SOLVER NAME= IPBHS-SCIP 2024-07-09
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-1.opb
COMMAND LINE= ./ipbhs_static_scip BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431896-1721059173/watcher-4431896-1721059173 -o /tmp/evaluation-result-4431896-1721059173/solver-4431896-1721059173 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721059157-808011 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4431896-1721059173.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 05a4468103b1b74e5a90bd7e67aed0d9
RANDOM SEED=1360395880
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.140
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 : 3683.284
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 : 3672.839
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 : 3599.836
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 : 3677.175
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 : 3683.309
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.082
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 : 3600.176
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: 128416352 kB
MemAvailable: 129063012 kB
Buffers: 365960 kB
Cached: 1119632 kB
SwapCached: 0 kB
Active: 656116 kB
Inactive: 1869472 kB
Active(anon): 1568 kB
Inactive(anon): 1075836 kB
Active(file): 654548 kB
Inactive(file): 793636 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 218884 kB
Writeback: 0 kB
AnonPages: 1036748 kB
Mapped: 138212 kB
Shmem: 37720 kB
KReclaimable: 76600 kB
Slab: 178080 kB
SReclaimable: 76600 kB
SUnreclaim: 101480 kB
KernelStack: 4236 kB
PageTables: 11424 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1474344 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 59776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 307200 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 18:59:57