422.92/424.33 c initialize IPBHS solver
422.92/424.33 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
422.92/424.33 c optimizer = "scip"
422.92/424.33 c pbsolver = "roundingsat"
422.92/424.33 c load symmetries from file ""
422.92/424.33 c set time limit for symmetry computation to 100 seconds.
422.92/424.33 c set interchangeable summation variable limit to 3
422.92/424.33 c set abs symmetric core budget per WCE-iteration to 100
422.92/424.33 c set rel symmetric core budget per WCE-iteration to 0
422.92/424.33 c set lit symmetric core budget per WCE-iteration to 0
422.92/424.33 c set sym generation to 's'
422.92/424.33 c set abstraction set creation to 10 iterations without LB change
422.92/424.33 c set abstraction set inputs to 0
422.92/424.33 c set abstraction set cluster min size to 2
422.92/424.33 c set abstraction set cluster max size to 100000000
422.92/424.33 c set abstraction set cluster activation limit to 2
422.92/424.33 c enable abstraction set require equal cost
422.92/424.33 c set abstraction set assumptions to 0
422.92/424.33 c set abstraction set constraint type to 0
422.92/424.33 c set abstract core extraction strategy to b
422.92/424.33 c set core extraction strategy to 2
422.92/424.33 c set core extraction shuffles 10
422.92/424.34 c set cores per iteration to 5
422.92/424.34 c set optimizer bound usage strategy to 2
422.92/424.34 c set optimizer max non-optimal iterations to 1000
422.92/424.34 c set small core cardinality limit to 2
422.92/424.34 c set max coef in cores to 1000000000
422.92/424.34 c set SIS iterations to 5
422.92/424.34 c set SIS budget abs to 1000
422.92/424.34 c set SIS budget rel to 0.05
422.92/424.34 c limit for coefficient in constraints and objective to 9223372036854775807
422.92/424.34 c will solve HOME/instance-4459038-1721891052.opb
422.92/424.34 c [0.12] solve iteration 1, LB=0, UB=25761
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (61181 MiB free)
memory of node 1: 64473 MiB (59751 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459038-1721891052/watcher-4459038-1721891052 -o /tmp/evaluation-result-4459038-1721891052/solver-4459038-1721891052 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721890771-225622 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4459038-1721891052.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=225839, runsolver pid=225836
Current StackSize limit: 8192 KiB
[startup+0.100089 s]*
/proc/loadavg: 4.04 2.93 2.15 6/258 225840
/proc/meminfo: memFree=123819696/131524600 swapFree=131055836/131071996
[pid=225839] ppid=225836 vsize=44700 memory=22580 CPUtime=0.09 cores=1,3
/proc/225839/stat : 225839 (ipbhs_static_sc) R 225836 225839 225610 0 -1 4194304 4647 0 0 0 7 2 0 0 20 0 1 0 25634963 45772800 5645 134679101440 4194304 16068861 140726045332720 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 33046528 140726045336614 140726045336701 140726045336701 140726045343716 0
/proc/225839/statm: 11175 5645 1135 2900 0 7689 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 44700 KiB
Current children cumulated memory: 22580 KiB
[startup+0.205751 s]*
/proc/loadavg: 4.04 2.93 2.15 5/258 225840
/proc/meminfo: memFree=123755016/131524600 swapFree=131055836/131071996
[pid=225839] ppid=225836 vsize=108160 memory=89828 CPUtime=0.2 cores=1,3
/proc/225839/stat : 225839 (ipbhs_static_sc) R 225836 225839 225610 0 -1 4194304 20261 0 0 0 13 7 0 0 20 0 1 0 25634963 110755840 22457 134679101440 4194304 16068861 140726045332720 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 33046528 140726045336614 140726045336701 140726045336701 140726045343716 0
/proc/225839/statm: 27040 22457 2383 2900 0 23554 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 108160 KiB
Current children cumulated memory: 89828 KiB
[startup+0.305637 s]*
/proc/loadavg: 4.04 2.93 2.15 5/258 225840
/proc/meminfo: memFree=123731020/131524600 swapFree=131055836/131071996
[pid=225839] ppid=225836 vsize=133868 memory=114644 CPUtime=0.3 cores=1,3
/proc/225839/stat : 225839 (ipbhs_static_sc) R 225836 225839 225610 0 -1 4194304 26504 0 0 0 18 12 0 0 20 0 1 0 25634963 137080832 28661 134679101440 4194304 16068861 140726045332720 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 33046528 140726045336614 140726045336701 140726045336701 140726045343716 0
/proc/225839/statm: 33467 28661 2383 2900 0 29981 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 133868 KiB
Current children cumulated memory: 114644 KiB
[startup+0.700225 s]
/proc/loadavg: 4.04 2.93 2.15 5/258 225840
/proc/meminfo: memFree=123658004/131524600 swapFree=131055836/131071996
[pid=225839] ppid=225836 vsize=311084 memory=239452 CPUtime=0.69 cores=1,3
/proc/225839/stat : 225839 (ipbhs_static_sc) R 225836 225839 225610 0 -1 4194304 55446 0 0 0 50 19 0 0 20 0 1 0 25634963 318550016 59863 134679101440 4194304 16068861 140726045332720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 33046528 140726045336614 140726045336701 140726045336701 140726045343716 0
/proc/225839/statm: 77771 59863 2703 2900 0 74285 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 311084 KiB
Current children cumulated memory: 239452 KiB
[startup+1.50024 s]
/proc/loadavg: 4.04 2.93 2.15 5/258 225840
/proc/meminfo: memFree=123589140/131524600 swapFree=131055836/131071996
[pid=225839] ppid=225836 vsize=441120 memory=333256 CPUtime=1.48 cores=1,3
/proc/225839/stat : 225839 (ipbhs_static_sc) R 225836 225839 225610 0 -1 4194304 82089 0 0 0 126 22 0 0 20 0 1 0 25634963 451706880 83314 134679101440 4194304 16068861 140726045332720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 33046528 140726045336614 140726045336701 140726045336701 140726045343716 0
/proc/225839/statm: 110280 83314 2719 2900 0 106794 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 441120 KiB
Current children cumulated memory: 333256 KiB
[startup+3.10594 s]
/proc/loadavg: 4.04 2.95 2.16 5/258 225840
/proc/meminfo: memFree=123511604/131524600 swapFree=131055836/131071996
[pid=225839] ppid=225836 vsize=441120 memory=333256 CPUtime=3.07 cores=1,3
/proc/225839/stat : 225839 (ipbhs_static_sc) R 225836 225839 225610 0 -1 4194304 82090 0 0 0 285 22 0 0 20 0 1 0 25634963 451706880 83314 134679101440 4194304 16068861 140726045332720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 33046528 140726045336614 140726045336701 140726045336701 140726045343716 0
/proc/225839/statm: 110280 83314 2719 2900 0 106794 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 441120 KiB
Current children cumulated memory: 333256 KiB
[startup+6.30022 s]
/proc/loadavg: 4.04 2.95 2.16 5/258 225842
/proc/meminfo: memFree=123510828/131524600 swapFree=131055836/131071996
[pid=225839] ppid=225836 vsize=442144 memory=334304 CPUtime=6.25 cores=1,3
/proc/225839/stat : 225839 (ipbhs_static_sc) R 225836 225839 225610 0 -1 4194304 82347 0 0 0 602 23 0 0 20 0 1 0 25634963 452755456 83576 134679101440 4194304 16068861 140726045332720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 33046528 140726045336614 140726045336701 140726045336701 140726045343716 0
/proc/225839/statm: 110536 83576 2719 2900 0 107050 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 442144 KiB
Current children cumulated memory: 334304 KiB
[startup+12.7002 s]
/proc/loadavg: 4.10 3.00 2.19 5/258 225842
/proc/meminfo: memFree=123507820/131524600 swapFree=131055836/131071996
[pid=225839] ppid=225836 vsize=443296 memory=335880 CPUtime=12.61 cores=1,3
/proc/225839/stat : 225839 (ipbhs_static_sc) R 225836 225839 225610 0 -1 4194304 82719 0 0 0 1238 23 0 0 20 0 1 0 25634963 453935104 83970 134679101440 4194304 16068861 140726045332720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 33046528 140726045336614 140726045336701 140726045336701 140726045343716 0
/proc/225839/statm: 110824 83970 2719 2900 0 107338 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 443296 KiB
Current children cumulated memory: 335880 KiB
[startup+25.5002 s]
/proc/loadavg: 4.09 3.04 2.21 5/258 225843
/proc/meminfo: memFree=123433936/131524600 swapFree=131055836/131071996
[pid=225839] ppid=225836 vsize=519356 memory=410236 CPUtime=25.32 cores=1,3
/proc/225839/stat : 225839 (ipbhs_static_sc) R 225836 225839 225610 0 -1 4194304 101054 0 0 0 2507 25 0 0 20 0 1 0 25634963 531820544 102559 134679101440 4194304 16068861 140726045332720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 33046528 140726045336614 140726045336701 140726045336701 140726045343716 0
/proc/225839/statm: 129839 102559 2863 2900 0 126353 0
Current children cumulated CPU time: 25.32 s
Current children cumulated vsize: 519356 KiB
Current children cumulated memory: 410236 KiB
[startup+51.1057 s]
/proc/loadavg: 4.06 3.12 2.26 5/256 225848
/proc/meminfo: memFree=123231128/131524600 swapFree=131055836/131071996
[pid=225839] ppid=225836 vsize=703364 memory=591588 CPUtime=50.86 cores=1,3
/proc/225839/stat : 225839 (ipbhs_static_sc) R 225836 225839 225610 0 -1 4194304 144431 0 0 0 5053 33 0 0 20 0 1 0 25634963 720244736 147897 134679101440 4194304 16068861 140726045332720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 33046528 140726045336614 140726045336701 140726045336701 140726045343716 0
/proc/225839/statm: 175841 147897 2879 2900 0 172355 0
Current children cumulated CPU time: 50.86 s
Current children cumulated vsize: 703364 KiB
Current children cumulated memory: 591588 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 3.30 2.37 5/255 225858
/proc/meminfo: memFree=123220600/131524600 swapFree=131055836/131071996
[pid=225839] ppid=225836 vsize=715104 memory=598452 CPUtime=101.88 cores=1,3
/proc/225839/stat : 225839 (ipbhs_static_sc) R 225836 225839 225610 0 -1 4194304 146199 0 0 0 10154 34 0 0 20 0 1 0 25634963 732266496 149613 134679101440 4194304 16068861 140726045332720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 33046528 140726045336614 140726045336701 140726045336701 140726045343716 0
/proc/225839/statm: 178776 149613 2895 2900 0 175290 0
Current children cumulated CPU time: 101.88 s
Current children cumulated vsize: 715104 KiB
Current children cumulated memory: 598452 KiB
[startup+162.3 s]
/proc/loadavg: 4.05 3.43 2.48 5/255 225868
/proc/meminfo: memFree=123204092/131524600 swapFree=131055836/131071996
[pid=225839] ppid=225836 vsize=733000 memory=612876 CPUtime=161.71 cores=1,3
/proc/225839/stat : 225839 (ipbhs_static_sc) R 225836 225839 225610 0 -1 4194304 150124 0 0 0 16136 35 0 0 20 0 1 0 25634963 750592000 153219 134679101440 4194304 16068861 140726045332720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 33046528 140726045336614 140726045336701 140726045336701 140726045343716 0
/proc/225839/statm: 183250 153219 2895 2900 0 179764 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 733000 KiB
Current children cumulated memory: 612876 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 3.57 2.58 5/254 225878
/proc/meminfo: memFree=123183920/131524600 swapFree=131055836/131071996
[pid=225839] ppid=225836 vsize=737832 memory=612876 CPUtime=221.54 cores=1,3
/proc/225839/stat : 225839 (ipbhs_static_sc) R 225836 225839 225610 0 -1 4194304 150142 0 0 0 22119 35 0 0 20 0 1 0 25634963 755539968 153219 134679101440 4194304 16068861 140726045332720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 33046528 140726045336614 140726045336701 140726045336701 140726045343716 0
/proc/225839/statm: 184458 153219 2895 2900 0 180972 0
Current children cumulated CPU time: 221.54 s
Current children cumulated vsize: 737832 KiB
Current children cumulated memory: 612876 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 3.66 2.68 5/255 225892
/proc/meminfo: memFree=123179252/131524600 swapFree=131055836/131071996
[pid=225839] ppid=225836 vsize=740712 memory=615208 CPUtime=281.32 cores=1,3
/proc/225839/stat : 225839 (ipbhs_static_sc) R 225836 225839 225610 0 -1 4194304 150719 0 0 0 28097 35 0 0 20 0 1 0 25634963 758489088 153802 134679101440 4194304 16068861 140726045332720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 33046528 140726045336614 140726045336701 140726045336701 140726045343716 0
/proc/225839/statm: 185178 153802 2895 2900 0 181692 0
Current children cumulated CPU time: 281.32 s
Current children cumulated vsize: 740712 KiB
Current children cumulated memory: 615208 KiB
[startup+342.3 s]
/proc/loadavg: 4.35 3.83 2.80 5/255 225902
/proc/meminfo: memFree=123167940/131524600 swapFree=131055836/131071996
[pid=225839] ppid=225836 vsize=746828 memory=617744 CPUtime=341.16 cores=1,3
/proc/225839/stat : 225839 (ipbhs_static_sc) R 225836 225839 225610 0 -1 4194304 151490 0 0 0 34081 35 0 0 20 0 1 0 25634963 764751872 154436 134679101440 4194304 16068861 140726045332720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 33046528 140726045336614 140726045336701 140726045336701 140726045343716 0
/proc/225839/statm: 186707 154436 2895 2900 0 183221 0
Current children cumulated CPU time: 341.16 s
Current children cumulated vsize: 746828 KiB
Current children cumulated memory: 617744 KiB
[startup+402.3 s]
/proc/loadavg: 4.19 3.88 2.89 5/256 225915
/proc/meminfo: memFree=123163172/131524600 swapFree=131055836/131071996
[pid=225839] ppid=225836 vsize=751660 memory=618252 CPUtime=400.97 cores=1,3
/proc/225839/stat : 225839 (ipbhs_static_sc) R 225836 225839 225610 0 -1 4194304 151669 0 0 0 40061 36 0 0 20 0 1 0 25634963 769699840 154563 134679101440 4194304 16068861 140726045332720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 33046528 140726045336614 140726045336701 140726045336701 140726045343716 0
/proc/225839/statm: 187915 154563 2895 2900 0 184429 0
Current children cumulated CPU time: 400.97 s
Current children cumulated vsize: 751660 KiB
Current children cumulated memory: 618252 KiB
[startup+462.3 s]
/proc/loadavg: 4.17 3.93 2.97 5/256 225926
/proc/meminfo: memFree=123083620/131524600 swapFree=131055836/131071996
[pid=225839] ppid=225836 vsize=830860 memory=697976 CPUtime=460.79 cores=1,3
/proc/225839/stat : 225839 (ipbhs_static_sc) R 225836 225839 225610 0 -1 4194304 176587 0 0 0 46039 40 0 0 20 0 1 0 25634963 850800640 174494 134679101440 4194304 16068861 140726045332720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 33046528 140726045336614 140726045336701 140726045336701 140726045343716 0
/proc/225839/statm: 207715 174494 2895 2900 0 204229 0
################
# More data... #
################
Current children cumulated memory: 845552 KiB
[startup+2922.3 s]
/proc/loadavg: 4.14 4.11 4.03 5/256 227089
/proc/meminfo: memFree=106209056/131524600 swapFree=131055836/131071996
[pid=225839] ppid=225836 vsize=901888 memory=845552 CPUtime=2913.25 cores=1,3
/proc/225839/stat : 225839 (ipbhs_static_sc) R 225836 225839 225610 0 -1 4194304 213479 0 0 0 291275 50 0 0 20 0 1 0 25634963 923533312 211388 134679101440 4194304 16068861 140726045332720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 33046528 140726045336614 140726045336701 140726045336701 140726045343716 0
/proc/225839/statm: 225472 211388 2895 2900 0 221986 0
Current children cumulated CPU time: 2913.25 s
Current children cumulated vsize: 901888 KiB
Current children cumulated memory: 845552 KiB
[startup+2982.3 s]
/proc/loadavg: 4.09 4.10 4.03 5/256 227099
/proc/meminfo: memFree=106208076/131524600 swapFree=131055836/131071996
[pid=225839] ppid=225836 vsize=901888 memory=845552 CPUtime=2973.1 cores=1,3
/proc/225839/stat : 225839 (ipbhs_static_sc) R 225836 225839 225610 0 -1 4194304 213639 0 0 0 297260 50 0 0 20 0 1 0 25634963 923533312 211388 134679101440 4194304 16068861 140726045332720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 33046528 140726045336614 140726045336701 140726045336701 140726045343716 0
/proc/225839/statm: 225472 211388 2895 2900 0 221986 0
Current children cumulated CPU time: 2973.1 s
Current children cumulated vsize: 901888 KiB
Current children cumulated memory: 845552 KiB
[startup+3042.3 s]
/proc/loadavg: 4.45 4.19 4.07 5/256 227109
/proc/meminfo: memFree=106207684/131524600 swapFree=131055836/131071996
[pid=225839] ppid=225836 vsize=901888 memory=845552 CPUtime=3032.94 cores=1,3
/proc/225839/stat : 225839 (ipbhs_static_sc) R 225836 225839 225610 0 -1 4194304 213779 0 0 0 303244 50 0 0 20 0 1 0 25634963 923533312 211388 134679101440 4194304 16068861 140726045332720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 33046528 140726045336614 140726045336701 140726045336701 140726045343716 0
/proc/225839/statm: 225472 211388 2895 2900 0 221986 0
Current children cumulated CPU time: 3032.94 s
Current children cumulated vsize: 901888 KiB
Current children cumulated memory: 845552 KiB
[startup+3102.3 s]
/proc/loadavg: 4.21 4.17 4.07 5/256 227505
/proc/meminfo: memFree=106206840/131524600 swapFree=131055836/131071996
[pid=225839] ppid=225836 vsize=901888 memory=845552 CPUtime=3092.76 cores=1,3
/proc/225839/stat : 225839 (ipbhs_static_sc) R 225836 225839 225610 0 -1 4194304 214063 0 0 0 309226 50 0 0 20 0 1 0 25634963 923533312 211388 134679101440 4194304 16068861 140726045332720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 33046528 140726045336614 140726045336701 140726045336701 140726045343716 0
/proc/225839/statm: 225472 211388 2895 2900 0 221986 0
Current children cumulated CPU time: 3092.76 s
Current children cumulated vsize: 901888 KiB
Current children cumulated memory: 845552 KiB
[startup+3162.3 s]
/proc/loadavg: 4.18 4.17 4.08 5/256 227515
/proc/meminfo: memFree=106206252/131524600 swapFree=131055836/131071996
[pid=225839] ppid=225836 vsize=901888 memory=845552 CPUtime=3152.59 cores=1,3
/proc/225839/stat : 225839 (ipbhs_static_sc) R 225836 225839 225610 0 -1 4194304 214245 0 0 0 315209 50 0 0 20 0 1 0 25634963 923533312 211388 134679101440 4194304 16068861 140726045332720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 33046528 140726045336614 140726045336701 140726045336701 140726045343716 0
/proc/225839/statm: 225472 211388 2895 2900 0 221986 0
Current children cumulated CPU time: 3152.59 s
Current children cumulated vsize: 901888 KiB
Current children cumulated memory: 845552 KiB
[startup+3222.3 s]
/proc/loadavg: 4.07 4.14 4.07 5/256 227526
/proc/meminfo: memFree=106205384/131524600 swapFree=131055836/131071996
[pid=225839] ppid=225836 vsize=901888 memory=845552 CPUtime=3212.41 cores=1,3
/proc/225839/stat : 225839 (ipbhs_static_sc) R 225836 225839 225610 0 -1 4194304 214428 0 0 0 321191 50 0 0 20 0 1 0 25634963 923533312 211388 134679101440 4194304 16068861 140726045332720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 33046528 140726045336614 140726045336701 140726045336701 140726045343716 0
/proc/225839/statm: 225472 211388 2895 2900 0 221986 0
Current children cumulated CPU time: 3212.41 s
Current children cumulated vsize: 901888 KiB
Current children cumulated memory: 845552 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.14 4.08 5/257 227706
/proc/meminfo: memFree=106204776/131524600 swapFree=131055836/131071996
[pid=225839] ppid=225836 vsize=901888 memory=845552 CPUtime=3272.24 cores=1,3
/proc/225839/stat : 225839 (ipbhs_static_sc) R 225836 225839 225610 0 -1 4194304 214677 0 0 0 327173 51 0 0 20 0 1 0 25634963 923533312 211388 134679101440 4194304 16068861 140726045332720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 33046528 140726045336614 140726045336701 140726045336701 140726045343716 0
/proc/225839/statm: 225472 211388 2895 2900 0 221986 0
Current children cumulated CPU time: 3272.24 s
Current children cumulated vsize: 901888 KiB
Current children cumulated memory: 845552 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.13 4.08 5/257 227763
/proc/meminfo: memFree=102339840/131524600 swapFree=131055836/131071996
[pid=225839] ppid=225836 vsize=901888 memory=845552 CPUtime=3332.09 cores=1,3
/proc/225839/stat : 225839 (ipbhs_static_sc) R 225836 225839 225610 0 -1 4194304 214874 0 0 0 333158 51 0 0 20 0 1 0 25634963 923533312 211388 134679101440 4194304 16068861 140726045332720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 33046528 140726045336614 140726045336701 140726045336701 140726045343716 0
/proc/225839/statm: 225472 211388 2895 2900 0 221986 0
Current children cumulated CPU time: 3332.09 s
Current children cumulated vsize: 901888 KiB
Current children cumulated memory: 845552 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.12 4.08 5/257 227821
/proc/meminfo: memFree=95733516/131524600 swapFree=131055836/131071996
[pid=225839] ppid=225836 vsize=901888 memory=845552 CPUtime=3391.86 cores=1,3
/proc/225839/stat : 225839 (ipbhs_static_sc) R 225836 225839 225610 0 -1 4194304 215037 0 0 0 339135 51 0 0 20 0 1 0 25634963 923533312 211388 134679101440 4194304 16068861 140726045332720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 33046528 140726045336614 140726045336701 140726045336701 140726045343716 0
/proc/225839/statm: 225472 211388 2895 2900 0 221986 0
Current children cumulated CPU time: 3391.86 s
Current children cumulated vsize: 901888 KiB
Current children cumulated memory: 845552 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.13 4.08 5/257 227844
/proc/meminfo: memFree=95703176/131524600 swapFree=131055836/131071996
[pid=225839] ppid=225836 vsize=901888 memory=845552 CPUtime=3451.63 cores=1,3
/proc/225839/stat : 225839 (ipbhs_static_sc) R 225836 225839 225610 0 -1 4194304 215272 0 0 0 345112 51 0 0 20 0 1 0 25634963 923533312 211388 134679101440 4194304 16068861 140726045332720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 33046528 140726045336614 140726045336701 140726045336701 140726045343716 0
/proc/225839/statm: 225472 211388 2895 2900 0 221986 0
Current children cumulated CPU time: 3451.63 s
Current children cumulated vsize: 901888 KiB
Current children cumulated memory: 845552 KiB
[startup+3522.3 s]
/proc/loadavg: 4.19 4.13 4.09 5/257 227855
/proc/meminfo: memFree=95676336/131524600 swapFree=131055836/131071996
[pid=225839] ppid=225836 vsize=901888 memory=845552 CPUtime=3511.42 cores=1,3
/proc/225839/stat : 225839 (ipbhs_static_sc) R 225836 225839 225610 0 -1 4194304 215479 0 0 0 351091 51 0 0 20 0 1 0 25634963 923533312 211388 134679101440 4194304 16068861 140726045332720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 33046528 140726045336614 140726045336701 140726045336701 140726045343716 0
/proc/225839/statm: 225472 211388 2895 2900 0 221986 0
Current children cumulated CPU time: 3511.42 s
Current children cumulated vsize: 901888 KiB
Current children cumulated memory: 845552 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/256 227866
/proc/meminfo: memFree=95597052/131524600 swapFree=131055836/131071996
[pid=225839] ppid=225836 vsize=958652 memory=901680 CPUtime=3571.19 cores=1,3
/proc/225839/stat : 225839 (ipbhs_static_sc) R 225836 225839 225610 0 -1 4194304 235008 0 0 0 357066 53 0 0 20 0 1 0 25634963 981659648 225420 134679101440 4194304 16068861 140726045332720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 33046528 140726045336614 140726045336701 140726045336701 140726045343716 0
/proc/225839/statm: 239663 225420 2895 2900 0 236177 0
Current children cumulated CPU time: 3571.19 s
Current children cumulated vsize: 958652 KiB
Current children cumulated memory: 901680 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.3 s]
/proc/loadavg: 4.20 4.15 4.10 5/256 227871
/proc/meminfo: memFree=95586320/131524600 swapFree=131055836/131071996
[pid=225839] ppid=225836 vsize=958652 memory=901680 CPUtime=3600.08 cores=1,3
/proc/225839/stat : 225839 (ipbhs_static_sc) R 225836 225839 225610 0 -1 4194304 235045 0 0 0 359955 53 0 0 20 0 1 0 25634963 981659648 225420 134679101440 4194304 16068861 140726045332720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 33046528 140726045336614 140726045336701 140726045336701 140726045343716 0
/proc/225839/statm: 239663 225420 2895 2900 0 236177 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 958652 KiB
Current children cumulated memory: 901680 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.31 s]
# the end of solver process 225839 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3599.56 s, system=0.539448 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.3 s]
/proc/loadavg: 4.20 4.15 4.10 5/256 227871
/proc/meminfo: memFree=95586320/131524600 swapFree=131055836/131071996
[pid=225839] ppid=225836 vsize=958652 memory=901680 CPUtime=3600.08 cores=1,3
/proc/225839/stat : 225839 (ipbhs_static_sc) R 225836 225839 225610 0 -1 4194304 235045 0 0 0 359955 53 0 0 20 0 1 0 25634963 981659648 225420 134679101440 4194304 16068861 140726045332720 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 33046528 140726045336614 140726045336701 140726045336701 140726045343716 0
/proc/225839/statm: 239663 225420 2895 2900 0 236177 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 958652 KiB
Current children cumulated memory: 901680 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3611.31
CPU time (s): 3600.1
CPU user time (s): 3599.56
CPU system time (s): 0.539448
CPU usage (%): 99.6896
Max. virtual memory (cumulated for all children) (KiB): 982256
Max. memory (cumulated for all children) (KiB): 922584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.56
system time used= 0.539448
maximum resident set size= 922584
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 235045
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= 36
involuntary context switches= 1322
# summary of solver processes directly reported to runsolver:
# pid: 225839
# total CPU time (s): 3600.1
# total CPU user time (s): 3599.56
# total CPU system time (s): 0.539448
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.86919 second user time and 16.8686 second system time
The end
Begin job on nodeC033 at 2024-07-25 09:04:13
IDJOB=4459038
IDBENCH=178476
IDSOLVER=3057
FILE ID=nodeC033/4459038-1721891052
RUNJOBID= nodeC033-1721890771-225622
SLURM_JOB_ID= 8089342
Free space on /tmp= 889916 MiB
SOLVER NAME= IPBHS-SCIP 2024-07-09
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/vertexcover_opt_grid_evenrowoddcolsquare/normalized-vertexcover_opt_grid_evenrowoddcolsquare_dim_160.opb
COMMAND LINE= ./ipbhs_static_scip BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459038-1721891052/watcher-4459038-1721891052 -o /tmp/evaluation-result-4459038-1721891052/solver-4459038-1721891052 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721890771-225622 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4459038-1721891052.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a644b55a2fda92c1d941543f185d4bb9
RANDOM SEED=1614124550
nodeC033.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 : 3680.439
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.99
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 : 3668.677
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.76
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 : 3600.395
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.99
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 : 3677.628
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.76
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 : 3680.472
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.99
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 : 3675.248
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.76
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.165
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.99
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.242
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.76
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 123835620 kB
MemAvailable: 127797596 kB
Buffers: 300700 kB
Cached: 4459204 kB
SwapCached: 300 kB
Active: 2516036 kB
Inactive: 4509856 kB
Active(anon): 2256 kB
Inactive(anon): 2316800 kB
Active(file): 2513780 kB
Inactive(file): 2193056 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131055836 kB
Dirty: 55524 kB
Writeback: 0 kB
AnonPages: 2265312 kB
Mapped: 143256 kB
Shmem: 53064 kB
KReclaimable: 189928 kB
Slab: 305540 kB
SReclaimable: 189928 kB
SUnreclaim: 115612 kB
KernelStack: 4156 kB
PageTables: 13640 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 2912160 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 16704 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1112064 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: 391892 kB
DirectMap2M: 39227392 kB
DirectMap1G: 96468992 kB
Free space on /tmp at the end= 889680 MiB
End job on nodeC033 at 2024-07-25 10:04:24