11.24/11.31 c initialize IPBHS solver
11.24/11.31 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
11.24/11.31 c optimizer = "scip"
11.24/11.31 c pbsolver = "roundingsat"
11.24/11.31 c load symmetries from file ""
11.24/11.31 c set time limit for symmetry computation to 100 seconds.
11.24/11.31 c set interchangeable summation variable limit to 3
11.24/11.31 c set abs symmetric core budget per WCE-iteration to 100
11.24/11.31 c set rel symmetric core budget per WCE-iteration to 0
11.24/11.31 c set lit symmetric core budget per WCE-iteration to 0
11.24/11.31 c set sym generation to 's'
11.24/11.31 c set abstraction set creation to 10 iterations without LB change
11.24/11.31 c set abstraction set inputs to 0
11.24/11.31 c set abstraction set cluster min size to 2
11.24/11.31 c set abstraction set cluster max size to 100000000
11.24/11.31 c set abstraction set cluster activation limit to 2
11.24/11.31 c enable abstraction set require equal cost
11.24/11.31 c set abstraction set assumptions to 0
11.24/11.31 c set abstraction set constraint type to 0
11.24/11.31 c set abstract core extraction strategy to b
11.24/11.31 c set core extraction strategy to 2
11.24/11.31 c set core extraction shuffles 10
11.24/11.31 c set cores per iteration to 5
11.24/11.31 c set optimizer bound usage strategy to 2
11.24/11.31 c set optimizer max non-optimal iterations to 1000
11.24/11.31 c set small core cardinality limit to 2
11.24/11.31 c set max coef in cores to 1000000000
11.24/11.31 c set SIS iterations to 5
11.24/11.31 c set SIS budget abs to 1000
11.24/11.31 c set SIS budget rel to 0.05
11.24/11.31 c limit for coefficient in constraints and objective to 9223372036854775807
11.24/11.31 c will solve HOME/instance-4431892-1721062925.opb
11.24/11.31 c [0.08] solve iteration 1, LB=-760, 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 (62745 MiB free)
memory of node 1: 64473 MiB (62358 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431892-1721062925/watcher-4431892-1721062925 -o /tmp/evaluation-result-4431892-1721062925/solver-4431892-1721062925 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721059157-808011 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4431892-1721062925.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
Current StackSize limit: 8192 KiB
solver pid=810658, runsolver pid=810655
[startup+0.100579 s]*
/proc/loadavg: 4.20 4.16 4.11 5/258 810659
/proc/meminfo: memFree=128089960/131524600 swapFree=131071996/131071996
[pid=810658] ppid=810655 vsize=43224 memory=25792 CPUtime=0.09 cores=0,2
/proc/810658/stat : 810658 (ipbhs_static_sc) R 810655 810658 808001 0 -1 4194304 4262 0 0 0 7 2 0 0 20 0 1 0 158459509 44261376 6448 134679101440 4194304 16068861 140728268855184 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 30449664 140728268862502 140728268862589 140728268862589 140728268869604 0
/proc/810658/statm: 10806 6448 2383 2900 0 7320 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 43224 KiB
Current children cumulated memory: 25792 KiB
[startup+0.205609 s]*
/proc/loadavg: 4.20 4.16 4.11 5/258 810659
/proc/meminfo: memFree=128062884/131524600 swapFree=131071996/131071996
[pid=810658] ppid=810655 vsize=69756 memory=52192 CPUtime=0.2 cores=0,2
/proc/810658/stat : 810658 (ipbhs_static_sc) R 810655 810658 808001 0 -1 4194304 10895 0 0 0 11 9 0 0 20 0 1 0 158459509 71430144 13048 134679101440 4194304 16068861 140728268855184 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 30449664 140728268862502 140728268862589 140728268862589 140728268869604 0
/proc/810658/statm: 17439 13048 2383 2900 0 13953 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 69756 KiB
Current children cumulated memory: 52192 KiB
[startup+0.30546 s]*
/proc/loadavg: 4.20 4.16 4.11 5/258 810659
/proc/meminfo: memFree=128027800/131524600 swapFree=131071996/131071996
[pid=810658] ppid=810655 vsize=105116 memory=88148 CPUtime=0.3 cores=0,2
/proc/810658/stat : 810658 (ipbhs_static_sc) R 810655 810658 808001 0 -1 4194304 19942 0 0 0 18 12 0 0 20 0 1 0 158459509 107638784 22037 134679101440 4194304 16068861 140728268855184 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 30449664 140728268862502 140728268862589 140728268862589 140728268869604 0
/proc/810658/statm: 26279 22037 2639 2900 0 22793 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 105116 KiB
Current children cumulated memory: 88148 KiB
[startup+0.700236 s]
/proc/loadavg: 4.20 4.16 4.11 5/258 810659
/proc/meminfo: memFree=127960424/131524600 swapFree=131071996/131071996
[pid=810658] ppid=810655 vsize=257580 memory=229072 CPUtime=0.68 cores=0,2
/proc/810658/stat : 810658 (ipbhs_static_sc) R 810655 810658 808001 0 -1 4194304 41472 0 0 0 53 15 0 0 20 0 1 0 158459509 263761920 57268 134679101440 4194304 16068861 140728268855184 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 30449664 140728268862502 140728268862589 140728268862589 140728268869604 0
/proc/810658/statm: 64395 57268 2783 2900 0 60909 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 257580 KiB
Current children cumulated memory: 229072 KiB
[startup+1.50024 s]
/proc/loadavg: 4.20 4.16 4.11 5/258 810659
/proc/meminfo: memFree=127870396/131524600 swapFree=131071996/131071996
[pid=810658] ppid=810655 vsize=416876 memory=379716 CPUtime=1.48 cores=0,2
/proc/810658/stat : 810658 (ipbhs_static_sc) R 810655 810658 808001 0 -1 4194304 65857 0 0 0 128 20 0 0 20 0 1 0 158459509 426881024 94929 134679101440 4194304 16068861 140728268855184 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 30449664 140728268862502 140728268862589 140728268862589 140728268869604 0
/proc/810658/statm: 104219 94929 2879 2900 0 100733 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 416876 KiB
Current children cumulated memory: 379716 KiB
[startup+3.10563 s]
/proc/loadavg: 4.18 4.15 4.10 5/258 810659
/proc/meminfo: memFree=127722664/131524600 swapFree=131071996/131071996
[pid=810658] ppid=810655 vsize=444068 memory=397196 CPUtime=3.08 cores=0,2
/proc/810658/stat : 810658 (ipbhs_static_sc) R 810655 810658 808001 0 -1 4194304 70167 0 0 0 287 21 0 0 20 0 1 0 158459509 454725632 99299 134679101440 4194304 16068861 140728268855184 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 30449664 140728268862502 140728268862589 140728268862589 140728268869604 0
/proc/810658/statm: 111017 99299 2895 2900 0 107531 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 444068 KiB
Current children cumulated memory: 397196 KiB
[startup+6.30016 s]
/proc/loadavg: 4.18 4.15 4.10 5/258 810661
/proc/meminfo: memFree=127710732/131524600 swapFree=131071996/131071996
[pid=810658] ppid=810655 vsize=464464 memory=397452 CPUtime=6.26 cores=0,2
/proc/810658/stat : 810658 (ipbhs_static_sc) R 810655 810658 808001 0 -1 4194304 70267 0 0 0 605 21 0 0 20 0 1 0 158459509 475611136 99363 134679101440 4194304 16068861 140728268855184 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 30449664 140728268862502 140728268862589 140728268862589 140728268869604 0
/proc/810658/statm: 116116 99363 2895 2900 0 112630 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 464464 KiB
Current children cumulated memory: 397452 KiB
[startup+12.7002 s]
/proc/loadavg: 4.16 4.15 4.10 5/258 810661
/proc/meminfo: memFree=127589332/131524600 swapFree=131071996/131071996
[pid=810658] ppid=810655 vsize=564572 memory=450696 CPUtime=12.64 cores=0,2
/proc/810658/stat : 810658 (ipbhs_static_sc) R 810655 810658 808001 0 -1 4194304 83060 0 0 0 1240 24 0 0 20 0 1 0 158459509 578121728 112674 134679101440 4194304 16068861 140728268855184 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 30449664 140728268862502 140728268862589 140728268862589 140728268869604 0
/proc/810658/statm: 141143 112674 2895 2900 0 137657 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 564572 KiB
Current children cumulated memory: 450696 KiB
[startup+25.5003 s]
/proc/loadavg: 4.13 4.14 4.10 5/258 810664
/proc/meminfo: memFree=127511232/131524600 swapFree=131071996/131071996
[pid=810658] ppid=810655 vsize=572532 memory=451484 CPUtime=25.38 cores=0,2
/proc/810658/stat : 810658 (ipbhs_static_sc) R 810655 810658 808001 0 -1 4194304 83258 0 0 0 2514 24 0 0 20 0 1 0 158459509 586272768 112871 134679101440 4194304 16068861 140728268855184 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 30449664 140728268862502 140728268862589 140728268862589 140728268869604 0
/proc/810658/statm: 143133 112871 2895 2900 0 139647 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 572532 KiB
Current children cumulated memory: 451484 KiB
[startup+51.1056 s]
/proc/loadavg: 4.15 4.15 4.10 5/258 810668
/proc/meminfo: memFree=127458928/131524600 swapFree=131071996/131071996
[pid=810658] ppid=810655 vsize=588056 memory=451484 CPUtime=50.87 cores=0,2
/proc/810658/stat : 810658 (ipbhs_static_sc) R 810655 810658 808001 0 -1 4194304 83264 0 0 0 5063 24 0 0 20 0 1 0 158459509 602169344 112871 134679101440 4194304 16068861 140728268855184 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 30449664 140728268862502 140728268862589 140728268862589 140728268869604 0
/proc/810658/statm: 147014 112871 2895 2900 0 143528 0
Current children cumulated CPU time: 50.87 s
Current children cumulated vsize: 588056 KiB
Current children cumulated memory: 451484 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.14 4.10 5/256 810676
/proc/meminfo: memFree=127269004/131524600 swapFree=131071996/131071996
[pid=810658] ppid=810655 vsize=643488 memory=477160 CPUtime=101.86 cores=0,2
/proc/810658/stat : 810658 (ipbhs_static_sc) R 810655 810658 808001 0 -1 4194304 93405 0 0 0 10161 25 0 0 20 0 1 0 158459509 658931712 119290 134679101440 4194304 16068861 140728268855184 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 30449664 140728268862502 140728268862589 140728268862589 140728268869604 0
/proc/810658/statm: 160872 119290 2895 2900 0 157386 0
Current children cumulated CPU time: 101.86 s
Current children cumulated vsize: 643488 KiB
Current children cumulated memory: 477160 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/256 810687
/proc/meminfo: memFree=127010420/131524600 swapFree=131071996/131071996
[pid=810658] ppid=810655 vsize=774088 memory=581984 CPUtime=161.6 cores=0,2
/proc/810658/stat : 810658 (ipbhs_static_sc) R 810655 810658 808001 0 -1 4194304 114048 0 0 0 16131 29 0 0 20 0 1 0 158459509 792666112 145496 134679101440 4194304 16068861 140728268855184 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 30449664 140728268862502 140728268862589 140728268862589 140728268869604 0
/proc/810658/statm: 193522 145496 2895 2900 0 190036 0
Current children cumulated CPU time: 161.6 s
Current children cumulated vsize: 774088 KiB
Current children cumulated memory: 581984 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/255 810698
/proc/meminfo: memFree=126865472/131524600 swapFree=131071996/131071996
[pid=810658] ppid=810655 vsize=870280 memory=613624 CPUtime=221.36 cores=0,2
/proc/810658/stat : 810658 (ipbhs_static_sc) R 810655 810658 808001 0 -1 4194304 116359 0 0 0 22106 30 0 0 20 0 1 0 158459509 891166720 153406 134679101440 4194304 16068861 140728268855184 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 30449664 140728268862502 140728268862589 140728268862589 140728268869604 0
/proc/810658/statm: 217570 153406 2895 2900 0 214084 0
Current children cumulated CPU time: 221.36 s
Current children cumulated vsize: 870280 KiB
Current children cumulated memory: 613624 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/255 810708
/proc/meminfo: memFree=126724964/131524600 swapFree=131071996/131071996
[pid=810658] ppid=810655 vsize=897664 memory=645476 CPUtime=281.11 cores=0,2
/proc/810658/stat : 810658 (ipbhs_static_sc) R 810655 810658 808001 0 -1 4194304 121807 0 0 0 28079 32 0 0 20 0 1 0 158459509 919207936 161369 134679101440 4194304 16068861 140728268855184 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 30449664 140728268862502 140728268862589 140728268862589 140728268869604 0
/proc/810658/statm: 224416 161369 2895 2900 0 220930 0
Current children cumulated CPU time: 281.11 s
Current children cumulated vsize: 897664 KiB
Current children cumulated memory: 645476 KiB
[startup+342.3 s]
/proc/loadavg: 4.21 4.15 4.10 5/255 810764
/proc/meminfo: memFree=125966932/131524600 swapFree=131071996/131071996
[pid=810658] ppid=810655 vsize=940632 memory=684276 CPUtime=340.89 cores=0,2
/proc/810658/stat : 810658 (ipbhs_static_sc) R 810655 810658 808001 0 -1 4194304 129980 0 0 0 34055 34 0 0 20 0 1 0 158459509 963207168 171069 134679101440 4194304 16068861 140728268855184 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 30449664 140728268862502 140728268862589 140728268862589 140728268869604 0
/proc/810658/statm: 235158 171069 2895 2900 0 231672 0
Current children cumulated CPU time: 340.89 s
Current children cumulated vsize: 940632 KiB
Current children cumulated memory: 684276 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 4.14 4.09 5/255 810775
/proc/meminfo: memFree=125730568/131524600 swapFree=131071996/131071996
[pid=810658] ppid=810655 vsize=995652 memory=719904 CPUtime=400.62 cores=0,2
/proc/810658/stat : 810658 (ipbhs_static_sc) R 810655 810658 808001 0 -1 4194304 133523 0 0 0 40027 35 0 0 20 0 1 0 158459509 1019547648 179976 134679101440 4194304 16068861 140728268855184 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 30449664 140728268862502 140728268862589 140728268862589 140728268869604 0
/proc/810658/statm: 248913 179976 3215 2900 0 245427 0
Current children cumulated CPU time: 400.62 s
Current children cumulated vsize: 995652 KiB
Current children cumulated memory: 719904 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.13 4.09 5/255 810785
/proc/meminfo: memFree=125574596/131524600 swapFree=131071996/131071996
[pid=810658] ppid=810655 vsize=1035564 memory=735392 CPUtime=460.39 cores=0,2
/proc/810658/stat : 810658 (ipbhs_static_sc) R 810655 810658 808001 0 -1 4194304 134808 0 0 0 46002 37 0 0 20 0 1 0 158459509 1060417536 183848 134679101440 4194304 16068861 140728268855184 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 30449664 140728268862502 140728268862589 140728268862589 140728268869604 0
/proc/810658/statm: 258891 183848 3215 2900 0 255405 0
################
# More data... #
################
Current children cumulated memory: 1651468 KiB
[startup+2922.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/257 811858
/proc/meminfo: memFree=121378020/131524600 swapFree=131071996/131071996
[pid=810658] ppid=810655 vsize=1808880 memory=1653512 CPUtime=2910.53 cores=0,2
/proc/810658/stat : 810658 (ipbhs_static_sc) R 810655 810658 808001 0 -1 4194304 228581 0 0 0 290972 81 0 0 20 0 1 0 158459509 1852293120 413378 134679101440 4194304 16068861 140728268855184 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 30449664 140728268862502 140728268862589 140728268862589 140728268869604 0
/proc/810658/statm: 452220 413378 3215 2900 0 448734 0
Current children cumulated CPU time: 2910.53 s
Current children cumulated vsize: 1808880 KiB
Current children cumulated memory: 1653512 KiB
[startup+2982.3 s]
/proc/loadavg: 4.20 4.13 4.10 5/257 811868
/proc/meminfo: memFree=121364316/131524600 swapFree=131071996/131071996
[pid=810658] ppid=810655 vsize=1808880 memory=1653512 CPUtime=2970.33 cores=0,2
/proc/810658/stat : 810658 (ipbhs_static_sc) R 810655 810658 808001 0 -1 4194304 228936 0 0 0 296952 81 0 0 20 0 1 0 158459509 1852293120 413378 134679101440 4194304 16068861 140728268855184 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 30449664 140728268862502 140728268862589 140728268862589 140728268869604 0
/proc/810658/statm: 452220 413378 3215 2900 0 448734 0
Current children cumulated CPU time: 2970.33 s
Current children cumulated vsize: 1808880 KiB
Current children cumulated memory: 1653512 KiB
[startup+3042.3 s]
/proc/loadavg: 4.27 4.18 4.12 5/258 811879
/proc/meminfo: memFree=121237760/131524600 swapFree=131071996/131071996
[pid=810658] ppid=810655 vsize=1808880 memory=1653512 CPUtime=3030.13 cores=0,2
/proc/810658/stat : 810658 (ipbhs_static_sc) R 810655 810658 808001 0 -1 4194304 229306 0 0 0 302931 82 0 0 20 0 1 0 158459509 1852293120 413378 134679101440 4194304 16068861 140728268855184 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 30449664 140728268862502 140728268862589 140728268862589 140728268869604 0
/proc/810658/statm: 452220 413378 3215 2900 0 448734 0
Current children cumulated CPU time: 3030.13 s
Current children cumulated vsize: 1808880 KiB
Current children cumulated memory: 1653512 KiB
[startup+3102.3 s]
/proc/loadavg: 4.21 4.18 4.12 5/258 811891
/proc/meminfo: memFree=121221108/131524600 swapFree=131071996/131071996
[pid=810658] ppid=810655 vsize=1808880 memory=1653512 CPUtime=3089.93 cores=0,2
/proc/810658/stat : 810658 (ipbhs_static_sc) R 810655 810658 808001 0 -1 4194304 229625 0 0 0 308911 82 0 0 20 0 1 0 158459509 1852293120 413378 134679101440 4194304 16068861 140728268855184 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 30449664 140728268862502 140728268862589 140728268862589 140728268869604 0
/proc/810658/statm: 452220 413378 3215 2900 0 448734 0
Current children cumulated CPU time: 3089.93 s
Current children cumulated vsize: 1808880 KiB
Current children cumulated memory: 1653512 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.16 4.11 5/258 811902
/proc/meminfo: memFree=121163424/131524600 swapFree=131071996/131071996
[pid=810658] ppid=810655 vsize=1808880 memory=1653512 CPUtime=3149.71 cores=0,2
/proc/810658/stat : 810658 (ipbhs_static_sc) R 810655 810658 808001 0 -1 4194304 230026 0 0 0 314888 83 0 0 20 0 1 0 158459509 1852293120 413378 134679101440 4194304 16068861 140728268855184 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 30449664 140728268862502 140728268862589 140728268862589 140728268869604 0
/proc/810658/statm: 452220 413378 3215 2900 0 448734 0
Current children cumulated CPU time: 3149.71 s
Current children cumulated vsize: 1808880 KiB
Current children cumulated memory: 1653512 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.14 4.10 5/256 812295
/proc/meminfo: memFree=120966784/131524600 swapFree=131071996/131071996
[pid=810658] ppid=810655 vsize=2000768 memory=1825472 CPUtime=3209.46 cores=0,2
/proc/810658/stat : 810658 (ipbhs_static_sc) R 810655 810658 808001 0 -1 4194304 231737 0 0 0 320859 87 0 0 20 0 1 0 158459509 2048786432 456368 134679101440 4194304 16068861 140728268855184 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 30449664 140728268862502 140728268862589 140728268862589 140728268869604 0
/proc/810658/statm: 500192 456368 3215 2900 0 496706 0
Current children cumulated CPU time: 3209.46 s
Current children cumulated vsize: 2000768 KiB
Current children cumulated memory: 1825472 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.14 4.10 5/256 812306
/proc/meminfo: memFree=120850432/131524600 swapFree=131071996/131071996
[pid=810658] ppid=810655 vsize=2000768 memory=1825676 CPUtime=3269.25 cores=0,2
/proc/810658/stat : 810658 (ipbhs_static_sc) R 810655 810658 808001 0 -1 4194304 232332 0 0 0 326837 88 0 0 20 0 1 0 158459509 2048786432 456419 134679101440 4194304 16068861 140728268855184 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 30449664 140728268862502 140728268862589 140728268862589 140728268869604 0
/proc/810658/statm: 500192 456419 3215 2900 0 496706 0
Current children cumulated CPU time: 3269.25 s
Current children cumulated vsize: 2000768 KiB
Current children cumulated memory: 1825676 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.14 4.10 5/255 812317
/proc/meminfo: memFree=120740808/131524600 swapFree=131071996/131071996
[pid=810658] ppid=810655 vsize=2000768 memory=1825676 CPUtime=3329.01 cores=0,2
/proc/810658/stat : 810658 (ipbhs_static_sc) R 810655 810658 808001 0 -1 4194304 232602 0 0 0 332813 88 0 0 20 0 1 0 158459509 2048786432 456419 134679101440 4194304 16068861 140728268855184 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 30449664 140728268862502 140728268862589 140728268862589 140728268869604 0
/proc/810658/statm: 500192 456419 3215 2900 0 496706 0
Current children cumulated CPU time: 3329.01 s
Current children cumulated vsize: 2000768 KiB
Current children cumulated memory: 1825676 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.15 4.10 5/257 812497
/proc/meminfo: memFree=120688824/131524600 swapFree=131071996/131071996
[pid=810658] ppid=810655 vsize=2000768 memory=1825676 CPUtime=3388.79 cores=0,2
/proc/810658/stat : 810658 (ipbhs_static_sc) R 810655 810658 808001 0 -1 4194304 232942 0 0 0 338791 88 0 0 20 0 1 0 158459509 2048786432 456419 134679101440 4194304 16068861 140728268855184 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 30449664 140728268862502 140728268862589 140728268862589 140728268869604 0
/proc/810658/statm: 500192 456419 3215 2900 0 496706 0
Current children cumulated CPU time: 3388.79 s
Current children cumulated vsize: 2000768 KiB
Current children cumulated memory: 1825676 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.14 4.10 5/257 812507
/proc/meminfo: memFree=120420396/131524600 swapFree=131071996/131071996
[pid=810658] ppid=810655 vsize=2000768 memory=1825676 CPUtime=3448.57 cores=0,2
/proc/810658/stat : 810658 (ipbhs_static_sc) R 810655 810658 808001 0 -1 4194304 233309 0 0 0 344768 89 0 0 20 0 1 0 158459509 2048786432 456419 134679101440 4194304 16068861 140728268855184 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 30449664 140728268862502 140728268862589 140728268862589 140728268869604 0
/proc/810658/statm: 500192 456419 3215 2900 0 496706 0
Current children cumulated CPU time: 3448.57 s
Current children cumulated vsize: 2000768 KiB
Current children cumulated memory: 1825676 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/257 812522
/proc/meminfo: memFree=120437036/131524600 swapFree=131071996/131071996
[pid=810658] ppid=810655 vsize=2013428 memory=1837192 CPUtime=3508.35 cores=0,2
/proc/810658/stat : 810658 (ipbhs_static_sc) R 810655 810658 808001 0 -1 4194304 236523 0 0 0 350746 89 0 0 20 0 1 0 158459509 2061750272 459298 134679101440 4194304 16068861 140728268855184 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 30449664 140728268862502 140728268862589 140728268862589 140728268869604 0
/proc/810658/statm: 503357 459298 3215 2900 0 499871 0
Current children cumulated CPU time: 3508.35 s
Current children cumulated vsize: 2013428 KiB
Current children cumulated memory: 1837192 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/257 812635
/proc/meminfo: memFree=123800816/131524600 swapFree=131071996/131071996
[pid=810658] ppid=810655 vsize=2013428 memory=1837192 CPUtime=3568.14 cores=0,2
/proc/810658/stat : 810658 (ipbhs_static_sc) R 810655 810658 808001 0 -1 4194304 236901 0 0 0 356724 90 0 0 20 0 1 0 158459509 2061750272 459298 134679101440 4194304 16068861 140728268855184 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 30449664 140728268862502 140728268862589 140728268862589 140728268869604 0
/proc/810658/statm: 503357 459298 3215 2900 0 499871 0
Current children cumulated CPU time: 3568.14 s
Current children cumulated vsize: 2013428 KiB
Current children cumulated memory: 1837192 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3614.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/257 812639
/proc/meminfo: memFree=123760552/131524600 swapFree=131071996/131071996
[pid=810658] ppid=810655 vsize=2013428 memory=1837192 CPUtime=3600.01 cores=0,2
/proc/810658/stat : 810658 (ipbhs_static_sc) R 810655 810658 808001 0 -1 4194304 237104 0 0 0 359911 90 0 0 20 0 1 0 158459509 2061750272 459298 134679101440 4194304 16068861 140728268855184 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 30449664 140728268862502 140728268862589 140728268862589 140728268869604 0
/proc/810658/statm: 503357 459298 3215 2900 0 499871 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 2013428 KiB
Current children cumulated memory: 1837192 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3614.31 s]
# the end of solver process 810658 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3599.12 s, system=0.913638 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3614.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/257 812639
/proc/meminfo: memFree=123760552/131524600 swapFree=131071996/131071996
[pid=810658] ppid=810655 vsize=2013428 memory=1837192 CPUtime=3600.01 cores=0,2
/proc/810658/stat : 810658 (ipbhs_static_sc) R 810655 810658 808001 0 -1 4194304 237104 0 0 0 359911 90 0 0 20 0 1 0 158459509 2061750272 459298 134679101440 4194304 16068861 140728268855184 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 30449664 140728268862502 140728268862589 140728268862589 140728268869604 0
/proc/810658/statm: 503357 459298 3215 2900 0 499871 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 2013428 KiB
Current children cumulated memory: 1837192 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3614.31
CPU time (s): 3600.03
CPU user time (s): 3599.12
CPU system time (s): 0.913638
CPU usage (%): 99.605
Max. virtual memory (cumulated for all children) (KiB): 2013428
Max. memory (cumulated for all children) (KiB): 1837192
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.12
system time used= 0.913638
maximum resident set size= 1837192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 237104
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= 65
involuntary context switches= 24680
# summary of solver processes directly reported to runsolver:
# pid: 810658
# total CPU time (s): 3600.03
# total CPU user time (s): 3599.12
# total CPU system time (s): 0.913638
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.07281 second user time and 17.6348 second system time
The end
Begin job on nodeC028 at 2024-07-15 19:02:17
IDJOB=4431892
IDBENCH=146698
IDSOLVER=3057
FILE ID=nodeC028/4431892-1721062925
RUNJOBID= nodeC028-1721059157-808011
SLURM_JOB_ID= 7505495
Free space on /tmp= 889908 MiB
SOLVER NAME= IPBHS-SCIP 2024-07-09
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-1.opb
COMMAND LINE= ./ipbhs_static_scip BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431892-1721062925/watcher-4431892-1721062925 -o /tmp/evaluation-result-4431892-1721062925/solver-4431892-1721062925 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721059157-808011 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4431892-1721062925.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c55f73e6e0cc08bf75a2558de9268914
RANDOM SEED=1576732805
nodeC028.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 : 3673.441
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.56
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 : 3679.433
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.59
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 : 3653.688
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.56
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 : 3599.816
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.59
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 : 3667.116
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.56
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 : 3679.451
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.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.025
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.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.156
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.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 128106476 kB
MemAvailable: 128773348 kB
Buffers: 368680 kB
Cached: 1137160 kB
SwapCached: 0 kB
Active: 658896 kB
Inactive: 2175056 kB
Active(anon): 1536 kB
Inactive(anon): 1364324 kB
Active(file): 657360 kB
Inactive(file): 810732 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 54740 kB
Writeback: 0 kB
AnonPages: 1325324 kB
Mapped: 139572 kB
Shmem: 37720 kB
KReclaimable: 77204 kB
Slab: 178904 kB
SReclaimable: 77204 kB
SUnreclaim: 101700 kB
KernelStack: 4144 kB
PageTables: 12288 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 2061036 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 59776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 335872 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: 193236 kB
DirectMap2M: 18454528 kB
DirectMap1G: 117440512 kB
Free space on /tmp at the end= 889852 MiB
End job on nodeC028 at 2024-07-15 20:02:32