911.71/915.44 c initialize IPBHS solver
911.71/915.44 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
911.71/915.44 c optimizer = "scip"
911.71/915.44 c pbsolver = "roundingsat"
911.71/915.44 c load symmetries from file ""
911.71/915.44 c set time limit for symmetry computation to 100 seconds.
911.71/915.44 c set interchangeable summation variable limit to 3
911.71/915.44 c set abs symmetric core budget per WCE-iteration to 100
911.71/915.44 c set rel symmetric core budget per WCE-iteration to 0
911.71/915.44 c set lit symmetric core budget per WCE-iteration to 0
911.71/915.44 c set sym generation to 's'
911.71/915.44 c set abstraction set creation to 10 iterations without LB change
911.71/915.44 c set abstraction set inputs to 0
911.71/915.44 c set abstraction set cluster min size to 2
911.71/915.44 c set abstraction set cluster max size to 100000000
911.71/915.44 c set abstraction set cluster activation limit to 2
911.71/915.44 c enable abstraction set require equal cost
911.71/915.44 c set abstraction set assumptions to 0
911.71/915.44 c set abstraction set constraint type to 0
911.71/915.44 c set abstract core extraction strategy to b
911.71/915.44 c set core extraction strategy to 2
911.71/915.44 c set core extraction shuffles 10
911.71/915.44 c set cores per iteration to 5
911.71/915.44 c set optimizer bound usage strategy to 2
911.71/915.44 c set optimizer max non-optimal iterations to 1000
911.71/915.44 c set small core cardinality limit to 2
911.71/915.44 c set max coef in cores to 1000000000
911.71/915.44 c set SIS iterations to 5
911.71/915.44 c set SIS budget abs to 1000
911.71/915.44 c set SIS budget rel to 0.05
911.71/915.44 c limit for coefficient in constraints and objective to 9223372036854775807
911.71/915.44 c will solve HOME/instance-4431842-1721092151.opb
911.71/915.44 c [1.41] solve iteration 1, LB=0, UB=495458
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 (62301 MiB free)
memory of node 1: 64510 MiB (63216 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431842-1721092151/watcher-4431842-1721092151 -o /tmp/evaluation-result-4431842-1721092151/solver-4431842-1721092151 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721092164-821237 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4431842-1721092151.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=821289, runsolver pid=821282
[startup+0.107167 s]*
/proc/loadavg: 3.76 4.04 4.08 6/244 821300
/proc/meminfo: memFree=128513448/131655788 swapFree=131071996/131071996
[pid=821289] ppid=821282 vsize=34032 memory=9168 CPUtime=0.11 cores=4,6
/proc/821289/stat : 821289 (ipbhs_static_sc) R 821282 821289 821226 0 -1 4194304 1897 0 0 0 11 0 0 0 20 0 1 0 161371859 34848768 2292 134679101440 4194304 16068861 140723489209136 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 55402496 140723489215526 140723489215613 140723489215613 140723489222628 0
/proc/821289/statm: 8508 2292 1023 2900 0 5022 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 34032 KiB
Current children cumulated memory: 9168 KiB
[startup+0.212898 s]*
/proc/loadavg: 3.76 4.04 4.08 6/244 821300
/proc/meminfo: memFree=128489816/131655788 swapFree=131071996/131071996
[pid=821289] ppid=821282 vsize=38588 memory=13480 CPUtime=0.21 cores=4,6
/proc/821289/stat : 821289 (ipbhs_static_sc) R 821282 821289 821226 0 -1 4194304 2951 0 0 0 21 0 0 0 20 0 1 0 161371859 39514112 3370 134679101440 4194304 16068861 140723489209136 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 55402496 140723489215526 140723489215613 140723489215613 140723489222628 0
/proc/821289/statm: 9647 3370 1023 2900 0 6161 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 38588 KiB
Current children cumulated memory: 13480 KiB
[startup+0.31359 s]*
/proc/loadavg: 3.76 4.04 4.08 6/244 821302
/proc/meminfo: memFree=128480432/131655788 swapFree=131071996/131071996
[pid=821289] ppid=821282 vsize=45060 memory=17284 CPUtime=0.31 cores=4,6
/proc/821289/stat : 821289 (ipbhs_static_sc) R 821282 821289 821226 0 -1 4194304 3964 0 0 0 30 1 0 0 20 0 1 0 161371859 46141440 4321 134679101440 4194304 16068861 140723489209136 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 55402496 140723489215526 140723489215613 140723489215613 140723489222628 0
/proc/821289/statm: 11265 4321 1023 2900 0 7779 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 45060 KiB
Current children cumulated memory: 17284 KiB
[startup+0.700269 s]
/proc/loadavg: 3.76 4.04 4.08 6/244 821302
/proc/meminfo: memFree=128452448/131655788 swapFree=131071996/131071996
[pid=821289] ppid=821282 vsize=62624 memory=33004 CPUtime=0.68 cores=4,6
/proc/821289/stat : 821289 (ipbhs_static_sc) R 821282 821289 821226 0 -1 4194304 6847 0 0 0 66 2 0 0 20 0 1 0 161371859 64126976 8251 134679101440 4194304 16068861 140723489209136 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 55402496 140723489215526 140723489215613 140723489215613 140723489222628 0
/proc/821289/statm: 15656 8251 1023 2900 0 12170 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 62624 KiB
Current children cumulated memory: 33004 KiB
[startup+1.50029 s]
/proc/loadavg: 3.76 4.04 4.08 6/244 821302
/proc/meminfo: memFree=128365404/131655788 swapFree=131071996/131071996
[pid=821289] ppid=821282 vsize=109180 memory=75844 CPUtime=1.49 cores=4,6
/proc/821289/stat : 821289 (ipbhs_static_sc) R 821282 821289 821226 0 -1 4194304 14388 0 0 0 126 23 0 0 20 0 1 0 161371859 111800320 18961 134679101440 4194304 16068861 140723489209136 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 55402496 140723489215526 140723489215613 140723489215613 140723489222628 0
/proc/821289/statm: 27295 18961 1135 2900 0 23809 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 109180 KiB
Current children cumulated memory: 75844 KiB
[startup+3.11234 s]
/proc/loadavg: 3.76 4.04 4.08 6/244 821302
/proc/meminfo: memFree=127537432/131655788 swapFree=131071996/131071996
[pid=821289] ppid=821282 vsize=376452 memory=335160 CPUtime=3.09 cores=4,6
/proc/821289/stat : 821289 (ipbhs_static_sc) R 821282 821289 821226 0 -1 4194304 63756 0 0 0 211 98 0 0 20 0 1 0 161371859 385486848 83790 134679101440 4194304 16068861 140723489209136 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 55402496 140723489215526 140723489215613 140723489215613 140723489222628 0
/proc/821289/statm: 94113 83790 2383 2900 0 90627 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 376452 KiB
Current children cumulated memory: 335160 KiB
[startup+6.30029 s]
/proc/loadavg: 3.86 4.06 4.09 6/244 821302
/proc/meminfo: memFree=125009816/131655788 swapFree=131071996/131071996
[pid=821289] ppid=821282 vsize=1214228 memory=1177076 CPUtime=6.27 cores=4,6
/proc/821289/stat : 821289 (ipbhs_static_sc) R 821282 821289 821226 0 -1 4194304 262921 0 0 0 425 202 0 0 20 0 1 0 161371859 1243369472 294269 134679101440 4194304 16068861 140723489209136 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 55402496 140723489215526 140723489215613 140723489215613 140723489222628 0
/proc/821289/statm: 303557 294269 2639 2900 0 300071 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1214228 KiB
Current children cumulated memory: 1177076 KiB
[startup+12.7003 s]
/proc/loadavg: 3.87 4.06 4.09 6/244 821303
/proc/meminfo: memFree=120099100/131655788 swapFree=131071996/131071996
[pid=821289] ppid=821282 vsize=3094520 memory=2799160 CPUtime=12.65 cores=4,6
/proc/821289/stat : 821289 (ipbhs_static_sc) R 821282 821289 821226 0 -1 4194304 283651 0 0 0 1030 235 0 0 20 0 1 0 161371859 3168788480 699790 134679101440 4194304 16068861 140723489209136 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 55402496 140723489215526 140723489215613 140723489215613 140723489222628 0
/proc/821289/statm: 773630 699790 2671 2900 0 770144 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 3094520 KiB
Current children cumulated memory: 2799160 KiB
[startup+25.5003 s]
/proc/loadavg: 3.90 4.05 4.08 7/244 821305
/proc/meminfo: memFree=117887124/131655788 swapFree=131071996/131071996
[pid=821289] ppid=821282 vsize=3832160 memory=3525220 CPUtime=25.42 cores=4,6
/proc/821289/stat : 821289 (ipbhs_static_sc) R 821282 821289 821226 0 -1 4194304 456975 0 0 0 2274 268 0 0 20 0 1 0 161371859 3924131840 881305 134679101440 4194304 16068861 140723489209136 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 55402496 140723489215526 140723489215613 140723489215613 140723489222628 0
/proc/821289/statm: 958040 881305 2863 2900 0 954554 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 3832160 KiB
Current children cumulated memory: 3525220 KiB
[startup+51.1126 s]
/proc/loadavg: 4.02 4.07 4.09 7/244 821310
/proc/meminfo: memFree=111187652/131655788 swapFree=131071996/131071996
[pid=821289] ppid=821282 vsize=6318936 memory=5753196 CPUtime=50.95 cores=4,6
/proc/821289/stat : 821289 (ipbhs_static_sc) R 821282 821289 821226 0 -1 4194304 567592 0 0 0 4775 320 0 0 20 0 1 0 161371859 6470590464 1438299 134679101440 4194304 16068861 140723489209136 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 55402496 140723489215526 140723489215613 140723489215613 140723489222628 0
/proc/821289/statm: 1579734 1438299 2895 2900 0 1576248 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 6318936 KiB
Current children cumulated memory: 5753196 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.07 4.09 6/246 821322
/proc/meminfo: memFree=111149856/131655788 swapFree=131071996/131071996
[pid=821289] ppid=821282 vsize=6334332 memory=5760480 CPUtime=101.9 cores=4,6
/proc/821289/stat : 821289 (ipbhs_static_sc) R 821282 821289 821226 0 -1 4194304 567969 0 0 0 9869 321 0 0 20 0 1 0 161371859 6486355968 1440120 134679101440 4194304 16068861 140723489209136 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 55402496 140723489215526 140723489215613 140723489215613 140723489222628 0
/proc/821289/statm: 1583583 1440120 2895 2900 0 1580097 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 6334332 KiB
Current children cumulated memory: 5760480 KiB
[startup+162.3 s]
/proc/loadavg: 4.19 4.10 4.10 6/246 821332
/proc/meminfo: memFree=110831728/131655788 swapFree=131071996/131071996
[pid=821289] ppid=821282 vsize=6527032 memory=5851736 CPUtime=161.65 cores=4,6
/proc/821289/stat : 821289 (ipbhs_static_sc) R 821282 821289 821226 0 -1 4194304 576907 0 0 0 15841 324 0 0 20 0 1 0 161371859 6683680768 1462934 134679101440 4194304 16068861 140723489209136 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 55402496 140723489215526 140723489215613 140723489215613 140723489222628 0
/proc/821289/statm: 1631758 1462934 2895 2900 0 1628272 0
Current children cumulated CPU time: 161.65 s
Current children cumulated vsize: 6527032 KiB
Current children cumulated memory: 5851736 KiB
[startup+222.3 s]
/proc/loadavg: 4.29 4.15 4.11 6/246 821343
/proc/meminfo: memFree=110781660/131655788 swapFree=131071996/131071996
[pid=821289] ppid=821282 vsize=6616848 memory=5879968 CPUtime=221.4 cores=4,6
/proc/821289/stat : 821289 (ipbhs_static_sc) R 821282 821289 821226 0 -1 4194304 577572 0 0 0 21814 326 0 0 20 0 1 0 161371859 6775652352 1469992 134679101440 4194304 16068861 140723489209136 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 55402496 140723489215526 140723489215613 140723489215613 140723489222628 0
/proc/821289/statm: 1654212 1469992 2895 2900 0 1650726 0
Current children cumulated CPU time: 221.4 s
Current children cumulated vsize: 6616848 KiB
Current children cumulated memory: 5879968 KiB
[startup+282.3 s]
/proc/loadavg: 4.17 4.14 4.11 6/246 821353
/proc/meminfo: memFree=110685284/131655788 swapFree=131071996/131071996
[pid=821289] ppid=821282 vsize=6707236 memory=5908772 CPUtime=281.14 cores=4,6
/proc/821289/stat : 821289 (ipbhs_static_sc) R 821282 821289 821226 0 -1 4194304 578368 0 0 0 27787 327 0 0 20 0 1 0 161371859 6868209664 1477193 134679101440 4194304 16068861 140723489209136 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 55402496 140723489215526 140723489215613 140723489215613 140723489222628 0
/proc/821289/statm: 1676809 1477193 2895 2900 0 1673323 0
Current children cumulated CPU time: 281.14 s
Current children cumulated vsize: 6707236 KiB
Current children cumulated memory: 5908772 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.13 4.10 6/245 821364
/proc/meminfo: memFree=110681336/131655788 swapFree=131071996/131071996
[pid=821289] ppid=821282 vsize=6707236 memory=5908772 CPUtime=340.87 cores=4,6
/proc/821289/stat : 821289 (ipbhs_static_sc) R 821282 821289 821226 0 -1 4194304 578486 0 0 0 33760 327 0 0 20 0 1 0 161371859 6868209664 1477193 134679101440 4194304 16068861 140723489209136 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 55402496 140723489215526 140723489215613 140723489215613 140723489222628 0
/proc/821289/statm: 1676809 1477193 2895 2900 0 1673323 0
Current children cumulated CPU time: 340.87 s
Current children cumulated vsize: 6707236 KiB
Current children cumulated memory: 5908772 KiB
[startup+402.3 s]
/proc/loadavg: 4.19 4.15 4.11 6/243 821375
/proc/meminfo: memFree=110669948/131655788 swapFree=131071996/131071996
[pid=821289] ppid=821282 vsize=6768828 memory=5908776 CPUtime=400.63 cores=4,6
/proc/821289/stat : 821289 (ipbhs_static_sc) R 821282 821289 821226 0 -1 4194304 578727 0 0 0 39735 328 0 0 20 0 1 0 161371859 6931279872 1477194 134679101440 4194304 16068861 140723489209136 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 55402496 140723489215526 140723489215613 140723489215613 140723489222628 0
/proc/821289/statm: 1692207 1477194 2895 2900 0 1688721 0
Current children cumulated CPU time: 400.63 s
Current children cumulated vsize: 6768828 KiB
Current children cumulated memory: 5908776 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.14 4.10 6/243 821385
/proc/meminfo: memFree=110629932/131655788 swapFree=131071996/131071996
[pid=821289] ppid=821282 vsize=6830420 memory=5908784 CPUtime=460.38 cores=4,6
/proc/821289/stat : 821289 (ipbhs_static_sc) R 821282 821289 821226 0 -1 4194304 578952 0 0 0 45709 329 0 0 20 0 1 0 161371859 6994350080 1477196 134679101440 4194304 16068861 140723489209136 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 55402496 140723489215526 140723489215613 140723489215613 140723489222628 0
/proc/821289/statm: 1707605 1477196 2895 2900 0 1704119 0
################
# More data... #
################
Current children cumulated memory: 6494252 KiB
[startup+2922.3 s]
/proc/loadavg: 4.09 4.11 4.09 6/244 822837
/proc/meminfo: memFree=108709384/131655788 swapFree=131071996/131071996
[pid=821289] ppid=821282 vsize=8514004 memory=6494252 CPUtime=2910.99 cores=4,6
/proc/821289/stat : 821289 (ipbhs_static_sc) R 821282 821289 821226 0 -1 4194304 719149 0 0 0 290717 382 0 0 20 0 1 0 161371859 8718340096 1623563 134679101440 4194304 16068861 140723489209136 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 55402496 140723489215526 140723489215613 140723489215613 140723489222628 0
/proc/821289/statm: 2128501 1623563 2895 2900 0 2125015 0
Current children cumulated CPU time: 2910.99 s
Current children cumulated vsize: 8514004 KiB
Current children cumulated memory: 6494252 KiB
[startup+2982.3 s]
/proc/loadavg: 4.15 4.12 4.09 6/245 823017
/proc/meminfo: memFree=108694372/131655788 swapFree=131071996/131071996
[pid=821289] ppid=821282 vsize=8514004 memory=6494252 CPUtime=2970.75 cores=4,6
/proc/821289/stat : 821289 (ipbhs_static_sc) R 821282 821289 821226 0 -1 4194304 719319 0 0 0 296692 383 0 0 20 0 1 0 161371859 8718340096 1623563 134679101440 4194304 16068861 140723489209136 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 55402496 140723489215526 140723489215613 140723489215613 140723489222628 0
/proc/821289/statm: 2128501 1623563 2895 2900 0 2125015 0
Current children cumulated CPU time: 2970.75 s
Current children cumulated vsize: 8514004 KiB
Current children cumulated memory: 6494252 KiB
[startup+3042.3 s]
/proc/loadavg: 4.11 4.11 4.09 6/245 823027
/proc/meminfo: memFree=108688264/131655788 swapFree=131071996/131071996
[pid=821289] ppid=821282 vsize=8575604 memory=6494256 CPUtime=3030.54 cores=4,6
/proc/821289/stat : 821289 (ipbhs_static_sc) R 821282 821289 821226 0 -1 4194304 719521 0 0 0 302670 384 0 0 20 0 1 0 161371859 8781418496 1623564 134679101440 4194304 16068861 140723489209136 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 55402496 140723489215526 140723489215613 140723489215613 140723489222628 0
/proc/821289/statm: 2143901 1623564 2895 2900 0 2140415 0
Current children cumulated CPU time: 3030.54 s
Current children cumulated vsize: 8575604 KiB
Current children cumulated memory: 6494256 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.10 4.09 6/245 823051
/proc/meminfo: memFree=108684192/131655788 swapFree=131071996/131071996
[pid=821289] ppid=821282 vsize=8637204 memory=6494260 CPUtime=3090.28 cores=4,6
/proc/821289/stat : 821289 (ipbhs_static_sc) R 821282 821289 821226 0 -1 4194304 720178 0 0 0 308644 384 0 0 20 0 1 0 161371859 8844496896 1623565 134679101440 4194304 16068861 140723489209136 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 55402496 140723489215526 140723489215613 140723489215613 140723489222628 0
/proc/821289/statm: 2159301 1623565 2895 2900 0 2155815 0
Current children cumulated CPU time: 3090.28 s
Current children cumulated vsize: 8637204 KiB
Current children cumulated memory: 6494260 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.11 4.09 6/245 823061
/proc/meminfo: memFree=108503872/131655788 swapFree=131071996/131071996
[pid=821289] ppid=821282 vsize=8637204 memory=6494260 CPUtime=3150.04 cores=4,6
/proc/821289/stat : 821289 (ipbhs_static_sc) R 821282 821289 821226 0 -1 4194304 720454 0 0 0 314619 385 0 0 20 0 1 0 161371859 8844496896 1623565 134679101440 4194304 16068861 140723489209136 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 55402496 140723489215526 140723489215613 140723489215613 140723489222628 0
/proc/821289/statm: 2159301 1623565 2895 2900 0 2155815 0
Current children cumulated CPU time: 3150.04 s
Current children cumulated vsize: 8637204 KiB
Current children cumulated memory: 6494260 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.11 4.09 6/245 823073
/proc/meminfo: memFree=108502348/131655788 swapFree=131071996/131071996
[pid=821289] ppid=821282 vsize=8637204 memory=6494260 CPUtime=3209.8 cores=4,6
/proc/821289/stat : 821289 (ipbhs_static_sc) R 821282 821289 821226 0 -1 4194304 720737 0 0 0 320594 386 0 0 20 0 1 0 161371859 8844496896 1623565 134679101440 4194304 16068861 140723489209136 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 55402496 140723489215526 140723489215613 140723489215613 140723489222628 0
/proc/821289/statm: 2159301 1623565 2895 2900 0 2155815 0
Current children cumulated CPU time: 3209.8 s
Current children cumulated vsize: 8637204 KiB
Current children cumulated memory: 6494260 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.12 4.09 6/244 823083
/proc/meminfo: memFree=108501972/131655788 swapFree=131071996/131071996
[pid=821289] ppid=821282 vsize=8637204 memory=6494260 CPUtime=3269.51 cores=4,6
/proc/821289/stat : 821289 (ipbhs_static_sc) R 821282 821289 821226 0 -1 4194304 720851 0 0 0 326565 386 0 0 20 0 1 0 161371859 8844496896 1623565 134679101440 4194304 16068861 140723489209136 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 55402496 140723489215526 140723489215613 140723489215613 140723489222628 0
/proc/821289/statm: 2159301 1623565 2895 2900 0 2155815 0
Current children cumulated CPU time: 3269.51 s
Current children cumulated vsize: 8637204 KiB
Current children cumulated memory: 6494260 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.11 4.09 6/244 823094
/proc/meminfo: memFree=108501764/131655788 swapFree=131071996/131071996
[pid=821289] ppid=821282 vsize=8637204 memory=6494260 CPUtime=3329.24 cores=4,6
/proc/821289/stat : 821289 (ipbhs_static_sc) R 821282 821289 821226 0 -1 4194304 721048 0 0 0 332537 387 0 0 20 0 1 0 161371859 8844496896 1623565 134679101440 4194304 16068861 140723489209136 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 55402496 140723489215526 140723489215613 140723489215613 140723489222628 0
/proc/821289/statm: 2159301 1623565 2895 2900 0 2155815 0
Current children cumulated CPU time: 3329.24 s
Current children cumulated vsize: 8637204 KiB
Current children cumulated memory: 6494260 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.10 4.09 6/242 823105
/proc/meminfo: memFree=108499368/131655788 swapFree=131071996/131071996
[pid=821289] ppid=821282 vsize=8698804 memory=6494264 CPUtime=3388.99 cores=4,6
/proc/821289/stat : 821289 (ipbhs_static_sc) R 821282 821289 821226 0 -1 4194304 721238 0 0 0 338511 388 0 0 20 0 1 0 161371859 8907575296 1623566 134679101440 4194304 16068861 140723489209136 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 55402496 140723489215526 140723489215613 140723489215613 140723489222628 0
/proc/821289/statm: 2174701 1623566 2895 2900 0 2171215 0
Current children cumulated CPU time: 3388.99 s
Current children cumulated vsize: 8698804 KiB
Current children cumulated memory: 6494264 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.11 4.09 6/245 823120
/proc/meminfo: memFree=108496000/131655788 swapFree=131071996/131071996
[pid=821289] ppid=821282 vsize=8760404 memory=6494268 CPUtime=3448.73 cores=4,6
/proc/821289/stat : 821289 (ipbhs_static_sc) R 821282 821289 821226 0 -1 4194304 721578 0 0 0 344484 389 0 0 20 0 1 0 161371859 8970653696 1623567 134679101440 4194304 16068861 140723489209136 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 55402496 140723489215526 140723489215613 140723489215613 140723489222628 0
/proc/821289/statm: 2190101 1623567 2895 2900 0 2186615 0
Current children cumulated CPU time: 3448.73 s
Current children cumulated vsize: 8760404 KiB
Current children cumulated memory: 6494268 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.11 4.09 6/245 823130
/proc/meminfo: memFree=108304420/131655788 swapFree=131071996/131071996
[pid=821289] ppid=821282 vsize=8947636 memory=6681500 CPUtime=3508.47 cores=4,6
/proc/821289/stat : 821289 (ipbhs_static_sc) R 821282 821289 821226 0 -1 4194304 774282 0 0 0 350450 397 0 0 20 0 1 0 161371859 9162379264 1670375 134679101440 4194304 16068861 140723489209136 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 55402496 140723489215526 140723489215613 140723489215613 140723489222628 0
/proc/821289/statm: 2236909 1670375 2895 2900 0 2233423 0
Current children cumulated CPU time: 3508.47 s
Current children cumulated vsize: 8947636 KiB
Current children cumulated memory: 6681500 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.12 4.09 6/245 823141
/proc/meminfo: memFree=108174820/131655788 swapFree=131071996/131071996
[pid=821289] ppid=821282 vsize=8947636 memory=6681500 CPUtime=3568.23 cores=4,6
/proc/821289/stat : 821289 (ipbhs_static_sc) R 821282 821289 821226 0 -1 4194304 774492 0 0 0 356425 398 0 0 20 0 1 0 161371859 9162379264 1670375 134679101440 4194304 16068861 140723489209136 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 55402496 140723489215526 140723489215613 140723489215613 140723489222628 0
/proc/821289/statm: 2236909 1670375 2895 2900 0 2233423 0
Current children cumulated CPU time: 3568.23 s
Current children cumulated vsize: 8947636 KiB
Current children cumulated memory: 6681500 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3614.3 s]
/proc/loadavg: 4.09 4.10 4.09 6/245 823239
/proc/meminfo: memFree=115248804/131655788 swapFree=131071996/131071996
[pid=821289] ppid=821282 vsize=8947636 memory=6681500 CPUtime=3600.09 cores=4,6
/proc/821289/stat : 821289 (ipbhs_static_sc) R 821282 821289 821226 0 -1 4194304 774559 0 0 0 359610 399 0 0 20 0 1 0 161371859 9162379264 1670375 134679101440 4194304 16068861 140723489209136 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 55402496 140723489215526 140723489215613 140723489215613 140723489222628 0
/proc/821289/statm: 2236909 1670375 2895 2900 0 2233423 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 8947636 KiB
Current children cumulated memory: 6681500 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3614.41 s]
# the end of solver process 821289 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3596.11 s, system=4.10801 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3614.3 s]
/proc/loadavg: 4.09 4.10 4.09 6/245 823239
/proc/meminfo: memFree=115248804/131655788 swapFree=131071996/131071996
[pid=821289] ppid=821282 vsize=8947636 memory=6681500 CPUtime=3600.09 cores=4,6
/proc/821289/stat : 821289 (ipbhs_static_sc) R 821282 821289 821226 0 -1 4194304 774559 0 0 0 359610 399 0 0 20 0 1 0 161371859 9162379264 1670375 134679101440 4194304 16068861 140723489209136 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 55402496 140723489215526 140723489215613 140723489215613 140723489222628 0
/proc/821289/statm: 2236909 1670375 2895 2900 0 2233423 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 8947636 KiB
Current children cumulated memory: 6681500 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3614.41
CPU time (s): 3600.21
CPU user time (s): 3596.11
CPU system time (s): 4.10801
CPU usage (%): 99.6072
Max. virtual memory (cumulated for all children) (KiB): 9019728
Max. memory (cumulated for all children) (KiB): 6747160
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.11
system time used= 4.10801
maximum resident set size= 6747160
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 774559
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= 2
involuntary context switches= 1878
# summary of solver processes directly reported to runsolver:
# pid: 821289
# total CPU time (s): 3600.21
# total CPU user time (s): 3596.11
# total CPU system time (s): 4.10801
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.2104 second user time and 34.5714 second system time
The end
Begin job on nodeC007 at 2024-07-16 03:09:24
IDJOB=4431842
IDBENCH=147551
IDSOLVER=3057
FILE ID=nodeC007/4431842-1721092151
RUNJOBID= nodeC007-1721092164-821237
SLURM_JOB_ID= 7505588
Free space on /tmp= 723680 MiB
SOLVER NAME= IPBHS-SCIP 2024-07-09
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_10.opb.PB06.opb
COMMAND LINE= ./ipbhs_static_scip BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431842-1721092151/watcher-4431842-1721092151 -o /tmp/evaluation-result-4431842-1721092151/solver-4431842-1721092151 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721092164-821237 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4431842-1721092151.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= e06e3866d9960a7084ad077c8fb9619e
RANDOM SEED=1343467761
nodeC007.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 : 1473.951
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 : 6983.25
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 : 1342.362
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.30
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.141
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 : 6983.25
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 : 1197.133
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.30
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 : 1470.882
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 : 6983.25
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 : 2902.944
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.30
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.134
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 : 6983.25
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.136
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.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 128530096 kB
MemAvailable: 129929940 kB
Buffers: 392004 kB
Cached: 1837680 kB
SwapCached: 0 kB
Active: 692312 kB
Inactive: 1883428 kB
Active(anon): 1432 kB
Inactive(anon): 382360 kB
Active(file): 690880 kB
Inactive(file): 1501068 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 265128 kB
Writeback: 0 kB
AnonPages: 346132 kB
Mapped: 114948 kB
Shmem: 37704 kB
KReclaimable: 95856 kB
Slab: 192008 kB
SReclaimable: 95856 kB
SUnreclaim: 96152 kB
KernelStack: 3668 kB
PageTables: 9700 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 875276 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 51552 kB
HardwareCorrupted: 0 kB
AnonHugePages: 208896 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: 248648 kB
DirectMap2M: 22724608 kB
DirectMap1G: 113246208 kB
Free space on /tmp at the end= 723540 MiB
End job on nodeC007 at 2024-07-16 04:09:39