2.48/2.55 c initialize IPBHS solver
2.48/2.55 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.48/2.55 c optimizer = "scip"
2.48/2.55 c pbsolver = "roundingsat"
2.48/2.55 c load symmetries from file ""
2.48/2.55 c set time limit for symmetry computation to 100 seconds.
2.48/2.55 c set interchangeable summation variable limit to 3
2.48/2.55 c set abs symmetric core budget per WCE-iteration to 100
2.48/2.55 c set rel symmetric core budget per WCE-iteration to 0
2.48/2.55 c set lit symmetric core budget per WCE-iteration to 0
2.48/2.55 c set sym generation to 's'
2.48/2.55 c set abstraction set creation to 10 iterations without LB change
2.48/2.55 c set abstraction set inputs to 0
2.48/2.55 c set abstraction set cluster min size to 2
2.48/2.55 c set abstraction set cluster max size to 100000000
2.48/2.55 c set abstraction set cluster activation limit to 2
2.48/2.55 c enable abstraction set require equal cost
2.48/2.55 c set abstraction set assumptions to 0
2.48/2.55 c set abstraction set constraint type to 0
2.48/2.55 c set abstract core extraction strategy to b
2.48/2.55 c set core extraction strategy to 2
2.48/2.55 c set core extraction shuffles 10
2.48/2.55 c set cores per iteration to 5
2.48/2.55 c set optimizer bound usage strategy to 2
2.48/2.55 c set optimizer max non-optimal iterations to 1000
2.48/2.55 c set small core cardinality limit to 2
2.48/2.55 c set max coef in cores to 1000000000
2.48/2.55 c set SIS iterations to 5
2.48/2.55 c set SIS budget abs to 1000
2.48/2.55 c set SIS budget rel to 0.05
2.48/2.55 c limit for coefficient in constraints and objective to 9223372036854775807
2.48/2.55 c will solve HOME/instance-4432059-1721124396.opb
2.48/2.55 c [0.06] solve iteration 1, LB=-50, UB=53595180229
331.05/332.27 c [291.16] solve iteration 2, LB=1901927, UB=4608633
2874.04/2883.80 c [2785.05] solve iteration 3, LB=2076295, UB=4608633
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 (57154 MiB free)
memory of node 1: 64473 MiB (50797 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432059-1721124396/watcher-4432059-1721124396 -o /tmp/evaluation-result-4432059-1721124396/solver-4432059-1721124396 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721115599-843797 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4432059-1721124396.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
solver pid=849106, runsolver pid=849103
Current StackSize limit: 8192 KiB
[startup+0.100095 s]*
/proc/loadavg: 4.09 4.16 4.14 5/254 849107
/proc/meminfo: memFree=110511460/131524600 swapFree=131071996/131071996
[pid=849106] ppid=849103 vsize=58936 memory=40408 CPUtime=0.09 cores=0,2
/proc/849106/stat : 849106 (ipbhs_static_sc) R 849103 849106 843787 0 -1 4194304 8017 0 0 0 7 2 0 0 20 0 1 0 164604585 60350464 10102 134679101440 4194304 16068861 140726189458112 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 26066944 140726189462566 140726189462653 140726189462653 140726189469668 0
/proc/849106/statm: 14734 10102 2399 2900 0 11248 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 58936 KiB
Current children cumulated memory: 40408 KiB
[startup+0.205473 s]*
/proc/loadavg: 4.09 4.16 4.14 5/254 849107
/proc/meminfo: memFree=110495808/131524600 swapFree=131071996/131071996
[pid=849106] ppid=849103 vsize=75964 memory=56572 CPUtime=0.2 cores=0,2
/proc/849106/stat : 849106 (ipbhs_static_sc) R 849103 849106 843787 0 -1 4194304 11945 0 0 0 17 3 0 0 20 0 1 0 164604585 77787136 14143 134679101440 4194304 16068861 140726189458112 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 26066944 140726189462566 140726189462653 140726189462653 140726189469668 0
/proc/849106/statm: 18991 14143 2655 2900 0 15505 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 75964 KiB
Current children cumulated memory: 56572 KiB
[startup+0.305372 s]*
/proc/loadavg: 4.09 4.16 4.14 5/254 849107
/proc/meminfo: memFree=110489628/131524600 swapFree=131071996/131071996
[pid=849106] ppid=849103 vsize=87232 memory=63732 CPUtime=0.29 cores=0,2
/proc/849106/stat : 849106 (ipbhs_static_sc) R 849103 849106 843787 0 -1 4194304 13506 0 0 0 26 3 0 0 20 0 1 0 164604585 89325568 15933 134679101440 4194304 16068861 140726189458112 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 26066944 140726189462566 140726189462653 140726189462653 140726189469668 0
/proc/849106/statm: 21808 15933 2879 2900 0 18322 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 87232 KiB
Current children cumulated memory: 63732 KiB
[startup+0.700209 s]
/proc/loadavg: 4.09 4.16 4.14 5/254 849107
/proc/meminfo: memFree=110464960/131524600 swapFree=131071996/131071996
[pid=849106] ppid=849103 vsize=121688 memory=91496 CPUtime=0.68 cores=0,2
/proc/849106/stat : 849106 (ipbhs_static_sc) R 849103 849106 843787 0 -1 4194304 20622 0 0 0 64 4 0 0 20 0 1 0 164604585 124608512 22874 134679101440 4194304 16068861 140726189458112 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 26066944 140726189462566 140726189462653 140726189462653 140726189469668 0
/proc/849106/statm: 30422 22874 2911 2900 0 26936 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 121688 KiB
Current children cumulated memory: 91496 KiB
[startup+1.50024 s]
/proc/loadavg: 4.09 4.16 4.14 5/254 849107
/proc/meminfo: memFree=110457904/131524600 swapFree=131071996/131071996
[pid=849106] ppid=849103 vsize=130552 memory=99096 CPUtime=1.49 cores=0,2
/proc/849106/stat : 849106 (ipbhs_static_sc) R 849103 849106 843787 0 -1 4194304 22520 0 0 0 144 5 0 0 20 0 1 0 164604585 133685248 24774 134679101440 4194304 16068861 140726189458112 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 26066944 140726189462566 140726189462653 140726189462653 140726189469668 0
/proc/849106/statm: 32638 24774 2911 2900 0 29152 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 130552 KiB
Current children cumulated memory: 99096 KiB
[startup+3.10535 s]
/proc/loadavg: 4.09 4.16 4.14 5/254 849107
/proc/meminfo: memFree=110440932/131524600 swapFree=131071996/131071996
[pid=849106] ppid=849103 vsize=143680 memory=112084 CPUtime=3.08 cores=0,2
/proc/849106/stat : 849106 (ipbhs_static_sc) R 849103 849106 843787 0 -1 4194304 26754 0 0 0 303 5 0 0 20 0 1 0 164604585 147128320 28021 134679101440 4194304 16068861 140726189458112 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 26066944 140726189462566 140726189462653 140726189462653 140726189469668 0
/proc/849106/statm: 35920 28021 2911 2900 0 32434 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 143680 KiB
Current children cumulated memory: 112084 KiB
[startup+6.30023 s]
/proc/loadavg: 4.09 4.15 4.14 5/254 849107
/proc/meminfo: memFree=110425704/131524600 swapFree=131071996/131071996
[pid=849106] ppid=849103 vsize=151140 memory=118924 CPUtime=6.27 cores=0,2
/proc/849106/stat : 849106 (ipbhs_static_sc) R 849103 849106 843787 0 -1 4194304 28437 0 0 0 621 6 0 0 20 0 1 0 164604585 154767360 29731 134679101440 4194304 16068861 140726189458112 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 26066944 140726189462566 140726189462653 140726189462653 140726189469668 0
/proc/849106/statm: 37785 29731 2911 2900 0 34299 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 151140 KiB
Current children cumulated memory: 118924 KiB
[startup+12.7002 s]
/proc/loadavg: 4.16 4.17 4.15 5/254 849109
/proc/meminfo: memFree=110422008/131524600 swapFree=131071996/131071996
[pid=849106] ppid=849103 vsize=154484 memory=122356 CPUtime=12.64 cores=0,2
/proc/849106/stat : 849106 (ipbhs_static_sc) R 849103 849106 843787 0 -1 4194304 29297 0 0 0 1258 6 0 0 20 0 1 0 164604585 158191616 30589 134679101440 4194304 16068861 140726189458112 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 26066944 140726189462566 140726189462653 140726189462653 140726189469668 0
/proc/849106/statm: 38621 30589 2911 2900 0 35135 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 154484 KiB
Current children cumulated memory: 122356 KiB
[startup+25.5002 s]
/proc/loadavg: 4.12 4.16 4.14 5/254 849110
/proc/meminfo: memFree=110408892/131524600 swapFree=131071996/131071996
[pid=849106] ppid=849103 vsize=154484 memory=123388 CPUtime=25.4 cores=0,2
/proc/849106/stat : 849106 (ipbhs_static_sc) R 849103 849106 843787 0 -1 4194304 29581 0 0 0 2534 6 0 0 20 0 1 0 164604585 158191616 30847 134679101440 4194304 16068861 140726189458112 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 26066944 140726189462566 140726189462653 140726189462653 140726189469668 0
/proc/849106/statm: 38621 30847 2911 2900 0 35135 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 154484 KiB
Current children cumulated memory: 123388 KiB
[startup+51.1054 s]
/proc/loadavg: 4.16 4.16 4.14 5/254 849116
/proc/meminfo: memFree=110390936/131524600 swapFree=131071996/131071996
[pid=849106] ppid=849103 vsize=164116 memory=132096 CPUtime=50.92 cores=0,2
/proc/849106/stat : 849106 (ipbhs_static_sc) R 849103 849106 843787 0 -1 4194304 31757 0 0 0 5085 7 0 0 20 0 1 0 164604585 168054784 33024 134679101440 4194304 16068861 140726189458112 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 26066944 140726189462566 140726189462653 140726189462653 140726189469668 0
/proc/849106/statm: 41029 33024 2911 2900 0 37543 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 164116 KiB
Current children cumulated memory: 132096 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.15 4.14 5/254 849124
/proc/meminfo: memFree=110289736/131524600 swapFree=131071996/131071996
[pid=849106] ppid=849103 vsize=176676 memory=144964 CPUtime=101.93 cores=0,2
/proc/849106/stat : 849106 (ipbhs_static_sc) R 849103 849106 843787 0 -1 4194304 34961 0 0 0 10185 8 0 0 20 0 1 0 164604585 180916224 36241 134679101440 4194304 16068861 140726189458112 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 26066944 140726189462566 140726189462653 140726189462653 140726189469668 0
/proc/849106/statm: 44169 36241 2911 2900 0 40683 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 176676 KiB
Current children cumulated memory: 144964 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.14 4.13 5/254 849134
/proc/meminfo: memFree=110256364/131524600 swapFree=131071996/131071996
[pid=849106] ppid=849103 vsize=181532 memory=150504 CPUtime=161.71 cores=0,2
/proc/849106/stat : 849106 (ipbhs_static_sc) R 849103 849106 843787 0 -1 4194304 36354 0 0 0 16163 8 0 0 20 0 1 0 164604585 185888768 37626 134679101440 4194304 16068861 140726189458112 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 26066944 140726189462566 140726189462653 140726189462653 140726189469668 0
/proc/849106/statm: 45383 37626 2911 2900 0 41897 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 181532 KiB
Current children cumulated memory: 150504 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.14 4.13 5/257 849149
/proc/meminfo: memFree=110134328/131524600 swapFree=131071996/131071996
[pid=849106] ppid=849103 vsize=253952 memory=225132 CPUtime=221.5 cores=0,2
/proc/849106/stat : 849106 (ipbhs_static_sc) R 849103 849106 843787 0 -1 4194304 50420 0 0 0 21667 483 0 0 20 0 1 0 164604585 260046848 56283 134679101440 4194304 16068861 140726189458112 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 26066944 140726189462566 140726189462653 140726189462653 140726189469668 0
/proc/849106/statm: 63488 56283 2943 2900 0 60002 0
Current children cumulated CPU time: 221.5 s
Current children cumulated vsize: 253952 KiB
Current children cumulated memory: 225132 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.13 4.13 5/258 849161
/proc/meminfo: memFree=110063020/131524600 swapFree=131071996/131071996
[pid=849106] ppid=849103 vsize=372524 memory=341148 CPUtime=281.31 cores=0,2
/proc/849106/stat : 849106 (ipbhs_static_sc) R 849103 849106 843787 0 -1 4194304 68242 0 0 0 26879 1252 0 0 20 0 1 0 164604585 381464576 85287 134679101440 4194304 16068861 140726189458112 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 26066944 140726189462566 140726189462653 140726189462653 140726189469668 0
/proc/849106/statm: 93131 85287 2943 2900 0 89645 0
Current children cumulated CPU time: 281.31 s
Current children cumulated vsize: 372524 KiB
Current children cumulated memory: 341148 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.12 4.12 5/258 849171
/proc/meminfo: memFree=108149580/131524600 swapFree=131071996/131071996
[pid=849106] ppid=849103 vsize=2426380 memory=2235340 CPUtime=341.12 cores=0,2
/proc/849106/stat : 849106 (ipbhs_static_sc) R 849103 849106 843787 0 -1 4194304 483207 0 0 0 32462 1650 0 0 20 0 1 0 164604585 2484613120 558835 134679101440 4194304 16068861 140726189458112 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 26066944 140726189462566 140726189462653 140726189462653 140726189469668 0
/proc/849106/statm: 606595 558835 2943 2900 0 603109 0
Current children cumulated CPU time: 341.12 s
Current children cumulated vsize: 2426380 KiB
Current children cumulated memory: 2235340 KiB
[startup+402.3 s]
/proc/loadavg: 4.22 4.14 4.13 5/258 849182
/proc/meminfo: memFree=108069948/131524600 swapFree=131071996/131071996
[pid=849106] ppid=849103 vsize=2433280 memory=2243476 CPUtime=400.91 cores=0,2
/proc/849106/stat : 849106 (ipbhs_static_sc) R 849103 849106 843787 0 -1 4194304 485232 0 0 0 38441 1650 0 0 20 0 1 0 164604585 2491678720 560869 134679101440 4194304 16068861 140726189458112 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 26066944 140726189462566 140726189462653 140726189462653 140726189469668 0
/proc/849106/statm: 608320 560869 2943 2900 0 604834 0
Current children cumulated CPU time: 400.91 s
Current children cumulated vsize: 2433280 KiB
Current children cumulated memory: 2243476 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.11 4.12 5/258 849193
/proc/meminfo: memFree=108033488/131524600 swapFree=131071996/131071996
[pid=849106] ppid=849103 vsize=2433280 memory=2243724 CPUtime=460.69 cores=0,2
/proc/849106/stat : 849106 (ipbhs_static_sc) R 849103 849106 843787 0 -1 4194304 485286 0 0 0 44417 1652 0 0 20 0 1 0 164604585 2491678720 560931 134679101440 4194304 16068861 140726189458112 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 26066944 140726189462566 140726189462653 140726189462653 140726189469668 0
/proc/849106/statm: 608320 560931 2943 2900 0 604834 0
################
# More data... #
################
Current children cumulated memory: 3356748 KiB
[startup+2922.3 s]
/proc/loadavg: 2.09 2.21 2.86 3/241 850737
/proc/meminfo: memFree=123763264/131524600 swapFree=131071996/131071996
[pid=849106] ppid=849103 vsize=4145132 memory=3936540 CPUtime=2912.45 cores=0,2
/proc/849106/stat : 849106 (ipbhs_static_sc) R 849103 849106 843787 0 -1 4194304 808439 0 0 0 287506 3739 0 0 20 0 1 0 164604585 4244615168 984135 134679101440 4194304 16068861 140726189458112 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 26066944 140726189462566 140726189462653 140726189462653 140726189469668 0
/proc/849106/statm: 1036283 984135 3263 2900 0 1032797 0
Current children cumulated CPU time: 2912.45 s
Current children cumulated vsize: 4145132 KiB
Current children cumulated memory: 3936540 KiB
[startup+2982.3 s]
/proc/loadavg: 2.15 2.20 2.81 3/241 850747
/proc/meminfo: memFree=123761464/131524600 swapFree=131071996/131071996
[pid=849106] ppid=849103 vsize=4145132 memory=3938276 CPUtime=2972.28 cores=0,2
/proc/849106/stat : 849106 (ipbhs_static_sc) R 849103 849106 843787 0 -1 4194304 809862 0 0 0 293488 3740 0 0 20 0 1 0 164604585 4244615168 984569 134679101440 4194304 16068861 140726189458112 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 26066944 140726189462566 140726189462653 140726189462653 140726189469668 0
/proc/849106/statm: 1036283 984569 3263 2900 0 1032797 0
Current children cumulated CPU time: 2972.28 s
Current children cumulated vsize: 4145132 KiB
Current children cumulated memory: 3938276 KiB
[startup+3042.3 s]
/proc/loadavg: 2.12 2.18 2.77 3/241 850759
/proc/meminfo: memFree=123804476/131524600 swapFree=131071996/131071996
[pid=849106] ppid=849103 vsize=4084424 memory=3886800 CPUtime=3032.09 cores=0,2
/proc/849106/stat : 849106 (ipbhs_static_sc) R 849103 849106 843787 0 -1 4194304 814327 0 0 0 299466 3743 0 0 20 0 1 0 164604585 4182450176 971700 134679101440 4194304 16068861 140726189458112 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 26066944 140726189462566 140726189462653 140726189462653 140726189469668 0
/proc/849106/statm: 1021106 971700 3263 2900 0 1017620 0
Current children cumulated CPU time: 3032.09 s
Current children cumulated vsize: 4084424 KiB
Current children cumulated memory: 3886800 KiB
[startup+3102.3 s]
/proc/loadavg: 2.08 2.16 2.72 3/243 850939
/proc/meminfo: memFree=123802028/131524600 swapFree=131071996/131071996
[pid=849106] ppid=849103 vsize=4084424 memory=3888424 CPUtime=3091.9 cores=0,2
/proc/849106/stat : 849106 (ipbhs_static_sc) R 849103 849106 843787 0 -1 4194304 833571 0 0 0 305443 3747 0 0 20 0 1 0 164604585 4182450176 972106 134679101440 4194304 16068861 140726189458112 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 26066944 140726189462566 140726189462653 140726189462653 140726189469668 0
/proc/849106/statm: 1021106 972106 3263 2900 0 1017620 0
Current children cumulated CPU time: 3091.9 s
Current children cumulated vsize: 4084424 KiB
Current children cumulated memory: 3888424 KiB
[startup+3162.3 s]
/proc/loadavg: 2.13 2.16 2.69 3/243 850949
/proc/meminfo: memFree=123793296/131524600 swapFree=131071996/131071996
[pid=849106] ppid=849103 vsize=4084424 memory=3888512 CPUtime=3151.71 cores=0,2
/proc/849106/stat : 849106 (ipbhs_static_sc) R 849103 849106 843787 0 -1 4194304 834369 0 0 0 311423 3748 0 0 20 0 1 0 164604585 4182450176 972128 134679101440 4194304 16068861 140726189458112 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 26066944 140726189462566 140726189462653 140726189462653 140726189469668 0
/proc/849106/statm: 1021106 972128 3263 2900 0 1017620 0
Current children cumulated CPU time: 3151.71 s
Current children cumulated vsize: 4084424 KiB
Current children cumulated memory: 3888512 KiB
[startup+3222.3 s]
/proc/loadavg: 2.10 2.14 2.65 3/242 850961
/proc/meminfo: memFree=123793300/131524600 swapFree=131071996/131071996
[pid=849106] ppid=849103 vsize=4084424 memory=3888512 CPUtime=3211.52 cores=0,2
/proc/849106/stat : 849106 (ipbhs_static_sc) R 849103 849106 843787 0 -1 4194304 835515 0 0 0 317403 3749 0 0 20 0 1 0 164604585 4182450176 972128 134679101440 4194304 16068861 140726189458112 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 26066944 140726189462566 140726189462653 140726189462653 140726189469668 0
/proc/849106/statm: 1021106 972128 3263 2900 0 1017620 0
Current children cumulated CPU time: 3211.52 s
Current children cumulated vsize: 4084424 KiB
Current children cumulated memory: 3888512 KiB
[startup+3282.3 s]
/proc/loadavg: 2.08 2.13 2.61 3/242 850983
/proc/meminfo: memFree=123791300/131524600 swapFree=131071996/131071996
[pid=849106] ppid=849103 vsize=4084424 memory=3888512 CPUtime=3271.33 cores=0,2
/proc/849106/stat : 849106 (ipbhs_static_sc) R 849103 849106 843787 0 -1 4194304 836313 0 0 0 323383 3750 0 0 20 0 1 0 164604585 4182450176 972128 134679101440 4194304 16068861 140726189458112 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 26066944 140726189462566 140726189462653 140726189462653 140726189469668 0
/proc/849106/statm: 1021106 972128 3263 2900 0 1017620 0
Current children cumulated CPU time: 3271.33 s
Current children cumulated vsize: 4084424 KiB
Current children cumulated memory: 3888512 KiB
[startup+3342.3 s]
/proc/loadavg: 2.15 2.13 2.58 3/242 850994
/proc/meminfo: memFree=123789784/131524600 swapFree=131071996/131071996
[pid=849106] ppid=849103 vsize=4084424 memory=3888552 CPUtime=3331.13 cores=0,2
/proc/849106/stat : 849106 (ipbhs_static_sc) R 849103 849106 843787 0 -1 4194304 837189 0 0 0 329362 3751 0 0 20 0 1 0 164604585 4182450176 972138 134679101440 4194304 16068861 140726189458112 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 26066944 140726189462566 140726189462653 140726189462653 140726189469668 0
/proc/849106/statm: 1021106 972138 3263 2900 0 1017620 0
Current children cumulated CPU time: 3331.13 s
Current children cumulated vsize: 4084424 KiB
Current children cumulated memory: 3888552 KiB
[startup+3402.3 s]
/proc/loadavg: 2.10 2.12 2.54 3/242 851005
/proc/meminfo: memFree=123785396/131524600 swapFree=131071996/131071996
[pid=849106] ppid=849103 vsize=4084424 memory=3890204 CPUtime=3390.95 cores=0,2
/proc/849106/stat : 849106 (ipbhs_static_sc) R 849103 849106 843787 0 -1 4194304 838728 0 0 0 335343 3752 0 0 20 0 1 0 164604585 4182450176 972551 134679101440 4194304 16068861 140726189458112 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 26066944 140726189462566 140726189462653 140726189462653 140726189469668 0
/proc/849106/statm: 1021106 972551 3263 2900 0 1017620 0
Current children cumulated CPU time: 3390.95 s
Current children cumulated vsize: 4084424 KiB
Current children cumulated memory: 3890204 KiB
[startup+3462.3 s]
/proc/loadavg: 2.14 2.13 2.52 3/241 851016
/proc/meminfo: memFree=123784104/131524600 swapFree=131071996/131071996
[pid=849106] ppid=849103 vsize=4084424 memory=3890964 CPUtime=3450.76 cores=0,2
/proc/849106/stat : 849106 (ipbhs_static_sc) R 849103 849106 843787 0 -1 4194304 839773 0 0 0 341323 3753 0 0 20 0 1 0 164604585 4182450176 972741 134679101440 4194304 16068861 140726189458112 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 26066944 140726189462566 140726189462653 140726189462653 140726189469668 0
/proc/849106/statm: 1021106 972741 3263 2900 0 1017620 0
Current children cumulated CPU time: 3450.76 s
Current children cumulated vsize: 4084424 KiB
Current children cumulated memory: 3890964 KiB
[startup+3522.3 s]
/proc/loadavg: 2.05 2.10 2.49 3/240 851026
/proc/meminfo: memFree=123780800/131524600 swapFree=131071996/131071996
[pid=849106] ppid=849103 vsize=4084424 memory=3893856 CPUtime=3510.57 cores=0,2
/proc/849106/stat : 849106 (ipbhs_static_sc) R 849103 849106 843787 0 -1 4194304 840883 0 0 0 347303 3754 0 0 20 0 1 0 164604585 4182450176 973464 134679101440 4194304 16068861 140726189458112 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 26066944 140726189462566 140726189462653 140726189462653 140726189469668 0
/proc/849106/statm: 1021106 973464 3263 2900 0 1017620 0
Current children cumulated CPU time: 3510.57 s
Current children cumulated vsize: 4084424 KiB
Current children cumulated memory: 3893856 KiB
[startup+3582.3 s]
/proc/loadavg: 2.43 2.19 2.49 3/240 851036
/proc/meminfo: memFree=123775208/131524600 swapFree=131071996/131071996
[pid=849106] ppid=849103 vsize=4084424 memory=3899104 CPUtime=3570.37 cores=0,2
/proc/849106/stat : 849106 (ipbhs_static_sc) R 849103 849106 843787 0 -1 4194304 842186 0 0 0 353283 3754 0 0 20 0 1 0 164604585 4182450176 974776 134679101440 4194304 16068861 140726189458112 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 26066944 140726189462566 140726189462653 140726189462653 140726189469668 0
/proc/849106/statm: 1021106 974776 3263 2900 0 1017620 0
Current children cumulated CPU time: 3570.37 s
Current children cumulated vsize: 4084424 KiB
Current children cumulated memory: 3899104 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.1 s]
/proc/loadavg: 2.26 2.17 2.47 3/240 851040
/proc/meminfo: memFree=123773176/131524600 swapFree=131071996/131071996
[pid=849106] ppid=849103 vsize=4084424 memory=3901056 CPUtime=3600.08 cores=0,2
/proc/849106/stat : 849106 (ipbhs_static_sc) R 849103 849106 843787 0 -1 4194304 842892 0 0 0 356254 3754 0 0 20 0 1 0 164604585 4182450176 975264 134679101440 4194304 16068861 140726189458112 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 26066944 140726189462566 140726189462653 140726189462653 140726189469668 0
/proc/849106/statm: 1021106 975264 3263 2900 0 1017620 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 4084424 KiB
Current children cumulated memory: 3901056 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.14 s]
# the end of solver process 849106 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3562.55 s, system=37.585 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3612.1 s]
/proc/loadavg: 2.26 2.17 2.47 3/240 851040
/proc/meminfo: memFree=123773176/131524600 swapFree=131071996/131071996
[pid=849106] ppid=849103 vsize=4084424 memory=3901056 CPUtime=3600.08 cores=0,2
/proc/849106/stat : 849106 (ipbhs_static_sc) R 849103 849106 843787 0 -1 4194304 842892 0 0 0 356254 3754 0 0 20 0 1 0 164604585 4182450176 975264 134679101440 4194304 16068861 140726189458112 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 26066944 140726189462566 140726189462653 140726189462653 140726189469668 0
/proc/849106/statm: 1021106 975264 3263 2900 0 1017620 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 4084424 KiB
Current children cumulated memory: 3901056 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3612.14
CPU time (s): 3600.13
CPU user time (s): 3562.55
CPU system time (s): 37.585
CPU usage (%): 99.6675
Max. virtual memory (cumulated for all children) (KiB): 4162624
Max. memory (cumulated for all children) (KiB): 3959032
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3562.55
system time used= 37.585
maximum resident set size= 3959032
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 842892
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= 49
involuntary context switches= 25414
# summary of solver processes directly reported to runsolver:
# pid: 849106
# total CPU time (s): 3600.13
# total CPU user time (s): 3562.55
# total CPU system time (s): 37.585
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.73366 second user time and 15.52 second system time
The end
Begin job on nodeC023 at 2024-07-16 12:06:49
IDJOB=4432059
IDBENCH=155602
IDSOLVER=3057
FILE ID=nodeC023/4432059-1721124396
RUNJOBID= nodeC023-1721115599-843797
SLURM_JOB_ID= 7505653
Free space on /tmp= 889804 MiB
SOLVER NAME= IPBHS-SCIP 2024-07-09
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat50_4_16_4.opb
COMMAND LINE= ./ipbhs_static_scip BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432059-1721124396/watcher-4432059-1721124396 -o /tmp/evaluation-result-4432059-1721124396/solver-4432059-1721124396 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721115599-843797 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4432059-1721124396.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 7079e2ef0385c9f74a24551721d50a52
RANDOM SEED=1843841503
nodeC023.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 : 3678.236
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.61
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.440
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.48
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 : 3662.423
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.61
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.105
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.48
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.582
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.61
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.467
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.48
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 : 3606.506
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.61
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.875
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.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 110542896 kB
MemAvailable: 112317292 kB
Buffers: 429608 kB
Cached: 2168368 kB
SwapCached: 0 kB
Active: 886588 kB
Inactive: 19438564 kB
Active(anon): 1572 kB
Inactive(anon): 17763316 kB
Active(file): 885016 kB
Inactive(file): 1675248 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 54216 kB
Writeback: 0 kB
AnonPages: 17727168 kB
Mapped: 138540 kB
Shmem: 37720 kB
KReclaimable: 107912 kB
Slab: 215416 kB
SReclaimable: 107912 kB
SUnreclaim: 107504 kB
KernelStack: 4080 kB
PageTables: 44324 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 20081112 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 62208 kB
HardwareCorrupted: 0 kB
AnonHugePages: 8626176 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: 203476 kB
DirectMap2M: 18444288 kB
DirectMap1G: 117440512 kB
Free space on /tmp at the end= 889976 MiB
End job on nodeC023 at 2024-07-16 13:07:01