0.00/0.02 c initialize IPBHS solver
0.00/0.02 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
0.00/0.02 c optimizer = "scip"
0.00/0.02 c pbsolver = "roundingsat"
0.00/0.02 c load symmetries from file ""
0.00/0.02 c set time limit for symmetry computation to 100 seconds.
0.00/0.02 c set interchangeable summation variable limit to 3
0.00/0.02 c set abs symmetric core budget per WCE-iteration to 100
0.00/0.02 c set rel symmetric core budget per WCE-iteration to 0
0.00/0.02 c set lit symmetric core budget per WCE-iteration to 0
0.00/0.02 c set sym generation to 's'
0.00/0.02 c set abstraction set creation to 10 iterations without LB change
0.00/0.02 c set abstraction set inputs to 0
0.00/0.02 c set abstraction set cluster min size to 2
0.00/0.02 c set abstraction set cluster max size to 100000000
0.00/0.02 c set abstraction set cluster activation limit to 2
0.00/0.02 c enable abstraction set require equal cost
0.00/0.02 c set abstraction set assumptions to 0
0.00/0.02 c set abstraction set constraint type to 0
0.00/0.02 c set abstract core extraction strategy to b
0.00/0.02 c set core extraction strategy to 2
0.00/0.02 c set core extraction shuffles 10
0.00/0.02 c set cores per iteration to 5
0.00/0.02 c set optimizer bound usage strategy to 2
0.00/0.02 c set optimizer max non-optimal iterations to 1000
0.00/0.02 c set small core cardinality limit to 2
0.00/0.02 c set max coef in cores to 1000000000
0.00/0.02 c set SIS iterations to 5
0.00/0.02 c set SIS budget abs to 1000
0.00/0.02 c set SIS budget rel to 0.05
0.00/0.02 c limit for coefficient in constraints and objective to 9223372036854775807
0.00/0.02 c will solve HOME/instance-4432130-1721174375.opb
0.00/0.02 c [0] solve iteration 1, LB=0, UB=33
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 (62035 MiB free)
memory of node 1: 64473 MiB (63057 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432130-1721174375/watcher-4432130-1721174375 -o /tmp/evaluation-result-4432130-1721174375/solver-4432130-1721174375 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721174388-923038 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4432130-1721174375.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
solver pid=923083, runsolver pid=923078
Current StackSize limit: 8192 KiB
[startup+0.100086 s]*
/proc/loadavg: 3.86 4.06 4.04 4/256 923100
/proc/meminfo: memFree=128062516/131524600 swapFree=131071996/131071996
[pid=923083] ppid=923078 vsize=35660 memory=21780 CPUtime=0.09 cores=4,6
/proc/923083/stat : 923083 (ipbhs_static_sc) R 923078 923083 918585 0 -1 4194304 2401 0 0 0 9 0 0 0 20 0 1 0 169605596 36515840 5445 134679101440 4194304 16068861 140721802423728 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 52260864 140721802429478 140721802429565 140721802429565 140721802436580 0
/proc/923083/statm: 8915 5445 2927 2900 0 5429 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 35660 KiB
Current children cumulated memory: 21780 KiB
[startup+0.205786 s]*
/proc/loadavg: 3.86 4.06 4.04 4/255 923114
/proc/meminfo: memFree=128061156/131524600 swapFree=131071996/131071996
[pid=923083] ppid=923078 vsize=36188 memory=22304 CPUtime=0.2 cores=4,6
/proc/923083/stat : 923083 (ipbhs_static_sc) R 923078 923083 918585 0 -1 4194304 2540 0 0 0 19 1 0 0 20 0 1 0 169605596 37056512 5576 134679101440 4194304 16068861 140721802423728 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 52260864 140721802429478 140721802429565 140721802429565 140721802436580 0
/proc/923083/statm: 9047 5576 2927 2900 0 5561 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 36188 KiB
Current children cumulated memory: 22304 KiB
[startup+0.304818 s]*
/proc/loadavg: 3.86 4.06 4.04 5/255 923120
/proc/meminfo: memFree=128056036/131524600 swapFree=131071996/131071996
[pid=923083] ppid=923078 vsize=36460 memory=23360 CPUtime=0.3 cores=4,6
/proc/923083/stat : 923083 (ipbhs_static_sc) R 923078 923083 918585 0 -1 4194304 2771 0 0 0 29 1 0 0 20 0 1 0 169605596 37335040 5840 134679101440 4194304 16068861 140721802423728 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 52260864 140721802429478 140721802429565 140721802429565 140721802436580 0
/proc/923083/statm: 9115 5840 2927 2900 0 5629 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 36460 KiB
Current children cumulated memory: 23360 KiB
[startup+0.700152 s]
/proc/loadavg: 3.86 4.06 4.04 5/255 923140
/proc/meminfo: memFree=128049496/131524600 swapFree=131071996/131071996
[pid=923083] ppid=923078 vsize=44928 memory=28532 CPUtime=0.69 cores=4,6
/proc/923083/stat : 923083 (ipbhs_static_sc) R 923078 923083 918585 0 -1 4194304 4121 0 0 0 68 1 0 0 20 0 1 0 169605596 46006272 7133 134679101440 4194304 16068861 140721802423728 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 52260864 140721802429478 140721802429565 140721802429565 140721802436580 0
/proc/923083/statm: 11232 7133 2927 2900 0 7746 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 44928 KiB
Current children cumulated memory: 28532 KiB
[startup+1.5002 s]
/proc/loadavg: 3.86 4.06 4.04 6/258 923192
/proc/meminfo: memFree=128033244/131524600 swapFree=131071996/131071996
[pid=923083] ppid=923078 vsize=56376 memory=40180 CPUtime=1.49 cores=4,6
/proc/923083/stat : 923083 (ipbhs_static_sc) R 923078 923083 918585 0 -1 4194304 5966 0 0 0 146 3 0 0 20 0 1 0 169605596 57729024 10045 134679101440 4194304 16068861 140721802423728 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 52260864 140721802429478 140721802429565 140721802429565 140721802436580 0
/proc/923083/statm: 14094 10045 2927 2900 0 10608 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 56376 KiB
Current children cumulated memory: 40180 KiB
[startup+3.1055 s]
/proc/loadavg: 3.86 4.06 4.04 5/258 923284
/proc/meminfo: memFree=127932648/131524600 swapFree=131071996/131071996
[pid=923083] ppid=923078 vsize=73136 memory=53172 CPUtime=3.09 cores=4,6
/proc/923083/stat : 923083 (ipbhs_static_sc) R 923078 923083 918585 0 -1 4194304 7734 0 0 0 302 7 0 0 20 0 1 0 169605596 74891264 13293 134679101440 4194304 16068861 140721802423728 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 52260864 140721802429478 140721802429565 140721802429565 140721802436580 0
/proc/923083/statm: 18284 13293 2927 2900 0 14798 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 73136 KiB
Current children cumulated memory: 53172 KiB
[startup+6.30018 s]
/proc/loadavg: 3.87 4.06 4.04 5/258 923285
/proc/meminfo: memFree=127867136/131524600 swapFree=131071996/131071996
[pid=923083] ppid=923078 vsize=79488 memory=63584 CPUtime=6.28 cores=4,6
/proc/923083/stat : 923083 (ipbhs_static_sc) R 923078 923083 918585 0 -1 4194304 9294 0 0 0 617 11 0 0 20 0 1 0 169605596 81395712 15896 134679101440 4194304 16068861 140721802423728 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 52260864 140721802429478 140721802429565 140721802429565 140721802436580 0
/proc/923083/statm: 19872 15896 2927 2900 0 16386 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 79488 KiB
Current children cumulated memory: 63584 KiB
[startup+12.7002 s]
/proc/loadavg: 3.88 4.06 4.04 5/259 923286
/proc/meminfo: memFree=127726764/131524600 swapFree=131071996/131071996
[pid=923083] ppid=923078 vsize=107392 memory=80548 CPUtime=12.67 cores=4,6
/proc/923083/stat : 923083 (ipbhs_static_sc) R 923078 923083 918585 0 -1 4194304 12000 0 0 0 1248 19 0 0 20 0 1 0 169605596 109969408 20137 134679101440 4194304 16068861 140721802423728 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 52260864 140721802429478 140721802429565 140721802429565 140721802436580 0
/proc/923083/statm: 26848 20137 2927 2900 0 23362 0
Current children cumulated CPU time: 12.67 s
Current children cumulated vsize: 107392 KiB
Current children cumulated memory: 80548 KiB
[startup+25.5003 s]
/proc/loadavg: 3.98 4.07 4.05 5/260 923522
/proc/meminfo: memFree=127640120/131524600 swapFree=131071996/131071996
[pid=923083] ppid=923078 vsize=119364 memory=94052 CPUtime=25.43 cores=4,6
/proc/923083/stat : 923083 (ipbhs_static_sc) R 923078 923083 918585 0 -1 4194304 14758 0 0 0 2510 33 0 0 20 0 1 0 169605596 122228736 23513 134679101440 4194304 16068861 140721802423728 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 52260864 140721802429478 140721802429565 140721802429565 140721802436580 0
/proc/923083/statm: 29841 23513 2927 2900 0 26355 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 119364 KiB
Current children cumulated memory: 94052 KiB
[startup+51.1057 s]
/proc/loadavg: 3.99 4.06 4.04 5/260 923526
/proc/meminfo: memFree=127067048/131524600 swapFree=131071996/131071996
[pid=923083] ppid=923078 vsize=171756 memory=130192 CPUtime=50.96 cores=4,6
/proc/923083/stat : 923083 (ipbhs_static_sc) R 923078 923083 918585 0 -1 4194304 20164 0 0 0 5040 56 0 0 20 0 1 0 169605596 175878144 32548 134679101440 4194304 16068861 140721802423728 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 52260864 140721802429478 140721802429565 140721802429565 140721802436580 0
/proc/923083/statm: 42939 32548 2927 2900 0 39453 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 171756 KiB
Current children cumulated memory: 130192 KiB
[startup+102.3 s]
/proc/loadavg: 4.04 4.07 4.04 5/259 923549
/proc/meminfo: memFree=126680276/131524600 swapFree=131071996/131071996
[pid=923083] ppid=923078 vsize=211068 memory=192076 CPUtime=102.03 cores=4,6
/proc/923083/stat : 923083 (ipbhs_static_sc) R 923078 923083 918585 0 -1 4194304 28841 0 0 0 10111 92 0 0 20 0 1 0 169605596 216133632 48019 134679101440 4194304 16068861 140721802423728 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 52260864 140721802429478 140721802429565 140721802429565 140721802436580 0
/proc/923083/statm: 52767 48019 2927 2900 0 49281 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 211068 KiB
Current children cumulated memory: 192076 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.08 4.05 5/259 923559
/proc/meminfo: memFree=126484512/131524600 swapFree=131071996/131071996
[pid=923083] ppid=923078 vsize=272988 memory=213376 CPUtime=161.87 cores=4,6
/proc/923083/stat : 923083 (ipbhs_static_sc) R 923078 923083 918585 0 -1 4194304 32216 0 0 0 16043 144 0 0 20 0 1 0 169605596 279539712 53344 134679101440 4194304 16068861 140721802423728 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 52260864 140721802429478 140721802429565 140721802429565 140721802436580 0
/proc/923083/statm: 68247 53344 2927 2900 0 64761 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 272988 KiB
Current children cumulated memory: 213376 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.08 4.05 5/257 923571
/proc/meminfo: memFree=126429560/131524600 swapFree=131071996/131071996
[pid=923083] ppid=923078 vsize=286188 memory=223792 CPUtime=221.69 cores=4,6
/proc/923083/stat : 923083 (ipbhs_static_sc) R 923078 923083 918585 0 -1 4194304 34800 0 0 0 21982 187 0 0 20 0 1 0 169605596 293056512 55948 134679101440 4194304 16068861 140721802423728 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 52260864 140721802429478 140721802429565 140721802429565 140721802436580 0
/proc/923083/statm: 71547 55948 2927 2900 0 68061 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 286188 KiB
Current children cumulated memory: 223792 KiB
[startup+282.3 s]
/proc/loadavg: 3.81 4.01 4.03 4/250 923613
/proc/meminfo: memFree=126829832/131524600 swapFree=131071996/131071996
[pid=923083] ppid=923078 vsize=298692 memory=235996 CPUtime=281.5 cores=4,6
/proc/923083/stat : 923083 (ipbhs_static_sc) R 923078 923083 918585 0 -1 4194304 37399 0 0 0 27937 213 0 0 20 0 1 0 169605596 305860608 58999 134679101440 4194304 16068861 140721802423728 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 52260864 140721802429478 140721802429565 140721802429565 140721802436580 0
/proc/923083/statm: 74673 58999 2927 2900 0 71187 0
Current children cumulated CPU time: 281.5 s
Current children cumulated vsize: 298692 KiB
Current children cumulated memory: 235996 KiB
[startup+342.3 s]
/proc/loadavg: 3.29 3.83 3.96 4/249 923623
/proc/meminfo: memFree=126694120/131524600 swapFree=131071996/131071996
[pid=923083] ppid=923078 vsize=316580 memory=267180 CPUtime=341.32 cores=4,6
/proc/923083/stat : 923083 (ipbhs_static_sc) R 923078 923083 918585 0 -1 4194304 41593 0 0 0 33904 228 0 0 20 0 1 0 169605596 324177920 66795 134679101440 4194304 16068861 140721802423728 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 52260864 140721802429478 140721802429565 140721802429565 140721802436580 0
/proc/923083/statm: 79145 66795 2927 2900 0 75659 0
Current children cumulated CPU time: 341.32 s
Current children cumulated vsize: 316580 KiB
Current children cumulated memory: 267180 KiB
[startup+402.3 s]
/proc/loadavg: 3.15 3.69 3.90 4/248 923634
/proc/meminfo: memFree=126608032/131524600 swapFree=131071996/131071996
[pid=923083] ppid=923078 vsize=322924 memory=272032 CPUtime=401.15 cores=4,6
/proc/923083/stat : 923083 (ipbhs_static_sc) R 923078 923083 918585 0 -1 4194304 42845 0 0 0 39844 271 0 0 20 0 1 0 169605596 330674176 68008 134679101440 4194304 16068861 140721802423728 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 52260864 140721802429478 140721802429565 140721802429565 140721802436580 0
/proc/923083/statm: 80731 68008 2927 2900 0 77245 0
Current children cumulated CPU time: 401.15 s
Current children cumulated vsize: 322924 KiB
Current children cumulated memory: 272032 KiB
[startup+462.3 s]
/proc/loadavg: 3.15 3.59 3.86 4/248 923645
/proc/meminfo: memFree=126575304/131524600 swapFree=131071996/131071996
[pid=923083] ppid=923078 vsize=324588 memory=277704 CPUtime=460.96 cores=4,6
/proc/923083/stat : 923083 (ipbhs_static_sc) R 923078 923083 918585 0 -1 4194304 43263 0 0 0 45784 312 0 0 20 0 1 0 169605596 332378112 69426 134679101440 4194304 16068861 140721802423728 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 52260864 140721802429478 140721802429565 140721802429565 140721802436580 0
/proc/923083/statm: 81147 69426 2927 2900 0 77661 0
################
# More data... #
################
Current children cumulated memory: 652504 KiB
[startup+2922.3 s]
/proc/loadavg: 3.12 3.11 3.15 4/248 924709
/proc/meminfo: memFree=124310604/131524600 swapFree=131071996/131071996
[pid=923083] ppid=923078 vsize=794672 memory=652600 CPUtime=2914.48 cores=4,6
/proc/923083/stat : 923083 (ipbhs_static_sc) R 923078 923083 918585 0 -1 4194304 101395 0 0 0 290327 1121 0 0 20 0 1 0 169605596 813744128 163150 134679101440 4194304 16068861 140721802423728 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 52260864 140721802429478 140721802429565 140721802429565 140721802436580 0
/proc/923083/statm: 198668 163150 2927 2900 0 195182 0
Current children cumulated CPU time: 2914.48 s
Current children cumulated vsize: 794672 KiB
Current children cumulated memory: 652600 KiB
[startup+2982.3 s]
/proc/loadavg: 3.26 3.15 3.16 4/248 924720
/proc/meminfo: memFree=124229676/131524600 swapFree=131071996/131071996
[pid=923083] ppid=923078 vsize=795428 memory=652988 CPUtime=2974.33 cores=4,6
/proc/923083/stat : 923083 (ipbhs_static_sc) R 923078 923083 918585 0 -1 4194304 101707 0 0 0 296306 1127 0 0 20 0 1 0 169605596 814518272 163247 134679101440 4194304 16068861 140721802423728 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 52260864 140721802429478 140721802429565 140721802429565 140721802436580 0
/proc/923083/statm: 198857 163247 2927 2900 0 195371 0
Current children cumulated CPU time: 2974.33 s
Current children cumulated vsize: 795428 KiB
Current children cumulated memory: 652988 KiB
[startup+3042.3 s]
/proc/loadavg: 3.19 3.15 3.16 4/251 924735
/proc/meminfo: memFree=124180636/131524600 swapFree=131071996/131071996
[pid=923083] ppid=923078 vsize=797452 memory=654548 CPUtime=3034.18 cores=4,6
/proc/923083/stat : 923083 (ipbhs_static_sc) R 923078 923083 918585 0 -1 4194304 102388 0 0 0 302272 1146 0 0 20 0 1 0 169605596 816590848 163637 134679101440 4194304 16068861 140721802423728 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 52260864 140721802429478 140721802429565 140721802429565 140721802436580 0
/proc/923083/statm: 199363 163637 2927 2900 0 195877 0
Current children cumulated CPU time: 3034.18 s
Current children cumulated vsize: 797452 KiB
Current children cumulated memory: 654548 KiB
[startup+3102.3 s]
/proc/loadavg: 3.12 3.14 3.15 4/251 924747
/proc/meminfo: memFree=124143220/131524600 swapFree=131071996/131071996
[pid=923083] ppid=923078 vsize=797452 memory=654548 CPUtime=3094.04 cores=4,6
/proc/923083/stat : 923083 (ipbhs_static_sc) R 923078 923083 918585 0 -1 4194304 102598 0 0 0 308233 1171 0 0 20 0 1 0 169605596 816590848 163637 134679101440 4194304 16068861 140721802423728 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 52260864 140721802429478 140721802429565 140721802429565 140721802436580 0
/proc/923083/statm: 199363 163637 2927 2900 0 195877 0
Current children cumulated CPU time: 3094.04 s
Current children cumulated vsize: 797452 KiB
Current children cumulated memory: 654548 KiB
[startup+3162.3 s]
/proc/loadavg: 3.19 3.16 3.16 4/251 924757
/proc/meminfo: memFree=124089856/131524600 swapFree=131071996/131071996
[pid=923083] ppid=923078 vsize=797452 memory=654548 CPUtime=3153.91 cores=4,6
/proc/923083/stat : 923083 (ipbhs_static_sc) R 923078 923083 918585 0 -1 4194304 102895 0 0 0 314199 1192 0 0 20 0 1 0 169605596 816590848 163637 134679101440 4194304 16068861 140721802423728 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 52260864 140721802429478 140721802429565 140721802429565 140721802436580 0
/proc/923083/statm: 199363 163637 2927 2900 0 195877 0
Current children cumulated CPU time: 3153.91 s
Current children cumulated vsize: 797452 KiB
Current children cumulated memory: 654548 KiB
[startup+3222.3 s]
/proc/loadavg: 3.13 3.14 3.15 4/251 924768
/proc/meminfo: memFree=123962820/131524600 swapFree=131071996/131071996
[pid=923083] ppid=923078 vsize=797452 memory=654548 CPUtime=3213.78 cores=4,6
/proc/923083/stat : 923083 (ipbhs_static_sc) R 923078 923083 918585 0 -1 4194304 103065 0 0 0 320156 1222 0 0 20 0 1 0 169605596 816590848 163637 134679101440 4194304 16068861 140721802423728 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 52260864 140721802429478 140721802429565 140721802429565 140721802436580 0
/proc/923083/statm: 199363 163637 2927 2900 0 195877 0
Current children cumulated CPU time: 3213.78 s
Current children cumulated vsize: 797452 KiB
Current children cumulated memory: 654548 KiB
[startup+3282.3 s]
/proc/loadavg: 3.09 3.13 3.15 4/251 924779
/proc/meminfo: memFree=123901740/131524600 swapFree=131071996/131071996
[pid=923083] ppid=923078 vsize=797452 memory=654548 CPUtime=3273.63 cores=4,6
/proc/923083/stat : 923083 (ipbhs_static_sc) R 923078 923083 918585 0 -1 4194304 103274 0 0 0 326129 1234 0 0 20 0 1 0 169605596 816590848 163637 134679101440 4194304 16068861 140721802423728 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 52260864 140721802429478 140721802429565 140721802429565 140721802436580 0
/proc/923083/statm: 199363 163637 2927 2900 0 195877 0
Current children cumulated CPU time: 3273.63 s
Current children cumulated vsize: 797452 KiB
Current children cumulated memory: 654548 KiB
[startup+3342.3 s]
/proc/loadavg: 3.14 3.13 3.15 4/251 925176
/proc/meminfo: memFree=123846108/131524600 swapFree=131071996/131071996
[pid=923083] ppid=923078 vsize=802324 memory=668244 CPUtime=3333.5 cores=4,6
/proc/923083/stat : 923083 (ipbhs_static_sc) R 923078 923083 918585 0 -1 4194304 104339 0 0 0 332102 1248 0 0 20 0 1 0 169605596 821579776 167061 134679101440 4194304 16068861 140721802423728 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 52260864 140721802429478 140721802429565 140721802429565 140721802436580 0
/proc/923083/statm: 200581 167061 2927 2900 0 197095 0
Current children cumulated CPU time: 3333.5 s
Current children cumulated vsize: 802324 KiB
Current children cumulated memory: 668244 KiB
[startup+3402.3 s]
/proc/loadavg: 3.05 3.11 3.14 4/251 925187
/proc/meminfo: memFree=123601400/131524600 swapFree=131071996/131071996
[pid=923083] ppid=923078 vsize=802324 memory=668260 CPUtime=3393.36 cores=4,6
/proc/923083/stat : 923083 (ipbhs_static_sc) R 923078 923083 918585 0 -1 4194304 104508 0 0 0 338058 1278 0 0 20 0 1 0 169605596 821579776 167065 134679101440 4194304 16068861 140721802423728 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 52260864 140721802429478 140721802429565 140721802429565 140721802436580 0
/proc/923083/statm: 200581 167065 2927 2900 0 197095 0
Current children cumulated CPU time: 3393.36 s
Current children cumulated vsize: 802324 KiB
Current children cumulated memory: 668260 KiB
[startup+3462.3 s]
/proc/loadavg: 3.14 3.12 3.14 4/251 925198
/proc/meminfo: memFree=123535792/131524600 swapFree=131071996/131071996
[pid=923083] ppid=923078 vsize=806692 memory=671392 CPUtime=3453.22 cores=4,6
/proc/923083/stat : 923083 (ipbhs_static_sc) R 923078 923083 918585 0 -1 4194304 105603 0 0 0 344027 1295 0 0 20 0 1 0 169605596 826052608 167848 134679101440 4194304 16068861 140721802423728 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 52260864 140721802429478 140721802429565 140721802429565 140721802436580 0
/proc/923083/statm: 201673 167848 2927 2900 0 198187 0
Current children cumulated CPU time: 3453.22 s
Current children cumulated vsize: 806692 KiB
Current children cumulated memory: 671392 KiB
[startup+3522.3 s]
/proc/loadavg: 3.11 3.11 3.13 4/251 925376
/proc/meminfo: memFree=123523324/131524600 swapFree=131071996/131071996
[pid=923083] ppid=923078 vsize=808000 memory=678532 CPUtime=3513.08 cores=4,6
/proc/923083/stat : 923083 (ipbhs_static_sc) R 923078 923083 918585 0 -1 4194304 106027 0 0 0 349989 1319 0 0 20 0 1 0 169605596 827392000 169633 134679101440 4194304 16068861 140721802423728 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 52260864 140721802429478 140721802429565 140721802429565 140721802436580 0
/proc/923083/statm: 202000 169633 2927 2900 0 198514 0
Current children cumulated CPU time: 3513.08 s
Current children cumulated vsize: 808000 KiB
Current children cumulated memory: 678532 KiB
[startup+3582.3 s]
/proc/loadavg: 3.09 3.10 3.13 4/251 925386
/proc/meminfo: memFree=123516336/131524600 swapFree=131071996/131071996
[pid=923083] ppid=923078 vsize=808000 memory=678536 CPUtime=3572.95 cores=4,6
/proc/923083/stat : 923083 (ipbhs_static_sc) R 923078 923083 918585 0 -1 4194304 106199 0 0 0 355956 1339 0 0 20 0 1 0 169605596 827392000 169634 134679101440 4194304 16068861 140721802423728 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 52260864 140721802429478 140721802429565 140721802429565 140721802436580 0
/proc/923083/statm: 202000 169634 2927 2900 0 198514 0
Current children cumulated CPU time: 3572.95 s
Current children cumulated vsize: 808000 KiB
Current children cumulated memory: 678536 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.5 s]
/proc/loadavg: 3.13 3.11 3.13 3/249 925391
/proc/meminfo: memFree=126137000/131524600 swapFree=131071996/131071996
[pid=923083] ppid=923078 vsize=808000 memory=678536 CPUtime=3600.08 cores=4,6
/proc/923083/stat : 923083 (ipbhs_static_sc) R 923078 923083 918585 0 -1 4194304 106263 0 0 0 358666 1342 0 0 20 0 1 0 169605596 827392000 169634 134679101440 4194304 16068861 140721802423728 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 52260864 140721802429478 140721802429565 140721802429565 140721802436580 0
/proc/923083/statm: 202000 169634 2927 2900 0 198514 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 808000 KiB
Current children cumulated memory: 678536 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.51 s]
# the end of solver process 923083 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3586.67 s, system=13.4362 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.5 s]
/proc/loadavg: 3.13 3.11 3.13 3/249 925391
/proc/meminfo: memFree=126137000/131524600 swapFree=131071996/131071996
[pid=923083] ppid=923078 vsize=808000 memory=678536 CPUtime=3600.08 cores=4,6
/proc/923083/stat : 923083 (ipbhs_static_sc) R 923078 923083 918585 0 -1 4194304 106263 0 0 0 358666 1342 0 0 20 0 1 0 169605596 827392000 169634 134679101440 4194304 16068861 140721802423728 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 52260864 140721802429478 140721802429565 140721802429565 140721802436580 0
/proc/923083/statm: 202000 169634 2927 2900 0 198514 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 808000 KiB
Current children cumulated memory: 678536 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3609.51
CPU time (s): 3600.1
CPU user time (s): 3586.67
CPU system time (s): 13.4362
CPU usage (%): 99.7394
Max. virtual memory (cumulated for all children) (KiB): 808000
Max. memory (cumulated for all children) (KiB): 678536
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.67
system time used= 13.4362
maximum resident set size= 678536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 106263
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= 121
involuntary context switches= 2848
# summary of solver processes directly reported to runsolver:
# pid: 923083
# total CPU time (s): 3600.1
# total CPU user time (s): 3586.67
# total CPU system time (s): 13.4362
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.64962 second user time and 16.1205 second system time
The end
Begin job on nodeC030 at 2024-07-17 01:59:48
IDJOB=4432130
IDBENCH=158621
IDSOLVER=3057
FILE ID=nodeC030/4432130-1721174375
RUNJOBID= nodeC030-1721174388-923038
SLURM_JOB_ID= 7505796
Free space on /tmp= 890080 MiB
SOLVER NAME= IPBHS-SCIP 2024-07-09
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw32/normalized-hw32-vm50p-opt.opb.negationfix.opb
COMMAND LINE= ./ipbhs_static_scip BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432130-1721174375/watcher-4432130-1721174375 -o /tmp/evaluation-result-4432130-1721174375/solver-4432130-1721174375 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721174388-923038 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4432130-1721174375.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a64beba99ddb27280a5fb75072b9e119
RANDOM SEED=1159221108
nodeC030.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 : 3640.456
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.28
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 : 3684.316
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.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 : 3675.819
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.28
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 : 3666.152
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.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 : 3663.659
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.28
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 : 3663.617
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.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 : 3675.973
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.28
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 : 3679.509
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.11
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 128097036 kB
MemAvailable: 129708980 kB
Buffers: 415892 kB
Cached: 2020288 kB
SwapCached: 0 kB
Active: 942156 kB
Inactive: 1860404 kB
Active(anon): 1428 kB
Inactive(anon): 402668 kB
Active(file): 940728 kB
Inactive(file): 1457736 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 214964 kB
Writeback: 0 kB
AnonPages: 365968 kB
Mapped: 104156 kB
Shmem: 37720 kB
KReclaimable: 106604 kB
Slab: 214916 kB
SReclaimable: 106604 kB
SUnreclaim: 108312 kB
KernelStack: 3920 kB
PageTables: 9740 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 770648 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 65248 kB
HardwareCorrupted: 0 kB
AnonHugePages: 239616 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: 234196 kB
DirectMap2M: 18413568 kB
DirectMap1G: 117440512 kB
Free space on /tmp at the end= 889968 MiB
End job on nodeC030 at 2024-07-17 02:59:58