1.18/1.24 c initialize IPBHS solver
1.18/1.24 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
1.18/1.24 c optimizer = "scip"
1.18/1.24 c pbsolver = "roundingsat"
1.18/1.24 c load symmetries from file ""
1.18/1.24 c set time limit for symmetry computation to 100 seconds.
1.18/1.24 c set interchangeable summation variable limit to 3
1.18/1.24 c set abs symmetric core budget per WCE-iteration to 100
1.18/1.24 c set rel symmetric core budget per WCE-iteration to 0
1.18/1.24 c set lit symmetric core budget per WCE-iteration to 0
1.18/1.24 c set sym generation to 's'
1.18/1.24 c set abstraction set creation to 10 iterations without LB change
1.18/1.24 c set abstraction set inputs to 0
1.18/1.24 c set abstraction set cluster min size to 2
1.18/1.24 c set abstraction set cluster max size to 100000000
1.18/1.24 c set abstraction set cluster activation limit to 2
1.18/1.24 c enable abstraction set require equal cost
1.18/1.24 c set abstraction set assumptions to 0
1.18/1.24 c set abstraction set constraint type to 0
1.18/1.24 c set abstract core extraction strategy to b
1.18/1.24 c set core extraction strategy to 2
1.18/1.24 c set core extraction shuffles 10
1.18/1.24 c set cores per iteration to 5
1.18/1.24 c set optimizer bound usage strategy to 2
1.18/1.24 c set optimizer max non-optimal iterations to 1000
1.18/1.24 c set small core cardinality limit to 2
1.18/1.24 c set max coef in cores to 1000000000
1.18/1.24 c set SIS iterations to 5
1.18/1.24 c set SIS budget abs to 1000
1.18/1.24 c set SIS budget rel to 0.05
1.18/1.24 c limit for coefficient in constraints and objective to 9223372036854775807
1.18/1.24 c will solve HOME/instance-4432117-1721162432.opb
1.18/1.24 c [0.01] solve iteration 1, LB=-37584, UB=37585
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 (61710 MiB free)
memory of node 1: 64510 MiB (58539 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432117-1721162432/watcher-4432117-1721162432 -o /tmp/evaluation-result-4432117-1721162432/solver-4432117-1721162432 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721158828-866986 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4432117-1721162432.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=869518, runsolver pid=869515
[startup+0.100796 s]*
/proc/loadavg: 4.10 4.11 4.09 5/256 869519
/proc/meminfo: memFree=123108192/131524600 swapFree=131071996/131071996
[pid=869518] ppid=869515 vsize=58936 memory=39028 CPUtime=0.1 cores=0,2
/proc/869518/stat : 869518 (ipbhs_static_sc) R 869515 869518 866976 0 -1 4194304 7233 0 0 0 8 2 0 0 20 0 1 0 168407374 60350464 9757 134679101440 4194304 16068861 140722305820224 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 25632768 140722305823782 140722305823869 140722305823869 140722305830884 0
/proc/869518/statm: 14734 9757 2895 2900 0 11248 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 58936 KiB
Current children cumulated memory: 39028 KiB
[startup+0.205473 s]*
/proc/loadavg: 4.10 4.11 4.09 5/256 869519
/proc/meminfo: memFree=123100948/131524600 swapFree=131071996/131071996
[pid=869518] ppid=869515 vsize=66520 memory=46412 CPUtime=0.2 cores=0,2
/proc/869518/stat : 869518 (ipbhs_static_sc) R 869515 869518 866976 0 -1 4194304 9064 0 0 0 18 2 0 0 20 0 1 0 168407374 68116480 11603 134679101440 4194304 16068861 140722305820224 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 25632768 140722305823782 140722305823869 140722305823869 140722305830884 0
/proc/869518/statm: 16630 11603 2895 2900 0 13144 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 66520 KiB
Current children cumulated memory: 46412 KiB
[startup+0.305425 s]*
/proc/loadavg: 4.10 4.11 4.09 5/256 869519
/proc/meminfo: memFree=123100164/131524600 swapFree=131071996/131071996
[pid=869518] ppid=869515 vsize=67232 memory=46940 CPUtime=0.3 cores=0,2
/proc/869518/stat : 869518 (ipbhs_static_sc) R 869515 869518 866976 0 -1 4194304 9242 0 0 0 28 2 0 0 20 0 1 0 168407374 68845568 11735 134679101440 4194304 16068861 140722305820224 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 25632768 140722305823782 140722305823869 140722305823869 140722305830884 0
/proc/869518/statm: 16808 11735 2895 2900 0 13322 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 67232 KiB
Current children cumulated memory: 46940 KiB
[startup+0.700212 s]
/proc/loadavg: 4.10 4.11 4.09 5/256 869519
/proc/meminfo: memFree=123073816/131524600 swapFree=131071996/131071996
[pid=869518] ppid=869515 vsize=110516 memory=79676 CPUtime=0.68 cores=0,2
/proc/869518/stat : 869518 (ipbhs_static_sc) R 869515 869518 866976 0 -1 4194304 17440 0 0 0 65 3 0 0 20 0 1 0 168407374 113168384 19919 134679101440 4194304 16068861 140722305820224 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 25632768 140722305823782 140722305823869 140722305823869 140722305830884 0
/proc/869518/statm: 27629 19919 2911 2900 0 24143 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 110516 KiB
Current children cumulated memory: 79676 KiB
[startup+1.5002 s]
/proc/loadavg: 4.10 4.11 4.09 5/256 869519
/proc/meminfo: memFree=123060908/131524600 swapFree=131071996/131071996
[pid=869518] ppid=869515 vsize=109144 memory=82436 CPUtime=1.48 cores=0,2
/proc/869518/stat : 869518 (ipbhs_static_sc) R 869515 869518 866976 0 -1 4194304 20866 0 0 0 144 4 0 0 20 0 1 0 168407374 111763456 20609 134679101440 4194304 16068861 140722305820224 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 25632768 140722305823782 140722305823869 140722305823869 140722305830884 0
/proc/869518/statm: 27286 20609 2911 2900 0 23800 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 109144 KiB
Current children cumulated memory: 82436 KiB
[startup+3.10543 s]
/proc/loadavg: 4.10 4.11 4.09 5/256 869519
/proc/meminfo: memFree=123060720/131524600 swapFree=131071996/131071996
[pid=869518] ppid=869515 vsize=110276 memory=83992 CPUtime=3.08 cores=0,2
/proc/869518/stat : 869518 (ipbhs_static_sc) R 869515 869518 866976 0 -1 4194304 21202 0 0 0 304 4 0 0 20 0 1 0 168407374 112922624 20998 134679101440 4194304 16068861 140722305820224 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 25632768 140722305823782 140722305823869 140722305823869 140722305830884 0
/proc/869518/statm: 27569 20998 2911 2900 0 24083 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 110276 KiB
Current children cumulated memory: 83992 KiB
[startup+6.3002 s]
/proc/loadavg: 4.09 4.11 4.09 5/256 869519
/proc/meminfo: memFree=123050736/131524600 swapFree=131071996/131071996
[pid=869518] ppid=869515 vsize=119060 memory=91648 CPUtime=6.27 cores=0,2
/proc/869518/stat : 869518 (ipbhs_static_sc) R 869515 869518 866976 0 -1 4194304 23120 0 0 0 622 5 0 0 20 0 1 0 168407374 121917440 22912 134679101440 4194304 16068861 140722305820224 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 25632768 140722305823782 140722305823869 140722305823869 140722305830884 0
/proc/869518/statm: 29765 22912 2911 2900 0 26279 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 119060 KiB
Current children cumulated memory: 91648 KiB
[startup+12.7002 s]
/proc/loadavg: 4.17 4.13 4.10 5/256 869520
/proc/meminfo: memFree=123046216/131524600 swapFree=131071996/131071996
[pid=869518] ppid=869515 vsize=119060 memory=91648 CPUtime=12.65 cores=0,2
/proc/869518/stat : 869518 (ipbhs_static_sc) R 869515 869518 866976 0 -1 4194304 23122 0 0 0 1260 5 0 0 20 0 1 0 168407374 121917440 22912 134679101440 4194304 16068861 140722305820224 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 25632768 140722305823782 140722305823869 140722305823869 140722305830884 0
/proc/869518/statm: 29765 22912 2911 2900 0 26279 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 119060 KiB
Current children cumulated memory: 91648 KiB
[startup+25.5002 s]
/proc/loadavg: 4.35 4.17 4.11 5/256 869522
/proc/meminfo: memFree=123010824/131524600 swapFree=131071996/131071996
[pid=869518] ppid=869515 vsize=136964 memory=108276 CPUtime=25.4 cores=0,2
/proc/869518/stat : 869518 (ipbhs_static_sc) R 869515 869518 866976 0 -1 4194304 27279 0 0 0 2535 5 0 0 20 0 1 0 168407374 140251136 27069 134679101440 4194304 16068861 140722305820224 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 25632768 140722305823782 140722305823869 140722305823869 140722305830884 0
/proc/869518/statm: 34241 27069 2911 2900 0 30755 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 136964 KiB
Current children cumulated memory: 108276 KiB
[startup+51.1055 s]
/proc/loadavg: 4.41 4.20 4.12 5/256 869526
/proc/meminfo: memFree=122952256/131524600 swapFree=131071996/131071996
[pid=869518] ppid=869515 vsize=188132 memory=139084 CPUtime=50.91 cores=0,2
/proc/869518/stat : 869518 (ipbhs_static_sc) R 869515 869518 866976 0 -1 4194304 35036 0 0 0 5084 7 0 0 20 0 1 0 168407374 192647168 34771 134679101440 4194304 16068861 140722305820224 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 25632768 140722305823782 140722305823869 140722305823869 140722305830884 0
/proc/869518/statm: 47033 34771 2911 2900 0 43547 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 188132 KiB
Current children cumulated memory: 139084 KiB
[startup+102.3 s]
/proc/loadavg: 4.29 4.20 4.12 5/256 869535
/proc/meminfo: memFree=122867140/131524600 swapFree=131071996/131071996
[pid=869518] ppid=869515 vsize=255388 memory=168120 CPUtime=101.93 cores=0,2
/proc/869518/stat : 869518 (ipbhs_static_sc) R 869515 869518 866976 0 -1 4194304 42906 0 0 0 10180 13 0 0 20 0 1 0 168407374 261517312 42030 134679101440 4194304 16068861 140722305820224 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 25632768 140722305823782 140722305823869 140722305823869 140722305830884 0
/proc/869518/statm: 63847 42030 2911 2900 0 60361 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 255388 KiB
Current children cumulated memory: 168120 KiB
[startup+162.3 s]
/proc/loadavg: 4.31 4.23 4.14 5/257 869729
/proc/meminfo: memFree=125282708/131524600 swapFree=131071996/131071996
[pid=869518] ppid=869515 vsize=319080 memory=200336 CPUtime=161.73 cores=0,2
/proc/869518/stat : 869518 (ipbhs_static_sc) R 869515 869518 866976 0 -1 4194304 50950 0 0 0 16152 21 0 0 20 0 1 0 168407374 326737920 50084 134679101440 4194304 16068861 140722305820224 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 25632768 140722305823782 140722305823869 140722305823869 140722305830884 0
/proc/869518/statm: 79770 50084 2911 2900 0 76284 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 319080 KiB
Current children cumulated memory: 200336 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.20 4.13 5/257 869742
/proc/meminfo: memFree=124745712/131524600 swapFree=131071996/131071996
[pid=869518] ppid=869515 vsize=373500 memory=231276 CPUtime=221.52 cores=0,2
/proc/869518/stat : 869518 (ipbhs_static_sc) R 869515 869518 866976 0 -1 4194304 57181 0 0 0 22128 24 0 0 20 0 1 0 168407374 382464000 57819 134679101440 4194304 16068861 140722305820224 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 25632768 140722305823782 140722305823869 140722305823869 140722305830884 0
/proc/869518/statm: 93375 57819 2911 2900 0 89889 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 373500 KiB
Current children cumulated memory: 231276 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.17 4.12 5/255 869752
/proc/meminfo: memFree=124654512/131524600 swapFree=131071996/131071996
[pid=869518] ppid=869515 vsize=418100 memory=312032 CPUtime=281.31 cores=0,2
/proc/869518/stat : 869518 (ipbhs_static_sc) R 869515 869518 866976 0 -1 4194304 65422 0 0 0 28106 25 0 0 20 0 1 0 168407374 428134400 78008 134679101440 4194304 16068861 140722305820224 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 25632768 140722305823782 140722305823869 140722305823869 140722305830884 0
/proc/869518/statm: 104525 78008 2911 2900 0 101039 0
Current children cumulated CPU time: 281.31 s
Current children cumulated vsize: 418100 KiB
Current children cumulated memory: 312032 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.15 4.12 5/255 869762
/proc/meminfo: memFree=124550240/131524600 swapFree=131071996/131071996
[pid=869518] ppid=869515 vsize=454388 memory=392020 CPUtime=341.1 cores=0,2
/proc/869518/stat : 869518 (ipbhs_static_sc) R 869515 869518 866976 0 -1 4194304 71553 0 0 0 34084 26 0 0 20 0 1 0 168407374 465293312 98005 134679101440 4194304 16068861 140722305820224 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 25632768 140722305823782 140722305823869 140722305823869 140722305830884 0
/proc/869518/statm: 113597 98005 2911 2900 0 110111 0
Current children cumulated CPU time: 341.1 s
Current children cumulated vsize: 454388 KiB
Current children cumulated memory: 392020 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 4.15 4.12 5/255 869773
/proc/meminfo: memFree=124481972/131524600 swapFree=131071996/131071996
[pid=869518] ppid=869515 vsize=473156 memory=447400 CPUtime=400.89 cores=0,2
/proc/869518/stat : 869518 (ipbhs_static_sc) R 869515 869518 866976 0 -1 4194304 74456 0 0 0 40062 27 0 0 20 0 1 0 168407374 484511744 111850 134679101440 4194304 16068861 140722305820224 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 25632768 140722305823782 140722305823869 140722305823869 140722305830884 0
/proc/869518/statm: 118289 111850 2911 2900 0 114803 0
Current children cumulated CPU time: 400.89 s
Current children cumulated vsize: 473156 KiB
Current children cumulated memory: 447400 KiB
[startup+462.3 s]
/proc/loadavg: 4.05 4.12 4.11 5/254 869783
/proc/meminfo: memFree=124429460/131524600 swapFree=131071996/131071996
[pid=869518] ppid=869515 vsize=510052 memory=487308 CPUtime=460.69 cores=0,2
/proc/869518/stat : 869518 (ipbhs_static_sc) R 869515 869518 866976 0 -1 4194304 81400 0 0 0 46041 28 0 0 20 0 1 0 168407374 522293248 121827 134679101440 4194304 16068861 140722305820224 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 25632768 140722305823782 140722305823869 140722305823869 140722305830884 0
/proc/869518/statm: 127513 121827 2911 2900 0 124027 0
################
# More data... #
################
Current children cumulated memory: 906452 KiB
[startup+2862.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/259 871389
/proc/meminfo: memFree=122846468/131524600 swapFree=131071996/131071996
[pid=869518] ppid=869515 vsize=927880 memory=908560 CPUtime=2852.15 cores=0,2
/proc/869518/stat : 869518 (ipbhs_static_sc) R 869515 869518 866976 0 -1 4194304 182599 0 0 0 285165 50 0 0 20 0 1 0 168407374 950149120 227140 134679101440 4194304 16068861 140722305820224 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 25632768 140722305823782 140722305823869 140722305823869 140722305830884 0
/proc/869518/statm: 231970 227140 2911 2900 0 228484 0
Current children cumulated CPU time: 2852.15 s
Current children cumulated vsize: 927880 KiB
Current children cumulated memory: 908560 KiB
[startup+2922.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/258 871399
/proc/meminfo: memFree=122833164/131524600 swapFree=131071996/131071996
[pid=869518] ppid=869515 vsize=940176 memory=921400 CPUtime=2911.94 cores=0,2
/proc/869518/stat : 869518 (ipbhs_static_sc) R 869515 869518 866976 0 -1 4194304 186191 0 0 0 291144 50 0 0 20 0 1 0 168407374 962740224 230350 134679101440 4194304 16068861 140722305820224 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 25632768 140722305823782 140722305823869 140722305823869 140722305830884 0
/proc/869518/statm: 235044 230350 2911 2900 0 231558 0
Current children cumulated CPU time: 2911.94 s
Current children cumulated vsize: 940176 KiB
Current children cumulated memory: 921400 KiB
[startup+2982.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/259 871466
/proc/meminfo: memFree=122825548/131524600 swapFree=131071996/131071996
[pid=869518] ppid=869515 vsize=941304 memory=922304 CPUtime=2971.74 cores=0,2
/proc/869518/stat : 869518 (ipbhs_static_sc) R 869515 869518 866976 0 -1 4194304 186835 0 0 0 297123 51 0 0 20 0 1 0 168407374 963895296 230576 134679101440 4194304 16068861 140722305820224 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 25632768 140722305823782 140722305823869 140722305823869 140722305830884 0
/proc/869518/statm: 235326 230576 2911 2900 0 231840 0
Current children cumulated CPU time: 2971.74 s
Current children cumulated vsize: 941304 KiB
Current children cumulated memory: 922304 KiB
[startup+3042.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/258 871478
/proc/meminfo: memFree=122809024/131524600 swapFree=131071996/131071996
[pid=869518] ppid=869515 vsize=954812 memory=935000 CPUtime=3031.53 cores=0,2
/proc/869518/stat : 869518 (ipbhs_static_sc) R 869515 869518 866976 0 -1 4194304 190359 0 0 0 303102 51 0 0 20 0 1 0 168407374 977727488 233750 134679101440 4194304 16068861 140722305820224 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 25632768 140722305823782 140722305823869 140722305823869 140722305830884 0
/proc/869518/statm: 238703 233750 2911 2900 0 235217 0
Current children cumulated CPU time: 3031.53 s
Current children cumulated vsize: 954812 KiB
Current children cumulated memory: 935000 KiB
[startup+3102.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/258 871488
/proc/meminfo: memFree=122808080/131524600 swapFree=131071996/131071996
[pid=869518] ppid=869515 vsize=954812 memory=935028 CPUtime=3091.32 cores=0,2
/proc/869518/stat : 869518 (ipbhs_static_sc) R 869515 869518 866976 0 -1 4194304 190751 0 0 0 309081 51 0 0 20 0 1 0 168407374 977727488 233757 134679101440 4194304 16068861 140722305820224 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 25632768 140722305823782 140722305823869 140722305823869 140722305830884 0
/proc/869518/statm: 238703 233757 2911 2900 0 235217 0
Current children cumulated CPU time: 3091.32 s
Current children cumulated vsize: 954812 KiB
Current children cumulated memory: 935028 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/256 871498
/proc/meminfo: memFree=122792780/131524600 swapFree=131071996/131071996
[pid=869518] ppid=869515 vsize=962364 memory=942912 CPUtime=3151.12 cores=0,2
/proc/869518/stat : 869518 (ipbhs_static_sc) R 869515 869518 866976 0 -1 4194304 193109 0 0 0 315060 52 0 0 20 0 1 0 168407374 985460736 235728 134679101440 4194304 16068861 140722305820224 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 25632768 140722305823782 140722305823869 140722305823869 140722305830884 0
/proc/869518/statm: 240591 235728 2911 2900 0 237105 0
Current children cumulated CPU time: 3151.12 s
Current children cumulated vsize: 962364 KiB
Current children cumulated memory: 942912 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/256 871510
/proc/meminfo: memFree=122780168/131524600 swapFree=131071996/131071996
[pid=869518] ppid=869515 vsize=969196 memory=952928 CPUtime=3210.9 cores=0,2
/proc/869518/stat : 869518 (ipbhs_static_sc) R 869515 869518 866976 0 -1 4194304 195954 0 0 0 321038 52 0 0 20 0 1 0 168407374 992456704 238232 134679101440 4194304 16068861 140722305820224 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 25632768 140722305823782 140722305823869 140722305823869 140722305830884 0
/proc/869518/statm: 242299 238232 2911 2900 0 238813 0
Current children cumulated CPU time: 3210.9 s
Current children cumulated vsize: 969196 KiB
Current children cumulated memory: 952928 KiB
[startup+3282.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/256 871520
/proc/meminfo: memFree=122776372/131524600 swapFree=131071996/131071996
[pid=869518] ppid=869515 vsize=969196 memory=952956 CPUtime=3270.7 cores=0,2
/proc/869518/stat : 869518 (ipbhs_static_sc) R 869515 869518 866976 0 -1 4194304 197916 0 0 0 327017 53 0 0 20 0 1 0 168407374 992456704 238239 134679101440 4194304 16068861 140722305820224 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 25632768 140722305823782 140722305823869 140722305823869 140722305830884 0
/proc/869518/statm: 242299 238239 2911 2900 0 238813 0
Current children cumulated CPU time: 3270.7 s
Current children cumulated vsize: 969196 KiB
Current children cumulated memory: 952956 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/254 871530
/proc/meminfo: memFree=122773176/131524600 swapFree=131071996/131071996
[pid=869518] ppid=869515 vsize=970856 memory=954636 CPUtime=3330.48 cores=0,2
/proc/869518/stat : 869518 (ipbhs_static_sc) R 869515 869518 866976 0 -1 4194304 200392 0 0 0 332995 53 0 0 20 0 1 0 168407374 994156544 238659 134679101440 4194304 16068861 140722305820224 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 25632768 140722305823782 140722305823869 140722305823869 140722305830884 0
/proc/869518/statm: 242714 238659 2911 2900 0 239228 0
Current children cumulated CPU time: 3330.48 s
Current children cumulated vsize: 970856 KiB
Current children cumulated memory: 954636 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/254 871541
/proc/meminfo: memFree=122762868/131524600 swapFree=131071996/131071996
[pid=869518] ppid=869515 vsize=981088 memory=964260 CPUtime=3390.28 cores=0,2
/proc/869518/stat : 869518 (ipbhs_static_sc) R 869515 869518 866976 0 -1 4194304 204715 0 0 0 338974 54 0 0 20 0 1 0 168407374 1004634112 241065 134679101440 4194304 16068861 140722305820224 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 25632768 140722305823782 140722305823869 140722305823869 140722305830884 0
/proc/869518/statm: 245272 241065 2911 2900 0 241786 0
Current children cumulated CPU time: 3390.28 s
Current children cumulated vsize: 981088 KiB
Current children cumulated memory: 964260 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/254 871551
/proc/meminfo: memFree=122752540/131524600 swapFree=131071996/131071996
[pid=869518] ppid=869515 vsize=990980 memory=974268 CPUtime=3450.07 cores=0,2
/proc/869518/stat : 869518 (ipbhs_static_sc) R 869515 869518 866976 0 -1 4194304 207571 0 0 0 344953 54 0 0 20 0 1 0 168407374 1014763520 243567 134679101440 4194304 16068861 140722305820224 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 25632768 140722305823782 140722305823869 140722305823869 140722305830884 0
/proc/869518/statm: 247745 243567 2911 2900 0 244259 0
Current children cumulated CPU time: 3450.07 s
Current children cumulated vsize: 990980 KiB
Current children cumulated memory: 974268 KiB
[startup+3522.3 s]
/proc/loadavg: 4.36 4.16 4.11 5/255 871562
/proc/meminfo: memFree=122743776/131524600 swapFree=131071996/131071996
[pid=869518] ppid=869515 vsize=999200 memory=982364 CPUtime=3509.87 cores=0,2
/proc/869518/stat : 869518 (ipbhs_static_sc) R 869515 869518 866976 0 -1 4194304 211686 0 0 0 350932 55 0 0 20 0 1 0 168407374 1023180800 245591 134679101440 4194304 16068861 140722305820224 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 25632768 140722305823782 140722305823869 140722305823869 140722305830884 0
/proc/869518/statm: 249800 245591 2911 2900 0 246314 0
Current children cumulated CPU time: 3509.87 s
Current children cumulated vsize: 999200 KiB
Current children cumulated memory: 982364 KiB
[startup+3582.3 s]
/proc/loadavg: 4.23 4.16 4.11 5/257 871576
/proc/meminfo: memFree=122729648/131524600 swapFree=131071996/131071996
[pid=869518] ppid=869515 vsize=1013472 memory=995720 CPUtime=3569.66 cores=0,2
/proc/869518/stat : 869518 (ipbhs_static_sc) R 869515 869518 866976 0 -1 4194304 215406 0 0 0 356911 55 0 0 20 0 1 0 168407374 1037795328 248930 134679101440 4194304 16068861 140722305820224 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 25632768 140722305823782 140722305823869 140722305823869 140722305830884 0
/proc/869518/statm: 253368 248930 2911 2900 0 249882 0
Current children cumulated CPU time: 3569.66 s
Current children cumulated vsize: 1013472 KiB
Current children cumulated memory: 995720 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.8 s]
/proc/loadavg: 4.14 4.15 4.11 5/257 871628
/proc/meminfo: memFree=122788060/131524600 swapFree=131071996/131071996
[pid=869518] ppid=869515 vsize=1013532 memory=996844 CPUtime=3600.05 cores=0,2
/proc/869518/stat : 869518 (ipbhs_static_sc) R 869515 869518 866976 0 -1 4194304 216598 0 0 0 359950 55 0 0 20 0 1 0 168407374 1037856768 249211 134679101440 4194304 16068861 140722305820224 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 25632768 140722305823782 140722305823869 140722305823869 140722305830884 0
/proc/869518/statm: 253383 249211 2911 2900 0 249897 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 1013532 KiB
Current children cumulated memory: 996844 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.81 s]
# the end of solver process 869518 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3599.51 s, system=0.564752 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): 3612.81
CPU time (s): 3600.07
CPU user time (s): 3599.51
CPU system time (s): 0.564752
CPU usage (%): 99.6474
Max. virtual memory (cumulated for all children) (KiB): 1013532
Max. memory (cumulated for all children) (KiB): 996844
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.51
system time used= 0.564752
maximum resident set size= 999532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 216598
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= 108
involuntary context switches= 25236
# summary of solver processes directly reported to runsolver:
# pid: 869518
# total CPU time (s): 3600.07
# total CPU user time (s): 3599.51
# total CPU system time (s): 0.564752
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.85823 second user time and 16.1162 second system time
The end
Begin job on nodeC022 at 2024-07-16 22:40:45
IDJOB=4432117
IDBENCH=158466
IDSOLVER=3057
FILE ID=nodeC022/4432117-1721162432
RUNJOBID= nodeC022-1721158828-866986
SLURM_JOB_ID= 7505771
Free space on /tmp= 889896 MiB
SOLVER NAME= IPBHS-SCIP 2024-07-09
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern35-09.lin.opb
COMMAND LINE= ./ipbhs_static_scip BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432117-1721162432/watcher-4432117-1721162432 -o /tmp/evaluation-result-4432117-1721162432/solver-4432117-1721162432 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721158828-866986 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4432117-1721162432.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 88e07485ddda73ef9c5cf0cbed9ceb05
RANDOM SEED=1938654703
nodeC022.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 : 3675.572
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.66
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 : 3688.322
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.96
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 : 3658.016
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.66
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 : 3600.128
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.96
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 : 3670.620
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.66
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 : 3688.317
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.96
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.877
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.66
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.034
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.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 123136880 kB
MemAvailable: 125798208 kB
Buffers: 412980 kB
Cached: 3060128 kB
SwapCached: 0 kB
Active: 767144 kB
Inactive: 6963880 kB
Active(anon): 1548 kB
Inactive(anon): 4294088 kB
Active(file): 765596 kB
Inactive(file): 2669792 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 109184 kB
Writeback: 0 kB
AnonPages: 4257244 kB
Mapped: 139820 kB
Shmem: 37720 kB
KReclaimable: 131172 kB
Slab: 241820 kB
SReclaimable: 131172 kB
SUnreclaim: 110648 kB
KernelStack: 4128 kB
PageTables: 17584 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 4801792 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 62464 kB
HardwareCorrupted: 0 kB
AnonHugePages: 604160 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: 240340 kB
DirectMap2M: 26796032 kB
DirectMap1G: 109051904 kB
Free space on /tmp at the end= 889864 MiB
End job on nodeC022 at 2024-07-16 23:40:58