17.48/17.60 c initialize IPBHS solver
17.48/17.60 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
17.48/17.60 c optimizer = "scip"
17.48/17.60 c pbsolver = "roundingsat"
17.48/17.60 c load symmetries from file ""
17.48/17.60 c set time limit for symmetry computation to 100 seconds.
17.48/17.60 c set interchangeable summation variable limit to 3
17.48/17.60 c set abs symmetric core budget per WCE-iteration to 100
17.48/17.60 c set rel symmetric core budget per WCE-iteration to 0
17.48/17.60 c set lit symmetric core budget per WCE-iteration to 0
17.48/17.60 c set sym generation to 's'
17.48/17.60 c set abstraction set creation to 10 iterations without LB change
17.48/17.60 c set abstraction set inputs to 0
17.48/17.60 c set abstraction set cluster min size to 2
17.48/17.60 c set abstraction set cluster max size to 100000000
17.48/17.60 c set abstraction set cluster activation limit to 2
17.48/17.60 c enable abstraction set require equal cost
17.48/17.60 c set abstraction set assumptions to 0
17.48/17.60 c set abstraction set constraint type to 0
17.48/17.60 c set abstract core extraction strategy to b
17.48/17.60 c set core extraction strategy to 2
17.48/17.60 c set core extraction shuffles 10
17.48/17.60 c set cores per iteration to 5
17.48/17.60 c set optimizer bound usage strategy to 2
17.48/17.60 c set optimizer max non-optimal iterations to 1000
17.48/17.60 c set small core cardinality limit to 2
17.48/17.60 c set max coef in cores to 1000000000
17.48/17.60 c set SIS iterations to 5
17.48/17.60 c set SIS budget abs to 1000
17.48/17.60 c set SIS budget rel to 0.05
17.48/17.60 c limit for coefficient in constraints and objective to 9223372036854775807
17.48/17.60 c will solve HOME/instance-4432083-1721142806.opb
17.48/17.60 c [1.2] solve iteration 1, LB=-100, UB=182044199767
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: 63931 MiB (57372 MiB free)
memory of node 1: 64510 MiB (62997 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432083-1721142806/watcher-4432083-1721142806 -o /tmp/evaluation-result-4432083-1721142806/solver-4432083-1721142806 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721135601-861477 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4432083-1721142806.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=865575, runsolver pid=865572
[startup+0.100671 s]*
/proc/loadavg: 4.16 4.12 4.09 5/250 865576
/proc/meminfo: memFree=123192756/131524600 swapFree=131071996/131071996
[pid=865575] ppid=865572 vsize=50876 memory=22816 CPUtime=0.09 cores=4,6
/proc/865575/stat : 865575 (ipbhs_static_sc) R 865572 865575 861466 0 -1 4194304 5536 0 0 0 8 1 0 0 20 0 1 0 166448979 52097024 5704 134679101440 4194304 16068861 140726608679920 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 18370176 18462544 37519360 140726608688166 140726608688253 140726608688253 140726608695268 0
/proc/865575/statm: 12719 5704 1023 2900 0 9233 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 50876 KiB
Current children cumulated memory: 22816 KiB
[startup+0.206686 s]*
/proc/loadavg: 4.16 4.12 4.09 5/248 865576
/proc/meminfo: memFree=123163684/131524600 swapFree=131071996/131071996
[pid=865575] ppid=865572 vsize=67940 memory=39604 CPUtime=0.19 cores=4,6
/proc/865575/stat : 865575 (ipbhs_static_sc) R 865572 865575 861466 0 -1 4194304 9785 0 0 0 18 1 0 0 20 0 1 0 166448979 69570560 9901 134679101440 4194304 16068861 140726608679920 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 18370176 18462544 37519360 140726608688166 140726608688253 140726608688253 140726608695268 0
/proc/865575/statm: 16985 9901 1023 2900 0 13499 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 67940 KiB
Current children cumulated memory: 39604 KiB
[startup+0.305667 s]*
/proc/loadavg: 4.16 4.12 4.09 5/248 865576
/proc/meminfo: memFree=123125012/131524600 swapFree=131071996/131071996
[pid=865575] ppid=865572 vsize=77728 memory=53656 CPUtime=0.28 cores=4,6
/proc/865575/stat : 865575 (ipbhs_static_sc) R 865572 865575 861466 0 -1 4194304 11744 0 0 0 27 1 0 0 20 0 1 0 166448979 79593472 13414 134679101440 4194304 16068861 140726608679920 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 18370176 18462544 37519360 140726608688166 140726608688253 140726608688253 140726608695268 0
/proc/865575/statm: 19432 13414 1023 2900 0 15946 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 77728 KiB
Current children cumulated memory: 53656 KiB
[startup+0.700669 s]
/proc/loadavg: 4.16 4.12 4.09 5/248 865576
/proc/meminfo: memFree=123047332/131524600 swapFree=131071996/131071996
[pid=865575] ppid=865572 vsize=131036 memory=106016 CPUtime=0.67 cores=4,6
/proc/865575/stat : 865575 (ipbhs_static_sc) R 865572 865575 861466 0 -1 4194304 20751 0 0 0 63 4 0 0 20 0 1 0 166448979 134180864 26504 134679101440 4194304 16068861 140726608679920 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 18370176 18462544 37519360 140726608688166 140726608688253 140726608688253 140726608695268 0
/proc/865575/statm: 32759 26504 1023 2900 0 29273 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 131036 KiB
Current children cumulated memory: 106016 KiB
[startup+1.50067 s]
/proc/loadavg: 4.16 4.12 4.09 6/252 865587
/proc/meminfo: memFree=122757252/131524600 swapFree=131071996/131071996
[pid=865575] ppid=865572 vsize=239324 memory=211264 CPUtime=1.45 cores=4,6
/proc/865575/stat : 865575 (ipbhs_static_sc) R 865572 865575 861466 0 -1 4194304 38377 0 0 0 137 8 0 0 20 0 1 0 166448979 245067776 52816 134679101440 4194304 16068861 140726608679920 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 18370176 18462544 37519360 140726608688166 140726608688253 140726608688253 140726608695268 0
/proc/865575/statm: 59831 52816 1023 2900 0 56345 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 239324 KiB
Current children cumulated memory: 211264 KiB
[startup+3.10568 s]
/proc/loadavg: 4.16 4.12 4.09 5/258 865598
/proc/meminfo: memFree=122070188/131524600 swapFree=131071996/131071996
[pid=865575] ppid=865572 vsize=364492 memory=338172 CPUtime=3.04 cores=4,6
/proc/865575/stat : 865575 (ipbhs_static_sc) R 865572 865575 861466 0 -1 4194304 62010 0 0 0 289 15 0 0 20 0 1 0 166448979 373239808 84543 134679101440 4194304 16068861 140726608679920 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 18370176 18462544 37519360 140726608688166 140726608688253 140726608688253 140726608695268 0
/proc/865575/statm: 91123 84543 1023 2900 0 87637 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 364492 KiB
Current children cumulated memory: 338172 KiB
[startup+6.30067 s]
/proc/loadavg: 4.15 4.12 4.09 5/252 865633
/proc/meminfo: memFree=125337632/131524600 swapFree=131071996/131071996
[pid=865575] ppid=865572 vsize=800432 memory=726188 CPUtime=6.21 cores=4,6
/proc/865575/stat : 865575 (ipbhs_static_sc) R 865572 865575 861466 0 -1 4194304 95597 0 0 0 519 102 0 0 20 0 1 0 166448979 819642368 181547 134679101440 4194304 16068861 140726608679920 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 18370176 18462544 37519360 140726608688166 140726608688253 140726608688253 140726608695268 0
/proc/865575/statm: 200108 181547 1135 2900 0 196622 0
Current children cumulated CPU time: 6.21 s
Current children cumulated vsize: 800432 KiB
Current children cumulated memory: 726188 KiB
[startup+12.7002 s]
/proc/loadavg: 4.22 4.14 4.10 5/258 865646
/proc/meminfo: memFree=120260740/131524600 swapFree=131071996/131071996
[pid=865575] ppid=865572 vsize=3982440 memory=3750392 CPUtime=12.59 cores=4,6
/proc/865575/stat : 865575 (ipbhs_static_sc) R 865572 865575 861466 0 -1 4194304 786029 0 0 0 991 268 0 0 20 0 1 0 166448979 4078018560 937598 134679101440 4194304 16068861 140726608679920 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 37519360 140726608688166 140726608688253 140726608688253 140726608695268 0
/proc/865575/statm: 995610 937598 2879 2900 0 992124 0
Current children cumulated CPU time: 12.59 s
Current children cumulated vsize: 3982440 KiB
Current children cumulated memory: 3750392 KiB
[startup+25.5002 s]
/proc/loadavg: 4.17 4.13 4.10 5/258 865648
/proc/meminfo: memFree=111926132/131524600 swapFree=131071996/131071996
[pid=865575] ppid=865572 vsize=4514920 memory=4180852 CPUtime=25.36 cores=4,6
/proc/865575/stat : 865575 (ipbhs_static_sc) R 865572 865575 861466 0 -1 4194304 848304 0 0 0 2256 280 0 0 20 0 1 0 166448979 4623278080 1045213 134679101440 4194304 16068861 140726608679920 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 37519360 140726608688166 140726608688253 140726608688253 140726608695268 0
/proc/865575/statm: 1128730 1045213 2911 2900 0 1125244 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 4514920 KiB
Current children cumulated memory: 4180852 KiB
[startup+51.1058 s]
/proc/loadavg: 4.24 4.15 4.10 5/259 865654
/proc/meminfo: memFree=99115588/131524600 swapFree=131071996/131071996
[pid=865575] ppid=865572 vsize=4558232 memory=4225816 CPUtime=50.9 cores=4,6
/proc/865575/stat : 865575 (ipbhs_static_sc) R 865572 865575 861466 0 -1 4194304 856455 0 0 0 4808 282 0 0 20 0 1 0 166448979 4667629568 1056454 134679101440 4194304 16068861 140726608679920 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 37519360 140726608688166 140726608688253 140726608688253 140726608695268 0
/proc/865575/statm: 1139558 1056454 2911 2900 0 1136072 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 4558232 KiB
Current children cumulated memory: 4225816 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/256 865662
/proc/meminfo: memFree=87880140/131524600 swapFree=131071996/131071996
[pid=865575] ppid=865572 vsize=4576516 memory=4244156 CPUtime=101.94 cores=4,6
/proc/865575/stat : 865575 (ipbhs_static_sc) R 865572 865575 861466 0 -1 4194304 861156 0 0 0 9910 284 0 0 20 0 1 0 166448979 4686352384 1061039 134679101440 4194304 16068861 140726608679920 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 37519360 140726608688166 140726608688253 140726608688253 140726608695268 0
/proc/865575/statm: 1144129 1061039 2911 2900 0 1140643 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 4576516 KiB
Current children cumulated memory: 4244156 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.13 4.09 5/256 865674
/proc/meminfo: memFree=81044152/131524600 swapFree=131071996/131071996
[pid=865575] ppid=865572 vsize=4773636 memory=4442340 CPUtime=161.76 cores=4,6
/proc/865575/stat : 865575 (ipbhs_static_sc) R 865572 865575 861466 0 -1 4194304 873717 0 0 0 15887 289 0 0 20 0 1 0 166448979 4888203264 1110585 134679101440 4194304 16068861 140726608679920 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 37519360 140726608688166 140726608688253 140726608688253 140726608695268 0
/proc/865575/statm: 1193409 1110585 3231 2900 0 1189923 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 4773636 KiB
Current children cumulated memory: 4442340 KiB
[startup+222.3 s]
/proc/loadavg: 4.18 4.15 4.10 5/256 865685
/proc/meminfo: memFree=79201380/131524600 swapFree=131071996/131071996
[pid=865575] ppid=865572 vsize=4778496 memory=4452596 CPUtime=221.59 cores=4,6
/proc/865575/stat : 865575 (ipbhs_static_sc) R 865572 865575 861466 0 -1 4194304 875432 0 0 0 21810 349 0 0 20 0 1 0 166448979 4893179904 1113149 134679101440 4194304 16068861 140726608679920 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 37519360 140726608688166 140726608688253 140726608688253 140726608695268 0
/proc/865575/statm: 1194624 1113149 3263 2900 0 1191138 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 4778496 KiB
Current children cumulated memory: 4452596 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/256 865697
/proc/meminfo: memFree=79190432/131524600 swapFree=131071996/131071996
[pid=865575] ppid=865572 vsize=4778496 memory=4461416 CPUtime=281.41 cores=4,6
/proc/865575/stat : 865575 (ipbhs_static_sc) R 865572 865575 861466 0 -1 4194304 875653 0 0 0 27695 446 0 0 20 0 1 0 166448979 4893179904 1115354 134679101440 4194304 16068861 140726608679920 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 37519360 140726608688166 140726608688253 140726608688253 140726608695268 0
/proc/865575/statm: 1194624 1115354 3263 2900 0 1191138 0
Current children cumulated CPU time: 281.41 s
Current children cumulated vsize: 4778496 KiB
Current children cumulated memory: 4461416 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 4.14 4.09 5/256 865707
/proc/meminfo: memFree=79130332/131524600 swapFree=131071996/131071996
[pid=865575] ppid=865572 vsize=4778496 memory=4467988 CPUtime=341.23 cores=4,6
/proc/865575/stat : 865575 (ipbhs_static_sc) R 865572 865575 861466 0 -1 4194304 875988 0 0 0 33579 544 0 0 20 0 1 0 166448979 4893179904 1116997 134679101440 4194304 16068861 140726608679920 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 37519360 140726608688166 140726608688253 140726608688253 140726608695268 0
/proc/865575/statm: 1194624 1116997 3263 2900 0 1191138 0
Current children cumulated CPU time: 341.23 s
Current children cumulated vsize: 4778496 KiB
Current children cumulated memory: 4467988 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/258 865723
/proc/meminfo: memFree=79123212/131524600 swapFree=131071996/131071996
[pid=865575] ppid=865572 vsize=4778496 memory=4474132 CPUtime=401.06 cores=4,6
/proc/865575/stat : 865575 (ipbhs_static_sc) R 865572 865575 861466 0 -1 4194304 876262 0 0 0 39465 641 0 0 20 0 1 0 166448979 4893179904 1118533 134679101440 4194304 16068861 140726608679920 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 37519360 140726608688166 140726608688253 140726608688253 140726608695268 0
/proc/865575/statm: 1194624 1118533 3263 2900 0 1191138 0
Current children cumulated CPU time: 401.06 s
Current children cumulated vsize: 4778496 KiB
Current children cumulated memory: 4474132 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/258 865735
/proc/meminfo: memFree=79112044/131524600 swapFree=131071996/131071996
[pid=865575] ppid=865572 vsize=4778496 memory=4480400 CPUtime=460.89 cores=4,6
/proc/865575/stat : 865575 (ipbhs_static_sc) R 865572 865575 861466 0 -1 4194304 876569 0 0 0 45351 738 0 0 20 0 1 0 166448979 4893179904 1120100 134679101440 4194304 16068861 140726608679920 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 37519360 140726608688166 140726608688253 140726608688253 140726608695268 0
/proc/865575/statm: 1194624 1120100 3263 2900 0 1191138 0
################
# More data... #
################
Current children cumulated memory: 4737696 KiB
[startup+2922.3 s]
/proc/loadavg: 4.11 4.13 4.10 5/258 867379
/proc/meminfo: memFree=67671696/131524600 swapFree=131071996/131071996
[pid=865575] ppid=865572 vsize=5125680 memory=4747936 CPUtime=2913.12 cores=4,6
/proc/865575/stat : 865575 (ipbhs_static_sc) R 865572 865575 861466 0 -1 4194304 890637 0 0 0 286529 4783 0 0 20 0 1 0 166448979 5248696320 1186984 134679101440 4194304 16068861 140726608679920 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 37519360 140726608688166 140726608688253 140726608688253 140726608695268 0
/proc/865575/statm: 1281420 1186984 3263 2900 0 1277934 0
Current children cumulated CPU time: 2913.12 s
Current children cumulated vsize: 5125680 KiB
Current children cumulated memory: 4747936 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.12 4.10 5/256 867390
/proc/meminfo: memFree=67662816/131524600 swapFree=131071996/131071996
[pid=865575] ppid=865572 vsize=5125680 memory=4756128 CPUtime=2972.94 cores=4,6
/proc/865575/stat : 865575 (ipbhs_static_sc) R 865572 865575 861466 0 -1 4194304 891211 0 0 0 292412 4882 0 0 20 0 1 0 166448979 5248696320 1189032 134679101440 4194304 16068861 140726608679920 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 37519360 140726608688166 140726608688253 140726608688253 140726608695268 0
/proc/865575/statm: 1281420 1189032 3263 2900 0 1277934 0
Current children cumulated CPU time: 2972.94 s
Current children cumulated vsize: 5125680 KiB
Current children cumulated memory: 4756128 KiB
[startup+3042.3 s]
/proc/loadavg: 4.13 4.13 4.10 5/257 867402
/proc/meminfo: memFree=67653228/131524600 swapFree=131071996/131071996
[pid=865575] ppid=865572 vsize=5125680 memory=4765096 CPUtime=3032.77 cores=4,6
/proc/865575/stat : 865575 (ipbhs_static_sc) R 865572 865575 861466 0 -1 4194304 891792 0 0 0 298292 4985 0 0 20 0 1 0 166448979 5248696320 1191274 134679101440 4194304 16068861 140726608679920 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 37519360 140726608688166 140726608688253 140726608688253 140726608695268 0
/proc/865575/statm: 1281420 1191274 3263 2900 0 1277934 0
Current children cumulated CPU time: 3032.77 s
Current children cumulated vsize: 5125680 KiB
Current children cumulated memory: 4765096 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.13 4.10 5/256 867413
/proc/meminfo: memFree=67642420/131524600 swapFree=131071996/131071996
[pid=865575] ppid=865572 vsize=5125680 memory=4775336 CPUtime=3092.61 cores=4,6
/proc/865575/stat : 865575 (ipbhs_static_sc) R 865572 865575 861466 0 -1 4194304 892381 0 0 0 304168 5093 0 0 20 0 1 0 166448979 5248696320 1193834 134679101440 4194304 16068861 140726608679920 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 37519360 140726608688166 140726608688253 140726608688253 140726608695268 0
/proc/865575/statm: 1281420 1193834 3263 2900 0 1277934 0
Current children cumulated CPU time: 3092.61 s
Current children cumulated vsize: 5125680 KiB
Current children cumulated memory: 4775336 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.13 4.10 5/256 867424
/proc/meminfo: memFree=67633276/131524600 swapFree=131071996/131071996
[pid=865575] ppid=865572 vsize=5125680 memory=4783560 CPUtime=3152.44 cores=4,6
/proc/865575/stat : 865575 (ipbhs_static_sc) R 865572 865575 861466 0 -1 4194304 892974 0 0 0 310049 5195 0 0 20 0 1 0 166448979 5248696320 1195890 134679101440 4194304 16068861 140726608679920 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 37519360 140726608688166 140726608688253 140726608688253 140726608695268 0
/proc/865575/statm: 1281420 1195890 3263 2900 0 1277934 0
Current children cumulated CPU time: 3152.44 s
Current children cumulated vsize: 5125680 KiB
Current children cumulated memory: 4783560 KiB
[startup+3222.3 s]
/proc/loadavg: 4.21 4.15 4.10 5/256 867434
/proc/meminfo: memFree=67628480/131524600 swapFree=131071996/131071996
[pid=865575] ppid=865572 vsize=5125680 memory=4787652 CPUtime=3212.26 cores=4,6
/proc/865575/stat : 865575 (ipbhs_static_sc) R 865572 865575 861466 0 -1 4194304 893647 0 0 0 315932 5294 0 0 20 0 1 0 166448979 5248696320 1196913 134679101440 4194304 16068861 140726608679920 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 37519360 140726608688166 140726608688253 140726608688253 140726608695268 0
/proc/865575/statm: 1281420 1196913 3263 2900 0 1277934 0
Current children cumulated CPU time: 3212.26 s
Current children cumulated vsize: 5125680 KiB
Current children cumulated memory: 4787652 KiB
[startup+3282.3 s]
/proc/loadavg: 4.36 4.21 4.13 5/256 867446
/proc/meminfo: memFree=67617552/131524600 swapFree=131071996/131071996
[pid=865575] ppid=865572 vsize=5125680 memory=4787652 CPUtime=3272.09 cores=4,6
/proc/865575/stat : 865575 (ipbhs_static_sc) R 865572 865575 861466 0 -1 4194304 894240 0 0 0 321809 5400 0 0 20 0 1 0 166448979 5248696320 1196913 134679101440 4194304 16068861 140726608679920 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 37519360 140726608688166 140726608688253 140726608688253 140726608695268 0
/proc/865575/statm: 1281420 1196913 3263 2900 0 1277934 0
Current children cumulated CPU time: 3272.09 s
Current children cumulated vsize: 5125680 KiB
Current children cumulated memory: 4787652 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.17 4.11 5/255 867456
/proc/meminfo: memFree=67617132/131524600 swapFree=131071996/131071996
[pid=865575] ppid=865572 vsize=5125680 memory=4787652 CPUtime=3331.9 cores=4,6
/proc/865575/stat : 865575 (ipbhs_static_sc) R 865572 865575 861466 0 -1 4194304 894792 0 0 0 327687 5503 0 0 20 0 1 0 166448979 5248696320 1196913 134679101440 4194304 16068861 140726608679920 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 37519360 140726608688166 140726608688253 140726608688253 140726608695268 0
/proc/865575/statm: 1281420 1196913 3263 2900 0 1277934 0
Current children cumulated CPU time: 3331.9 s
Current children cumulated vsize: 5125680 KiB
Current children cumulated memory: 4787652 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.17 4.11 5/258 867472
/proc/meminfo: memFree=67615996/131524600 swapFree=131071996/131071996
[pid=865575] ppid=865572 vsize=5125680 memory=4787652 CPUtime=3391.7 cores=4,6
/proc/865575/stat : 865575 (ipbhs_static_sc) R 865572 865575 861466 0 -1 4194304 895406 0 0 0 333560 5610 0 0 20 0 1 0 166448979 5248696320 1196913 134679101440 4194304 16068861 140726608679920 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 37519360 140726608688166 140726608688253 140726608688253 140726608695268 0
/proc/865575/statm: 1281420 1196913 3263 2900 0 1277934 0
Current children cumulated CPU time: 3391.7 s
Current children cumulated vsize: 5125680 KiB
Current children cumulated memory: 4787652 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.15 4.11 5/258 867485
/proc/meminfo: memFree=67615644/131524600 swapFree=131071996/131071996
[pid=865575] ppid=865572 vsize=5125680 memory=4787652 CPUtime=3451.5 cores=4,6
/proc/865575/stat : 865575 (ipbhs_static_sc) R 865572 865575 861466 0 -1 4194304 895985 0 0 0 339438 5712 0 0 20 0 1 0 166448979 5248696320 1196913 134679101440 4194304 16068861 140726608679920 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 37519360 140726608688166 140726608688253 140726608688253 140726608695268 0
/proc/865575/statm: 1281420 1196913 3263 2900 0 1277934 0
Current children cumulated CPU time: 3451.5 s
Current children cumulated vsize: 5125680 KiB
Current children cumulated memory: 4787652 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.14 4.10 5/258 867495
/proc/meminfo: memFree=67614708/131524600 swapFree=131071996/131071996
[pid=865575] ppid=865572 vsize=5125680 memory=4787652 CPUtime=3511.3 cores=4,6
/proc/865575/stat : 865575 (ipbhs_static_sc) R 865572 865575 861466 0 -1 4194304 896577 0 0 0 345317 5813 0 0 20 0 1 0 166448979 5248696320 1196913 134679101440 4194304 16068861 140726608679920 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 37519360 140726608688166 140726608688253 140726608688253 140726608695268 0
/proc/865575/statm: 1281420 1196913 3263 2900 0 1277934 0
Current children cumulated CPU time: 3511.3 s
Current children cumulated vsize: 5125680 KiB
Current children cumulated memory: 4787652 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.12 4.10 5/258 867507
/proc/meminfo: memFree=67613968/131524600 swapFree=131071996/131071996
[pid=865575] ppid=865572 vsize=5125680 memory=4787652 CPUtime=3571.1 cores=4,6
/proc/865575/stat : 865575 (ipbhs_static_sc) R 865572 865575 861466 0 -1 4194304 897157 0 0 0 351201 5909 0 0 20 0 1 0 166448979 5248696320 1196913 134679101440 4194304 16068861 140726608679920 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 37519360 140726608688166 140726608688253 140726608688253 140726608695268 0
/proc/865575/statm: 1281420 1196913 3263 2900 0 1277934 0
Current children cumulated CPU time: 3571.1 s
Current children cumulated vsize: 5125680 KiB
Current children cumulated memory: 4787652 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.3 s]
/proc/loadavg: 4.12 4.13 4.10 5/258 867513
/proc/meminfo: memFree=67613844/131524600 swapFree=131071996/131071996
[pid=865575] ppid=865572 vsize=5125680 memory=4787652 CPUtime=3600.01 cores=4,6
/proc/865575/stat : 865575 (ipbhs_static_sc) R 865572 865575 861466 0 -1 4194304 897480 0 0 0 354042 5959 0 0 20 0 1 0 166448979 5248696320 1196913 134679101440 4194304 16068861 140726608679920 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 37519360 140726608688166 140726608688253 140726608688253 140726608695268 0
/proc/865575/statm: 1281420 1196913 3263 2900 0 1277934 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 5125680 KiB
Current children cumulated memory: 4787652 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.31 s]
# the end of solver process 865575 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3540.42 s, system=59.6047 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.3 s]
/proc/loadavg: 4.12 4.13 4.10 5/258 867513
/proc/meminfo: memFree=67613844/131524600 swapFree=131071996/131071996
[pid=865575] ppid=865572 vsize=5125680 memory=4787652 CPUtime=3600.01 cores=4,6
/proc/865575/stat : 865575 (ipbhs_static_sc) R 865572 865575 861466 0 -1 4194304 897480 0 0 0 354042 5959 0 0 20 0 1 0 166448979 5248696320 1196913 134679101440 4194304 16068861 140726608679920 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 37519360 140726608688166 140726608688253 140726608688253 140726608695268 0
/proc/865575/statm: 1281420 1196913 3263 2900 0 1277934 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 5125680 KiB
Current children cumulated memory: 4787652 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3611.31
CPU time (s): 3600.03
CPU user time (s): 3540.42
CPU system time (s): 59.6047
CPU usage (%): 99.6875
Max. virtual memory (cumulated for all children) (KiB): 5125680
Max. memory (cumulated for all children) (KiB): 4787652
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3540.42
system time used= 59.6047
maximum resident set size= 4787652
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 897480
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= 86
involuntary context switches= 3074
# summary of solver processes directly reported to runsolver:
# pid: 865575
# total CPU time (s): 3600.03
# total CPU user time (s): 3540.42
# total CPU system time (s): 59.6047
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.71365 second user time and 17.3322 second system time
The end
Begin job on nodeC031 at 2024-07-16 17:13:40
IDJOB=4432083
IDBENCH=155752
IDSOLVER=3057
FILE ID=nodeC031/4432083-1721142806
RUNJOBID= nodeC031-1721135601-861477
SLURM_JOB_ID= 7505707
Free space on /tmp= 889684 MiB
SOLVER NAME= IPBHS-SCIP 2024-07-09
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Large/normalized-minisat100_16_6_7_ic.opb
COMMAND LINE= ./ipbhs_static_scip BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432083-1721142806/watcher-4432083-1721142806 -o /tmp/evaluation-result-4432083-1721142806/solver-4432083-1721142806 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721135601-861477 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4432083-1721142806.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a79b156993afc0744effacd0e3c6c3c8
RANDOM SEED=2027906222
nodeC031.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 : 3679.703
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.55
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 : 3637.005
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 : 7006.11
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.798
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.55
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 : 3680.104
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 : 7006.11
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 : 3679.648
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.55
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 : 3677.853
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 : 7006.11
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.156
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.55
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.033
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 : 7006.11
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 123268040 kB
MemAvailable: 125385096 kB
Buffers: 389960 kB
Cached: 2545648 kB
SwapCached: 0 kB
Active: 757680 kB
Inactive: 6855556 kB
Active(anon): 1520 kB
Inactive(anon): 4713856 kB
Active(file): 756160 kB
Inactive(file): 2141700 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 352372 kB
Writeback: 0 kB
AnonPages: 4675928 kB
Mapped: 115876 kB
Shmem: 37720 kB
KReclaimable: 117684 kB
Slab: 226348 kB
SReclaimable: 117684 kB
SUnreclaim: 108664 kB
KernelStack: 4016 kB
PageTables: 18388 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 5303460 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 63936 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2340864 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: 185044 kB
DirectMap2M: 16365568 kB
DirectMap1G: 119537664 kB
Free space on /tmp at the end= 889124 MiB
End job on nodeC031 at 2024-07-16 18:13:51