34.59/34.79 c initialize IPBHS solver
34.59/34.79 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
34.59/34.79 c optimizer = "scip"
34.59/34.79 c pbsolver = "roundingsat"
34.59/34.79 c load symmetries from file ""
34.59/34.79 c set time limit for symmetry computation to 100 seconds.
34.59/34.79 c set interchangeable summation variable limit to 3
34.59/34.79 c set abs symmetric core budget per WCE-iteration to 100
34.59/34.79 c set rel symmetric core budget per WCE-iteration to 0
34.59/34.79 c set lit symmetric core budget per WCE-iteration to 0
34.59/34.79 c set sym generation to 's'
34.59/34.79 c set abstraction set creation to 10 iterations without LB change
34.59/34.79 c set abstraction set inputs to 0
34.59/34.79 c set abstraction set cluster min size to 2
34.59/34.79 c set abstraction set cluster max size to 100000000
34.59/34.79 c set abstraction set cluster activation limit to 2
34.59/34.79 c enable abstraction set require equal cost
34.59/34.79 c set abstraction set assumptions to 0
34.59/34.79 c set abstraction set constraint type to 0
34.59/34.79 c set abstract core extraction strategy to b
34.59/34.79 c set core extraction strategy to 2
34.59/34.79 c set core extraction shuffles 10
34.59/34.79 c set cores per iteration to 5
34.59/34.79 c set optimizer bound usage strategy to 2
34.59/34.79 c set optimizer max non-optimal iterations to 1000
34.59/34.79 c set small core cardinality limit to 2
34.59/34.79 c set max coef in cores to 1000000000
34.59/34.79 c set SIS iterations to 5
34.59/34.79 c set SIS budget abs to 1000
34.59/34.79 c set SIS budget rel to 0.05
34.59/34.79 c limit for coefficient in constraints and objective to 9223372036854775807
34.59/34.79 c will solve HOME/instance-4431897-1721059220.opb
34.59/34.79 c [0.2] solve iteration 1, LB=-1272, 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 (62051 MiB free)
memory of node 1: 64473 MiB (62485 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431897-1721059220/watcher-4431897-1721059220 -o /tmp/evaluation-result-4431897-1721059220/solver-4431897-1721059220 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721059157-808012 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4431897-1721059220.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=808460, runsolver pid=808457
[startup+0.1007 s]*
/proc/loadavg: 4.16 4.12 4.08 5/263 808461
/proc/meminfo: memFree=127514312/131524600 swapFree=131071996/131071996
[pid=808460] ppid=808457 vsize=38356 memory=15956 CPUtime=0.09 cores=4,6
/proc/808460/stat : 808460 (ipbhs_static_sc) R 808457 808460 808001 0 -1 4194304 2989 0 0 0 8 1 0 0 20 0 1 0 158089037 39276544 3989 134679101440 4194304 16068861 140724297514528 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 39833600 140724297516070 140724297516157 140724297516157 140724297523172 0
/proc/808460/statm: 9589 3989 1135 2900 0 6103 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38356 KiB
Current children cumulated memory: 15956 KiB
[startup+0.205679 s]*
/proc/loadavg: 4.16 4.12 4.08 5/263 808461
/proc/meminfo: memFree=127503504/131524600 swapFree=131071996/131071996
[pid=808460] ppid=808457 vsize=50104 memory=33504 CPUtime=0.2 cores=4,6
/proc/808460/stat : 808460 (ipbhs_static_sc) R 808457 808460 808001 0 -1 4194304 5716 0 0 0 14 6 0 0 20 0 1 0 158089037 51306496 8376 134679101440 4194304 16068861 140724297514528 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 39833600 140724297516070 140724297516157 140724297516157 140724297523172 0
/proc/808460/statm: 12526 8376 2383 2900 0 9040 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 50104 KiB
Current children cumulated memory: 33504 KiB
[startup+0.305466 s]*
/proc/loadavg: 4.16 4.12 4.08 5/263 808461
/proc/meminfo: memFree=127475996/131524600 swapFree=131071996/131071996
[pid=808460] ppid=808457 vsize=75776 memory=59044 CPUtime=0.29 cores=4,6
/proc/808460/stat : 808460 (ipbhs_static_sc) R 808457 808460 808001 0 -1 4194304 11542 0 0 0 19 10 0 0 20 0 1 0 158089037 77594624 14761 134679101440 4194304 16068861 140724297514528 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 18370176 18462544 39833600 140724297516070 140724297516157 140724297516157 140724297523172 0
/proc/808460/statm: 18944 14761 2383 2900 0 15458 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 75776 KiB
Current children cumulated memory: 59044 KiB
[startup+0.700263 s]
/proc/loadavg: 4.16 4.12 4.08 5/263 808461
/proc/meminfo: memFree=127427760/131524600 swapFree=131071996/131071996
[pid=808460] ppid=808457 vsize=194604 memory=178240 CPUtime=0.69 cores=4,6
/proc/808460/stat : 808460 (ipbhs_static_sc) R 808457 808460 808001 0 -1 4194304 41883 0 0 0 44 25 0 0 20 0 1 0 158089037 199274496 44560 134679101440 4194304 16068861 140724297514528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 39833600 140724297516070 140724297516157 140724297516157 140724297523172 0
/proc/808460/statm: 48651 44560 2639 2900 0 45165 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 194604 KiB
Current children cumulated memory: 178240 KiB
[startup+1.50025 s]
/proc/loadavg: 4.15 4.12 4.08 5/263 808461
/proc/meminfo: memFree=127233780/131524600 swapFree=131071996/131071996
[pid=808460] ppid=808457 vsize=444444 memory=387564 CPUtime=1.49 cores=4,6
/proc/808460/stat : 808460 (ipbhs_static_sc) R 808457 808460 808001 0 -1 4194304 54323 0 0 0 120 29 0 0 20 0 1 0 158089037 455110656 96891 134679101440 4194304 16068861 140724297514528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 39833600 140724297516070 140724297516157 140724297516157 140724297523172 0
/proc/808460/statm: 111111 96891 2671 2900 0 107625 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 444444 KiB
Current children cumulated memory: 387564 KiB
[startup+3.10595 s]
/proc/loadavg: 4.15 4.12 4.08 5/263 808461
/proc/meminfo: memFree=127021252/131524600 swapFree=131071996/131071996
[pid=808460] ppid=808457 vsize=567808 memory=509600 CPUtime=3.08 cores=4,6
/proc/808460/stat : 808460 (ipbhs_static_sc) R 808457 808460 808001 0 -1 4194304 85951 0 0 0 274 34 0 0 20 0 1 0 158089037 581435392 127400 134679101440 4194304 16068861 140724297514528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 39833600 140724297516070 140724297516157 140724297516157 140724297523172 0
/proc/808460/statm: 141952 127400 2863 2900 0 138466 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 567808 KiB
Current children cumulated memory: 509600 KiB
[startup+6.30023 s]
/proc/loadavg: 4.14 4.12 4.08 5/263 808461
/proc/meminfo: memFree=126717644/131524600 swapFree=131071996/131071996
[pid=808460] ppid=808457 vsize=919112 memory=813280 CPUtime=6.27 cores=4,6
/proc/808460/stat : 808460 (ipbhs_static_sc) R 808457 808460 808001 0 -1 4194304 118659 0 0 0 585 42 0 0 20 0 1 0 158089037 941170688 203320 134679101440 4194304 16068861 140724297514528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 39833600 140724297516070 140724297516157 140724297516157 140724297523172 0
/proc/808460/statm: 229778 203320 2895 2900 0 226292 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 919112 KiB
Current children cumulated memory: 813280 KiB
[startup+12.7002 s]
/proc/loadavg: 4.13 4.12 4.08 5/263 808463
/proc/meminfo: memFree=126664884/131524600 swapFree=131071996/131071996
[pid=808460] ppid=808457 vsize=950180 memory=832980 CPUtime=12.65 cores=4,6
/proc/808460/stat : 808460 (ipbhs_static_sc) R 808457 808460 808001 0 -1 4194304 121571 0 0 0 1222 43 0 0 20 0 1 0 158089037 972984320 208245 134679101440 4194304 16068861 140724297514528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 39833600 140724297516070 140724297516157 140724297516157 140724297523172 0
/proc/808460/statm: 237545 208245 2895 2900 0 234059 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 950180 KiB
Current children cumulated memory: 832980 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.11 4.08 5/263 808510
/proc/meminfo: memFree=126545380/131524600 swapFree=131071996/131071996
[pid=808460] ppid=808457 vsize=1043076 memory=837324 CPUtime=25.41 cores=4,6
/proc/808460/stat : 808460 (ipbhs_static_sc) R 808457 808460 808001 0 -1 4194304 122201 0 0 0 2498 43 0 0 20 0 1 0 158089037 1068109824 209331 134679101440 4194304 16068861 140724297514528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 39833600 140724297516070 140724297516157 140724297516157 140724297523172 0
/proc/808460/statm: 260769 209331 2895 2900 0 257283 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 1043076 KiB
Current children cumulated memory: 837324 KiB
[startup+51.1059 s]
/proc/loadavg: 4.07 4.10 4.08 5/261 808572
/proc/meminfo: memFree=125797500/131524600 swapFree=131071996/131071996
[pid=808460] ppid=808457 vsize=1204936 memory=928792 CPUtime=50.93 cores=4,6
/proc/808460/stat : 808460 (ipbhs_static_sc) R 808457 808460 808001 0 -1 4194304 153768 0 0 0 5045 48 0 0 20 0 1 0 158089037 1233854464 232198 134679101440 4194304 16068861 140724297514528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 39833600 140724297516070 140724297516157 140724297516157 140724297523172 0
/proc/808460/statm: 301234 232198 2895 2900 0 297748 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 1204936 KiB
Current children cumulated memory: 928792 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.12 4.08 5/261 808581
/proc/meminfo: memFree=125662676/131524600 swapFree=131071996/131071996
[pid=808460] ppid=808457 vsize=1290816 memory=988784 CPUtime=101.98 cores=4,6
/proc/808460/stat : 808460 (ipbhs_static_sc) R 808457 808460 808001 0 -1 4194304 176402 0 0 0 10146 52 0 0 20 0 1 0 158089037 1321795584 247196 134679101440 4194304 16068861 140724297514528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 39833600 140724297516070 140724297516157 140724297516157 140724297523172 0
/proc/808460/statm: 322704 247196 2895 2900 0 319218 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 1290816 KiB
Current children cumulated memory: 988784 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.11 4.08 5/261 808593
/proc/meminfo: memFree=125536436/131524600 swapFree=131071996/131071996
[pid=808460] ppid=808457 vsize=1361620 memory=990832 CPUtime=161.82 cores=4,6
/proc/808460/stat : 808460 (ipbhs_static_sc) R 808457 808460 808001 0 -1 4194304 176434 0 0 0 16130 52 0 0 20 0 1 0 158089037 1394298880 247708 134679101440 4194304 16068861 140724297514528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 39833600 140724297516070 140724297516157 140724297516157 140724297523172 0
/proc/808460/statm: 340405 247708 2895 2900 0 336919 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 1361620 KiB
Current children cumulated memory: 990832 KiB
[startup+222.3 s]
/proc/loadavg: 4.21 4.13 4.10 5/260 808605
/proc/meminfo: memFree=125323776/131524600 swapFree=131071996/131071996
[pid=808460] ppid=808457 vsize=1427012 memory=1020620 CPUtime=221.66 cores=4,6
/proc/808460/stat : 808460 (ipbhs_static_sc) R 808457 808460 808001 0 -1 4194304 189866 0 0 0 22111 55 0 0 20 0 1 0 158089037 1461260288 255155 134679101440 4194304 16068861 140724297514528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 39833600 140724297516070 140724297516157 140724297516157 140724297523172 0
/proc/808460/statm: 356753 255155 2895 2900 0 353267 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 1427012 KiB
Current children cumulated memory: 1020620 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/256 808616
/proc/meminfo: memFree=125104576/131524600 swapFree=131071996/131071996
[pid=808460] ppid=808457 vsize=1565936 memory=1122560 CPUtime=281.49 cores=4,6
/proc/808460/stat : 808460 (ipbhs_static_sc) R 808457 808460 808001 0 -1 4194304 215572 0 0 0 28090 59 0 0 20 0 1 0 158089037 1603518464 280640 134679101440 4194304 16068861 140724297514528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 39833600 140724297516070 140724297516157 140724297516157 140724297523172 0
/proc/808460/statm: 391484 280640 2895 2900 0 387998 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 1565936 KiB
Current children cumulated memory: 1122560 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/256 808630
/proc/meminfo: memFree=124898032/131524600 swapFree=131071996/131071996
[pid=808460] ppid=808457 vsize=1592284 memory=1148012 CPUtime=341.34 cores=4,6
/proc/808460/stat : 808460 (ipbhs_static_sc) R 808457 808460 808001 0 -1 4194304 217019 0 0 0 34074 60 0 0 20 0 1 0 158089037 1630498816 287003 134679101440 4194304 16068861 140724297514528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 39833600 140724297516070 140724297516157 140724297516157 140724297523172 0
/proc/808460/statm: 398071 287003 2895 2900 0 394585 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 1592284 KiB
Current children cumulated memory: 1148012 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/256 808640
/proc/meminfo: memFree=124642232/131524600 swapFree=131071996/131071996
[pid=808460] ppid=808457 vsize=1654548 memory=1207544 CPUtime=401.18 cores=4,6
/proc/808460/stat : 808460 (ipbhs_static_sc) R 808457 808460 808001 0 -1 4194304 231457 0 0 0 40056 62 0 0 20 0 1 0 158089037 1694257152 301886 134679101440 4194304 16068861 140724297514528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 39833600 140724297516070 140724297516157 140724297516157 140724297523172 0
/proc/808460/statm: 413637 301886 2895 2900 0 410151 0
Current children cumulated CPU time: 401.18 s
Current children cumulated vsize: 1654548 KiB
Current children cumulated memory: 1207544 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/256 808652
/proc/meminfo: memFree=124541500/131524600 swapFree=131071996/131071996
[pid=808460] ppid=808457 vsize=1669016 memory=1212356 CPUtime=461.02 cores=4,6
/proc/808460/stat : 808460 (ipbhs_static_sc) R 808457 808460 808001 0 -1 4194304 238676 0 0 0 46039 63 0 0 20 0 1 0 158089037 1709072384 303089 134679101440 4194304 16068861 140724297514528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 39833600 140724297516070 140724297516157 140724297516157 140724297523172 0
/proc/808460/statm: 417254 303089 2895 2900 0 413768 0
################
# More data... #
################
Current children cumulated memory: 2318988 KiB
[startup+2922.3 s]
/proc/loadavg: 4.10 4.15 4.11 5/254 809722
/proc/meminfo: memFree=120565424/131524600 swapFree=131071996/131071996
[pid=808460] ppid=808457 vsize=3137912 memory=2319720 CPUtime=2915.05 cores=4,6
/proc/808460/stat : 808460 (ipbhs_static_sc) R 808457 808460 808001 0 -1 4194304 413654 0 0 0 291401 104 0 0 20 0 1 0 158089037 3213221888 579930 134679101440 4194304 16068861 140724297514528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 39833600 140724297516070 140724297516157 140724297516157 140724297523172 0
/proc/808460/statm: 784478 579930 3215 2900 0 780992 0
Current children cumulated CPU time: 2915.05 s
Current children cumulated vsize: 3137912 KiB
Current children cumulated memory: 2319720 KiB
[startup+2982.3 s]
/proc/loadavg: 4.13 4.15 4.11 5/256 809736
/proc/meminfo: memFree=120474864/131524600 swapFree=131071996/131071996
[pid=808460] ppid=808457 vsize=3202004 memory=2380420 CPUtime=2974.9 cores=4,6
/proc/808460/stat : 808460 (ipbhs_static_sc) R 808457 808460 808001 0 -1 4194304 422784 0 0 0 297384 106 0 0 20 0 1 0 158089037 3278852096 595105 134679101440 4194304 16068861 140724297514528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 39833600 140724297516070 140724297516157 140724297516157 140724297523172 0
/proc/808460/statm: 800501 595105 3215 2900 0 797015 0
Current children cumulated CPU time: 2974.9 s
Current children cumulated vsize: 3202004 KiB
Current children cumulated memory: 2380420 KiB
[startup+3042.3 s]
/proc/loadavg: 4.05 4.12 4.10 5/256 809747
/proc/meminfo: memFree=120438100/131524600 swapFree=131071996/131071996
[pid=808460] ppid=808457 vsize=3202004 memory=2382404 CPUtime=3034.77 cores=4,6
/proc/808460/stat : 808460 (ipbhs_static_sc) R 808457 808460 808001 0 -1 4194304 423734 0 0 0 303370 107 0 0 20 0 1 0 158089037 3278852096 595601 134679101440 4194304 16068861 140724297514528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 39833600 140724297516070 140724297516157 140724297516157 140724297523172 0
/proc/808460/statm: 800501 595601 3215 2900 0 797015 0
Current children cumulated CPU time: 3034.77 s
Current children cumulated vsize: 3202004 KiB
Current children cumulated memory: 2382404 KiB
[startup+3102.3 s]
/proc/loadavg: 4.16 4.14 4.11 5/256 809757
/proc/meminfo: memFree=120298820/131524600 swapFree=131071996/131071996
[pid=808460] ppid=808457 vsize=3202004 memory=2382596 CPUtime=3094.63 cores=4,6
/proc/808460/stat : 808460 (ipbhs_static_sc) R 808457 808460 808001 0 -1 4194304 424173 0 0 0 309356 107 0 0 20 0 1 0 158089037 3278852096 595649 134679101440 4194304 16068861 140724297514528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 39833600 140724297516070 140724297516157 140724297516157 140724297523172 0
/proc/808460/statm: 800501 595649 3215 2900 0 797015 0
Current children cumulated CPU time: 3094.63 s
Current children cumulated vsize: 3202004 KiB
Current children cumulated memory: 2382596 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.13 4.10 5/256 809769
/proc/meminfo: memFree=120279544/131524600 swapFree=131071996/131071996
[pid=808460] ppid=808457 vsize=3202004 memory=2382708 CPUtime=3154.5 cores=4,6
/proc/808460/stat : 808460 (ipbhs_static_sc) R 808457 808460 808001 0 -1 4194304 424621 0 0 0 315343 107 0 0 20 0 1 0 158089037 3278852096 595677 134679101440 4194304 16068861 140724297514528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 39833600 140724297516070 140724297516157 140724297516157 140724297523172 0
/proc/808460/statm: 800501 595677 3215 2900 0 797015 0
Current children cumulated CPU time: 3154.5 s
Current children cumulated vsize: 3202004 KiB
Current children cumulated memory: 2382708 KiB
[startup+3222.3 s]
/proc/loadavg: 4.19 4.15 4.11 5/256 809781
/proc/meminfo: memFree=120179652/131524600 swapFree=131071996/131071996
[pid=808460] ppid=808457 vsize=3268576 memory=2409900 CPUtime=3214.36 cores=4,6
/proc/808460/stat : 808460 (ipbhs_static_sc) R 808457 808460 808001 0 -1 4194304 425819 0 0 0 321328 108 0 0 20 0 1 0 158089037 3347021824 602475 134679101440 4194304 16068861 140724297514528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 39833600 140724297516070 140724297516157 140724297516157 140724297523172 0
/proc/808460/statm: 817144 602475 3215 2900 0 813658 0
Current children cumulated CPU time: 3214.36 s
Current children cumulated vsize: 3268576 KiB
Current children cumulated memory: 2409900 KiB
[startup+3282.3 s]
/proc/loadavg: 4.27 4.18 4.12 5/256 809791
/proc/meminfo: memFree=120127056/131524600 swapFree=131071996/131071996
[pid=808460] ppid=808457 vsize=3268576 memory=2410056 CPUtime=3274.22 cores=4,6
/proc/808460/stat : 808460 (ipbhs_static_sc) R 808457 808460 808001 0 -1 4194304 426312 0 0 0 327314 108 0 0 20 0 1 0 158089037 3347021824 602514 134679101440 4194304 16068861 140724297514528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 39833600 140724297516070 140724297516157 140724297516157 140724297523172 0
/proc/808460/statm: 817144 602514 3215 2900 0 813658 0
Current children cumulated CPU time: 3274.22 s
Current children cumulated vsize: 3268576 KiB
Current children cumulated memory: 2410056 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.16 4.11 5/256 810185
/proc/meminfo: memFree=120065524/131524600 swapFree=131071996/131071996
[pid=808460] ppid=808457 vsize=3276464 memory=2426064 CPUtime=3334.08 cores=4,6
/proc/808460/stat : 808460 (ipbhs_static_sc) R 808457 808460 808001 0 -1 4194304 428884 0 0 0 333299 109 0 0 20 0 1 0 158089037 3355099136 606516 134679101440 4194304 16068861 140724297514528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 39833600 140724297516070 140724297516157 140724297516157 140724297523172 0
/proc/808460/statm: 819116 606516 3215 2900 0 815630 0
Current children cumulated CPU time: 3334.08 s
Current children cumulated vsize: 3276464 KiB
Current children cumulated memory: 2426064 KiB
[startup+3402.3 s]
/proc/loadavg: 4.17 4.16 4.11 5/256 810195
/proc/meminfo: memFree=119924784/131524600 swapFree=131071996/131071996
[pid=808460] ppid=808457 vsize=3276464 memory=2426064 CPUtime=3393.94 cores=4,6
/proc/808460/stat : 808460 (ipbhs_static_sc) R 808457 808460 808001 0 -1 4194304 429290 0 0 0 339285 109 0 0 20 0 1 0 158089037 3355099136 606516 134679101440 4194304 16068861 140724297514528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 39833600 140724297516070 140724297516157 140724297516157 140724297523172 0
/proc/808460/statm: 819116 606516 3215 2900 0 815630 0
Current children cumulated CPU time: 3393.94 s
Current children cumulated vsize: 3276464 KiB
Current children cumulated memory: 2426064 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.15 4.11 5/258 810376
/proc/meminfo: memFree=119850432/131524600 swapFree=131071996/131071996
[pid=808460] ppid=808457 vsize=3276464 memory=2448876 CPUtime=3453.81 cores=4,6
/proc/808460/stat : 808460 (ipbhs_static_sc) R 808457 808460 808001 0 -1 4194304 429870 0 0 0 345271 110 0 0 20 0 1 0 158089037 3355099136 612219 134679101440 4194304 16068861 140724297514528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 39833600 140724297516070 140724297516157 140724297516157 140724297523172 0
/proc/808460/statm: 819116 612219 3215 2900 0 815630 0
Current children cumulated CPU time: 3453.81 s
Current children cumulated vsize: 3276464 KiB
Current children cumulated memory: 2448876 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.13 4.10 5/258 810386
/proc/meminfo: memFree=119776772/131524600 swapFree=131071996/131071996
[pid=808460] ppid=808457 vsize=3276464 memory=2448876 CPUtime=3513.67 cores=4,6
/proc/808460/stat : 808460 (ipbhs_static_sc) R 808457 808460 808001 0 -1 4194304 430356 0 0 0 351257 110 0 0 20 0 1 0 158089037 3355099136 612219 134679101440 4194304 16068861 140724297514528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 39833600 140724297516070 140724297516157 140724297516157 140724297523172 0
/proc/808460/statm: 819116 612219 3215 2900 0 815630 0
Current children cumulated CPU time: 3513.67 s
Current children cumulated vsize: 3276464 KiB
Current children cumulated memory: 2448876 KiB
[startup+3582.3 s]
/proc/loadavg: 4.18 4.15 4.11 5/259 810445
/proc/meminfo: memFree=121783448/131524600 swapFree=131071996/131071996
[pid=808460] ppid=808457 vsize=3313880 memory=2488800 CPUtime=3573.53 cores=4,6
/proc/808460/stat : 808460 (ipbhs_static_sc) R 808457 808460 808001 0 -1 4194304 431162 0 0 0 357242 111 0 0 20 0 1 0 158089037 3393413120 622200 134679101440 4194304 16068861 140724297514528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 39833600 140724297516070 140724297516157 140724297516157 140724297523172 0
/proc/808460/statm: 828470 622200 3215 2900 0 824984 0
Current children cumulated CPU time: 3573.53 s
Current children cumulated vsize: 3313880 KiB
Current children cumulated memory: 2488800 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.9 s]
/proc/loadavg: 4.12 4.14 4.10 5/259 810448
/proc/meminfo: memFree=121756528/131524600 swapFree=131071996/131071996
[pid=808460] ppid=808457 vsize=3313880 memory=2488800 CPUtime=3600.07 cores=4,6
/proc/808460/stat : 808460 (ipbhs_static_sc) R 808457 808460 808001 0 -1 4194304 431269 0 0 0 359896 111 0 0 20 0 1 0 158089037 3393413120 622200 134679101440 4194304 16068861 140724297514528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 39833600 140724297516070 140724297516157 140724297516157 140724297523172 0
/proc/808460/statm: 828470 622200 3215 2900 0 824984 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 3313880 KiB
Current children cumulated memory: 2488800 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.92 s]
# the end of solver process 808460 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3598.97 s, system=1.13595 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3608.9 s]
/proc/loadavg: 4.12 4.14 4.10 5/259 810448
/proc/meminfo: memFree=121756528/131524600 swapFree=131071996/131071996
[pid=808460] ppid=808457 vsize=3313880 memory=2488800 CPUtime=3600.07 cores=4,6
/proc/808460/stat : 808460 (ipbhs_static_sc) R 808457 808460 808001 0 -1 4194304 431269 0 0 0 359896 111 0 0 20 0 1 0 158089037 3393413120 622200 134679101440 4194304 16068861 140724297514528 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18370176 18462544 39833600 140724297516070 140724297516157 140724297516157 140724297523172 0
/proc/808460/statm: 828470 622200 3215 2900 0 824984 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 3313880 KiB
Current children cumulated memory: 2488800 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3608.92
CPU time (s): 3600.1
CPU user time (s): 3598.97
CPU system time (s): 1.13595
CPU usage (%): 99.7557
Max. virtual memory (cumulated for all children) (KiB): 3313880
Max. memory (cumulated for all children) (KiB): 2488800
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.97
system time used= 1.13595
maximum resident set size= 2488800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 431269
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= 92
involuntary context switches= 2199
# summary of solver processes directly reported to runsolver:
# pid: 808460
# total CPU time (s): 3600.1
# total CPU user time (s): 3598.97
# total CPU system time (s): 1.13595
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.97231 second user time and 15.9466 second system time
The end
Begin job on nodeC028 at 2024-07-15 18:00:32
IDJOB=4431897
IDBENCH=146673
IDSOLVER=3057
FILE ID=nodeC028/4431897-1721059220
RUNJOBID= nodeC028-1721059157-808012
SLURM_JOB_ID= 7505495
Free space on /tmp= 889904 MiB
SOLVER NAME= IPBHS-SCIP 2024-07-09
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-2.opb
COMMAND LINE= ./ipbhs_static_scip BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431897-1721059220/watcher-4431897-1721059220 -o /tmp/evaluation-result-4431897-1721059220/solver-4431897-1721059220 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721059157-808012 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4431897-1721059220.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 800a2d87d48167b6ff5ac999f92ec0b3
RANDOM SEED=1360395880
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 : 3674.321
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 : 3687.370
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 : 3600.362
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.953
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 : 3677.621
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 : 3687.336
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 : 3664.509
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.144
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: 127526692 kB
MemAvailable: 128175376 kB
Buffers: 366048 kB
Cached: 1121808 kB
SwapCached: 0 kB
Active: 657600 kB
Inactive: 2755588 kB
Active(anon): 1536 kB
Inactive(anon): 1961512 kB
Active(file): 656064 kB
Inactive(file): 794076 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 55816 kB
Writeback: 24 kB
AnonPages: 1922580 kB
Mapped: 138272 kB
Shmem: 37720 kB
KReclaimable: 76736 kB
Slab: 178320 kB
SReclaimable: 76736 kB
SUnreclaim: 101584 kB
KernelStack: 4176 kB
PageTables: 13440 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 2482752 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 59776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 620544 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 19:00:41