242.67/243.32 c initialize IPBHS solver
242.67/243.32 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
242.67/243.32 c optimizer = "scip"
242.67/243.32 c pbsolver = "roundingsat"
242.67/243.32 c load symmetries from file ""
242.67/243.32 c set time limit for symmetry computation to 100 seconds.
242.67/243.32 c set interchangeable summation variable limit to 3
242.67/243.32 c set abs symmetric core budget per WCE-iteration to 100
242.67/243.32 c set rel symmetric core budget per WCE-iteration to 0
242.67/243.32 c set lit symmetric core budget per WCE-iteration to 0
242.67/243.32 c set sym generation to 's'
242.67/243.32 c set abstraction set creation to 10 iterations without LB change
242.67/243.32 c set abstraction set inputs to 0
242.67/243.32 c set abstraction set cluster min size to 2
242.67/243.32 c set abstraction set cluster max size to 100000000
242.67/243.32 c set abstraction set cluster activation limit to 2
242.67/243.32 c enable abstraction set require equal cost
242.67/243.32 c set abstraction set assumptions to 0
242.67/243.32 c set abstraction set constraint type to 0
242.67/243.32 c set abstract core extraction strategy to b
242.67/243.32 c set core extraction strategy to 2
242.67/243.32 c set core extraction shuffles 10
242.67/243.32 c set cores per iteration to 5
242.67/243.32 c set optimizer bound usage strategy to 2
242.67/243.32 c set optimizer max non-optimal iterations to 1000
242.67/243.32 c set small core cardinality limit to 2
242.67/243.32 c set max coef in cores to 1000000000
242.67/243.32 c set SIS iterations to 5
242.67/243.32 c set SIS budget abs to 1000
242.67/243.32 c set SIS budget rel to 0.05
242.67/243.32 c limit for coefficient in constraints and objective to 9223372036854775807
242.67/243.32 c will solve HOME/instance-4458843-1721890772.opb
242.67/243.32 c [0.23] solve iteration 1, LB=-1815, UB=1
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 (61754 MiB free)
memory of node 1: 64473 MiB (61051 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458843-1721890772/watcher-4458843-1721890772 -o /tmp/evaluation-result-4458843-1721890772/solver-4458843-1721890772 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721890771-225623 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4458843-1721890772.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=225682, runsolver pid=225668
[startup+0.10053 s]*
/proc/loadavg: 1.07 1.11 1.45 8/260 225685
/proc/meminfo: memFree=125628068/131524600 swapFree=131055836/131071996
[pid=225682] ppid=225668 vsize=40448 memory=15528 CPUtime=0.09 cores=5,7
/proc/225682/stat : 225682 (ipbhs_static_sc) R 225668 225682 225610 0 -1 4194304 3499 0 0 0 9 0 0 0 20 0 1 0 25606901 41418752 3882 134679101440 4194304 16068861 140736874481984 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 47091712 140736874488870 140736874488957 140736874488957 140736874495972 0
/proc/225682/statm: 10112 3882 1023 2900 0 6626 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 40448 KiB
Current children cumulated memory: 15528 KiB
[startup+0.206387 s]*
/proc/loadavg: 1.07 1.11 1.45 8/260 225685
/proc/meminfo: memFree=125543552/131524600 swapFree=131055836/131071996
[pid=225682] ppid=225668 vsize=52276 memory=28332 CPUtime=0.2 cores=5,7
/proc/225682/stat : 225682 (ipbhs_static_sc) R 225668 225682 225610 0 -1 4194304 6059 0 0 0 19 1 0 0 20 0 1 0 25606901 53530624 7083 134679101440 4194304 16068861 140736874481984 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 47091712 140736874488870 140736874488957 140736874488957 140736874495972 0
/proc/225682/statm: 13069 7083 1135 2900 0 9583 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 52276 KiB
Current children cumulated memory: 28332 KiB
[startup+0.306564 s]*
/proc/loadavg: 1.07 1.11 1.45 9/260 225685
/proc/meminfo: memFree=125523936/131524600 swapFree=131055836/131071996
[pid=225682] ppid=225668 vsize=54392 memory=33280 CPUtime=0.3 cores=5,7
/proc/225682/stat : 225682 (ipbhs_static_sc) R 225668 225682 225610 0 -1 4194304 6775 0 0 0 25 5 0 0 20 0 1 0 25606901 55697408 8320 134679101440 4194304 16068861 140736874481984 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 47091712 140736874488870 140736874488957 140736874488957 140736874495972 0
/proc/225682/statm: 13598 8320 1135 2900 0 10112 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 54392 KiB
Current children cumulated memory: 33280 KiB
[startup+0.700198 s]
/proc/loadavg: 1.07 1.11 1.45 8/260 225685
/proc/meminfo: memFree=125489636/131524600 swapFree=131055836/131071996
[pid=225682] ppid=225668 vsize=129716 memory=110448 CPUtime=0.69 cores=5,7
/proc/225682/stat : 225682 (ipbhs_static_sc) R 225668 225682 225610 0 -1 4194304 23886 0 0 0 47 22 0 0 20 0 1 0 25606901 132829184 27612 134679101440 4194304 16068861 140736874481984 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 47091712 140736874488870 140736874488957 140736874488957 140736874495972 0
/proc/225682/statm: 32429 27612 2383 2900 0 28943 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 129716 KiB
Current children cumulated memory: 110448 KiB
[startup+1.50025 s]
/proc/loadavg: 1.07 1.11 1.45 8/260 225685
/proc/meminfo: memFree=125274804/131524600 swapFree=131055836/131071996
[pid=225682] ppid=225668 vsize=494716 memory=416012 CPUtime=1.48 cores=5,7
/proc/225682/stat : 225682 (ipbhs_static_sc) R 225668 225682 225610 0 -1 4194304 68512 0 0 0 109 39 0 0 20 0 1 0 25606901 506589184 104003 134679101440 4194304 16068861 140736874481984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 47091712 140736874488870 140736874488957 140736874488957 140736874495972 0
/proc/225682/statm: 123679 104003 2671 2900 0 120193 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 494716 KiB
Current children cumulated memory: 416012 KiB
[startup+3.10634 s]
/proc/loadavg: 1.30 1.16 1.47 8/260 225685
/proc/meminfo: memFree=124670720/131524600 swapFree=131055836/131071996
[pid=225682] ppid=225668 vsize=806444 memory=715192 CPUtime=3.09 cores=5,7
/proc/225682/stat : 225682 (ipbhs_static_sc) R 225668 225682 225610 0 -1 4194304 92561 0 0 0 262 47 0 0 20 0 1 0 25606901 825798656 178798 134679101440 4194304 16068861 140736874481984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 47091712 140736874488870 140736874488957 140736874488957 140736874495972 0
/proc/225682/statm: 201611 178798 2703 2900 0 198125 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 806444 KiB
Current children cumulated memory: 715192 KiB
[startup+6.30017 s]
/proc/loadavg: 1.30 1.16 1.47 8/260 225685
/proc/meminfo: memFree=124586480/131524600 swapFree=131055836/131071996
[pid=225682] ppid=225668 vsize=848004 memory=767968 CPUtime=6.27 cores=5,7
/proc/225682/stat : 225682 (ipbhs_static_sc) R 225668 225682 225610 0 -1 4194304 108077 0 0 0 577 50 0 0 20 0 1 0 25606901 868356096 191992 134679101440 4194304 16068861 140736874481984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 47091712 140736874488870 140736874488957 140736874488957 140736874495972 0
/proc/225682/statm: 212001 191992 2863 2900 0 208515 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 848004 KiB
Current children cumulated memory: 767968 KiB
[startup+12.7002 s]
/proc/loadavg: 1.60 1.22 1.48 8/260 225687
/proc/meminfo: memFree=124570136/131524600 swapFree=131055836/131071996
[pid=225682] ppid=225668 vsize=848004 memory=767968 CPUtime=12.65 cores=5,7
/proc/225682/stat : 225682 (ipbhs_static_sc) R 225668 225682 225610 0 -1 4194304 108094 0 0 0 1215 50 0 0 20 0 1 0 25606901 868356096 191992 134679101440 4194304 16068861 140736874481984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 47091712 140736874488870 140736874488957 140736874488957 140736874495972 0
/proc/225682/statm: 212001 191992 2863 2900 0 208515 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 848004 KiB
Current children cumulated memory: 767968 KiB
[startup+25.5002 s]
/proc/loadavg: 2.13 1.36 1.53 7/259 225734
/proc/meminfo: memFree=124378148/131524600 swapFree=131055836/131071996
[pid=225682] ppid=225668 vsize=867488 memory=779280 CPUtime=25.43 cores=5,7
/proc/225682/stat : 225682 (ipbhs_static_sc) R 225668 225682 225610 0 -1 4194304 109445 0 0 0 2491 52 0 0 20 0 1 0 25606901 888307712 194820 134679101440 4194304 16068861 140736874481984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 47091712 140736874488870 140736874488957 140736874488957 140736874495972 0
/proc/225682/statm: 216872 194820 2863 2900 0 213386 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 867488 KiB
Current children cumulated memory: 779280 KiB
[startup+51.1063 s]
/proc/loadavg: 2.83 1.59 1.60 7/258 225741
/proc/meminfo: memFree=123838280/131524600 swapFree=131055836/131071996
[pid=225682] ppid=225668 vsize=1364772 memory=1226640 CPUtime=50.96 cores=5,7
/proc/225682/stat : 225682 (ipbhs_static_sc) R 225668 225682 225610 0 -1 4194304 146018 0 0 0 5034 62 0 0 20 0 1 0 25606901 1397526528 306660 134679101440 4194304 16068861 140736874481984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 47091712 140736874488870 140736874488957 140736874488957 140736874495972 0
/proc/225682/statm: 341193 306660 2879 2900 0 337707 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 1364772 KiB
Current children cumulated memory: 1226640 KiB
[startup+102.3 s]
/proc/loadavg: 3.55 1.98 1.73 7/258 225761
/proc/meminfo: memFree=123799972/131524600 swapFree=131055836/131071996
[pid=225682] ppid=225668 vsize=1364772 memory=1226728 CPUtime=102.02 cores=5,7
/proc/225682/stat : 225682 (ipbhs_static_sc) R 225668 225682 225610 0 -1 4194304 146065 0 0 0 10139 63 0 0 20 0 1 0 25606901 1397526528 306682 134679101440 4194304 16068861 140736874481984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 47091712 140736874488870 140736874488957 140736874488957 140736874495972 0
/proc/225682/statm: 341193 306682 2879 2900 0 337707 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 1364772 KiB
Current children cumulated memory: 1226728 KiB
[startup+162.3 s]
/proc/loadavg: 3.88 2.36 1.88 7/259 225773
/proc/meminfo: memFree=123743168/131524600 swapFree=131055836/131071996
[pid=225682] ppid=225668 vsize=1380520 memory=1232220 CPUtime=161.88 cores=5,7
/proc/225682/stat : 225682 (ipbhs_static_sc) R 225668 225682 225610 0 -1 4194304 147498 0 0 0 16124 64 0 0 20 0 1 0 25606901 1413652480 308055 134679101440 4194304 16068861 140736874481984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 47091712 140736874488870 140736874488957 140736874488957 140736874495972 0
/proc/225682/statm: 345130 308055 2895 2900 0 341644 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 1380520 KiB
Current children cumulated memory: 1232220 KiB
[startup+222.3 s]
/proc/loadavg: 3.99 2.68 2.02 7/259 225784
/proc/meminfo: memFree=123737940/131524600 swapFree=131055836/131071996
[pid=225682] ppid=225668 vsize=1380520 memory=1232792 CPUtime=221.73 cores=5,7
/proc/225682/stat : 225682 (ipbhs_static_sc) R 225668 225682 225610 0 -1 4194304 147526 0 0 0 22108 65 0 0 20 0 1 0 25606901 1413652480 308198 134679101440 4194304 16068861 140736874481984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 47091712 140736874488870 140736874488957 140736874488957 140736874495972 0
/proc/225682/statm: 345130 308198 2895 2900 0 341644 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 1380520 KiB
Current children cumulated memory: 1232792 KiB
[startup+282.3 s]
/proc/loadavg: 4.04 2.93 2.15 6/258 225840
/proc/meminfo: memFree=123511632/131524600 swapFree=131055836/131071996
[pid=225682] ppid=225668 vsize=1487024 memory=1336780 CPUtime=281.57 cores=5,7
/proc/225682/stat : 225682 (ipbhs_static_sc) R 225668 225682 225610 0 -1 4194304 173691 0 0 0 28088 69 0 0 20 0 1 0 25606901 1522712576 334195 134679101440 4194304 16068861 140736874481984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 47091712 140736874488870 140736874488957 140736874488957 140736874495972 0
/proc/225682/statm: 371756 334195 2895 2900 0 368270 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 1487024 KiB
Current children cumulated memory: 1336780 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 3.16 2.28 6/256 225850
/proc/meminfo: memFree=123229008/131524600 swapFree=131055836/131071996
[pid=225682] ppid=225668 vsize=1487024 memory=1342200 CPUtime=341.3 cores=5,7
/proc/225682/stat : 225682 (ipbhs_static_sc) R 225668 225682 225610 0 -1 4194304 173958 0 0 0 34061 69 0 0 20 0 1 0 25606901 1522712576 335550 134679101440 4194304 16068861 140736874481984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 47091712 140736874488870 140736874488957 140736874488957 140736874495972 0
/proc/225682/statm: 371756 335550 2895 2900 0 368270 0
Current children cumulated CPU time: 341.3 s
Current children cumulated vsize: 1487024 KiB
Current children cumulated memory: 1342200 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 3.33 2.40 6/255 225862
/proc/meminfo: memFree=123219968/131524600 swapFree=131055836/131071996
[pid=225682] ppid=225668 vsize=1487024 memory=1342512 CPUtime=401.13 cores=5,7
/proc/225682/stat : 225682 (ipbhs_static_sc) R 225668 225682 225610 0 -1 4194304 174145 0 0 0 40043 70 0 0 20 0 1 0 25606901 1522712576 335628 134679101440 4194304 16068861 140736874481984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 47091712 140736874488870 140736874488957 140736874488957 140736874495972 0
/proc/225682/statm: 371756 335628 2895 2900 0 368270 0
Current children cumulated CPU time: 401.13 s
Current children cumulated vsize: 1487024 KiB
Current children cumulated memory: 1342512 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 3.47 2.51 6/254 225872
/proc/meminfo: memFree=123201412/131524600 swapFree=131055836/131071996
[pid=225682] ppid=225668 vsize=1487024 memory=1343128 CPUtime=460.93 cores=5,7
/proc/225682/stat : 225682 (ipbhs_static_sc) R 225668 225682 225610 0 -1 4194304 174433 0 0 0 46023 70 0 0 20 0 1 0 25606901 1522712576 335782 134679101440 4194304 16068861 140736874481984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 47091712 140736874488870 140736874488957 140736874488957 140736874495972 0
/proc/225682/statm: 371756 335782 2895 2900 0 368270 0
################
# More data... #
################
Current children cumulated memory: 1350724 KiB
[startup+2922.3 s]
/proc/loadavg: 4.13 4.13 4.03 5/255 227034
/proc/meminfo: memFree=106212584/131524600 swapFree=131055836/131071996
[pid=225682] ppid=225668 vsize=1487024 memory=1350724 CPUtime=2911.67 cores=5,7
/proc/225682/stat : 225682 (ipbhs_static_sc) R 225668 225682 225610 0 -1 4194304 188761 0 0 0 291094 73 0 0 20 0 1 0 25606901 1522712576 337681 134679101440 4194304 16068861 140736874481984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 47091712 140736874488870 140736874488957 140736874488957 140736874495972 0
/proc/225682/statm: 371756 337681 2895 2900 0 368270 0
Current children cumulated CPU time: 2911.67 s
Current children cumulated vsize: 1487024 KiB
Current children cumulated memory: 1350724 KiB
[startup+2982.3 s]
/proc/loadavg: 4.10 4.12 4.03 5/255 227045
/proc/meminfo: memFree=106211536/131524600 swapFree=131055836/131071996
[pid=225682] ppid=225668 vsize=1501952 memory=1350732 CPUtime=2971.47 cores=5,7
/proc/225682/stat : 225682 (ipbhs_static_sc) R 225668 225682 225610 0 -1 4194304 189184 0 0 0 297074 73 0 0 20 0 1 0 25606901 1537998848 337683 134679101440 4194304 16068861 140736874481984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 47091712 140736874488870 140736874488957 140736874488957 140736874495972 0
/proc/225682/statm: 375488 337683 2895 2900 0 372002 0
Current children cumulated CPU time: 2971.47 s
Current children cumulated vsize: 1501952 KiB
Current children cumulated memory: 1350732 KiB
[startup+3042.3 s]
/proc/loadavg: 4.08 4.11 4.03 5/256 227060
/proc/meminfo: memFree=106210824/131524600 swapFree=131055836/131071996
[pid=225682] ppid=225668 vsize=1501952 memory=1350732 CPUtime=3031.22 cores=5,7
/proc/225682/stat : 225682 (ipbhs_static_sc) R 225668 225682 225610 0 -1 4194304 189447 0 0 0 303049 73 0 0 20 0 1 0 25606901 1537998848 337683 134679101440 4194304 16068861 140736874481984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 47091712 140736874488870 140736874488957 140736874488957 140736874495972 0
/proc/225682/statm: 375488 337683 2895 2900 0 372002 0
Current children cumulated CPU time: 3031.22 s
Current children cumulated vsize: 1501952 KiB
Current children cumulated memory: 1350732 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.10 4.03 5/256 227071
/proc/meminfo: memFree=106210004/131524600 swapFree=131055836/131071996
[pid=225682] ppid=225668 vsize=1501952 memory=1350732 CPUtime=3090.99 cores=5,7
/proc/225682/stat : 225682 (ipbhs_static_sc) R 225668 225682 225610 0 -1 4194304 189783 0 0 0 309026 73 0 0 20 0 1 0 25606901 1537998848 337683 134679101440 4194304 16068861 140736874481984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 47091712 140736874488870 140736874488957 140736874488957 140736874495972 0
/proc/225682/statm: 375488 337683 2895 2900 0 372002 0
Current children cumulated CPU time: 3090.99 s
Current children cumulated vsize: 1501952 KiB
Current children cumulated memory: 1350732 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.09 4.03 5/256 227082
/proc/meminfo: memFree=106209244/131524600 swapFree=131055836/131071996
[pid=225682] ppid=225668 vsize=1511936 memory=1350736 CPUtime=3150.79 cores=5,7
/proc/225682/stat : 225682 (ipbhs_static_sc) R 225668 225682 225610 0 -1 4194304 190268 0 0 0 315006 73 0 0 20 0 1 0 25606901 1548222464 337684 134679101440 4194304 16068861 140736874481984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 47091712 140736874488870 140736874488957 140736874488957 140736874495972 0
/proc/225682/statm: 377984 337684 2895 2900 0 374498 0
Current children cumulated CPU time: 3150.79 s
Current children cumulated vsize: 1511936 KiB
Current children cumulated memory: 1350736 KiB
[startup+3222.3 s]
/proc/loadavg: 4.18 4.12 4.04 5/256 227093
/proc/meminfo: memFree=106208396/131524600 swapFree=131055836/131071996
[pid=225682] ppid=225668 vsize=1511936 memory=1350736 CPUtime=3210.57 cores=5,7
/proc/225682/stat : 225682 (ipbhs_static_sc) R 225668 225682 225610 0 -1 4194304 190668 0 0 0 320984 73 0 0 20 0 1 0 25606901 1548222464 337684 134679101440 4194304 16068861 140736874481984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 47091712 140736874488870 140736874488957 140736874488957 140736874495972 0
/proc/225682/statm: 377984 337684 2895 2900 0 374498 0
Current children cumulated CPU time: 3210.57 s
Current children cumulated vsize: 1511936 KiB
Current children cumulated memory: 1350736 KiB
[startup+3282.3 s]
/proc/loadavg: 4.06 4.10 4.03 5/256 227103
/proc/meminfo: memFree=106207872/131524600 swapFree=131055836/131071996
[pid=225682] ppid=225668 vsize=1511936 memory=1350736 CPUtime=3270.37 cores=5,7
/proc/225682/stat : 225682 (ipbhs_static_sc) R 225668 225682 225610 0 -1 4194304 191055 0 0 0 326964 73 0 0 20 0 1 0 25606901 1548222464 337684 134679101440 4194304 16068861 140736874481984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 47091712 140736874488870 140736874488957 140736874488957 140736874495972 0
/proc/225682/statm: 377984 337684 2895 2900 0 374498 0
Current children cumulated CPU time: 3270.37 s
Current children cumulated vsize: 1511936 KiB
Current children cumulated memory: 1350736 KiB
[startup+3342.3 s]
/proc/loadavg: 4.32 4.18 4.07 5/258 227497
/proc/meminfo: memFree=106206656/131524600 swapFree=131055836/131071996
[pid=225682] ppid=225668 vsize=1511936 memory=1350736 CPUtime=3330.11 cores=5,7
/proc/225682/stat : 225682 (ipbhs_static_sc) R 225668 225682 225610 0 -1 4194304 191409 0 0 0 332938 73 0 0 20 0 1 0 25606901 1548222464 337684 134679101440 4194304 16068861 140736874481984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 47091712 140736874488870 140736874488957 140736874488957 140736874495972 0
/proc/225682/statm: 377984 337684 2895 2900 0 374498 0
Current children cumulated CPU time: 3330.11 s
Current children cumulated vsize: 1511936 KiB
Current children cumulated memory: 1350736 KiB
[startup+3402.3 s]
/proc/loadavg: 4.22 4.18 4.07 5/256 227509
/proc/meminfo: memFree=106206432/131524600 swapFree=131055836/131071996
[pid=225682] ppid=225668 vsize=1511936 memory=1350736 CPUtime=3389.88 cores=5,7
/proc/225682/stat : 225682 (ipbhs_static_sc) R 225668 225682 225610 0 -1 4194304 191709 0 0 0 338915 73 0 0 20 0 1 0 25606901 1548222464 337684 134679101440 4194304 16068861 140736874481984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 47091712 140736874488870 140736874488957 140736874488957 140736874495972 0
/proc/225682/statm: 377984 337684 2895 2900 0 374498 0
Current children cumulated CPU time: 3389.88 s
Current children cumulated vsize: 1511936 KiB
Current children cumulated memory: 1350736 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.16 4.07 5/256 227520
/proc/meminfo: memFree=106205724/131524600 swapFree=131055836/131071996
[pid=225682] ppid=225668 vsize=1511936 memory=1350736 CPUtime=3449.66 cores=5,7
/proc/225682/stat : 225682 (ipbhs_static_sc) R 225668 225682 225610 0 -1 4194304 192114 0 0 0 344893 73 0 0 20 0 1 0 25606901 1548222464 337684 134679101440 4194304 16068861 140736874481984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 47091712 140736874488870 140736874488957 140736874488957 140736874495972 0
/proc/225682/statm: 377984 337684 2895 2900 0 374498 0
Current children cumulated CPU time: 3449.66 s
Current children cumulated vsize: 1511936 KiB
Current children cumulated memory: 1350736 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.14 4.07 5/257 227699
/proc/meminfo: memFree=106204584/131524600 swapFree=131055836/131071996
[pid=225682] ppid=225668 vsize=1511936 memory=1350736 CPUtime=3509.42 cores=5,7
/proc/225682/stat : 225682 (ipbhs_static_sc) R 225668 225682 225610 0 -1 4194304 192511 0 0 0 350869 73 0 0 20 0 1 0 25606901 1548222464 337684 134679101440 4194304 16068861 140736874481984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 47091712 140736874488870 140736874488957 140736874488957 140736874495972 0
/proc/225682/statm: 377984 337684 2895 2900 0 374498 0
Current children cumulated CPU time: 3509.42 s
Current children cumulated vsize: 1511936 KiB
Current children cumulated memory: 1350736 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.13 4.07 5/257 227711
/proc/meminfo: memFree=106204172/131524600 swapFree=131055836/131071996
[pid=225682] ppid=225668 vsize=1511936 memory=1350736 CPUtime=3569.18 cores=5,7
/proc/225682/stat : 225682 (ipbhs_static_sc) R 225668 225682 225610 0 -1 4194304 192875 0 0 0 356845 73 0 0 20 0 1 0 25606901 1548222464 337684 134679101440 4194304 16068861 140736874481984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 47091712 140736874488870 140736874488957 140736874488957 140736874495972 0
/proc/225682/statm: 377984 337684 2895 2900 0 374498 0
Current children cumulated CPU time: 3569.18 s
Current children cumulated vsize: 1511936 KiB
Current children cumulated memory: 1350736 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3613.3 s]
/proc/loadavg: 4.12 4.13 4.08 5/257 227715
/proc/meminfo: memFree=106204092/131524600 swapFree=131055836/131071996
[pid=225682] ppid=225668 vsize=1511936 memory=1350736 CPUtime=3600.09 cores=5,7
/proc/225682/stat : 225682 (ipbhs_static_sc) R 225668 225682 225610 0 -1 4194304 193089 0 0 0 359936 73 0 0 20 0 1 0 25606901 1548222464 337684 134679101440 4194304 16068861 140736874481984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 47091712 140736874488870 140736874488957 140736874488957 140736874495972 0
/proc/225682/statm: 377984 337684 2895 2900 0 374498 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 1511936 KiB
Current children cumulated memory: 1350736 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3613.3 s]
# the end of solver process 225682 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3599.36 s, system=0.744284 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3613.3 s]
/proc/loadavg: 4.12 4.13 4.08 5/257 227715
/proc/meminfo: memFree=106204092/131524600 swapFree=131055836/131071996
[pid=225682] ppid=225668 vsize=1511936 memory=1350736 CPUtime=3600.09 cores=5,7
/proc/225682/stat : 225682 (ipbhs_static_sc) R 225668 225682 225610 0 -1 4194304 193089 0 0 0 359936 73 0 0 20 0 1 0 25606901 1548222464 337684 134679101440 4194304 16068861 140736874481984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 47091712 140736874488870 140736874488957 140736874488957 140736874495972 0
/proc/225682/statm: 377984 337684 2895 2900 0 374498 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 1511936 KiB
Current children cumulated memory: 1350736 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3613.3
CPU time (s): 3600.1
CPU user time (s): 3599.36
CPU system time (s): 0.744284
CPU usage (%): 99.6347
Max. virtual memory (cumulated for all children) (KiB): 1511936
Max. memory (cumulated for all children) (KiB): 1350736
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.36
system time used= 0.744284
maximum resident set size= 1350736
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 193089
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= 27
involuntary context switches= 982
# summary of solver processes directly reported to runsolver:
# pid: 225682
# total CPU time (s): 3600.1
# total CPU user time (s): 3599.36
# total CPU system time (s): 0.744284
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.83664 second user time and 18.4006 second system time
The end
Begin job on nodeC033 at 2024-07-25 08:59:32
IDJOB=4458843
IDBENCH=178226
IDSOLVER=3057
FILE ID=nodeC033/4458843-1721890772
RUNJOBID= nodeC033-1721890771-225623
SLURM_JOB_ID= 8089342
Free space on /tmp= 890076 MiB
SOLVER NAME= IPBHS-SCIP 2024-07-09
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_6-partite_inlv/normalized-maxcut_opt_complete_6-partite_inlv_nvert_66.opb
COMMAND LINE= ./ipbhs_static_scip BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458843-1721890772/watcher-4458843-1721890772 -o /tmp/evaluation-result-4458843-1721890772/solver-4458843-1721890772 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721890771-225623 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4458843-1721890772.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 7cbab653d296f81eb095bf1f983193d8
RANDOM SEED=1480268675
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 : 3351.212
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 : 3676.676
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 : 3601.555
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 : 3355.552
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 : 3622.354
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 : 3676.779
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 : 3565.486
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 : 3542.551
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: 125755648 kB
MemAvailable: 129712496 kB
Buffers: 300416 kB
Cached: 4454348 kB
SwapCached: 300 kB
Active: 2508456 kB
Inactive: 2601884 kB
Active(anon): 2124 kB
Inactive(anon): 406516 kB
Active(file): 2506332 kB
Inactive(file): 2195368 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131055836 kB
Dirty: 221948 kB
Writeback: 12 kB
AnonPages: 355208 kB
Mapped: 108228 kB
Shmem: 53064 kB
KReclaimable: 189944 kB
Slab: 305548 kB
SReclaimable: 189944 kB
SUnreclaim: 115604 kB
KernelStack: 3888 kB
PageTables: 9600 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 744064 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 16704 kB
HardwareCorrupted: 0 kB
AnonHugePages: 233472 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= 889756 MiB
End job on nodeC033 at 2024-07-25 09:59:45