18.45/18.58 c initialize IPBHS solver
18.45/18.58 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
18.45/18.58 c optimizer = "scip"
18.45/18.58 c pbsolver = "roundingsat"
18.45/18.58 c load symmetries from file ""
18.45/18.58 c set time limit for symmetry computation to 100 seconds.
18.45/18.58 c set interchangeable summation variable limit to 3
18.45/18.58 c set abs symmetric core budget per WCE-iteration to 100
18.45/18.58 c set rel symmetric core budget per WCE-iteration to 0
18.45/18.58 c set lit symmetric core budget per WCE-iteration to 0
18.45/18.58 c set sym generation to 's'
18.45/18.58 c set abstraction set creation to 10 iterations without LB change
18.45/18.58 c set abstraction set inputs to 0
18.45/18.58 c set abstraction set cluster min size to 2
18.45/18.58 c set abstraction set cluster max size to 100000000
18.45/18.58 c set abstraction set cluster activation limit to 2
18.45/18.58 c enable abstraction set require equal cost
18.45/18.58 c set abstraction set assumptions to 0
18.45/18.58 c set abstraction set constraint type to 0
18.45/18.58 c set abstract core extraction strategy to b
18.45/18.58 c set core extraction strategy to 2
18.45/18.58 c set core extraction shuffles 10
18.45/18.58 c set cores per iteration to 5
18.45/18.58 c set optimizer bound usage strategy to 2
18.45/18.58 c set optimizer max non-optimal iterations to 1000
18.45/18.58 c set small core cardinality limit to 2
18.45/18.58 c set max coef in cores to 1000000000
18.45/18.58 c set SIS iterations to 5
18.45/18.58 c set SIS budget abs to 1000
18.45/18.58 c set SIS budget rel to 0.05
18.45/18.58 c limit for coefficient in constraints and objective to 9223372036854775807
18.45/18.58 c will solve HOME/instance-4432076-1721142429.opb
18.45/18.58 c [1.18] solve iteration 1, LB=-100, UB=149684681723
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64059 MiB (47372 MiB free)
memory of node 1: 64510 MiB (57172 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432076-1721142429/watcher-4432076-1721142429 -o /tmp/evaluation-result-4432076-1721142429/solver-4432076-1721142429 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721138506-847892 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4432076-1721142429.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=850069, runsolver pid=850066
Current StackSize limit: 8192 KiB
[startup+0.100079 s]*
/proc/loadavg: 4.12 4.20 4.17 5/241 850070
/proc/meminfo: memFree=107048072/131655788 swapFree=131071996/131071996
[pid=850069] ppid=850066 vsize=35664 memory=11340 CPUtime=0.09 cores=1,3
/proc/850069/stat : 850069 (ipbhs_static_sc) R 850066 850069 847880 0 -1 4194304 2175 0 0 0 9 0 0 0 20 0 1 0 166400082 36519936 2835 134679101440 4194304 16068861 140733708627552 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 30113792 140733708633126 140733708633213 140733708633213 140733708640228 0
/proc/850069/statm: 8916 2835 1023 2900 0 5430 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 35664 KiB
Current children cumulated memory: 11340 KiB
[startup+0.206385 s]*
/proc/loadavg: 4.12 4.20 4.17 5/241 850070
/proc/meminfo: memFree=107041276/131655788 swapFree=131071996/131071996
[pid=850069] ppid=850066 vsize=41824 memory=17084 CPUtime=0.2 cores=1,3
/proc/850069/stat : 850069 (ipbhs_static_sc) R 850066 850069 847880 0 -1 4194304 4113 0 0 0 19 1 0 0 20 0 1 0 166400082 42827776 4271 134679101440 4194304 16068861 140733708627552 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 30113792 140733708633126 140733708633213 140733708633213 140733708640228 0
/proc/850069/statm: 10456 4271 1023 2900 0 6970 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 41824 KiB
Current children cumulated memory: 17084 KiB
[startup+0.306175 s]*
/proc/loadavg: 4.12 4.20 4.17 5/241 850070
/proc/meminfo: memFree=107034044/131655788 swapFree=131071996/131071996
[pid=850069] ppid=850066 vsize=49880 memory=24364 CPUtime=0.3 cores=1,3
/proc/850069/stat : 850069 (ipbhs_static_sc) R 850066 850069 847880 0 -1 4194304 5976 0 0 0 28 2 0 0 20 0 1 0 166400082 51077120 6091 134679101440 4194304 16068861 140733708627552 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 30113792 140733708633126 140733708633213 140733708633213 140733708640228 0
/proc/850069/statm: 12470 6091 1023 2900 0 8984 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 49880 KiB
Current children cumulated memory: 24364 KiB
[startup+0.700305 s]
/proc/loadavg: 4.12 4.20 4.17 5/241 850070
/proc/meminfo: memFree=107022280/131655788 swapFree=131071996/131071996
[pid=850069] ppid=850066 vsize=76540 memory=50056 CPUtime=0.69 cores=1,3
/proc/850069/stat : 850069 (ipbhs_static_sc) R 850066 850069 847880 0 -1 4194304 11865 0 0 0 65 4 0 0 20 0 1 0 166400082 78376960 12514 134679101440 4194304 16068861 140733708627552 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 30113792 140733708633126 140733708633213 140733708633213 140733708640228 0
/proc/850069/statm: 19135 12514 1023 2900 0 15649 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 76540 KiB
Current children cumulated memory: 50056 KiB
[startup+1.50032 s]
/proc/loadavg: 4.12 4.20 4.17 5/241 850070
/proc/meminfo: memFree=106982412/131655788 swapFree=131071996/131071996
[pid=850069] ppid=850066 vsize=191940 memory=134900 CPUtime=1.49 cores=1,3
/proc/850069/stat : 850069 (ipbhs_static_sc) R 850066 850069 847880 0 -1 4194304 25924 0 0 0 141 8 0 0 20 0 1 0 166400082 196546560 33725 134679101440 4194304 16068861 140733708627552 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 30113792 140733708633126 140733708633213 140733708633213 140733708640228 0
/proc/850069/statm: 47985 33725 1023 2900 0 44499 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 191940 KiB
Current children cumulated memory: 134900 KiB
[startup+3.11265 s]
/proc/loadavg: 4.11 4.20 4.17 5/241 850071
/proc/meminfo: memFree=106786116/131655788 swapFree=131071996/131071996
[pid=850069] ppid=850066 vsize=320536 memory=279772 CPUtime=3.09 cores=1,3
/proc/850069/stat : 850069 (ipbhs_static_sc) R 850066 850069 847880 0 -1 4194304 52483 0 0 0 294 15 0 0 20 0 1 0 166400082 328228864 69943 134679101440 4194304 16068861 140733708627552 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 30113792 140733708633126 140733708633213 140733708633213 140733708640228 0
/proc/850069/statm: 80134 69943 1023 2900 0 76648 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 320536 KiB
Current children cumulated memory: 279772 KiB
[startup+6.30029 s]
/proc/loadavg: 4.11 4.20 4.17 5/241 850071
/proc/meminfo: memFree=106388672/131655788 swapFree=131071996/131071996
[pid=850069] ppid=850066 vsize=735688 memory=687724 CPUtime=6.27 cores=1,3
/proc/850069/stat : 850069 (ipbhs_static_sc) R 850066 850069 847880 0 -1 4194304 93607 0 0 0 549 78 0 0 20 0 1 0 166400082 753344512 171931 134679101440 4194304 16068861 140733708627552 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 30113792 140733708633126 140733708633213 140733708633213 140733708640228 0
/proc/850069/statm: 183922 171931 1135 2900 0 180436 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 735688 KiB
Current children cumulated memory: 687724 KiB
[startup+12.7004 s]
/proc/loadavg: 4.09 4.19 4.17 5/241 850072
/proc/meminfo: memFree=103366368/131655788 swapFree=131071996/131071996
[pid=850069] ppid=850066 vsize=3902532 memory=3712308 CPUtime=12.66 cores=1,3
/proc/850069/stat : 850069 (ipbhs_static_sc) R 850066 850069 847880 0 -1 4194304 782154 0 0 0 993 273 0 0 20 0 1 0 166400082 3996192768 928077 134679101440 4194304 16068861 140733708627552 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 30113792 140733708633126 140733708633213 140733708633213 140733708640228 0
/proc/850069/statm: 975633 928077 2639 2900 0 972147 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 3902532 KiB
Current children cumulated memory: 3712308 KiB
[startup+25.5004 s]
/proc/loadavg: 4.08 4.18 4.17 5/241 850074
/proc/meminfo: memFree=102864784/131655788 swapFree=131071996/131071996
[pid=850069] ppid=850066 vsize=4515968 memory=4184000 CPUtime=25.43 cores=1,3
/proc/850069/stat : 850069 (ipbhs_static_sc) R 850066 850069 847880 0 -1 4194304 848193 0 0 0 2256 287 0 0 20 0 1 0 166400082 4624351232 1046000 134679101440 4194304 16068861 140733708627552 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 30113792 140733708633126 140733708633213 140733708633213 140733708640228 0
/proc/850069/statm: 1128992 1046000 2911 2900 0 1125506 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 4515968 KiB
Current children cumulated memory: 4184000 KiB
[startup+51.1125 s]
/proc/loadavg: 4.12 4.18 4.17 5/241 850078
/proc/meminfo: memFree=102823528/131655788 swapFree=131071996/131071996
[pid=850069] ppid=850066 vsize=4545000 memory=4216196 CPUtime=50.97 cores=1,3
/proc/850069/stat : 850069 (ipbhs_static_sc) R 850066 850069 847880 0 -1 4194304 855276 0 0 0 4809 288 0 0 20 0 1 0 166400082 4654080000 1054049 134679101440 4194304 16068861 140733708627552 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 30113792 140733708633126 140733708633213 140733708633213 140733708640228 0
/proc/850069/statm: 1136250 1054049 2911 2900 0 1132764 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 4545000 KiB
Current children cumulated memory: 4216196 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.17 4.17 5/241 850087
/proc/meminfo: memFree=102626256/131655788 swapFree=131071996/131071996
[pid=850069] ppid=850066 vsize=4727264 memory=4401804 CPUtime=102.03 cores=1,3
/proc/850069/stat : 850069 (ipbhs_static_sc) R 850066 850069 847880 0 -1 4194304 867547 0 0 0 9882 321 0 0 20 0 1 0 166400082 4840718336 1100451 134679101440 4194304 16068861 140733708627552 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 30113792 140733708633126 140733708633213 140733708633213 140733708640228 0
/proc/850069/statm: 1181816 1100451 2911 2900 0 1178330 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 4727264 KiB
Current children cumulated memory: 4401804 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.16 4.17 5/241 850097
/proc/meminfo: memFree=98933228/131655788 swapFree=131071996/131071996
[pid=850069] ppid=850066 vsize=4727264 memory=4408260 CPUtime=161.9 cores=1,3
/proc/850069/stat : 850069 (ipbhs_static_sc) R 850066 850069 847880 0 -1 4194304 867677 0 0 0 15760 430 0 0 20 0 1 0 166400082 4840718336 1102065 134679101440 4194304 16068861 140733708627552 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 30113792 140733708633126 140733708633213 140733708633213 140733708640228 0
/proc/850069/statm: 1181816 1102065 2943 2900 0 1178330 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 4727264 KiB
Current children cumulated memory: 4408260 KiB
[startup+222.3 s]
/proc/loadavg: 4.52 4.27 4.20 5/243 850112
/proc/meminfo: memFree=98879388/131655788 swapFree=131071996/131071996
[pid=850069] ppid=850066 vsize=4727264 memory=4416452 CPUtime=221.74 cores=1,3
/proc/850069/stat : 850069 (ipbhs_static_sc) R 850066 850069 847880 0 -1 4194304 867842 0 0 0 21640 534 0 0 20 0 1 0 166400082 4840718336 1104113 134679101440 4194304 16068861 140733708627552 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 30113792 140733708633126 140733708633213 140733708633213 140733708640228 0
/proc/850069/statm: 1181816 1104113 2943 2900 0 1178330 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 4727264 KiB
Current children cumulated memory: 4416452 KiB
[startup+282.3 s]
/proc/loadavg: 4.88 4.41 4.25 5/243 850168
/proc/meminfo: memFree=97991676/131655788 swapFree=131071996/131071996
[pid=850069] ppid=850066 vsize=4727264 memory=4425016 CPUtime=281.58 cores=1,3
/proc/850069/stat : 850069 (ipbhs_static_sc) R 850066 850069 847880 0 -1 4194304 868140 0 0 0 27510 648 0 0 20 0 1 0 166400082 4840718336 1106254 134679101440 4194304 16068861 140733708627552 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 30113792 140733708633126 140733708633213 140733708633213 140733708640228 0
/proc/850069/statm: 1181816 1106254 2943 2900 0 1178330 0
Current children cumulated CPU time: 281.58 s
Current children cumulated vsize: 4727264 KiB
Current children cumulated memory: 4425016 KiB
[startup+342.3 s]
/proc/loadavg: 4.92 4.53 4.31 5/243 850178
/proc/meminfo: memFree=97897944/131655788 swapFree=131071996/131071996
[pid=850069] ppid=850066 vsize=4727264 memory=4431384 CPUtime=341.41 cores=1,3
/proc/850069/stat : 850069 (ipbhs_static_sc) R 850066 850069 847880 0 -1 4194304 868337 0 0 0 33389 752 0 0 20 0 1 0 166400082 4840718336 1107846 134679101440 4194304 16068861 140733708627552 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 30113792 140733708633126 140733708633213 140733708633213 140733708640228 0
/proc/850069/statm: 1181816 1107846 2943 2900 0 1178330 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 4727264 KiB
Current children cumulated memory: 4431384 KiB
[startup+402.3 s]
/proc/loadavg: 4.40 4.44 4.29 5/243 850189
/proc/meminfo: memFree=97681808/131655788 swapFree=131071996/131071996
[pid=850069] ppid=850066 vsize=4727264 memory=4439576 CPUtime=401.24 cores=1,3
/proc/850069/stat : 850069 (ipbhs_static_sc) R 850066 850069 847880 0 -1 4194304 868563 0 0 0 39269 855 0 0 20 0 1 0 166400082 4840718336 1109894 134679101440 4194304 16068861 140733708627552 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 30113792 140733708633126 140733708633213 140733708633213 140733708640228 0
/proc/850069/statm: 1181816 1109894 2943 2900 0 1178330 0
Current children cumulated CPU time: 401.24 s
Current children cumulated vsize: 4727264 KiB
Current children cumulated memory: 4439576 KiB
[startup+462.3 s]
/proc/loadavg: 4.20 4.38 4.27 5/243 850200
/proc/meminfo: memFree=97667748/131655788 swapFree=131071996/131071996
[pid=850069] ppid=850066 vsize=4727264 memory=4445720 CPUtime=461.08 cores=1,3
/proc/850069/stat : 850069 (ipbhs_static_sc) R 850066 850069 847880 0 -1 4194304 868732 0 0 0 45144 964 0 0 20 0 1 0 166400082 4840718336 1111430 134679101440 4194304 16068861 140733708627552 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 30113792 140733708633126 140733708633213 140733708633213 140733708640228 0
/proc/850069/statm: 1181816 1111430 2943 2900 0 1178330 0
################
# More data... #
################
Current children cumulated memory: 4705728 KiB
[startup+2862.3 s]
/proc/loadavg: 4.17 4.13 4.12 5/244 851251
/proc/meminfo: memFree=96869572/131655788 swapFree=131071996/131071996
[pid=850069] ppid=850066 vsize=5074448 memory=4707776 CPUtime=2854.42 cores=1,3
/proc/850069/stat : 850069 (ipbhs_static_sc) R 850066 850069 847880 0 -1 4194304 881854 0 0 0 280222 5220 0 0 20 0 1 0 166400082 5196234752 1176944 134679101440 4194304 16068861 140733708627552 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 30113792 140733708633126 140733708633213 140733708633213 140733708640228 0
/proc/850069/statm: 1268612 1176944 2943 2900 0 1265126 0
Current children cumulated CPU time: 2854.42 s
Current children cumulated vsize: 5074448 KiB
Current children cumulated memory: 4707776 KiB
[startup+2922.3 s]
/proc/loadavg: 4.10 4.12 4.11 5/241 851643
/proc/meminfo: memFree=96862860/131655788 swapFree=131071996/131071996
[pid=850069] ppid=850066 vsize=5074448 memory=4707776 CPUtime=2914.25 cores=1,3
/proc/850069/stat : 850069 (ipbhs_static_sc) R 850066 850069 847880 0 -1 4194304 882067 0 0 0 286092 5333 0 0 20 0 1 0 166400082 5196234752 1176944 134679101440 4194304 16068861 140733708627552 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 30113792 140733708633126 140733708633213 140733708633213 140733708640228 0
/proc/850069/statm: 1268612 1176944 2943 2900 0 1265126 0
Current children cumulated CPU time: 2914.25 s
Current children cumulated vsize: 5074448 KiB
Current children cumulated memory: 4707776 KiB
[startup+2982.3 s]
/proc/loadavg: 4.14 4.13 4.11 5/241 851653
/proc/meminfo: memFree=96854124/131655788 swapFree=131071996/131071996
[pid=850069] ppid=850066 vsize=5074448 memory=4707776 CPUtime=2974.08 cores=1,3
/proc/850069/stat : 850069 (ipbhs_static_sc) R 850066 850069 847880 0 -1 4194304 882307 0 0 0 291969 5439 0 0 20 0 1 0 166400082 5196234752 1176944 134679101440 4194304 16068861 140733708627552 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 30113792 140733708633126 140733708633213 140733708633213 140733708640228 0
/proc/850069/statm: 1268612 1176944 2943 2900 0 1265126 0
Current children cumulated CPU time: 2974.08 s
Current children cumulated vsize: 5074448 KiB
Current children cumulated memory: 4707776 KiB
[startup+3042.3 s]
/proc/loadavg: 4.08 4.12 4.11 5/241 851665
/proc/meminfo: memFree=96844936/131655788 swapFree=131071996/131071996
[pid=850069] ppid=850066 vsize=5074448 memory=4707776 CPUtime=3033.91 cores=1,3
/proc/850069/stat : 850069 (ipbhs_static_sc) R 850066 850069 847880 0 -1 4194304 883044 0 0 0 297845 5546 0 0 20 0 1 0 166400082 5196234752 1176944 134679101440 4194304 16068861 140733708627552 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 30113792 140733708633126 140733708633213 140733708633213 140733708640228 0
/proc/850069/statm: 1268612 1176944 2943 2900 0 1265126 0
Current children cumulated CPU time: 3033.91 s
Current children cumulated vsize: 5074448 KiB
Current children cumulated memory: 4707776 KiB
[startup+3102.3 s]
/proc/loadavg: 4.14 4.12 4.11 5/243 851845
/proc/meminfo: memFree=96838108/131655788 swapFree=131071996/131071996
[pid=850069] ppid=850066 vsize=5074448 memory=4707776 CPUtime=3093.75 cores=1,3
/proc/850069/stat : 850069 (ipbhs_static_sc) R 850066 850069 847880 0 -1 4194304 883286 0 0 0 303718 5657 0 0 20 0 1 0 166400082 5196234752 1176944 134679101440 4194304 16068861 140733708627552 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 30113792 140733708633126 140733708633213 140733708633213 140733708640228 0
/proc/850069/statm: 1268612 1176944 2943 2900 0 1265126 0
Current children cumulated CPU time: 3093.75 s
Current children cumulated vsize: 5074448 KiB
Current children cumulated memory: 4707776 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.11 4.10 5/243 851855
/proc/meminfo: memFree=96829108/131655788 swapFree=131071996/131071996
[pid=850069] ppid=850066 vsize=5074448 memory=4707776 CPUtime=3153.58 cores=1,3
/proc/850069/stat : 850069 (ipbhs_static_sc) R 850066 850069 847880 0 -1 4194304 883589 0 0 0 309591 5767 0 0 20 0 1 0 166400082 5196234752 1176944 134679101440 4194304 16068861 140733708627552 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 30113792 140733708633126 140733708633213 140733708633213 140733708640228 0
/proc/850069/statm: 1268612 1176944 2943 2900 0 1265126 0
Current children cumulated CPU time: 3153.58 s
Current children cumulated vsize: 5074448 KiB
Current children cumulated memory: 4707776 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.11 4.10 5/244 851880
/proc/meminfo: memFree=96826236/131655788 swapFree=131071996/131071996
[pid=850069] ppid=850066 vsize=5074448 memory=4707776 CPUtime=3213.41 cores=1,3
/proc/850069/stat : 850069 (ipbhs_static_sc) R 850066 850069 847880 0 -1 4194304 883877 0 0 0 315465 5876 0 0 20 0 1 0 166400082 5196234752 1176944 134679101440 4194304 16068861 140733708627552 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 30113792 140733708633126 140733708633213 140733708633213 140733708640228 0
/proc/850069/statm: 1268612 1176944 2943 2900 0 1265126 0
Current children cumulated CPU time: 3213.41 s
Current children cumulated vsize: 5074448 KiB
Current children cumulated memory: 4707776 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/240 851925
/proc/meminfo: memFree=97919240/131655788 swapFree=131071996/131071996
[pid=850069] ppid=850066 vsize=5074448 memory=4707776 CPUtime=3273.24 cores=1,3
/proc/850069/stat : 850069 (ipbhs_static_sc) R 850066 850069 847880 0 -1 4194304 884146 0 0 0 321342 5982 0 0 20 0 1 0 166400082 5196234752 1176944 134679101440 4194304 16068861 140733708627552 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 30113792 140733708633126 140733708633213 140733708633213 140733708640228 0
/proc/850069/statm: 1268612 1176944 2943 2900 0 1265126 0
Current children cumulated CPU time: 3273.24 s
Current children cumulated vsize: 5074448 KiB
Current children cumulated memory: 4707776 KiB
[startup+3342.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/245 851992
/proc/meminfo: memFree=107697776/131655788 swapFree=131071996/131071996
[pid=850069] ppid=850066 vsize=5074448 memory=4707912 CPUtime=3333.08 cores=1,3
/proc/850069/stat : 850069 (ipbhs_static_sc) R 850066 850069 847880 0 -1 4194304 884418 0 0 0 327219 6089 0 0 20 0 1 0 166400082 5196234752 1176978 134679101440 4194304 16068861 140733708627552 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 30113792 140733708633126 140733708633213 140733708633213 140733708640228 0
/proc/850069/statm: 1268612 1176978 2943 2900 0 1265126 0
Current children cumulated CPU time: 3333.08 s
Current children cumulated vsize: 5074448 KiB
Current children cumulated memory: 4707912 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/245 852003
/proc/meminfo: memFree=107649008/131655788 swapFree=131071996/131071996
[pid=850069] ppid=850066 vsize=5074448 memory=4707912 CPUtime=3392.89 cores=1,3
/proc/850069/stat : 850069 (ipbhs_static_sc) R 850066 850069 847880 0 -1 4194304 885211 0 0 0 333090 6199 0 0 20 0 1 0 166400082 5196234752 1176978 134679101440 4194304 16068861 140733708627552 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 30113792 140733708633126 140733708633213 140733708633213 140733708640228 0
/proc/850069/statm: 1268612 1176978 2943 2900 0 1265126 0
Current children cumulated CPU time: 3392.89 s
Current children cumulated vsize: 5074448 KiB
Current children cumulated memory: 4707912 KiB
[startup+3462.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/243 852014
/proc/meminfo: memFree=107461904/131655788 swapFree=131071996/131071996
[pid=850069] ppid=850066 vsize=5074448 memory=4707912 CPUtime=3452.72 cores=1,3
/proc/850069/stat : 850069 (ipbhs_static_sc) R 850066 850069 847880 0 -1 4194304 885837 0 0 0 338963 6309 0 0 20 0 1 0 166400082 5196234752 1176978 134679101440 4194304 16068861 140733708627552 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 30113792 140733708633126 140733708633213 140733708633213 140733708640228 0
/proc/850069/statm: 1268612 1176978 2943 2900 0 1265126 0
Current children cumulated CPU time: 3452.72 s
Current children cumulated vsize: 5074448 KiB
Current children cumulated memory: 4707912 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/243 852024
/proc/meminfo: memFree=107287740/131655788 swapFree=131071996/131071996
[pid=850069] ppid=850066 vsize=5074448 memory=4707912 CPUtime=3512.56 cores=1,3
/proc/850069/stat : 850069 (ipbhs_static_sc) R 850066 850069 847880 0 -1 4194304 886284 0 0 0 344842 6414 0 0 20 0 1 0 166400082 5196234752 1176978 134679101440 4194304 16068861 140733708627552 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 30113792 140733708633126 140733708633213 140733708633213 140733708640228 0
/proc/850069/statm: 1268612 1176978 2943 2900 0 1265126 0
Current children cumulated CPU time: 3512.56 s
Current children cumulated vsize: 5074448 KiB
Current children cumulated memory: 4707912 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/242 852035
/proc/meminfo: memFree=107270464/131655788 swapFree=131071996/131071996
[pid=850069] ppid=850066 vsize=5074448 memory=4710052 CPUtime=3572.42 cores=1,3
/proc/850069/stat : 850069 (ipbhs_static_sc) R 850066 850069 847880 0 -1 4194304 886795 0 0 0 350713 6529 0 0 20 0 1 0 166400082 5196234752 1177513 134679101440 4194304 16068861 140733708627552 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 30113792 140733708633126 140733708633213 140733708633213 140733708640228 0
/proc/850069/statm: 1268612 1177513 2943 2900 0 1265126 0
Current children cumulated CPU time: 3572.42 s
Current children cumulated vsize: 5074448 KiB
Current children cumulated memory: 4710052 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610 s]*
/proc/loadavg: 4.09 4.10 4.09 5/241 852041
/proc/meminfo: memFree=107264200/131655788 swapFree=131071996/131071996
[pid=850069] ppid=850066 vsize=5074448 memory=4710052 CPUtime=3600.07 cores=1,3
/proc/850069/stat : 850069 (ipbhs_static_sc) R 850066 850069 847880 0 -1 4194304 887006 0 0 0 353427 6580 0 0 20 0 1 0 166400082 5196234752 1177513 134679101440 4194304 16068861 140733708627552 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 30113792 140733708633126 140733708633213 140733708633213 140733708640228 0
/proc/850069/statm: 1268612 1177513 2943 2900 0 1265126 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 5074448 KiB
Current children cumulated memory: 4710052 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.11 s]
# the end of solver process 850069 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3534.27 s, system=65.9003 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3610.11
CPU time (s): 3600.17
CPU user time (s): 3534.27
CPU system time (s): 65.9003
CPU usage (%): 99.7248
Max. virtual memory (cumulated for all children) (KiB): 5074448
Max. memory (cumulated for all children) (KiB): 4710052
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3534.27
system time used= 65.9003
maximum resident set size= 4710052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 887006
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= 15
involuntary context switches= 1617
# summary of solver processes directly reported to runsolver:
# pid: 850069
# total CPU time (s): 3600.17
# total CPU user time (s): 3534.27
# total CPU system time (s): 65.9003
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.9601 second user time and 31.7644 second system time
The end
Begin job on nodeC012 at 2024-07-16 17:07:24
IDJOB=4432076
IDBENCH=155746
IDSOLVER=3057
FILE ID=nodeC012/4432076-1721142429
RUNJOBID= nodeC012-1721138506-847892
SLURM_JOB_ID= 7505715
Free space on /tmp= 723268 MiB
SOLVER NAME= IPBHS-SCIP 2024-07-09
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Large/normalized-minisat100_16_6_0_ic.opb
COMMAND LINE= ./ipbhs_static_scip BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432076-1721142429/watcher-4432076-1721142429 -o /tmp/evaluation-result-4432076-1721142429/solver-4432076-1721142429 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721138506-847892 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4432076-1721142429.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c6b8715c3f6301baee7dd7835457fcc6
RANDOM SEED=953934319
nodeC012.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3492.188
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.382
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.340
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 2694.113
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3639.097
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3680.688
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.754
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.521
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 107055348 kB
MemAvailable: 111265908 kB
Buffers: 413088 kB
Cached: 4589496 kB
SwapCached: 0 kB
Active: 1060220 kB
Inactive: 22867816 kB
Active(anon): 1440 kB
Inactive(anon): 18961712 kB
Active(file): 1058780 kB
Inactive(file): 3906104 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 153520 kB
Writeback: 0 kB
AnonPages: 18925452 kB
Mapped: 139244 kB
Shmem: 37704 kB
KReclaimable: 171412 kB
Slab: 276860 kB
SReclaimable: 171412 kB
SUnreclaim: 105448 kB
KernelStack: 3872 kB
PageTables: 46664 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 20877356 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 53312 kB
HardwareCorrupted: 0 kB
AnonHugePages: 6381568 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: 303944 kB
DirectMap2M: 33155072 kB
DirectMap1G: 102760448 kB
Free space on /tmp at the end= 723176 MiB
End job on nodeC012 at 2024-07-16 18:07:34