8.55/8.62 c initialize IPBHS solver
8.55/8.62 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
8.55/8.62 c optimizer = "scip"
8.55/8.62 c pbsolver = "roundingsat"
8.55/8.62 c load symmetries from file ""
8.55/8.62 c set time limit for symmetry computation to 100 seconds.
8.55/8.62 c set interchangeable summation variable limit to 3
8.55/8.62 c set abs symmetric core budget per WCE-iteration to 100
8.55/8.62 c set rel symmetric core budget per WCE-iteration to 0
8.55/8.62 c set lit symmetric core budget per WCE-iteration to 0
8.55/8.62 c set sym generation to 's'
8.55/8.62 c set abstraction set creation to 10 iterations without LB change
8.55/8.62 c set abstraction set inputs to 0
8.55/8.62 c set abstraction set cluster min size to 2
8.55/8.62 c set abstraction set cluster max size to 100000000
8.55/8.62 c set abstraction set cluster activation limit to 2
8.55/8.62 c enable abstraction set require equal cost
8.55/8.62 c set abstraction set assumptions to 0
8.55/8.62 c set abstraction set constraint type to 0
8.55/8.62 c set abstract core extraction strategy to b
8.55/8.62 c set core extraction strategy to 2
8.55/8.62 c set core extraction shuffles 10
8.55/8.62 c set cores per iteration to 5
8.55/8.62 c set optimizer bound usage strategy to 2
8.55/8.62 c set optimizer max non-optimal iterations to 1000
8.55/8.62 c set small core cardinality limit to 2
8.55/8.62 c set max coef in cores to 1000000000
8.55/8.62 c set SIS iterations to 5
8.55/8.62 c set SIS budget abs to 1000
8.55/8.62 c set SIS budget rel to 0.05
8.55/8.62 c limit for coefficient in constraints and objective to 9223372036854775807
8.55/8.62 c will solve HOME/instance-4431836-1721075722.opb
8.55/8.62 c [0.01] solve iteration 1, LB=0, UB=1961
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 (60375 MiB free)
memory of node 1: 64510 MiB (63141 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431836-1721075722/watcher-4431836-1721075722 -o /tmp/evaluation-result-4431836-1721075722/solver-4431836-1721075722 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721068515-820555 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4431836-1721075722.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=824672, runsolver pid=824669
[startup+0.100271 s]*
/proc/loadavg: 4.16 4.14 4.15 5/256 824683
/proc/meminfo: memFree=126441848/131524600 swapFree=131071996/131071996
[pid=824672] ppid=824669 vsize=57332 memory=39572 CPUtime=0.09 cores=5,7
/proc/824672/stat : 824672 (ipbhs_static_sc) R 824669 824672 820542 0 -1 4194304 6961 0 0 0 8 1 0 0 20 0 1 0 159740518 58707968 9893 134679101440 4194304 16068861 140728443358688 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18370176 18462544 34717696 140728443360294 140728443360381 140728443360381 140728443367396 0
/proc/824672/statm: 14333 9893 2863 2900 0 10847 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 57332 KiB
Current children cumulated memory: 39572 KiB
[startup+0.206258 s]*
/proc/loadavg: 4.16 4.14 4.15 5/256 824683
/proc/meminfo: memFree=126406764/131524600 swapFree=131071996/131071996
[pid=824672] ppid=824669 vsize=74108 memory=51740 CPUtime=0.19 cores=5,7
/proc/824672/stat : 824672 (ipbhs_static_sc) R 824669 824672 820542 0 -1 4194304 10048 0 0 0 18 1 0 0 20 0 1 0 159740518 75886592 12935 134679101440 4194304 16068861 140728443358688 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18370176 18462544 34717696 140728443360294 140728443360381 140728443360381 140728443367396 0
/proc/824672/statm: 18527 12935 2879 2900 0 15041 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 74108 KiB
Current children cumulated memory: 51740 KiB
[startup+0.306257 s]*
/proc/loadavg: 4.16 4.14 4.15 5/256 824683
/proc/meminfo: memFree=126396572/131524600 swapFree=131071996/131071996
[pid=824672] ppid=824669 vsize=74668 memory=52524 CPUtime=0.28 cores=5,7
/proc/824672/stat : 824672 (ipbhs_static_sc) R 824669 824672 820542 0 -1 4194304 10205 0 0 0 27 1 0 0 20 0 1 0 159740518 76460032 13131 134679101440 4194304 16068861 140728443358688 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18370176 18462544 34717696 140728443360294 140728443360381 140728443360381 140728443367396 0
/proc/824672/statm: 18667 13131 2879 2900 0 15181 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 74668 KiB
Current children cumulated memory: 52524 KiB
[startup+0.700161 s]
/proc/loadavg: 4.16 4.14 4.15 5/256 824683
/proc/meminfo: memFree=126391028/131524600 swapFree=131071996/131071996
[pid=824672] ppid=824669 vsize=78888 memory=55984 CPUtime=0.67 cores=5,7
/proc/824672/stat : 824672 (ipbhs_static_sc) R 824669 824672 820542 0 -1 4194304 11072 0 0 0 66 1 0 0 20 0 1 0 159740518 80781312 13996 134679101440 4194304 16068861 140728443358688 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 34717696 140728443360294 140728443360381 140728443360381 140728443367396 0
/proc/824672/statm: 19722 13996 2895 2900 0 16236 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 78888 KiB
Current children cumulated memory: 55984 KiB
[startup+1.50016 s]
/proc/loadavg: 4.16 4.14 4.15 5/256 824683
/proc/meminfo: memFree=126389692/131524600 swapFree=131071996/131071996
[pid=824672] ppid=824669 vsize=81256 memory=58096 CPUtime=1.46 cores=5,7
/proc/824672/stat : 824672 (ipbhs_static_sc) R 824669 824672 820542 0 -1 4194304 11608 0 0 0 145 1 0 0 20 0 1 0 159740518 83206144 14524 134679101440 4194304 16068861 140728443358688 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 34717696 140728443360294 140728443360381 140728443360381 140728443367396 0
/proc/824672/statm: 20314 14524 2895 2900 0 16828 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 81256 KiB
Current children cumulated memory: 58096 KiB
[startup+3.10526 s]
/proc/loadavg: 4.16 4.14 4.15 5/256 824729
/proc/meminfo: memFree=126804060/131524600 swapFree=131071996/131071996
[pid=824672] ppid=824669 vsize=89168 memory=65224 CPUtime=3.07 cores=5,7
/proc/824672/stat : 824672 (ipbhs_static_sc) R 824669 824672 820542 0 -1 4194304 13418 0 0 0 305 2 0 0 20 0 1 0 159740518 91308032 16306 134679101440 4194304 16068861 140728443358688 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 34717696 140728443360294 140728443360381 140728443360381 140728443367396 0
/proc/824672/statm: 22292 16306 2895 2900 0 18806 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 89168 KiB
Current children cumulated memory: 65224 KiB
[startup+6.30016 s]
/proc/loadavg: 4.15 4.14 4.14 5/256 824731
/proc/meminfo: memFree=126761124/131524600 swapFree=131071996/131071996
[pid=824672] ppid=824669 vsize=111704 memory=86592 CPUtime=6.26 cores=5,7
/proc/824672/stat : 824672 (ipbhs_static_sc) R 824669 824672 820542 0 -1 4194304 18764 0 0 0 623 3 0 0 20 0 1 0 159740518 114384896 21648 134679101440 4194304 16068861 140728443358688 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 34717696 140728443360294 140728443360381 140728443360381 140728443367396 0
/proc/824672/statm: 27926 21648 2895 2900 0 24440 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 111704 KiB
Current children cumulated memory: 86592 KiB
[startup+12.7002 s]
/proc/loadavg: 4.21 4.15 4.15 5/256 824777
/proc/meminfo: memFree=127564724/131524600 swapFree=131071996/131071996
[pid=824672] ppid=824669 vsize=126396 memory=99240 CPUtime=12.64 cores=5,7
/proc/824672/stat : 824672 (ipbhs_static_sc) R 824669 824672 820542 0 -1 4194304 22769 0 0 0 1261 3 0 0 20 0 1 0 159740518 129429504 24810 134679101440 4194304 16068861 140728443358688 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 34717696 140728443360294 140728443360381 140728443360381 140728443367396 0
/proc/824672/statm: 31599 24810 2895 2900 0 28113 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 126396 KiB
Current children cumulated memory: 99240 KiB
[startup+25.5002 s]
/proc/loadavg: 4.25 4.16 4.15 5/256 824780
/proc/meminfo: memFree=127547052/131524600 swapFree=131071996/131071996
[pid=824672] ppid=824669 vsize=127060 memory=101308 CPUtime=25.41 cores=5,7
/proc/824672/stat : 824672 (ipbhs_static_sc) R 824669 824672 820542 0 -1 4194304 22968 0 0 0 2538 3 0 0 20 0 1 0 159740518 130109440 25327 134679101440 4194304 16068861 140728443358688 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 34717696 140728443360294 140728443360381 140728443360381 140728443367396 0
/proc/824672/statm: 31765 25327 2895 2900 0 28279 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 127060 KiB
Current children cumulated memory: 101308 KiB
[startup+51.1053 s]
/proc/loadavg: 4.16 4.15 4.15 5/256 824784
/proc/meminfo: memFree=127419548/131524600 swapFree=131071996/131071996
[pid=824672] ppid=824669 vsize=166380 memory=144448 CPUtime=50.94 cores=5,7
/proc/824672/stat : 824672 (ipbhs_static_sc) R 824669 824672 820542 0 -1 4194304 34418 0 0 0 5089 5 0 0 20 0 1 0 159740518 170373120 36112 134679101440 4194304 16068861 140728443358688 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 34717696 140728443360294 140728443360381 140728443360381 140728443367396 0
/proc/824672/statm: 41595 36112 2895 2900 0 38109 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 166380 KiB
Current children cumulated memory: 144448 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.14 4.14 5/256 824793
/proc/meminfo: memFree=127310552/131524600 swapFree=131071996/131071996
[pid=824672] ppid=824669 vsize=181316 memory=165848 CPUtime=102.02 cores=5,7
/proc/824672/stat : 824672 (ipbhs_static_sc) R 824669 824672 820542 0 -1 4194304 39495 0 0 0 10196 6 0 0 20 0 1 0 159740518 185667584 41462 134679101440 4194304 16068861 140728443358688 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 34717696 140728443360294 140728443360381 140728443360381 140728443367396 0
/proc/824672/statm: 45329 41462 2895 2900 0 41843 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 181316 KiB
Current children cumulated memory: 165848 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.14 4.14 5/256 824804
/proc/meminfo: memFree=127230860/131524600 swapFree=131071996/131071996
[pid=824672] ppid=824669 vsize=208156 memory=192116 CPUtime=161.84 cores=5,7
/proc/824672/stat : 824672 (ipbhs_static_sc) R 824669 824672 820542 0 -1 4194304 47232 0 0 0 16177 7 0 0 20 0 1 0 159740518 213151744 48029 134679101440 4194304 16068861 140728443358688 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 34717696 140728443360294 140728443360381 140728443360381 140728443367396 0
/proc/824672/statm: 52039 48029 2895 2900 0 48553 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 208156 KiB
Current children cumulated memory: 192116 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.13 4.14 5/256 824815
/proc/meminfo: memFree=127174116/131524600 swapFree=131071996/131071996
[pid=824672] ppid=824669 vsize=224372 memory=204284 CPUtime=221.66 cores=5,7
/proc/824672/stat : 824672 (ipbhs_static_sc) R 824669 824672 820542 0 -1 4194304 50432 0 0 0 22158 8 0 0 20 0 1 0 159740518 229756928 51071 134679101440 4194304 16068861 140728443358688 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 34717696 140728443360294 140728443360381 140728443360381 140728443367396 0
/proc/824672/statm: 56093 51071 2895 2900 0 52607 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 224372 KiB
Current children cumulated memory: 204284 KiB
[startup+282.3 s]
/proc/loadavg: 4.04 4.10 4.13 5/257 824829
/proc/meminfo: memFree=127130088/131524600 swapFree=131071996/131071996
[pid=824672] ppid=824669 vsize=246348 memory=222308 CPUtime=281.49 cores=5,7
/proc/824672/stat : 824672 (ipbhs_static_sc) R 824669 824672 820542 0 -1 4194304 54938 0 0 0 28140 9 0 0 20 0 1 0 159740518 252260352 55577 134679101440 4194304 16068861 140728443358688 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 34717696 140728443360294 140728443360381 140728443360381 140728443367396 0
/proc/824672/statm: 61587 55577 2895 2900 0 58101 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 246348 KiB
Current children cumulated memory: 222308 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.11 4.13 5/257 824840
/proc/meminfo: memFree=127087356/131524600 swapFree=131071996/131071996
[pid=824672] ppid=824669 vsize=258484 memory=229912 CPUtime=341.31 cores=5,7
/proc/824672/stat : 824672 (ipbhs_static_sc) R 824669 824672 820542 0 -1 4194304 56906 0 0 0 34122 9 0 0 20 0 1 0 159740518 264687616 57478 134679101440 4194304 16068861 140728443358688 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 34717696 140728443360294 140728443360381 140728443360381 140728443367396 0
/proc/824672/statm: 64621 57478 2895 2900 0 61135 0
Current children cumulated CPU time: 341.31 s
Current children cumulated vsize: 258484 KiB
Current children cumulated memory: 229912 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 4.11 4.12 5/257 824851
/proc/meminfo: memFree=127063976/131524600 swapFree=131071996/131071996
[pid=824672] ppid=824669 vsize=264372 memory=234656 CPUtime=401.13 cores=5,7
/proc/824672/stat : 824672 (ipbhs_static_sc) R 824669 824672 820542 0 -1 4194304 58142 0 0 0 40104 9 0 0 20 0 1 0 159740518 270716928 58664 134679101440 4194304 16068861 140728443358688 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 34717696 140728443360294 140728443360381 140728443360381 140728443367396 0
/proc/824672/statm: 66093 58664 2895 2900 0 62607 0
Current children cumulated CPU time: 401.13 s
Current children cumulated vsize: 264372 KiB
Current children cumulated memory: 234656 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 4.12 4.12 5/258 824864
/proc/meminfo: memFree=127035048/131524600 swapFree=131071996/131071996
[pid=824672] ppid=824669 vsize=266032 memory=236088 CPUtime=460.95 cores=5,7
/proc/824672/stat : 824672 (ipbhs_static_sc) R 824669 824672 820542 0 -1 4194304 58598 0 0 0 46086 9 0 0 20 0 1 0 159740518 272416768 59022 134679101440 4194304 16068861 140728443358688 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 34717696 140728443360294 140728443360381 140728443360381 140728443367396 0
/proc/824672/statm: 66508 59022 2895 2900 0 63022 0
################
# More data... #
################
Current children cumulated memory: 420144 KiB
[startup+2862.3 s]
/proc/loadavg: 4.09 4.14 4.13 5/258 825883
/proc/meminfo: memFree=126608780/131524600 swapFree=131071996/131071996
[pid=824672] ppid=824669 vsize=435200 memory=420144 CPUtime=2855.14 cores=5,7
/proc/824672/stat : 824672 (ipbhs_static_sc) R 824669 824672 820542 0 -1 4194304 103624 0 0 0 285497 17 0 0 20 0 1 0 159740518 445644800 105036 134679101440 4194304 16068861 140728443358688 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 34717696 140728443360294 140728443360381 140728443360381 140728443367396 0
/proc/824672/statm: 108800 105036 2895 2900 0 105314 0
Current children cumulated CPU time: 2855.14 s
Current children cumulated vsize: 435200 KiB
Current children cumulated memory: 420144 KiB
[startup+2922.3 s]
/proc/loadavg: 4.13 4.14 4.13 5/258 825894
/proc/meminfo: memFree=126607996/131524600 swapFree=131071996/131071996
[pid=824672] ppid=824669 vsize=434180 memory=419124 CPUtime=2915 cores=5,7
/proc/824672/stat : 824672 (ipbhs_static_sc) R 824669 824672 820542 0 -1 4194304 103781 0 0 0 291483 17 0 0 20 0 1 0 159740518 444600320 104781 134679101440 4194304 16068861 140728443358688 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 34717696 140728443360294 140728443360381 140728443360381 140728443367396 0
/proc/824672/statm: 108545 104781 2895 2900 0 105059 0
Current children cumulated CPU time: 2915 s
Current children cumulated vsize: 434180 KiB
Current children cumulated memory: 419124 KiB
[startup+2982.3 s]
/proc/loadavg: 4.14 4.14 4.13 5/258 825904
/proc/meminfo: memFree=126606052/131524600 swapFree=131071996/131071996
[pid=824672] ppid=824669 vsize=434180 memory=419124 CPUtime=2974.85 cores=5,7
/proc/824672/stat : 824672 (ipbhs_static_sc) R 824669 824672 820542 0 -1 4194304 103968 0 0 0 297468 17 0 0 20 0 1 0 159740518 444600320 104781 134679101440 4194304 16068861 140728443358688 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 34717696 140728443360294 140728443360381 140728443360381 140728443367396 0
/proc/824672/statm: 108545 104781 2895 2900 0 105059 0
Current children cumulated CPU time: 2974.85 s
Current children cumulated vsize: 434180 KiB
Current children cumulated memory: 419124 KiB
[startup+3042.3 s]
/proc/loadavg: 4.09 4.13 4.12 5/257 826299
/proc/meminfo: memFree=126605080/131524600 swapFree=131071996/131071996
[pid=824672] ppid=824669 vsize=434180 memory=419124 CPUtime=3034.71 cores=5,7
/proc/824672/stat : 824672 (ipbhs_static_sc) R 824669 824672 820542 0 -1 4194304 104128 0 0 0 303454 17 0 0 20 0 1 0 159740518 444600320 104781 134679101440 4194304 16068861 140728443358688 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 34717696 140728443360294 140728443360381 140728443360381 140728443367396 0
/proc/824672/statm: 108545 104781 2895 2900 0 105059 0
Current children cumulated CPU time: 3034.71 s
Current children cumulated vsize: 434180 KiB
Current children cumulated memory: 419124 KiB
[startup+3102.3 s]
/proc/loadavg: 4.16 4.15 4.13 5/257 826309
/proc/meminfo: memFree=126600364/131524600 swapFree=131071996/131071996
[pid=824672] ppid=824669 vsize=440404 memory=423160 CPUtime=3094.57 cores=5,7
/proc/824672/stat : 824672 (ipbhs_static_sc) R 824669 824672 820542 0 -1 4194304 104810 0 0 0 309440 17 0 0 20 0 1 0 159740518 450973696 105790 134679101440 4194304 16068861 140728443358688 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 34717696 140728443360294 140728443360381 140728443360381 140728443367396 0
/proc/824672/statm: 110101 105790 2895 2900 0 106615 0
Current children cumulated CPU time: 3094.57 s
Current children cumulated vsize: 440404 KiB
Current children cumulated memory: 423160 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.13 4.12 5/260 826491
/proc/meminfo: memFree=126585836/131524600 swapFree=131071996/131071996
[pid=824672] ppid=824669 vsize=437396 memory=420536 CPUtime=3154.43 cores=5,7
/proc/824672/stat : 824672 (ipbhs_static_sc) R 824669 824672 820542 0 -1 4194304 105075 0 0 0 315426 17 0 0 20 0 1 0 159740518 447893504 105134 134679101440 4194304 16068861 140728443358688 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 34717696 140728443360294 140728443360381 140728443360381 140728443367396 0
/proc/824672/statm: 109349 105134 2895 2900 0 105863 0
Current children cumulated CPU time: 3154.43 s
Current children cumulated vsize: 437396 KiB
Current children cumulated memory: 420536 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.14 4.12 5/260 826501
/proc/meminfo: memFree=126585128/131524600 swapFree=131071996/131071996
[pid=824672] ppid=824669 vsize=432296 memory=415640 CPUtime=3214.29 cores=5,7
/proc/824672/stat : 824672 (ipbhs_static_sc) R 824669 824672 820542 0 -1 4194304 105280 0 0 0 321412 17 0 0 20 0 1 0 159740518 442671104 103910 134679101440 4194304 16068861 140728443358688 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 34717696 140728443360294 140728443360381 140728443360381 140728443367396 0
/proc/824672/statm: 108074 103910 2895 2900 0 104588 0
Current children cumulated CPU time: 3214.29 s
Current children cumulated vsize: 432296 KiB
Current children cumulated memory: 415640 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.13 4.12 5/262 826569
/proc/meminfo: memFree=126579536/131524600 swapFree=131071996/131071996
[pid=824672] ppid=824669 vsize=432296 memory=416236 CPUtime=3274.15 cores=5,7
/proc/824672/stat : 824672 (ipbhs_static_sc) R 824669 824672 820542 0 -1 4194304 105598 0 0 0 327398 17 0 0 20 0 1 0 159740518 442671104 104059 134679101440 4194304 16068861 140728443358688 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 34717696 140728443360294 140728443360381 140728443360381 140728443367396 0
/proc/824672/statm: 108074 104059 2895 2900 0 104588 0
Current children cumulated CPU time: 3274.15 s
Current children cumulated vsize: 432296 KiB
Current children cumulated memory: 416236 KiB
[startup+3342.3 s]
/proc/loadavg: 4.29 4.16 4.13 5/262 826581
/proc/meminfo: memFree=126583912/131524600 swapFree=131071996/131071996
[pid=824672] ppid=824669 vsize=429224 memory=413532 CPUtime=3334 cores=5,7
/proc/824672/stat : 824672 (ipbhs_static_sc) R 824669 824672 820542 0 -1 4194304 105858 0 0 0 333383 17 0 0 20 0 1 0 159740518 439525376 103383 134679101440 4194304 16068861 140728443358688 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 34717696 140728443360294 140728443360381 140728443360381 140728443367396 0
/proc/824672/statm: 107306 103383 2895 2900 0 103820 0
Current children cumulated CPU time: 3334 s
Current children cumulated vsize: 429224 KiB
Current children cumulated memory: 413532 KiB
[startup+3402.3 s]
/proc/loadavg: 4.17 4.15 4.12 5/260 826591
/proc/meminfo: memFree=126581236/131524600 swapFree=131071996/131071996
[pid=824672] ppid=824669 vsize=429224 memory=413608 CPUtime=3393.86 cores=5,7
/proc/824672/stat : 824672 (ipbhs_static_sc) R 824669 824672 820542 0 -1 4194304 106033 0 0 0 339369 17 0 0 20 0 1 0 159740518 439525376 103402 134679101440 4194304 16068861 140728443358688 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 34717696 140728443360294 140728443360381 140728443360381 140728443367396 0
/proc/824672/statm: 107306 103402 2895 2900 0 103820 0
Current children cumulated CPU time: 3393.86 s
Current children cumulated vsize: 429224 KiB
Current children cumulated memory: 413608 KiB
[startup+3462.3 s]
/proc/loadavg: 4.16 4.15 4.12 5/260 826603
/proc/meminfo: memFree=126579780/131524600 swapFree=131071996/131071996
[pid=824672] ppid=824669 vsize=429224 memory=413996 CPUtime=3453.72 cores=5,7
/proc/824672/stat : 824672 (ipbhs_static_sc) R 824669 824672 820542 0 -1 4194304 106304 0 0 0 345355 17 0 0 20 0 1 0 159740518 439525376 103499 134679101440 4194304 16068861 140728443358688 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 34717696 140728443360294 140728443360381 140728443360381 140728443367396 0
/proc/824672/statm: 107306 103499 2895 2900 0 103820 0
Current children cumulated CPU time: 3453.72 s
Current children cumulated vsize: 429224 KiB
Current children cumulated memory: 413996 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.15 4.12 5/258 826614
/proc/meminfo: memFree=126578608/131524600 swapFree=131071996/131071996
[pid=824672] ppid=824669 vsize=429224 memory=414188 CPUtime=3513.58 cores=5,7
/proc/824672/stat : 824672 (ipbhs_static_sc) R 824669 824672 820542 0 -1 4194304 106515 0 0 0 351341 17 0 0 20 0 1 0 159740518 439525376 103547 134679101440 4194304 16068861 140728443358688 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 34717696 140728443360294 140728443360381 140728443360381 140728443367396 0
/proc/824672/statm: 107306 103547 2895 2900 0 103820 0
Current children cumulated CPU time: 3513.58 s
Current children cumulated vsize: 429224 KiB
Current children cumulated memory: 414188 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.15 4.12 5/256 826624
/proc/meminfo: memFree=126575940/131524600 swapFree=131071996/131071996
[pid=824672] ppid=824669 vsize=430756 memory=415804 CPUtime=3573.44 cores=5,7
/proc/824672/stat : 824672 (ipbhs_static_sc) R 824669 824672 820542 0 -1 4194304 107098 0 0 0 357327 17 0 0 20 0 1 0 159740518 441094144 103951 134679101440 4194304 16068861 140728443358688 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 34717696 140728443360294 140728443360381 140728443360381 140728443367396 0
/proc/824672/statm: 107689 103951 2895 2900 0 104203 0
Current children cumulated CPU time: 3573.44 s
Current children cumulated vsize: 430756 KiB
Current children cumulated memory: 415804 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609 s]*
/proc/loadavg: 4.17 4.15 4.12 5/256 826629
/proc/meminfo: memFree=126575160/131524600 swapFree=131071996/131071996
[pid=824672] ppid=824669 vsize=433188 memory=416412 CPUtime=3600.08 cores=5,7
/proc/824672/stat : 824672 (ipbhs_static_sc) R 824669 824672 820542 0 -1 4194304 107276 0 0 0 359991 17 0 0 20 0 1 0 159740518 443584512 104103 134679101440 4194304 16068861 140728443358688 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 34717696 140728443360294 140728443360381 140728443360381 140728443367396 0
/proc/824672/statm: 108297 104103 2895 2900 0 104811 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 433188 KiB
Current children cumulated memory: 416412 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.01 s]
# the end of solver process 824672 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3599.92 s, system=0.17947 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.01
CPU time (s): 3600.1
CPU user time (s): 3599.92
CPU system time (s): 0.17947
CPU usage (%): 99.7531
Max. virtual memory (cumulated for all children) (KiB): 440404
Max. memory (cumulated for all children) (KiB): 423384
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.92
system time used= 0.17947
maximum resident set size= 423384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 107276
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= 49
involuntary context switches= 1691
# summary of solver processes directly reported to runsolver:
# pid: 824672
# total CPU time (s): 3600.1
# total CPU user time (s): 3599.92
# total CPU system time (s): 0.17947
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.5437 second user time and 14.5947 second system time
The end
Begin job on nodeC031 at 2024-07-15 22:35:35
IDJOB=4431836
IDBENCH=147526
IDSOLVER=3057
FILE ID=nodeC031/4431836-1721075722
RUNJOBID= nodeC031-1721068515-820555
SLURM_JOB_ID= 7505521
Free space on /tmp= 889924 MiB
SOLVER NAME= IPBHS-SCIP 2024-07-09
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_34.opb.PB06.opb
COMMAND LINE= ./ipbhs_static_scip BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431836-1721075722/watcher-4431836-1721075722 -o /tmp/evaluation-result-4431836-1721075722/solver-4431836-1721075722 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721068515-820555 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4431836-1721075722.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 52f0a3c0093dc9bf421bafb6505effdf
RANDOM SEED=1993685801
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 : 3667.850
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 : 3667.119
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 : 3599.942
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 : 3668.291
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 : 3667.798
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 : 3669.149
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 : 3599.993
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 : 3600.137
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: 126481508 kB
MemAvailable: 128302436 kB
Buffers: 363868 kB
Cached: 2279940 kB
SwapCached: 0 kB
Active: 677380 kB
Inactive: 3741636 kB
Active(anon): 1512 kB
Inactive(anon): 1811392 kB
Active(file): 675868 kB
Inactive(file): 1930244 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 107568 kB
Writeback: 88 kB
AnonPages: 1767996 kB
Mapped: 128188 kB
Shmem: 37720 kB
KReclaimable: 108928 kB
Slab: 215828 kB
SReclaimable: 108928 kB
SUnreclaim: 106900 kB
KernelStack: 3888 kB
PageTables: 12544 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 2209504 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 61952 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1613824 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= 889872 MiB
End job on nodeC031 at 2024-07-15 23:35:44