0.59/0.63 c initialize IPBHS solver
0.59/0.63 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.59/0.63 c optimizer = "scip"
0.59/0.63 c pbsolver = "roundingsat"
0.59/0.63 c load symmetries from file ""
0.59/0.63 c set time limit for symmetry computation to 100 seconds.
0.59/0.63 c set interchangeable summation variable limit to 3
0.59/0.63 c set abs symmetric core budget per WCE-iteration to 100
0.59/0.63 c set rel symmetric core budget per WCE-iteration to 0
0.59/0.63 c set lit symmetric core budget per WCE-iteration to 0
0.59/0.63 c set sym generation to 's'
0.59/0.63 c set abstraction set creation to 10 iterations without LB change
0.59/0.63 c set abstraction set inputs to 0
0.59/0.63 c set abstraction set cluster min size to 2
0.59/0.63 c set abstraction set cluster max size to 100000000
0.59/0.63 c set abstraction set cluster activation limit to 2
0.59/0.63 c enable abstraction set require equal cost
0.59/0.63 c set abstraction set assumptions to 0
0.59/0.63 c set abstraction set constraint type to 0
0.59/0.63 c set abstract core extraction strategy to b
0.59/0.63 c set core extraction strategy to 2
0.59/0.63 c set core extraction shuffles 10
0.59/0.63 c set cores per iteration to 5
0.59/0.63 c set optimizer bound usage strategy to 2
0.59/0.63 c set optimizer max non-optimal iterations to 1000
0.59/0.63 c set small core cardinality limit to 2
0.59/0.63 c set max coef in cores to 1000000000
0.59/0.63 c set SIS iterations to 5
0.59/0.63 c set SIS budget abs to 1000
0.59/0.63 c set SIS budget rel to 0.05
0.59/0.63 c limit for coefficient in constraints and objective to 9223372036854775807
0.59/0.63 c will solve HOME/instance-4431763-1721068502.opb
0.59/0.63 c [0.18] solve iteration 1, LB=0, UB=773893279252633
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 (61742 MiB free)
memory of node 1: 64510 MiB (63218 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431763-1721068502/watcher-4431763-1721068502 -o /tmp/evaluation-result-4431763-1721068502/solver-4431763-1721068502 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721068515-820554 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4431763-1721068502.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=820612, runsolver pid=820600
[startup+0.100693 s]*
/proc/loadavg: 1.11 1.14 1.78 7/259 820618
/proc/meminfo: memFree=127857772/131524600 swapFree=131071996/131071996
[pid=820612] ppid=820600 vsize=73916 memory=54536 CPUtime=0.09 cores=1,3
/proc/820612/stat : 820612 (ipbhs_static_sc) R 820600 820612 820542 0 -1 4194304 12006 0 0 0 8 1 0 0 20 0 1 0 159018539 75689984 13634 134679101440 4194304 16068861 140735134316448 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 37933056 140735134319654 140735134319741 140735134319741 140735134326756 0
/proc/820612/statm: 18479 13634 2399 2900 0 14993 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 73916 KiB
Current children cumulated memory: 54536 KiB
[startup+0.206348 s]*
/proc/loadavg: 1.11 1.14 1.78 4/258 820632
/proc/meminfo: memFree=127807908/131524600 swapFree=131071996/131071996
[pid=820612] ppid=820600 vsize=74956 memory=55328 CPUtime=0.19 cores=1,3
/proc/820612/stat : 820612 (ipbhs_static_sc) R 820600 820612 820542 0 -1 4194304 12249 0 0 0 18 1 0 0 20 0 1 0 159018539 76754944 13832 134679101440 4194304 16068861 140735134316448 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 37933056 140735134319654 140735134319741 140735134319741 140735134326756 0
/proc/820612/statm: 18739 13832 2399 2900 0 15253 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 74956 KiB
Current children cumulated memory: 55328 KiB
[startup+0.305821 s]*
/proc/loadavg: 1.11 1.14 1.78 6/256 820642
/proc/meminfo: memFree=127777904/131524600 swapFree=131071996/131071996
[pid=820612] ppid=820600 vsize=104100 memory=82412 CPUtime=0.29 cores=1,3
/proc/820612/stat : 820612 (ipbhs_static_sc) R 820600 820612 820542 0 -1 4194304 18735 0 0 0 27 2 0 0 20 0 1 0 159018539 106598400 20603 134679101440 4194304 16068861 140735134316448 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 37933056 140735134319654 140735134319741 140735134319741 140735134326756 0
/proc/820612/statm: 26025 20603 2671 2900 0 22539 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 104100 KiB
Current children cumulated memory: 82412 KiB
[startup+0.700238 s]
/proc/loadavg: 1.11 1.14 1.78 7/255 820654
/proc/meminfo: memFree=127737604/131524600 swapFree=131071996/131071996
[pid=820612] ppid=820600 vsize=222136 memory=170100 CPUtime=0.68 cores=1,3
/proc/820612/stat : 820612 (ipbhs_static_sc) R 820600 820612 820542 0 -1 4194304 43519 0 0 0 62 6 0 0 20 0 1 0 159018539 227467264 42525 134679101440 4194304 16068861 140735134316448 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 37933056 140735134319654 140735134319741 140735134319741 140735134326756 0
/proc/820612/statm: 55534 42525 2911 2900 0 52048 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 222136 KiB
Current children cumulated memory: 170100 KiB
[startup+1.50024 s]
/proc/loadavg: 1.11 1.14 1.78 7/261 820664
/proc/meminfo: memFree=127594312/131524600 swapFree=131071996/131071996
[pid=820612] ppid=820600 vsize=218732 memory=167612 CPUtime=1.48 cores=1,3
/proc/820612/stat : 820612 (ipbhs_static_sc) R 820600 820612 820542 0 -1 4194304 43674 0 0 0 142 6 0 0 20 0 1 0 159018539 223981568 41903 134679101440 4194304 16068861 140735134316448 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 37933056 140735134319654 140735134319741 140735134319741 140735134326756 0
/proc/820612/statm: 54683 41903 2911 2900 0 51197 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 218732 KiB
Current children cumulated memory: 167612 KiB
[startup+3.10644 s]
/proc/loadavg: 1.34 1.19 1.79 7/261 820664
/proc/meminfo: memFree=127546848/131524600 swapFree=131071996/131071996
[pid=820612] ppid=820600 vsize=232496 memory=183272 CPUtime=3.08 cores=1,3
/proc/820612/stat : 820612 (ipbhs_static_sc) R 820600 820612 820542 0 -1 4194304 48391 0 0 0 301 7 0 0 20 0 1 0 159018539 238075904 45818 134679101440 4194304 16068861 140735134316448 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 37933056 140735134319654 140735134319741 140735134319741 140735134326756 0
/proc/820612/statm: 58124 45818 2911 2900 0 54638 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 232496 KiB
Current children cumulated memory: 183272 KiB
[startup+6.30022 s]
/proc/loadavg: 1.34 1.19 1.79 7/261 820666
/proc/meminfo: memFree=127490116/131524600 swapFree=131071996/131071996
[pid=820612] ppid=820600 vsize=252632 memory=204748 CPUtime=6.27 cores=1,3
/proc/820612/stat : 820612 (ipbhs_static_sc) R 820600 820612 820542 0 -1 4194304 56515 0 0 0 618 9 0 0 20 0 1 0 159018539 258695168 51187 134679101440 4194304 16068861 140735134316448 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 37933056 140735134319654 140735134319741 140735134319741 140735134326756 0
/proc/820612/statm: 63158 51187 3231 2900 0 59672 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 252632 KiB
Current children cumulated memory: 204748 KiB
[startup+12.7002 s]
/proc/loadavg: 1.63 1.25 1.81 7/261 820666
/proc/meminfo: memFree=127433648/131524600 swapFree=131071996/131071996
[pid=820612] ppid=820600 vsize=256496 memory=208696 CPUtime=12.64 cores=1,3
/proc/820612/stat : 820612 (ipbhs_static_sc) R 820600 820612 820542 0 -1 4194304 61588 0 0 0 1254 10 0 0 20 0 1 0 159018539 262651904 52174 134679101440 4194304 16068861 140735134316448 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 37933056 140735134319654 140735134319741 140735134319741 140735134326756 0
/proc/820612/statm: 64124 52174 3231 2900 0 60638 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 256496 KiB
Current children cumulated memory: 208696 KiB
[startup+25.5003 s]
/proc/loadavg: 2.24 1.40 1.85 7/259 820669
/proc/meminfo: memFree=127355560/131524600 swapFree=131071996/131071996
[pid=820612] ppid=820600 vsize=260524 memory=213572 CPUtime=25.41 cores=1,3
/proc/820612/stat : 820612 (ipbhs_static_sc) R 820600 820612 820542 0 -1 4194304 70249 0 0 0 2528 13 0 0 20 0 1 0 159018539 266776576 53393 134679101440 4194304 16068861 140735134316448 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 37933056 140735134319654 140735134319741 140735134319741 140735134326756 0
/proc/820612/statm: 65131 53393 3231 2900 0 61645 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 260524 KiB
Current children cumulated memory: 213572 KiB
[startup+51.106 s]
/proc/loadavg: 2.84 1.61 1.91 7/258 820672
/proc/meminfo: memFree=127304096/131524600 swapFree=131071996/131071996
[pid=820612] ppid=820600 vsize=262776 memory=224380 CPUtime=50.96 cores=1,3
/proc/820612/stat : 820612 (ipbhs_static_sc) R 820600 820612 820542 0 -1 4194304 71143 0 0 0 4837 259 0 0 20 0 1 0 159018539 269082624 56095 134679101440 4194304 16068861 140735134316448 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 37933056 140735134319654 140735134319741 140735134319741 140735134326756 0
/proc/820612/statm: 65694 56095 3263 2900 0 62208 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 262776 KiB
Current children cumulated memory: 224380 KiB
[startup+102.3 s]
/proc/loadavg: 3.54 2.00 2.02 7/258 820682
/proc/meminfo: memFree=127104468/131524600 swapFree=131071996/131071996
[pid=820612] ppid=820600 vsize=277096 memory=237824 CPUtime=102.03 cores=1,3
/proc/820612/stat : 820612 (ipbhs_static_sc) R 820600 820612 820542 0 -1 4194304 72229 0 0 0 9234 969 0 0 20 0 1 0 159018539 283746304 59456 134679101440 4194304 16068861 140735134316448 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 37933056 140735134319654 140735134319741 140735134319741 140735134326756 0
/proc/820612/statm: 69274 59456 3263 2900 0 65788 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 277096 KiB
Current children cumulated memory: 237824 KiB
[startup+162.3 s]
/proc/loadavg: 3.93 2.39 2.16 7/258 820693
/proc/meminfo: memFree=127053444/131524600 swapFree=131071996/131071996
[pid=820612] ppid=820600 vsize=298776 memory=270496 CPUtime=161.9 cores=1,3
/proc/820612/stat : 820612 (ipbhs_static_sc) R 820600 820612 820542 0 -1 4194304 75126 0 0 0 14610 1580 0 0 20 0 1 0 159018539 305946624 67624 134679101440 4194304 16068861 140735134316448 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 37933056 140735134319654 140735134319741 140735134319741 140735134326756 0
/proc/820612/statm: 74694 67624 3263 2900 0 71208 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 298776 KiB
Current children cumulated memory: 270496 KiB
[startup+222.3 s]
/proc/loadavg: 4.03 2.70 2.28 7/258 820703
/proc/meminfo: memFree=126971964/131524600 swapFree=131071996/131071996
[pid=820612] ppid=820600 vsize=349404 memory=302572 CPUtime=221.75 cores=1,3
/proc/820612/stat : 820612 (ipbhs_static_sc) R 820600 820612 820542 0 -1 4194304 81705 0 0 0 20497 1678 0 0 20 0 1 0 159018539 357789696 75643 134679101440 4194304 16068861 140735134316448 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 37933056 140735134319654 140735134319741 140735134319741 140735134326756 0
/proc/820612/statm: 87351 75643 3263 2900 0 83865 0
Current children cumulated CPU time: 221.75 s
Current children cumulated vsize: 349404 KiB
Current children cumulated memory: 302572 KiB
[startup+282.3 s]
/proc/loadavg: 4.20 2.99 2.41 7/258 820713
/proc/meminfo: memFree=126959936/131524600 swapFree=131071996/131071996
[pid=820612] ppid=820600 vsize=351652 memory=307236 CPUtime=281.6 cores=1,3
/proc/820612/stat : 820612 (ipbhs_static_sc) R 820600 820612 820542 0 -1 4194304 82429 0 0 0 26217 1943 0 0 20 0 1 0 159018539 360091648 76809 134679101440 4194304 16068861 140735134316448 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 37933056 140735134319654 140735134319741 140735134319741 140735134326756 0
/proc/820612/statm: 87913 76809 3263 2900 0 84427 0
Current children cumulated CPU time: 281.6 s
Current children cumulated vsize: 351652 KiB
Current children cumulated memory: 307236 KiB
[startup+342.3 s]
/proc/loadavg: 4.17 3.21 2.52 7/257 820728
/proc/meminfo: memFree=126768028/131524600 swapFree=131071996/131071996
[pid=820612] ppid=820600 vsize=359676 memory=318956 CPUtime=341.46 cores=1,3
/proc/820612/stat : 820612 (ipbhs_static_sc) R 820600 820612 820542 0 -1 4194304 84414 0 0 0 31979 2167 0 0 20 0 1 0 159018539 368308224 79739 134679101440 4194304 16068861 140735134316448 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 37933056 140735134319654 140735134319741 140735134319741 140735134326756 0
/proc/820612/statm: 89919 79739 3263 2900 0 86433 0
Current children cumulated CPU time: 341.46 s
Current children cumulated vsize: 359676 KiB
Current children cumulated memory: 318956 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 3.37 2.62 7/257 820739
/proc/meminfo: memFree=126710556/131524600 swapFree=131071996/131071996
[pid=820612] ppid=820600 vsize=363964 memory=329552 CPUtime=401.31 cores=1,3
/proc/820612/stat : 820612 (ipbhs_static_sc) R 820600 820612 820542 0 -1 4194304 85589 0 0 0 37735 2396 0 0 20 0 1 0 159018539 372699136 82388 134679101440 4194304 16068861 140735134316448 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 37933056 140735134319654 140735134319741 140735134319741 140735134326756 0
/proc/820612/statm: 90991 82388 3263 2900 0 87505 0
Current children cumulated CPU time: 401.31 s
Current children cumulated vsize: 363964 KiB
Current children cumulated memory: 329552 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 3.52 2.72 7/257 820750
/proc/meminfo: memFree=126665216/131524600 swapFree=131071996/131071996
[pid=820612] ppid=820600 vsize=369540 memory=334520 CPUtime=461.16 cores=1,3
/proc/820612/stat : 820612 (ipbhs_static_sc) R 820600 820612 820542 0 -1 4194304 86891 0 0 0 43564 2552 0 0 20 0 1 0 159018539 378408960 83630 134679101440 4194304 16068861 140735134316448 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 37933056 140735134319654 140735134319741 140735134319741 140735134326756 0
/proc/820612/statm: 92385 83630 3263 2900 0 88899 0
################
# More data... #
################
Current children cumulated memory: 429236 KiB
[startup+2922.3 s]
/proc/loadavg: 4.11 4.13 4.06 7/258 821772
/proc/meminfo: memFree=125934296/131524600 swapFree=131071996/131071996
[pid=820612] ppid=820600 vsize=472500 memory=429236 CPUtime=2914.73 cores=1,3
/proc/820612/stat : 820612 (ipbhs_static_sc) R 820600 820612 820542 0 -1 4194304 107381 0 0 0 279141 12332 0 0 20 0 1 0 159018539 483840000 107309 134679101440 4194304 16068861 140735134316448 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 37933056 140735134319654 140735134319741 140735134319741 140735134326756 0
/proc/820612/statm: 118125 107309 3263 2900 0 114639 0
Current children cumulated CPU time: 2914.73 s
Current children cumulated vsize: 472500 KiB
Current children cumulated memory: 429236 KiB
[startup+2982.3 s]
/proc/loadavg: 4.08 4.12 4.06 7/258 821784
/proc/meminfo: memFree=125931572/131524600 swapFree=131071996/131071996
[pid=820612] ppid=820600 vsize=472500 memory=429236 CPUtime=2974.56 cores=1,3
/proc/820612/stat : 820612 (ipbhs_static_sc) R 820600 820612 820542 0 -1 4194304 107525 0 0 0 284962 12494 0 0 20 0 1 0 159018539 483840000 107309 134679101440 4194304 16068861 140735134316448 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 37933056 140735134319654 140735134319741 140735134319741 140735134326756 0
/proc/820612/statm: 118125 107309 3263 2900 0 114639 0
Current children cumulated CPU time: 2974.56 s
Current children cumulated vsize: 472500 KiB
Current children cumulated memory: 429236 KiB
[startup+3042.3 s]
/proc/loadavg: 4.14 4.13 4.07 7/255 821795
/proc/meminfo: memFree=125927196/131524600 swapFree=131071996/131071996
[pid=820612] ppid=820600 vsize=472500 memory=429236 CPUtime=3034.39 cores=1,3
/proc/820612/stat : 820612 (ipbhs_static_sc) R 820600 820612 820542 0 -1 4194304 107672 0 0 0 290791 12648 0 0 20 0 1 0 159018539 483840000 107309 134679101440 4194304 16068861 140735134316448 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 37933056 140735134319654 140735134319741 140735134319741 140735134326756 0
/proc/820612/statm: 118125 107309 3263 2900 0 114639 0
Current children cumulated CPU time: 3034.39 s
Current children cumulated vsize: 472500 KiB
Current children cumulated memory: 429236 KiB
[startup+3102.3 s]
/proc/loadavg: 4.11 4.12 4.07 7/257 822189
/proc/meminfo: memFree=125892876/131524600 swapFree=131071996/131071996
[pid=820612] ppid=820600 vsize=472756 memory=429360 CPUtime=3094.23 cores=1,3
/proc/820612/stat : 820612 (ipbhs_static_sc) R 820600 820612 820542 0 -1 4194304 107856 0 0 0 296556 12867 0 0 20 0 1 0 159018539 484102144 107340 134679101440 4194304 16068861 140735134316448 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 37933056 140735134319654 140735134319741 140735134319741 140735134326756 0
/proc/820612/statm: 118189 107340 3263 2900 0 114703 0
Current children cumulated CPU time: 3094.23 s
Current children cumulated vsize: 472756 KiB
Current children cumulated memory: 429360 KiB
[startup+3162.3 s]
/proc/loadavg: 4.16 4.13 4.08 7/257 822200
/proc/meminfo: memFree=125848276/131524600 swapFree=131071996/131071996
[pid=820612] ppid=820600 vsize=472756 memory=429360 CPUtime=3154.07 cores=1,3
/proc/820612/stat : 820612 (ipbhs_static_sc) R 820600 820612 820542 0 -1 4194304 107996 0 0 0 302287 13120 0 0 20 0 1 0 159018539 484102144 107340 134679101440 4194304 16068861 140735134316448 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 37933056 140735134319654 140735134319741 140735134319741 140735134326756 0
/proc/820612/statm: 118189 107340 3263 2900 0 114703 0
Current children cumulated CPU time: 3154.07 s
Current children cumulated vsize: 472756 KiB
Current children cumulated memory: 429360 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.12 4.08 7/260 822381
/proc/meminfo: memFree=125805456/131524600 swapFree=131071996/131071996
[pid=820612] ppid=820600 vsize=472756 memory=429360 CPUtime=3213.91 cores=1,3
/proc/820612/stat : 820612 (ipbhs_static_sc) R 820600 820612 820542 0 -1 4194304 108140 0 0 0 308062 13329 0 0 20 0 1 0 159018539 484102144 107340 134679101440 4194304 16068861 140735134316448 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 37933056 140735134319654 140735134319741 140735134319741 140735134326756 0
/proc/820612/statm: 118189 107340 3263 2900 0 114703 0
Current children cumulated CPU time: 3213.91 s
Current children cumulated vsize: 472756 KiB
Current children cumulated memory: 429360 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.11 4.08 7/260 822391
/proc/meminfo: memFree=125768468/131524600 swapFree=131071996/131071996
[pid=820612] ppid=820600 vsize=472756 memory=429360 CPUtime=3273.74 cores=1,3
/proc/820612/stat : 820612 (ipbhs_static_sc) R 820600 820612 820542 0 -1 4194304 108285 0 0 0 313861 13513 0 0 20 0 1 0 159018539 484102144 107340 134679101440 4194304 16068861 140735134316448 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 37933056 140735134319654 140735134319741 140735134319741 140735134326756 0
/proc/820612/statm: 118189 107340 3263 2900 0 114703 0
Current children cumulated CPU time: 3273.74 s
Current children cumulated vsize: 472756 KiB
Current children cumulated memory: 429360 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.12 4.08 7/262 822461
/proc/meminfo: memFree=125703968/131524600 swapFree=131071996/131071996
[pid=820612] ppid=820600 vsize=472756 memory=429360 CPUtime=3333.57 cores=1,3
/proc/820612/stat : 820612 (ipbhs_static_sc) R 820600 820612 820542 0 -1 4194304 108429 0 0 0 319682 13675 0 0 20 0 1 0 159018539 484102144 107340 134679101440 4194304 16068861 140735134316448 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 37933056 140735134319654 140735134319741 140735134319741 140735134326756 0
/proc/820612/statm: 118189 107340 3263 2900 0 114703 0
Current children cumulated CPU time: 3333.57 s
Current children cumulated vsize: 472756 KiB
Current children cumulated memory: 429360 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.11 4.08 7/260 822471
/proc/meminfo: memFree=125699412/131524600 swapFree=131071996/131071996
[pid=820612] ppid=820600 vsize=472756 memory=429392 CPUtime=3393.4 cores=1,3
/proc/820612/stat : 820612 (ipbhs_static_sc) R 820600 820612 820542 0 -1 4194304 108582 0 0 0 325520 13820 0 0 20 0 1 0 159018539 484102144 107348 134679101440 4194304 16068861 140735134316448 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 37933056 140735134319654 140735134319741 140735134319741 140735134326756 0
/proc/820612/statm: 118189 107348 3263 2900 0 114703 0
Current children cumulated CPU time: 3393.4 s
Current children cumulated vsize: 472756 KiB
Current children cumulated memory: 429392 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.10 4.08 7/260 822482
/proc/meminfo: memFree=125694980/131524600 swapFree=131071996/131071996
[pid=820612] ppid=820600 vsize=473780 memory=430120 CPUtime=3453.23 cores=1,3
/proc/820612/stat : 820612 (ipbhs_static_sc) R 820600 820612 820542 0 -1 4194304 108912 0 0 0 331369 13954 0 0 20 0 1 0 159018539 485150720 107530 134679101440 4194304 16068861 140735134316448 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 37933056 140735134319654 140735134319741 140735134319741 140735134326756 0
/proc/820612/statm: 118445 107530 3263 2900 0 114959 0
Current children cumulated CPU time: 3453.23 s
Current children cumulated vsize: 473780 KiB
Current children cumulated memory: 430120 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.13 4.09 7/259 822492
/proc/meminfo: memFree=125684452/131524600 swapFree=131071996/131071996
[pid=820612] ppid=820600 vsize=473780 memory=430176 CPUtime=3513.07 cores=1,3
/proc/820612/stat : 820612 (ipbhs_static_sc) R 820600 820612 820542 0 -1 4194304 109071 0 0 0 337096 14211 0 0 20 0 1 0 159018539 485150720 107544 134679101440 4194304 16068861 140735134316448 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 37933056 140735134319654 140735134319741 140735134319741 140735134326756 0
/proc/820612/statm: 118445 107544 3263 2900 0 114959 0
Current children cumulated CPU time: 3513.07 s
Current children cumulated vsize: 473780 KiB
Current children cumulated memory: 430176 KiB
[startup+3582.3 s]
/proc/loadavg: 4.18 4.13 4.09 7/258 822503
/proc/meminfo: memFree=125672236/131524600 swapFree=131071996/131071996
[pid=820612] ppid=820600 vsize=473780 memory=430176 CPUtime=3572.9 cores=1,3
/proc/820612/stat : 820612 (ipbhs_static_sc) R 820600 820612 820542 0 -1 4194304 109214 0 0 0 342853 14437 0 0 20 0 1 0 159018539 485150720 107544 134679101440 4194304 16068861 140735134316448 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 37933056 140735134319654 140735134319741 140735134319741 140735134326756 0
/proc/820612/statm: 118445 107544 3263 2900 0 114959 0
Current children cumulated CPU time: 3572.9 s
Current children cumulated vsize: 473780 KiB
Current children cumulated memory: 430176 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.5 s]
/proc/loadavg: 4.17 4.13 4.09 7/257 822508
/proc/meminfo: memFree=125668144/131524600 swapFree=131071996/131071996
[pid=820612] ppid=820600 vsize=473780 memory=430176 CPUtime=3600.03 cores=1,3
/proc/820612/stat : 820612 (ipbhs_static_sc) R 820600 820612 820542 0 -1 4194304 109243 0 0 0 345475 14528 0 0 20 0 1 0 159018539 485150720 107544 134679101440 4194304 16068861 140735134316448 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 37933056 140735134319654 140735134319741 140735134319741 140735134326756 0
/proc/820612/statm: 118445 107544 3263 2900 0 114959 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 473780 KiB
Current children cumulated memory: 430176 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.5 s]
# the end of solver process 820612 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3454.75 s, system=145.289 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.5 s]
/proc/loadavg: 4.17 4.13 4.09 7/257 822508
/proc/meminfo: memFree=125668144/131524600 swapFree=131071996/131071996
[pid=820612] ppid=820600 vsize=473780 memory=430176 CPUtime=3600.03 cores=1,3
/proc/820612/stat : 820612 (ipbhs_static_sc) R 820600 820612 820542 0 -1 4194304 109243 0 0 0 345475 14528 0 0 20 0 1 0 159018539 485150720 107544 134679101440 4194304 16068861 140735134316448 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 37933056 140735134319654 140735134319741 140735134319741 140735134326756 0
/proc/820612/statm: 118445 107544 3263 2900 0 114959 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 473780 KiB
Current children cumulated memory: 430176 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3609.5
CPU time (s): 3600.04
CPU user time (s): 3454.75
CPU system time (s): 145.289
CPU usage (%): 99.7378
Max. virtual memory (cumulated for all children) (KiB): 473780
Max. memory (cumulated for all children) (KiB): 430176
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3454.75
system time used= 145.289
maximum resident set size= 430176
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 109243
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= 58
involuntary context switches= 2438
# summary of solver processes directly reported to runsolver:
# pid: 820612
# total CPU time (s): 3600.04
# total CPU user time (s): 3454.75
# total CPU system time (s): 145.289
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.96288 second user time and 19.7961 second system time
The end
Begin job on nodeC031 at 2024-07-15 20:35:15
IDJOB=4431763
IDBENCH=146776
IDSOLVER=3057
FILE ID=nodeC031/4431763-1721068502
RUNJOBID= nodeC031-1721068515-820554
SLURM_JOB_ID= 7505521
Free space on /tmp= 890080 MiB
SOLVER NAME= IPBHS-SCIP 2024-07-09
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-bg512142.opb
COMMAND LINE= ./ipbhs_static_scip BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431763-1721068502/watcher-4431763-1721068502 -o /tmp/evaluation-result-4431763-1721068502/solver-4431763-1721068502 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721068515-820554 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4431763-1721068502.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c14f7c55e56be8814a9acdc0ce68bb69
RANDOM SEED=1724924411
nodeC031.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3483.792
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.55
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3650.766
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.11
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3589.547
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.55
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3514.052
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.11
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3593.060
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.55
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3675.479
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.11
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3548.879
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.55
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3495.111
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.11
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 127961320 kB
MemAvailable: 129702612 kB
Buffers: 360940 kB
Cached: 2204796 kB
SwapCached: 0 kB
Active: 672472 kB
Inactive: 2271488 kB
Active(anon): 1424 kB
Inactive(anon): 414840 kB
Active(file): 671048 kB
Inactive(file): 1856648 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 226216 kB
Writeback: 0 kB
AnonPages: 376800 kB
Mapped: 103380 kB
Shmem: 37720 kB
KReclaimable: 106484 kB
Slab: 213464 kB
SReclaimable: 106484 kB
SUnreclaim: 106980 kB
KernelStack: 3920 kB
PageTables: 9684 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 629008 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 61760 kB
HardwareCorrupted: 0 kB
AnonHugePages: 253952 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 185044 kB
DirectMap2M: 16365568 kB
DirectMap1G: 119537664 kB
Free space on /tmp at the end= 889868 MiB
End job on nodeC031 at 2024-07-15 21:35:25