2.87/2.90 c initialize IPBHS solver
2.87/2.90 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.87/2.90 c optimizer = "scip"
2.87/2.90 c pbsolver = "roundingsat"
2.87/2.90 c load symmetries from file ""
2.87/2.90 c set time limit for symmetry computation to 100 seconds.
2.87/2.90 c set interchangeable summation variable limit to 3
2.87/2.90 c set abs symmetric core budget per WCE-iteration to 100
2.87/2.90 c set rel symmetric core budget per WCE-iteration to 0
2.87/2.90 c set lit symmetric core budget per WCE-iteration to 0
2.87/2.90 c set sym generation to 's'
2.87/2.90 c set abstraction set creation to 10 iterations without LB change
2.87/2.90 c set abstraction set inputs to 0
2.87/2.90 c set abstraction set cluster min size to 2
2.87/2.90 c set abstraction set cluster max size to 100000000
2.87/2.90 c set abstraction set cluster activation limit to 2
2.87/2.90 c enable abstraction set require equal cost
2.87/2.90 c set abstraction set assumptions to 0
2.87/2.90 c set abstraction set constraint type to 0
2.87/2.90 c set abstract core extraction strategy to b
2.87/2.90 c set core extraction strategy to 2
2.87/2.90 c set core extraction shuffles 10
2.87/2.90 c set cores per iteration to 5
2.87/2.90 c set optimizer bound usage strategy to 2
2.87/2.90 c set optimizer max non-optimal iterations to 1000
2.87/2.90 c set small core cardinality limit to 2
2.87/2.90 c set max coef in cores to 1000000000
2.87/2.90 c set SIS iterations to 5
2.87/2.90 c set SIS budget abs to 1000
2.87/2.90 c set SIS budget rel to 0.05
2.87/2.90 c limit for coefficient in constraints and objective to 9223372036854775807
2.87/2.90 c will solve HOME/instance-4431824-1721090165.opb
2.87/2.90 c [0.01] solve iteration 1, LB=0, UB=477
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-4431824-1721090165/watcher-4431824-1721090165 -o /tmp/evaluation-result-4431824-1721090165/solver-4431824-1721090165 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721090178-833553 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4431824-1721090165.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=833614, runsolver pid=833609
[startup+0.100727 s]*
/proc/loadavg: 3.88 4.06 4.07 6/257 833617
/proc/meminfo: memFree=127851728/131524600 swapFree=131071996/131071996
[pid=833614] ppid=833609 vsize=38884 memory=20352 CPUtime=0.09 cores=4,6
/proc/833614/stat : 833614 (ipbhs_static_sc) R 833609 833614 833542 0 -1 4194304 2552 0 0 0 9 0 0 0 20 0 1 0 161184808 39817216 5088 134679101440 4194304 16068861 140736455094368 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18370176 18462544 47349760 140736455103526 140736455103613 140736455103613 140736455110628 0
/proc/833614/statm: 9721 5088 2879 2900 0 6235 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38884 KiB
Current children cumulated memory: 20352 KiB
[startup+0.205725 s]*
/proc/loadavg: 3.88 4.06 4.07 6/257 833617
/proc/meminfo: memFree=127851064/131524600 swapFree=131071996/131071996
[pid=833614] ppid=833609 vsize=39052 memory=20352 CPUtime=0.19 cores=4,6
/proc/833614/stat : 833614 (ipbhs_static_sc) R 833609 833614 833542 0 -1 4194304 2580 0 0 0 19 0 0 0 20 0 1 0 161184808 39989248 5088 134679101440 4194304 16068861 140736455094368 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18370176 18462544 47349760 140736455103526 140736455103613 140736455103613 140736455110628 0
/proc/833614/statm: 9763 5088 2879 2900 0 6277 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 39052 KiB
Current children cumulated memory: 20352 KiB
[startup+0.305725 s]*
/proc/loadavg: 3.88 4.06 4.07 6/257 833617
/proc/meminfo: memFree=127849444/131524600 swapFree=131071996/131071996
[pid=833614] ppid=833609 vsize=39052 memory=20352 CPUtime=0.29 cores=4,6
/proc/833614/stat : 833614 (ipbhs_static_sc) R 833609 833614 833542 0 -1 4194304 2593 0 0 0 29 0 0 0 20 0 1 0 161184808 39989248 5088 134679101440 4194304 16068861 140736455094368 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 47349760 140736455103526 140736455103613 140736455103613 140736455110628 0
/proc/833614/statm: 9763 5088 2879 2900 0 6277 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 39052 KiB
Current children cumulated memory: 20352 KiB
[startup+0.7002 s]
/proc/loadavg: 3.88 4.06 4.07 6/257 833617
/proc/meminfo: memFree=127844304/131524600 swapFree=131071996/131071996
[pid=833614] ppid=833609 vsize=45412 memory=25968 CPUtime=0.68 cores=4,6
/proc/833614/stat : 833614 (ipbhs_static_sc) R 833609 833614 833542 0 -1 4194304 4054 0 0 0 67 1 0 0 20 0 1 0 161184808 46501888 6492 134679101440 4194304 16068861 140736455094368 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 47349760 140736455103526 140736455103613 140736455103613 140736455110628 0
/proc/833614/statm: 11353 6492 2895 2900 0 7867 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 45412 KiB
Current children cumulated memory: 25968 KiB
[startup+1.5002 s]
/proc/loadavg: 3.88 4.06 4.07 6/257 833619
/proc/meminfo: memFree=127814020/131524600 swapFree=131071996/131071996
[pid=833614] ppid=833609 vsize=58212 memory=38436 CPUtime=1.47 cores=4,6
/proc/833614/stat : 833614 (ipbhs_static_sc) R 833609 833614 833542 0 -1 4194304 7192 0 0 0 146 1 0 0 20 0 1 0 161184808 59609088 9609 134679101440 4194304 16068861 140736455094368 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 47349760 140736455103526 140736455103613 140736455103613 140736455110628 0
/proc/833614/statm: 14553 9609 2911 2900 0 11067 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 58212 KiB
Current children cumulated memory: 38436 KiB
[startup+3.10576 s]
/proc/loadavg: 3.88 4.06 4.07 6/257 833619
/proc/meminfo: memFree=127682308/131524600 swapFree=131071996/131071996
[pid=833614] ppid=833609 vsize=82144 memory=61924 CPUtime=3.08 cores=4,6
/proc/833614/stat : 833614 (ipbhs_static_sc) R 833609 833614 833542 0 -1 4194304 13062 0 0 0 306 2 0 0 20 0 1 0 161184808 84115456 15481 134679101440 4194304 16068861 140736455094368 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 47349760 140736455103526 140736455103613 140736455103613 140736455110628 0
/proc/833614/statm: 20536 15481 2911 2900 0 17050 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 82144 KiB
Current children cumulated memory: 61924 KiB
[startup+6.30014 s]
/proc/loadavg: 3.89 4.05 4.07 6/257 833619
/proc/meminfo: memFree=127680368/131524600 swapFree=131071996/131071996
[pid=833614] ppid=833609 vsize=83168 memory=62712 CPUtime=6.26 cores=4,6
/proc/833614/stat : 833614 (ipbhs_static_sc) R 833609 833614 833542 0 -1 4194304 13316 0 0 0 624 2 0 0 20 0 1 0 161184808 85164032 15678 134679101440 4194304 16068861 140736455094368 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 47349760 140736455103526 140736455103613 140736455103613 140736455110628 0
/proc/833614/statm: 20792 15678 2911 2900 0 17306 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 83168 KiB
Current children cumulated memory: 62712 KiB
[startup+12.7001 s]
/proc/loadavg: 3.89 4.05 4.07 6/257 833620
/proc/meminfo: memFree=127678244/131524600 swapFree=131071996/131071996
[pid=833614] ppid=833609 vsize=83168 memory=62712 CPUtime=12.65 cores=4,6
/proc/833614/stat : 833614 (ipbhs_static_sc) R 833609 833614 833542 0 -1 4194304 13316 0 0 0 1263 2 0 0 20 0 1 0 161184808 85164032 15678 134679101440 4194304 16068861 140736455094368 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 47349760 140736455103526 140736455103613 140736455103613 140736455110628 0
/proc/833614/statm: 20792 15678 2911 2900 0 17306 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 83168 KiB
Current children cumulated memory: 62712 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=833614] ppid=833609 vsize=95852 memory=75276 CPUtime=25.42 cores=4,6
/proc/833614/stat : 833614 (ipbhs_static_sc) R 833609 833614 833542 0 -1 4194304 17216 0 0 0 2539 3 0 0 20 0 1 0 161184808 98152448 18819 134679101440 4194304 16068861 140736455094368 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 47349760 140736455103526 140736455103613 140736455103613 140736455110628 0
/proc/833614/statm: 23963 18819 2911 2900 0 20477 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 95852 KiB
Current children cumulated memory: 75276 KiB
[startup+51.1057 s]
/proc/loadavg: 4.02 4.06 4.07 6/257 833627
/proc/meminfo: memFree=127590000/131524600 swapFree=131071996/131071996
[pid=833614] ppid=833609 vsize=96944 memory=76064 CPUtime=50.96 cores=4,6
/proc/833614/stat : 833614 (ipbhs_static_sc) R 833609 833614 833542 0 -1 4194304 17422 0 0 0 5093 3 0 0 20 0 1 0 161184808 99270656 19016 134679101440 4194304 16068861 140736455094368 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 47349760 140736455103526 140736455103613 140736455103613 140736455110628 0
/proc/833614/statm: 24236 19016 2911 2900 0 20750 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 96944 KiB
Current children cumulated memory: 76064 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.07 4.08 6/257 833636
/proc/meminfo: memFree=127547504/131524600 swapFree=131071996/131071996
[pid=833614] ppid=833609 vsize=115444 memory=93044 CPUtime=102.02 cores=4,6
/proc/833614/stat : 833614 (ipbhs_static_sc) R 833609 833614 833542 0 -1 4194304 21956 0 0 0 10199 3 0 0 20 0 1 0 161184808 118214656 23261 134679101440 4194304 16068861 140736455094368 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 47349760 140736455103526 140736455103613 140736455103613 140736455110628 0
/proc/833614/statm: 28861 23261 2911 2900 0 25375 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 115444 KiB
Current children cumulated memory: 93044 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=833614] ppid=833609 vsize=125368 memory=102656 CPUtime=161.85 cores=4,6
/proc/833614/stat : 833614 (ipbhs_static_sc) R 833609 833614 833542 0 -1 4194304 25552 0 0 0 16181 4 0 0 20 0 1 0 161184808 128376832 25664 134679101440 4194304 16068861 140736455094368 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 47349760 140736455103526 140736455103613 140736455103613 140736455110628 0
/proc/833614/statm: 31342 25664 2911 2900 0 27856 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 125368 KiB
Current children cumulated memory: 102656 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=833614] ppid=833609 vsize=134404 memory=111608 CPUtime=221.66 cores=4,6
/proc/833614/stat : 833614 (ipbhs_static_sc) R 833609 833614 833542 0 -1 4194304 27859 0 0 0 22162 4 0 0 20 0 1 0 161184808 137629696 27902 134679101440 4194304 16068861 140736455094368 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 47349760 140736455103526 140736455103613 140736455103613 140736455110628 0
/proc/833614/statm: 33601 27902 2911 2900 0 30115 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 134404 KiB
Current children cumulated memory: 111608 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=833614] ppid=833609 vsize=139300 memory=121916 CPUtime=281.49 cores=4,6
/proc/833614/stat : 833614 (ipbhs_static_sc) R 833609 833614 833542 0 -1 4194304 29149 0 0 0 28145 4 0 0 20 0 1 0 161184808 142643200 30479 134679101440 4194304 16068861 140736455094368 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 47349760 140736455103526 140736455103613 140736455103613 140736455110628 0
/proc/833614/statm: 34825 30479 2911 2900 0 31339 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 139300 KiB
Current children cumulated memory: 121916 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=833614] ppid=833609 vsize=145508 memory=132768 CPUtime=341.34 cores=4,6
/proc/833614/stat : 833614 (ipbhs_static_sc) R 833609 833614 833542 0 -1 4194304 30846 0 0 0 34129 5 0 0 20 0 1 0 161184808 149000192 33192 134679101440 4194304 16068861 140736455094368 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 47349760 140736455103526 140736455103613 140736455103613 140736455110628 0
/proc/833614/statm: 36377 33192 2911 2900 0 32891 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 145508 KiB
Current children cumulated memory: 132768 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=833614] ppid=833609 vsize=151488 memory=137828 CPUtime=401.19 cores=4,6
/proc/833614/stat : 833614 (ipbhs_static_sc) R 833609 833614 833542 0 -1 4194304 32206 0 0 0 40114 5 0 0 20 0 1 0 161184808 155123712 34457 134679101440 4194304 16068861 140736455094368 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 47349760 140736455103526 140736455103613 140736455103613 140736455110628 0
/proc/833614/statm: 37872 34457 2911 2900 0 34386 0
Current children cumulated CPU time: 401.19 s
Current children cumulated vsize: 151488 KiB
Current children cumulated memory: 137828 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=833614] ppid=833609 vsize=151488 memory=138756 CPUtime=461.05 cores=4,6
/proc/833614/stat : 833614 (ipbhs_static_sc) R 833609 833614 833542 0 -1 4194304 32502 0 0 0 46100 5 0 0 20 0 1 0 161184808 155123712 34689 134679101440 4194304 16068861 140736455094368 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 47349760 140736455103526 140736455103613 140736455103613 140736455110628 0
/proc/833614/statm: 37872 34689 2911 2900 0 34386 0
################
# More data... #
################
Current children cumulated memory: 268944 KiB
[startup+2862.3 s]
/proc/loadavg: 4.12 4.12 4.09 6/259 834730
/proc/meminfo: memFree=126849832/131524600 swapFree=131071996/131071996
[pid=833614] ppid=833609 vsize=282788 memory=270088 CPUtime=2854.94 cores=4,6
/proc/833614/stat : 833614 (ipbhs_static_sc) R 833609 833614 833542 0 -1 4194304 68520 0 0 0 285481 13 0 0 20 0 1 0 161184808 289574912 67522 134679101440 4194304 16068861 140736455094368 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 47349760 140736455103526 140736455103613 140736455103613 140736455110628 0
/proc/833614/statm: 70697 67522 3231 2900 0 67211 0
Current children cumulated CPU time: 2854.94 s
Current children cumulated vsize: 282788 KiB
Current children cumulated memory: 270088 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=833614] ppid=833609 vsize=311552 memory=298532 CPUtime=2914.76 cores=4,6
/proc/833614/stat : 833614 (ipbhs_static_sc) R 833609 833614 833542 0 -1 4194304 75866 0 0 0 291462 14 0 0 20 0 1 0 161184808 319029248 74633 134679101440 4194304 16068861 140736455094368 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 47349760 140736455103526 140736455103613 140736455103613 140736455110628 0
/proc/833614/statm: 77888 74633 3231 2900 0 74402 0
Current children cumulated CPU time: 2914.76 s
Current children cumulated vsize: 311552 KiB
Current children cumulated memory: 298532 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=833614] ppid=833609 vsize=311552 memory=298892 CPUtime=2974.58 cores=4,6
/proc/833614/stat : 833614 (ipbhs_static_sc) R 833609 833614 833542 0 -1 4194304 76043 0 0 0 297444 14 0 0 20 0 1 0 161184808 319029248 74723 134679101440 4194304 16068861 140736455094368 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 47349760 140736455103526 140736455103613 140736455103613 140736455110628 0
/proc/833614/statm: 77888 74723 3231 2900 0 74402 0
Current children cumulated CPU time: 2974.58 s
Current children cumulated vsize: 311552 KiB
Current children cumulated memory: 298892 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=833614] ppid=833609 vsize=314140 memory=301376 CPUtime=3034.4 cores=4,6
/proc/833614/stat : 833614 (ipbhs_static_sc) R 833609 833614 833542 0 -1 4194304 76802 0 0 0 303426 14 0 0 20 0 1 0 161184808 321679360 75344 134679101440 4194304 16068861 140736455094368 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 47349760 140736455103526 140736455103613 140736455103613 140736455110628 0
/proc/833614/statm: 78535 75344 3231 2900 0 75049 0
Current children cumulated CPU time: 3034.4 s
Current children cumulated vsize: 314140 KiB
Current children cumulated memory: 301376 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=833614] ppid=833609 vsize=314908 memory=302540 CPUtime=3094.21 cores=4,6
/proc/833614/stat : 833614 (ipbhs_static_sc) R 833609 833614 833542 0 -1 4194304 77200 0 0 0 309407 14 0 0 20 0 1 0 161184808 322465792 75635 134679101440 4194304 16068861 140736455094368 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 47349760 140736455103526 140736455103613 140736455103613 140736455110628 0
/proc/833614/statm: 78727 75635 3231 2900 0 75241 0
Current children cumulated CPU time: 3094.21 s
Current children cumulated vsize: 314908 KiB
Current children cumulated memory: 302540 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=833614] ppid=833609 vsize=318188 memory=305012 CPUtime=3154.03 cores=4,6
/proc/833614/stat : 833614 (ipbhs_static_sc) R 833609 833614 833542 0 -1 4194304 77934 0 0 0 315389 14 0 0 20 0 1 0 161184808 325824512 76253 134679101440 4194304 16068861 140736455094368 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 47349760 140736455103526 140736455103613 140736455103613 140736455110628 0
/proc/833614/statm: 79547 76253 3231 2900 0 76061 0
Current children cumulated CPU time: 3154.03 s
Current children cumulated vsize: 318188 KiB
Current children cumulated memory: 305012 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=833614] ppid=833609 vsize=316928 memory=304172 CPUtime=3213.85 cores=4,6
/proc/833614/stat : 833614 (ipbhs_static_sc) R 833609 833614 833542 0 -1 4194304 78354 0 0 0 321371 14 0 0 20 0 1 0 161184808 324534272 76043 134679101440 4194304 16068861 140736455094368 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 47349760 140736455103526 140736455103613 140736455103613 140736455110628 0
/proc/833614/statm: 79232 76043 3231 2900 0 75746 0
Current children cumulated CPU time: 3213.85 s
Current children cumulated vsize: 316928 KiB
Current children cumulated memory: 304172 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.10 4.09 6/263 835420
/proc/meminfo: memFree=126787716/131524600 swapFree=131071996/131071996
[pid=833614] ppid=833609 vsize=318444 memory=305060 CPUtime=3273.66 cores=4,6
/proc/833614/stat : 833614 (ipbhs_static_sc) R 833609 833614 833542 0 -1 4194304 78681 0 0 0 327352 14 0 0 20 0 1 0 161184808 326086656 76265 134679101440 4194304 16068861 140736455094368 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 47349760 140736455103526 140736455103613 140736455103613 140736455110628 0
/proc/833614/statm: 79611 76265 3231 2900 0 76125 0
Current children cumulated CPU time: 3273.66 s
Current children cumulated vsize: 318444 KiB
Current children cumulated memory: 305060 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.10 4.09 6/261 835431
/proc/meminfo: memFree=126783536/131524600 swapFree=131071996/131071996
[pid=833614] ppid=833609 vsize=318444 memory=305432 CPUtime=3333.48 cores=4,6
/proc/833614/stat : 833614 (ipbhs_static_sc) R 833609 833614 833542 0 -1 4194304 78884 0 0 0 333334 14 0 0 20 0 1 0 161184808 326086656 76358 134679101440 4194304 16068861 140736455094368 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 47349760 140736455103526 140736455103613 140736455103613 140736455110628 0
/proc/833614/statm: 79611 76358 3231 2900 0 76125 0
Current children cumulated CPU time: 3333.48 s
Current children cumulated vsize: 318444 KiB
Current children cumulated memory: 305432 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.11 4.09 7/261 835442
/proc/meminfo: memFree=126776040/131524600 swapFree=131071996/131071996
[pid=833614] ppid=833609 vsize=319472 memory=306848 CPUtime=3393.29 cores=4,6
/proc/833614/stat : 833614 (ipbhs_static_sc) R 833609 833614 833542 0 -1 4194304 79391 0 0 0 339315 14 0 0 20 0 1 0 161184808 327139328 76712 134679101440 4194304 16068861 140736455094368 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 47349760 140736455103526 140736455103613 140736455103613 140736455110628 0
/proc/833614/statm: 79868 76712 3231 2900 0 76382 0
Current children cumulated CPU time: 3393.29 s
Current children cumulated vsize: 319472 KiB
Current children cumulated memory: 306848 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=833614] ppid=833609 vsize=319472 memory=307776 CPUtime=3453.12 cores=4,6
/proc/833614/stat : 833614 (ipbhs_static_sc) R 833609 833614 833542 0 -1 4194304 79519 0 0 0 345297 15 0 0 20 0 1 0 161184808 327139328 76944 134679101440 4194304 16068861 140736455094368 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 47349760 140736455103526 140736455103613 140736455103613 140736455110628 0
/proc/833614/statm: 79868 76944 3231 2900 0 76382 0
Current children cumulated CPU time: 3453.12 s
Current children cumulated vsize: 319472 KiB
Current children cumulated memory: 307776 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.09 4.09 6/260 835463
/proc/meminfo: memFree=126770708/131524600 swapFree=131071996/131071996
[pid=833614] ppid=833609 vsize=319472 memory=307816 CPUtime=3512.97 cores=4,6
/proc/833614/stat : 833614 (ipbhs_static_sc) R 833609 833614 833542 0 -1 4194304 79647 0 0 0 351282 15 0 0 20 0 1 0 161184808 327139328 76954 134679101440 4194304 16068861 140736455094368 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 47349760 140736455103526 140736455103613 140736455103613 140736455110628 0
/proc/833614/statm: 79868 76954 3231 2900 0 76382 0
Current children cumulated CPU time: 3512.97 s
Current children cumulated vsize: 319472 KiB
Current children cumulated memory: 307816 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.10 4.09 6/257 835473
/proc/meminfo: memFree=126766040/131524600 swapFree=131071996/131071996
[pid=833614] ppid=833609 vsize=320500 memory=308916 CPUtime=3572.83 cores=4,6
/proc/833614/stat : 833614 (ipbhs_static_sc) R 833609 833614 833542 0 -1 4194304 80051 0 0 0 357268 15 0 0 20 0 1 0 161184808 328192000 77229 134679101440 4194304 16068861 140736455094368 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 47349760 140736455103526 140736455103613 140736455103613 140736455110628 0
/proc/833614/statm: 80125 77229 3231 2900 0 76639 0
Current children cumulated CPU time: 3572.83 s
Current children cumulated vsize: 320500 KiB
Current children cumulated memory: 308916 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.6 s]
/proc/loadavg: 4.09 4.09 4.09 6/256 835477
/proc/meminfo: memFree=126764936/131524600 swapFree=131071996/131071996
[pid=833614] ppid=833609 vsize=321012 memory=309196 CPUtime=3600.06 cores=4,6
/proc/833614/stat : 833614 (ipbhs_static_sc) R 833609 833614 833542 0 -1 4194304 80184 0 0 0 359991 15 0 0 20 0 1 0 161184808 328716288 77299 134679101440 4194304 16068861 140736455094368 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 47349760 140736455103526 140736455103613 140736455103613 140736455110628 0
/proc/833614/statm: 80253 77299 3231 2900 0 76767 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 321012 KiB
Current children cumulated memory: 309196 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.6 s]
# the end of solver process 833614 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3599.91 s, system=0.153427 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3609.6
CPU time (s): 3600.07
CPU user time (s): 3599.91
CPU system time (s): 0.153427
CPU usage (%): 99.7358
Max. virtual memory (cumulated for all children) (KiB): 321012
Max. memory (cumulated for all children) (KiB): 309196
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.91
system time used= 0.153427
maximum resident set size= 309428
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80184
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= 34
involuntary context switches= 3701
# summary of solver processes directly reported to runsolver:
# pid: 833614
# total CPU time (s): 3600.07
# total CPU user time (s): 3599.91
# total CPU system time (s): 0.153427
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.36296 second user time and 16.3688 second system time
The end
Begin job on nodeC031 at 2024-07-16 02:36:18
IDJOB=4431824
IDBENCH=147547
IDSOLVER=3057
FILE ID=nodeC031/4431824-1721090165
RUNJOBID= nodeC031-1721090178-833553
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_13.opb.PB06.opb
COMMAND LINE= ./ipbhs_static_scip BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431824-1721090165/watcher-4431824-1721090165 -o /tmp/evaluation-result-4431824-1721090165/solver-4431824-1721090165 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721090178-833553 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4431824-1721090165.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 15e811bd466a2fe28afb8f0d217d004b
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= 889880 MiB
End job on nodeC031 at 2024-07-16 03:36:28