2.38/2.45 c initialize IPBHS solver
2.38/2.45 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
2.38/2.45 c optimizer = "scip"
2.38/2.45 c pbsolver = "roundingsat"
2.38/2.45 c load symmetries from file ""
2.38/2.45 c set time limit for symmetry computation to 100 seconds.
2.38/2.45 c set interchangeable summation variable limit to 3
2.38/2.45 c set abs symmetric core budget per WCE-iteration to 100
2.38/2.45 c set rel symmetric core budget per WCE-iteration to 0
2.38/2.45 c set lit symmetric core budget per WCE-iteration to 0
2.38/2.45 c set sym generation to 's'
2.38/2.45 c set abstraction set creation to 10 iterations without LB change
2.38/2.45 c set abstraction set inputs to 0
2.38/2.45 c set abstraction set cluster min size to 2
2.38/2.45 c set abstraction set cluster max size to 100000000
2.38/2.45 c set abstraction set cluster activation limit to 2
2.38/2.45 c enable abstraction set require equal cost
2.38/2.45 c set abstraction set assumptions to 0
2.38/2.45 c set abstraction set constraint type to 0
2.38/2.45 c set abstract core extraction strategy to b
2.38/2.45 c set core extraction strategy to 2
2.38/2.45 c set core extraction shuffles 10
2.38/2.45 c set cores per iteration to 5
2.38/2.45 c set optimizer bound usage strategy to 2
2.38/2.45 c set optimizer max non-optimal iterations to 1000
2.38/2.45 c set small core cardinality limit to 2
2.38/2.45 c set max coef in cores to 1000000000
2.38/2.45 c set SIS iterations to 5
2.38/2.45 c set SIS budget abs to 1000
2.38/2.45 c set SIS budget rel to 0.05
2.38/2.45 c limit for coefficient in constraints and objective to 9223372036854775807
2.38/2.45 c will solve HOME/instance-4431821-1721090165.opb
2.38/2.45 c [0] solve iteration 1, LB=0, UB=471
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (61726 MiB free)
memory of node 1: 64510 MiB (63158 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431821-1721090165/watcher-4431821-1721090165 -o /tmp/evaluation-result-4431821-1721090165/solver-4431821-1721090165 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721090178-833552 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4431821-1721090165.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=833615, runsolver pid=833608
Current StackSize limit: 8192 KiB
[startup+0.100088 s]*
/proc/loadavg: 3.88 4.06 4.07 6/257 833617
/proc/meminfo: memFree=127852064/131524600 swapFree=131071996/131071996
[pid=833615] ppid=833608 vsize=38804 memory=22348 CPUtime=0.09 cores=0,2
/proc/833615/stat : 833615 (ipbhs_static_sc) R 833608 833615 833542 0 -1 4194304 2533 0 0 0 9 0 0 0 20 0 1 0 161184808 39735296 5587 134679101440 4194304 16068861 140727480927216 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 24576000 140727480931366 140727480931453 140727480931453 140727480938468 0
/proc/833615/statm: 9701 5587 2879 2900 0 6215 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38804 KiB
Current children cumulated memory: 22348 KiB
[startup+0.205763 s]*
/proc/loadavg: 3.88 4.06 4.07 6/257 833617
/proc/meminfo: memFree=127851064/131524600 swapFree=131071996/131071996
[pid=833615] ppid=833608 vsize=38804 memory=22348 CPUtime=0.2 cores=0,2
/proc/833615/stat : 833615 (ipbhs_static_sc) R 833608 833615 833542 0 -1 4194304 2545 0 0 0 20 0 0 0 20 0 1 0 161184808 39735296 5587 134679101440 4194304 16068861 140727480927216 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 24576000 140727480931366 140727480931453 140727480931453 140727480938468 0
/proc/833615/statm: 9701 5587 2879 2900 0 6215 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 38804 KiB
Current children cumulated memory: 22348 KiB
[startup+0.304957 s]*
/proc/loadavg: 3.88 4.06 4.07 6/257 833617
/proc/meminfo: memFree=127849444/131524600 swapFree=131071996/131071996
[pid=833615] ppid=833608 vsize=39148 memory=22512 CPUtime=0.29 cores=0,2
/proc/833615/stat : 833615 (ipbhs_static_sc) R 833608 833615 833542 0 -1 4194304 2628 0 0 0 29 0 0 0 20 0 1 0 161184808 40087552 5628 134679101440 4194304 16068861 140727480927216 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 24576000 140727480931366 140727480931453 140727480931453 140727480938468 0
/proc/833615/statm: 9787 5628 2879 2900 0 6301 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 39148 KiB
Current children cumulated memory: 22512 KiB
[startup+0.700179 s]
/proc/loadavg: 3.88 4.06 4.07 5/257 833617
/proc/meminfo: memFree=127844304/131524600 swapFree=131071996/131071996
[pid=833615] ppid=833608 vsize=45640 memory=28112 CPUtime=0.68 cores=0,2
/proc/833615/stat : 833615 (ipbhs_static_sc) R 833608 833615 833542 0 -1 4194304 4121 0 0 0 68 0 0 0 20 0 1 0 161184808 46735360 7028 134679101440 4194304 16068861 140727480927216 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 24576000 140727480931366 140727480931453 140727480931453 140727480938468 0
/proc/833615/statm: 11410 7028 2895 2900 0 7924 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 45640 KiB
Current children cumulated memory: 28112 KiB
[startup+1.50021 s]
/proc/loadavg: 3.88 4.06 4.07 6/257 833619
/proc/meminfo: memFree=127814020/131524600 swapFree=131071996/131071996
[pid=833615] ppid=833608 vsize=71164 memory=53252 CPUtime=1.48 cores=0,2
/proc/833615/stat : 833615 (ipbhs_static_sc) R 833608 833615 833542 0 -1 4194304 10396 0 0 0 147 1 0 0 20 0 1 0 161184808 72871936 13313 134679101440 4194304 16068861 140727480927216 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 24576000 140727480931366 140727480931453 140727480931453 140727480938468 0
/proc/833615/statm: 17791 13313 2911 2900 0 14305 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 71164 KiB
Current children cumulated memory: 53252 KiB
[startup+3.10578 s]
/proc/loadavg: 3.88 4.06 4.07 6/257 833619
/proc/meminfo: memFree=127682308/131524600 swapFree=131071996/131071996
[pid=833615] ppid=833608 vsize=82568 memory=64012 CPUtime=3.08 cores=0,2
/proc/833615/stat : 833615 (ipbhs_static_sc) R 833608 833615 833542 0 -1 4194304 13145 0 0 0 307 1 0 0 20 0 1 0 161184808 84549632 16003 134679101440 4194304 16068861 140727480927216 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 24576000 140727480931366 140727480931453 140727480931453 140727480938468 0
/proc/833615/statm: 20642 16003 2911 2900 0 17156 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 82568 KiB
Current children cumulated memory: 64012 KiB
[startup+6.30014 s]
/proc/loadavg: 3.89 4.05 4.07 5/257 833619
/proc/meminfo: memFree=127680368/131524600 swapFree=131071996/131071996
[pid=833615] ppid=833608 vsize=82568 memory=64012 CPUtime=6.27 cores=0,2
/proc/833615/stat : 833615 (ipbhs_static_sc) R 833608 833615 833542 0 -1 4194304 13154 0 0 0 626 1 0 0 20 0 1 0 161184808 84549632 16003 134679101440 4194304 16068861 140727480927216 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 24576000 140727480931366 140727480931453 140727480931453 140727480938468 0
/proc/833615/statm: 20642 16003 2911 2900 0 17156 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 82568 KiB
Current children cumulated memory: 64012 KiB
[startup+12.7001 s]
/proc/loadavg: 3.89 4.05 4.07 5/257 833620
/proc/meminfo: memFree=127678244/131524600 swapFree=131071996/131071996
[pid=833615] ppid=833608 vsize=82568 memory=64276 CPUtime=12.65 cores=0,2
/proc/833615/stat : 833615 (ipbhs_static_sc) R 833608 833615 833542 0 -1 4194304 13189 0 0 0 1264 1 0 0 20 0 1 0 161184808 84549632 16069 134679101440 4194304 16068861 140727480927216 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 24576000 140727480931366 140727480931453 140727480931453 140727480938468 0
/proc/833615/statm: 20642 16069 2911 2900 0 17156 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 82568 KiB
Current children cumulated memory: 64276 KiB
[startup+25.5002 s]
/proc/loadavg: 3.92 4.05 4.07 6/257 833623
/proc/meminfo: memFree=127593912/131524600 swapFree=131071996/131071996
[pid=833615] ppid=833608 vsize=106552 memory=86652 CPUtime=25.41 cores=0,2
/proc/833615/stat : 833615 (ipbhs_static_sc) R 833608 833615 833542 0 -1 4194304 18962 0 0 0 2539 2 0 0 20 0 1 0 161184808 109109248 21663 134679101440 4194304 16068861 140727480927216 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 24576000 140727480931366 140727480931453 140727480931453 140727480938468 0
/proc/833615/statm: 26638 21663 2911 2900 0 23152 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 106552 KiB
Current children cumulated memory: 86652 KiB
[startup+51.1058 s]
/proc/loadavg: 4.02 4.06 4.07 5/257 833627
/proc/meminfo: memFree=127590000/131524600 swapFree=131071996/131071996
[pid=833615] ppid=833608 vsize=103340 memory=84420 CPUtime=50.94 cores=0,2
/proc/833615/stat : 833615 (ipbhs_static_sc) R 833608 833615 833542 0 -1 4194304 19759 0 0 0 5092 2 0 0 20 0 1 0 161184808 105820160 21105 134679101440 4194304 16068861 140727480927216 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 24576000 140727480931366 140727480931453 140727480931453 140727480938468 0
/proc/833615/statm: 25835 21105 2911 2900 0 22349 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 103340 KiB
Current children cumulated memory: 84420 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.07 4.08 5/257 833636
/proc/meminfo: memFree=127547504/131524600 swapFree=131071996/131071996
[pid=833615] ppid=833608 vsize=113420 memory=93168 CPUtime=101.98 cores=0,2
/proc/833615/stat : 833615 (ipbhs_static_sc) R 833608 833615 833542 0 -1 4194304 22429 0 0 0 10195 3 0 0 20 0 1 0 161184808 116142080 23292 134679101440 4194304 16068861 140727480927216 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 24576000 140727480931366 140727480931453 140727480931453 140727480938468 0
/proc/833615/statm: 28355 23292 2911 2900 0 24869 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 113420 KiB
Current children cumulated memory: 93168 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.07 4.08 6/257 833646
/proc/meminfo: memFree=127441196/131524600 swapFree=131071996/131071996
[pid=833615] ppid=833608 vsize=145508 memory=125448 CPUtime=161.79 cores=0,2
/proc/833615/stat : 833615 (ipbhs_static_sc) R 833608 833615 833542 0 -1 4194304 30996 0 0 0 16175 4 0 0 20 0 1 0 161184808 149000192 31362 134679101440 4194304 16068861 140727480927216 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 24576000 140727480931366 140727480931453 140727480931453 140727480938468 0
/proc/833615/statm: 36377 31362 2911 2900 0 32891 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 145508 KiB
Current children cumulated memory: 125448 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.07 4.08 6/257 833657
/proc/meminfo: memFree=127408588/131524600 swapFree=131071996/131071996
[pid=833615] ppid=833608 vsize=154232 memory=133364 CPUtime=221.6 cores=0,2
/proc/833615/stat : 833615 (ipbhs_static_sc) R 833608 833615 833542 0 -1 4194304 32959 0 0 0 22155 5 0 0 20 0 1 0 161184808 157933568 33341 134679101440 4194304 16068861 140727480927216 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 24576000 140727480931366 140727480931453 140727480931453 140727480938468 0
/proc/833615/statm: 38558 33341 2911 2900 0 35072 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 154232 KiB
Current children cumulated memory: 133364 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.07 4.08 6/259 833671
/proc/meminfo: memFree=127375260/131524600 swapFree=131071996/131071996
[pid=833615] ppid=833608 vsize=161260 memory=141320 CPUtime=281.41 cores=0,2
/proc/833615/stat : 833615 (ipbhs_static_sc) R 833608 833615 833542 0 -1 4194304 35330 0 0 0 28136 5 0 0 20 0 1 0 161184808 165130240 35330 134679101440 4194304 16068861 140727480927216 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 24576000 140727480931366 140727480931453 140727480931453 140727480938468 0
/proc/833615/statm: 40315 35330 2911 2900 0 36829 0
Current children cumulated CPU time: 281.41 s
Current children cumulated vsize: 161260 KiB
Current children cumulated memory: 141320 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.07 4.08 6/257 833681
/proc/meminfo: memFree=127338656/131524600 swapFree=131071996/131071996
[pid=833615] ppid=833608 vsize=168536 memory=152980 CPUtime=341.21 cores=0,2
/proc/833615/stat : 833615 (ipbhs_static_sc) R 833608 833615 833542 0 -1 4194304 37343 0 0 0 34115 6 0 0 20 0 1 0 161184808 172580864 38245 134679101440 4194304 16068861 140727480927216 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 24576000 140727480931366 140727480931453 140727480931453 140727480938468 0
/proc/833615/statm: 42134 38245 2911 2900 0 38648 0
Current children cumulated CPU time: 341.21 s
Current children cumulated vsize: 168536 KiB
Current children cumulated memory: 152980 KiB
[startup+402.3 s]
/proc/loadavg: 4.16 4.10 4.09 6/257 833694
/proc/meminfo: memFree=127325980/131524600 swapFree=131071996/131071996
[pid=833615] ppid=833608 vsize=168536 memory=156076 CPUtime=401.02 cores=0,2
/proc/833615/stat : 833615 (ipbhs_static_sc) R 833608 833615 833542 0 -1 4194304 37436 0 0 0 40096 6 0 0 20 0 1 0 161184808 172580864 39019 134679101440 4194304 16068861 140727480927216 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 24576000 140727480931366 140727480931453 140727480931453 140727480938468 0
/proc/833615/statm: 42134 39019 2911 2900 0 38648 0
Current children cumulated CPU time: 401.02 s
Current children cumulated vsize: 168536 KiB
Current children cumulated memory: 156076 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.09 4.09 6/257 833704
/proc/meminfo: memFree=127310732/131524600 swapFree=131071996/131071996
[pid=833615] ppid=833608 vsize=173772 memory=161016 CPUtime=460.83 cores=0,2
/proc/833615/stat : 833615 (ipbhs_static_sc) R 833608 833615 833542 0 -1 4194304 38791 0 0 0 46077 6 0 0 20 0 1 0 161184808 177942528 40254 134679101440 4194304 16068861 140727480927216 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 24576000 140727480931366 140727480931453 140727480931453 140727480938468 0
/proc/833615/statm: 43443 40254 2911 2900 0 39957 0
################
# More data... #
################
Current children cumulated memory: 302736 KiB
[startup+2922.3 s]
/proc/loadavg: 4.12 4.13 4.09 6/259 834741
/proc/meminfo: memFree=126818440/131524600 swapFree=131071996/131071996
[pid=833615] ppid=833608 vsize=314740 memory=302884 CPUtime=2912.98 cores=0,2
/proc/833615/stat : 833615 (ipbhs_static_sc) R 833608 833615 833542 0 -1 4194304 78337 0 0 0 291280 18 0 0 20 0 1 0 161184808 322293760 75721 134679101440 4194304 16068861 140727480927216 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 24576000 140727480931366 140727480931453 140727480931453 140727480938468 0
/proc/833615/statm: 78685 75721 3231 2900 0 75199 0
Current children cumulated CPU time: 2912.98 s
Current children cumulated vsize: 314740 KiB
Current children cumulated memory: 302884 KiB
[startup+2982.3 s]
/proc/loadavg: 4.15 4.13 4.09 6/259 835136
/proc/meminfo: memFree=126814720/131524600 swapFree=131071996/131071996
[pid=833615] ppid=833608 vsize=315952 memory=304136 CPUtime=2972.8 cores=0,2
/proc/833615/stat : 833615 (ipbhs_static_sc) R 833608 833615 833542 0 -1 4194304 78763 0 0 0 297261 19 0 0 20 0 1 0 161184808 323534848 76034 134679101440 4194304 16068861 140727480927216 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 24576000 140727480931366 140727480931453 140727480931453 140727480938468 0
/proc/833615/statm: 78988 76034 3231 2900 0 75502 0
Current children cumulated CPU time: 2972.8 s
Current children cumulated vsize: 315952 KiB
Current children cumulated memory: 304136 KiB
[startup+3042.3 s]
/proc/loadavg: 4.10 4.12 4.09 6/259 835146
/proc/meminfo: memFree=126803988/131524600 swapFree=131071996/131071996
[pid=833615] ppid=833608 vsize=316512 memory=304204 CPUtime=3032.62 cores=0,2
/proc/833615/stat : 833615 (ipbhs_static_sc) R 833608 833615 833542 0 -1 4194304 78912 0 0 0 303243 19 0 0 20 0 1 0 161184808 324108288 76051 134679101440 4194304 16068861 140727480927216 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 24576000 140727480931366 140727480931453 140727480931453 140727480938468 0
/proc/833615/statm: 79128 76051 3231 2900 0 75642 0
Current children cumulated CPU time: 3032.62 s
Current children cumulated vsize: 316512 KiB
Current children cumulated memory: 304204 KiB
[startup+3102.3 s]
/proc/loadavg: 4.15 4.13 4.09 6/259 835157
/proc/meminfo: memFree=126801528/131524600 swapFree=131071996/131071996
[pid=833615] ppid=833608 vsize=317192 memory=304296 CPUtime=3092.43 cores=0,2
/proc/833615/stat : 833615 (ipbhs_static_sc) R 833608 833615 833542 0 -1 4194304 79058 0 0 0 309224 19 0 0 20 0 1 0 161184808 324804608 76074 134679101440 4194304 16068861 140727480927216 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 24576000 140727480931366 140727480931453 140727480931453 140727480938468 0
/proc/833615/statm: 79298 76074 3231 2900 0 75812 0
Current children cumulated CPU time: 3092.43 s
Current children cumulated vsize: 317192 KiB
Current children cumulated memory: 304296 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.12 4.09 6/260 835337
/proc/meminfo: memFree=126794844/131524600 swapFree=131071996/131071996
[pid=833615] ppid=833608 vsize=317192 memory=304832 CPUtime=3152.24 cores=0,2
/proc/833615/stat : 833615 (ipbhs_static_sc) R 833608 833615 833542 0 -1 4194304 79321 0 0 0 315205 19 0 0 20 0 1 0 161184808 324804608 76208 134679101440 4194304 16068861 140727480927216 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 24576000 140727480931366 140727480931453 140727480931453 140727480938468 0
/proc/833615/statm: 79298 76208 3231 2900 0 75812 0
Current children cumulated CPU time: 3152.24 s
Current children cumulated vsize: 317192 KiB
Current children cumulated memory: 304832 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.11 4.09 6/260 835348
/proc/meminfo: memFree=126790800/131524600 swapFree=131071996/131071996
[pid=833615] ppid=833608 vsize=319816 memory=306448 CPUtime=3212.05 cores=0,2
/proc/833615/stat : 833615 (ipbhs_static_sc) R 833608 833615 833542 0 -1 4194304 79878 0 0 0 321186 19 0 0 20 0 1 0 161184808 327491584 76612 134679101440 4194304 16068861 140727480927216 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 24576000 140727480931366 140727480931453 140727480931453 140727480938468 0
/proc/833615/statm: 79954 76612 3231 2900 0 76468 0
Current children cumulated CPU time: 3212.05 s
Current children cumulated vsize: 319816 KiB
Current children cumulated memory: 306448 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/263 835420
/proc/meminfo: memFree=126787716/131524600 swapFree=131071996/131071996
[pid=833615] ppid=833608 vsize=319816 memory=306664 CPUtime=3271.87 cores=0,2
/proc/833615/stat : 833615 (ipbhs_static_sc) R 833608 833615 833542 0 -1 4194304 80000 0 0 0 327167 20 0 0 20 0 1 0 161184808 327491584 76666 134679101440 4194304 16068861 140727480927216 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 24576000 140727480931366 140727480931453 140727480931453 140727480938468 0
/proc/833615/statm: 79954 76666 3231 2900 0 76468 0
Current children cumulated CPU time: 3271.87 s
Current children cumulated vsize: 319816 KiB
Current children cumulated memory: 306664 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/261 835431
/proc/meminfo: memFree=126783536/131524600 swapFree=131071996/131071996
[pid=833615] ppid=833608 vsize=319816 memory=306672 CPUtime=3331.69 cores=0,2
/proc/833615/stat : 833615 (ipbhs_static_sc) R 833608 833615 833542 0 -1 4194304 80137 0 0 0 333149 20 0 0 20 0 1 0 161184808 327491584 76668 134679101440 4194304 16068861 140727480927216 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 24576000 140727480931366 140727480931453 140727480931453 140727480938468 0
/proc/833615/statm: 79954 76668 3231 2900 0 76468 0
Current children cumulated CPU time: 3331.69 s
Current children cumulated vsize: 319816 KiB
Current children cumulated memory: 306672 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.11 4.09 6/261 835442
/proc/meminfo: memFree=126776040/131524600 swapFree=131071996/131071996
[pid=833615] ppid=833608 vsize=319816 memory=306744 CPUtime=3391.5 cores=0,2
/proc/833615/stat : 833615 (ipbhs_static_sc) R 833608 833615 833542 0 -1 4194304 80273 0 0 0 339130 20 0 0 20 0 1 0 161184808 327491584 76686 134679101440 4194304 16068861 140727480927216 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 24576000 140727480931366 140727480931453 140727480931453 140727480938468 0
/proc/833615/statm: 79954 76686 3231 2900 0 76468 0
Current children cumulated CPU time: 3391.5 s
Current children cumulated vsize: 319816 KiB
Current children cumulated memory: 306744 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.10 4.09 6/260 835452
/proc/meminfo: memFree=126772172/131524600 swapFree=131071996/131071996
[pid=833615] ppid=833608 vsize=321864 memory=309284 CPUtime=3451.32 cores=0,2
/proc/833615/stat : 833615 (ipbhs_static_sc) R 833608 833615 833542 0 -1 4194304 81062 0 0 0 345112 20 0 0 20 0 1 0 161184808 329588736 77321 134679101440 4194304 16068861 140727480927216 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 24576000 140727480931366 140727480931453 140727480931453 140727480938468 0
/proc/833615/statm: 80466 77321 3231 2900 0 76980 0
Current children cumulated CPU time: 3451.32 s
Current children cumulated vsize: 321864 KiB
Current children cumulated memory: 309284 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/260 835463
/proc/meminfo: memFree=126770708/131524600 swapFree=131071996/131071996
[pid=833615] ppid=833608 vsize=321864 memory=309776 CPUtime=3511.13 cores=0,2
/proc/833615/stat : 833615 (ipbhs_static_sc) R 833608 833615 833542 0 -1 4194304 81258 0 0 0 351093 20 0 0 20 0 1 0 161184808 329588736 77444 134679101440 4194304 16068861 140727480927216 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 24576000 140727480931366 140727480931453 140727480931453 140727480938468 0
/proc/833615/statm: 80466 77444 3231 2900 0 76980 0
Current children cumulated CPU time: 3511.13 s
Current children cumulated vsize: 321864 KiB
Current children cumulated memory: 309776 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/257 835473
/proc/meminfo: memFree=126766040/131524600 swapFree=131071996/131071996
[pid=833615] ppid=833608 vsize=323040 memory=309924 CPUtime=3570.95 cores=0,2
/proc/833615/stat : 833615 (ipbhs_static_sc) R 833608 833615 833542 0 -1 4194304 81415 0 0 0 357075 20 0 0 20 0 1 0 161184808 330792960 77481 134679101440 4194304 16068861 140727480927216 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 24576000 140727480931366 140727480931453 140727480931453 140727480938468 0
/proc/833615/statm: 80760 77481 3231 2900 0 77274 0
Current children cumulated CPU time: 3570.95 s
Current children cumulated vsize: 323040 KiB
Current children cumulated memory: 309924 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.5 s]
/proc/loadavg: 4.08 4.09 4.09 5/256 835617
/proc/meminfo: memFree=127369824/131524600 swapFree=131071996/131071996
[pid=833615] ppid=833608 vsize=323040 memory=309944 CPUtime=3600.06 cores=0,2
/proc/833615/stat : 833615 (ipbhs_static_sc) R 833608 833615 833542 0 -1 4194304 81524 0 0 0 359986 20 0 0 20 0 1 0 161184808 330792960 77486 134679101440 4194304 16068861 140727480927216 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 24576000 140727480931366 140727480931453 140727480931453 140727480938468 0
/proc/833615/statm: 80760 77486 3231 2900 0 77274 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 323040 KiB
Current children cumulated memory: 309944 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.5 s]
# the end of solver process 833615 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3599.87 s, system=0.208774 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.5 s]
/proc/loadavg: 4.08 4.09 4.09 5/256 835617
/proc/meminfo: memFree=127369824/131524600 swapFree=131071996/131071996
[pid=833615] ppid=833608 vsize=323040 memory=309944 CPUtime=3600.06 cores=0,2
/proc/833615/stat : 833615 (ipbhs_static_sc) R 833608 833615 833542 0 -1 4194304 81524 0 0 0 359986 20 0 0 20 0 1 0 161184808 330792960 77486 134679101440 4194304 16068861 140727480927216 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 24576000 140727480931366 140727480931453 140727480931453 140727480938468 0
/proc/833615/statm: 80760 77486 3231 2900 0 77274 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 323040 KiB
Current children cumulated memory: 309944 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3611.5
CPU time (s): 3600.07
CPU user time (s): 3599.87
CPU system time (s): 0.208774
CPU usage (%): 99.6836
Max. virtual memory (cumulated for all children) (KiB): 323040
Max. memory (cumulated for all children) (KiB): 309944
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.87
system time used= 0.208774
maximum resident set size= 309944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81524
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= 32
involuntary context switches= 25209
# summary of solver processes directly reported to runsolver:
# pid: 833615
# total CPU time (s): 3600.07
# total CPU user time (s): 3599.87
# total CPU system time (s): 0.208774
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.57657 second user time and 16.6746 second system time
The end
Begin job on nodeC031 at 2024-07-16 02:36:18
IDJOB=4431821
IDBENCH=147548
IDSOLVER=3057
FILE ID=nodeC031/4431821-1721090165
RUNJOBID= nodeC031-1721090178-833552
SLURM_JOB_ID= 7505583
Free space on /tmp= 890060 MiB
SOLVER NAME= IPBHS-SCIP 2024-07-09
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_10.opb.PB06.opb
COMMAND LINE= ./ipbhs_static_scip BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431821-1721090165/watcher-4431821-1721090165 -o /tmp/evaluation-result-4431821-1721090165/solver-4431821-1721090165 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721090178-833552 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4431821-1721090165.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b1303fc064b9de7d315268cbf770fb1d
RANDOM SEED=827788844
nodeC031.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3743.727
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.55
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3785.724
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.11
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3589.242
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.55
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3750.537
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.11
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3623.170
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.55
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3703.437
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.11
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3790.665
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.55
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3664.024
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.11
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 127889144 kB
MemAvailable: 129707488 kB
Buffers: 368364 kB
Cached: 2273032 kB
SwapCached: 0 kB
Active: 684156 kB
Inactive: 2329164 kB
Active(anon): 1420 kB
Inactive(anon): 408220 kB
Active(file): 682736 kB
Inactive(file): 1920944 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 214676 kB
Writeback: 20 kB
AnonPages: 370232 kB
Mapped: 103716 kB
Shmem: 37720 kB
KReclaimable: 108624 kB
Slab: 215824 kB
SReclaimable: 108624 kB
SUnreclaim: 107200 kB
KernelStack: 3872 kB
PageTables: 9940 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 587164 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 62208 kB
HardwareCorrupted: 0 kB
AnonHugePages: 243712 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 185044 kB
DirectMap2M: 16365568 kB
DirectMap1G: 119537664 kB
Free space on /tmp at the end= 889824 MiB
End job on nodeC031 at 2024-07-16 03:36:30