0.09/0.16 c initialize IPBHS solver
0.09/0.16 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.09/0.16 c optimizer = "scip"
0.09/0.16 c pbsolver = "roundingsat"
0.09/0.16 c load symmetries from file ""
0.09/0.16 c set time limit for symmetry computation to 100 seconds.
0.09/0.16 c set interchangeable summation variable limit to 3
0.09/0.16 c set abs symmetric core budget per WCE-iteration to 100
0.09/0.16 c set rel symmetric core budget per WCE-iteration to 0
0.09/0.16 c set lit symmetric core budget per WCE-iteration to 0
0.09/0.16 c set sym generation to 's'
0.09/0.16 c set abstraction set creation to 10 iterations without LB change
0.09/0.16 c set abstraction set inputs to 0
0.09/0.16 c set abstraction set cluster min size to 2
0.09/0.16 c set abstraction set cluster max size to 100000000
0.09/0.16 c set abstraction set cluster activation limit to 2
0.09/0.16 c enable abstraction set require equal cost
0.09/0.16 c set abstraction set assumptions to 0
0.09/0.16 c set abstraction set constraint type to 0
0.09/0.16 c set abstract core extraction strategy to b
0.09/0.16 c set core extraction strategy to 2
0.09/0.16 c set core extraction shuffles 10
0.09/0.16 c set cores per iteration to 5
0.09/0.16 c set optimizer bound usage strategy to 2
0.09/0.16 c set optimizer max non-optimal iterations to 1000
0.09/0.16 c set small core cardinality limit to 2
0.09/0.16 c set max coef in cores to 1000000000
0.09/0.16 c set SIS iterations to 5
0.09/0.16 c set SIS budget abs to 1000
0.09/0.16 c set SIS budget rel to 0.05
0.09/0.16 c limit for coefficient in constraints and objective to 9223372036854775807
0.09/0.16 c will solve HOME/instance-4431902-1721056022.opb
0.09/0.16 c [0.02] solve iteration 1, LB=-1407, UB=1384580
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 (62075 MiB free)
memory of node 1: 64510 MiB (60496 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431902-1721056022/watcher-4431902-1721056022 -o /tmp/evaluation-result-4431902-1721056022/solver-4431902-1721056022 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721056035-834628 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4431902-1721056022.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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=834687, runsolver pid=834672
[startup+0.10066 s]*
/proc/loadavg: 2.38 3.57 3.91 7/256 834690
/proc/meminfo: memFree=125426252/131524600 swapFree=131071996/131071996
[pid=834687] ppid=834672 vsize=75668 memory=49532 CPUtime=0.09 cores=1,3
/proc/834687/stat : 834687 (ipbhs_static_sc) R 834672 834687 811579 0 -1 4194304 9470 0 0 0 7 2 0 0 20 0 1 0 157764095 77484032 12383 134679101440 4194304 16068861 140734908098960 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 31608832 140734908105766 140734908105853 140734908105853 140734908112868 0
/proc/834687/statm: 18917 12383 2719 2900 0 15431 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 75668 KiB
Current children cumulated memory: 49532 KiB
[startup+0.205786 s]*
/proc/loadavg: 2.38 3.57 3.91 4/255 834704
/proc/meminfo: memFree=125388176/131524600 swapFree=131071996/131071996
[pid=834687] ppid=834672 vsize=82024 memory=58592 CPUtime=0.2 cores=1,3
/proc/834687/stat : 834687 (ipbhs_static_sc) R 834672 834687 811579 0 -1 4194304 14280 0 0 0 17 3 0 0 20 0 1 0 157764095 83992576 14648 134679101440 4194304 16068861 140734908098960 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 31608832 140734908105766 140734908105853 140734908105853 140734908112868 0
/proc/834687/statm: 20506 14648 2863 2900 0 17020 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 82024 KiB
Current children cumulated memory: 58592 KiB
[startup+0.306374 s]*
/proc/loadavg: 2.38 3.57 3.91 7/254 834716
/proc/meminfo: memFree=125357088/131524600 swapFree=131071996/131071996
[pid=834687] ppid=834672 vsize=115988 memory=82380 CPUtime=0.3 cores=1,3
/proc/834687/stat : 834687 (ipbhs_static_sc) R 834672 834687 811579 0 -1 4194304 20236 0 0 0 26 4 0 0 20 0 1 0 157764095 118771712 20595 134679101440 4194304 16068861 140734908098960 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 31608832 140734908105766 140734908105853 140734908105853 140734908112868 0
/proc/834687/statm: 28997 20595 2879 2900 0 25511 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 115988 KiB
Current children cumulated memory: 82380 KiB
[startup+0.700223 s]
/proc/loadavg: 2.38 3.57 3.91 7/255 834730
/proc/meminfo: memFree=125333588/131524600 swapFree=131071996/131071996
[pid=834687] ppid=834672 vsize=118480 memory=87476 CPUtime=0.68 cores=1,3
/proc/834687/stat : 834687 (ipbhs_static_sc) R 834672 834687 811579 0 -1 4194304 25455 0 0 0 62 6 0 0 20 0 1 0 157764095 121323520 21869 134679101440 4194304 16068861 140734908098960 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 31608832 140734908105766 140734908105853 140734908105853 140734908112868 0
/proc/834687/statm: 29620 21869 2927 2900 0 26134 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 118480 KiB
Current children cumulated memory: 87476 KiB
[startup+1.50021 s]
/proc/loadavg: 2.38 3.57 3.91 7/258 834736
/proc/meminfo: memFree=125194064/131524600 swapFree=131071996/131071996
[pid=834687] ppid=834672 vsize=126952 memory=102356 CPUtime=1.48 cores=1,3
/proc/834687/stat : 834687 (ipbhs_static_sc) R 834672 834687 811579 0 -1 4194304 29212 0 0 0 141 7 0 0 20 0 1 0 157764095 129998848 25589 134679101440 4194304 16068861 140734908098960 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 31608832 140734908105766 140734908105853 140734908105853 140734908112868 0
/proc/834687/statm: 31738 25589 2927 2900 0 28252 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 126952 KiB
Current children cumulated memory: 102356 KiB
[startup+3.10626 s]
/proc/loadavg: 2.38 3.57 3.91 7/258 834736
/proc/meminfo: memFree=125017760/131524600 swapFree=131071996/131071996
[pid=834687] ppid=834672 vsize=153124 memory=134356 CPUtime=3.08 cores=1,3
/proc/834687/stat : 834687 (ipbhs_static_sc) R 834672 834687 811579 0 -1 4194304 37250 0 0 0 295 13 0 0 20 0 1 0 157764095 156798976 33589 134679101440 4194304 16068861 140734908098960 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 31608832 140734908105766 140734908105853 140734908105853 140734908112868 0
/proc/834687/statm: 38281 33589 2943 2900 0 34795 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 153124 KiB
Current children cumulated memory: 134356 KiB
[startup+6.3002 s]
/proc/loadavg: 2.59 3.60 3.91 7/258 834736
/proc/meminfo: memFree=124948488/131524600 swapFree=131071996/131071996
[pid=834687] ppid=834672 vsize=174252 memory=152796 CPUtime=6.27 cores=1,3
/proc/834687/stat : 834687 (ipbhs_static_sc) R 834672 834687 811579 0 -1 4194304 40298 0 0 0 591 36 0 0 20 0 1 0 157764095 178434048 38199 134679101440 4194304 16068861 140734908098960 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 31608832 140734908105766 140734908105853 140734908105853 140734908112868 0
/proc/834687/statm: 43563 38199 2943 2900 0 40077 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 174252 KiB
Current children cumulated memory: 152796 KiB
[startup+12.7002 s]
/proc/loadavg: 2.78 3.62 3.92 7/258 834738
/proc/meminfo: memFree=124784380/131524600 swapFree=131071996/131071996
[pid=834687] ppid=834672 vsize=237100 memory=222528 CPUtime=12.65 cores=1,3
/proc/834687/stat : 834687 (ipbhs_static_sc) R 834672 834687 811579 0 -1 4194304 57681 0 0 0 1211 54 0 0 20 0 1 0 157764095 242790400 55632 134679101440 4194304 16068861 140734908098960 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 31608832 140734908105766 140734908105853 140734908105853 140734908112868 0
/proc/834687/statm: 59275 55632 2943 2900 0 55789 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 237100 KiB
Current children cumulated memory: 222528 KiB
[startup+25.5002 s]
/proc/loadavg: 3.27 3.69 3.94 7/258 834740
/proc/meminfo: memFree=124648356/131524600 swapFree=131071996/131071996
[pid=834687] ppid=834672 vsize=268612 memory=238228 CPUtime=25.41 cores=1,3
/proc/834687/stat : 834687 (ipbhs_static_sc) R 834672 834687 811579 0 -1 4194304 59064 0 0 0 2455 86 0 0 20 0 1 0 157764095 275058688 59557 134679101440 4194304 16068861 140734908098960 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 31608832 140734908105766 140734908105853 140734908105853 140734908112868 0
/proc/834687/statm: 67153 59557 2943 2900 0 63667 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 268612 KiB
Current children cumulated memory: 238228 KiB
[startup+51.1064 s]
/proc/loadavg: 3.65 3.75 3.95 7/258 834744
/proc/meminfo: memFree=124480560/131524600 swapFree=131071996/131071996
[pid=834687] ppid=834672 vsize=316108 memory=291668 CPUtime=50.95 cores=1,3
/proc/834687/stat : 834687 (ipbhs_static_sc) R 834672 834687 811579 0 -1 4194304 72947 0 0 0 4965 130 0 0 20 0 1 0 157764095 323694592 72917 134679101440 4194304 16068861 140734908098960 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 31608832 140734908105766 140734908105853 140734908105853 140734908112868 0
/proc/834687/statm: 79027 72917 2943 2900 0 75541 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 316108 KiB
Current children cumulated memory: 291668 KiB
[startup+102.3 s]
/proc/loadavg: 3.91 3.80 3.96 7/258 834753
/proc/meminfo: memFree=124236004/131524600 swapFree=131071996/131071996
[pid=834687] ppid=834672 vsize=380800 memory=341424 CPUtime=101.99 cores=1,3
/proc/834687/stat : 834687 (ipbhs_static_sc) R 834672 834687 811579 0 -1 4194304 82085 0 0 0 9989 210 0 0 20 0 1 0 157764095 389939200 85356 134679101440 4194304 16068861 140734908098960 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 31608832 140734908105766 140734908105853 140734908105853 140734908112868 0
/proc/834687/statm: 95200 85356 2943 2900 0 91714 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 380800 KiB
Current children cumulated memory: 341424 KiB
[startup+162.3 s]
/proc/loadavg: 4.01 3.86 3.97 7/258 834763
/proc/meminfo: memFree=124078300/131524600 swapFree=131071996/131071996
[pid=834687] ppid=834672 vsize=402072 memory=383004 CPUtime=161.81 cores=1,3
/proc/834687/stat : 834687 (ipbhs_static_sc) R 834672 834687 811579 0 -1 4194304 90584 0 0 0 15908 273 0 0 20 0 1 0 157764095 411721728 95751 134679101440 4194304 16068861 140734908098960 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 31608832 140734908105766 140734908105853 140734908105853 140734908112868 0
/proc/834687/statm: 100518 95751 2943 2900 0 97032 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 402072 KiB
Current children cumulated memory: 383004 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 3.90 3.98 7/261 834779
/proc/meminfo: memFree=123926300/131524600 swapFree=131071996/131071996
[pid=834687] ppid=834672 vsize=528776 memory=450652 CPUtime=221.63 cores=1,3
/proc/834687/stat : 834687 (ipbhs_static_sc) R 834672 834687 811579 0 -1 4194304 108401 0 0 0 21829 334 0 0 20 0 1 0 157764095 541466624 112663 134679101440 4194304 16068861 140734908098960 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 31608832 140734908105766 140734908105853 140734908105853 140734908112868 0
/proc/834687/statm: 132194 112663 2943 2900 0 128708 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 528776 KiB
Current children cumulated memory: 450652 KiB
[startup+282.3 s]
/proc/loadavg: 4.07 3.94 3.99 7/261 834789
/proc/meminfo: memFree=123773984/131524600 swapFree=131071996/131071996
[pid=834687] ppid=834672 vsize=528776 memory=468664 CPUtime=281.45 cores=1,3
/proc/834687/stat : 834687 (ipbhs_static_sc) R 834672 834687 811579 0 -1 4194304 109856 0 0 0 27780 365 0 0 20 0 1 0 157764095 541466624 117166 134679101440 4194304 16068861 140734908098960 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 31608832 140734908105766 140734908105853 140734908105853 140734908112868 0
/proc/834687/statm: 132194 117166 2943 2900 0 128708 0
Current children cumulated CPU time: 281.45 s
Current children cumulated vsize: 528776 KiB
Current children cumulated memory: 468664 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 3.98 4.01 7/257 834799
/proc/meminfo: memFree=123672836/131524600 swapFree=131071996/131071996
[pid=834687] ppid=834672 vsize=554636 memory=507444 CPUtime=341.27 cores=1,3
/proc/834687/stat : 834687 (ipbhs_static_sc) R 834672 834687 811579 0 -1 4194304 121340 0 0 0 33722 405 0 0 20 0 1 0 157764095 567947264 126861 134679101440 4194304 16068861 140734908098960 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 31608832 140734908105766 140734908105853 140734908105853 140734908112868 0
/proc/834687/statm: 138659 126861 2943 2900 0 135173 0
Current children cumulated CPU time: 341.27 s
Current children cumulated vsize: 554636 KiB
Current children cumulated memory: 507444 KiB
[startup+402.3 s]
/proc/loadavg: 4.05 3.99 4.00 7/257 834809
/proc/meminfo: memFree=123616708/131524600 swapFree=131071996/131071996
[pid=834687] ppid=834672 vsize=554636 memory=523476 CPUtime=401.09 cores=1,3
/proc/834687/stat : 834687 (ipbhs_static_sc) R 834672 834687 811579 0 -1 4194304 122323 0 0 0 39670 439 0 0 20 0 1 0 157764095 567947264 130869 134679101440 4194304 16068861 140734908098960 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 31608832 140734908105766 140734908105853 140734908105853 140734908112868 0
/proc/834687/statm: 138659 130869 2943 2900 0 135173 0
Current children cumulated CPU time: 401.09 s
Current children cumulated vsize: 554636 KiB
Current children cumulated memory: 523476 KiB
[startup+462.3 s]
/proc/loadavg: 4.06 4.01 4.00 7/257 834821
/proc/meminfo: memFree=123495900/131524600 swapFree=131071996/131071996
[pid=834687] ppid=834672 vsize=558724 memory=536652 CPUtime=460.9 cores=1,3
/proc/834687/stat : 834687 (ipbhs_static_sc) R 834672 834687 811579 0 -1 4194304 130733 0 0 0 45613 477 0 0 20 0 1 0 157764095 572133376 134163 134679101440 4194304 16068861 140734908098960 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 31608832 140734908105766 140734908105853 140734908105853 140734908112868 0
################
# More data... #
################
Current children cumulated memory: 1170188 KiB
[startup+2922.3 s]
/proc/loadavg: 4.15 4.19 4.16 7/257 836261
/proc/meminfo: memFree=121332516/131524600 swapFree=131071996/131071996
[pid=834687] ppid=834672 vsize=1299032 memory=1176980 CPUtime=2914.15 cores=1,3
/proc/834687/stat : 834687 (ipbhs_static_sc) R 834672 834687 811579 0 -1 4194304 278178 0 0 0 290100 1315 0 0 20 0 1 0 157764095 1330208768 294245 134679101440 4194304 16068861 140734908098960 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 31608832 140734908105766 140734908105853 140734908105853 140734908112868 0
/proc/834687/statm: 324758 294245 2943 2900 0 321272 0
Current children cumulated CPU time: 2914.15 s
Current children cumulated vsize: 1299032 KiB
Current children cumulated memory: 1176980 KiB
[startup+2982.3 s]
/proc/loadavg: 4.18 4.18 4.16 7/257 836271
/proc/meminfo: memFree=121316136/131524600 swapFree=131071996/131071996
[pid=834687] ppid=834672 vsize=1300824 memory=1183664 CPUtime=2973.99 cores=1,3
/proc/834687/stat : 834687 (ipbhs_static_sc) R 834672 834687 811579 0 -1 4194304 279138 0 0 0 296073 1326 0 0 20 0 1 0 157764095 1332043776 295916 134679101440 4194304 16068861 140734908098960 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 31608832 140734908105766 140734908105853 140734908105853 140734908112868 0
/proc/834687/statm: 325206 295916 2943 2900 0 321720 0
Current children cumulated CPU time: 2973.99 s
Current children cumulated vsize: 1300824 KiB
Current children cumulated memory: 1183664 KiB
[startup+3042.3 s]
/proc/loadavg: 4.17 4.19 4.17 7/257 836282
/proc/meminfo: memFree=121265260/131524600 swapFree=131071996/131071996
[pid=834687] ppid=834672 vsize=1529576 memory=1201344 CPUtime=3033.82 cores=1,3
/proc/834687/stat : 834687 (ipbhs_static_sc) R 834672 834687 811579 0 -1 4194304 286344 0 0 0 302041 1341 0 0 20 0 1 0 157764095 1566285824 300336 134679101440 4194304 16068861 140734908098960 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 31608832 140734908105766 140734908105853 140734908105853 140734908112868 0
/proc/834687/statm: 382394 300336 2943 2900 0 378908 0
Current children cumulated CPU time: 3033.82 s
Current children cumulated vsize: 1529576 KiB
Current children cumulated memory: 1201344 KiB
[startup+3102.3 s]
/proc/loadavg: 4.22 4.20 4.17 7/259 836462
/proc/meminfo: memFree=121117160/131524600 swapFree=131071996/131071996
[pid=834687] ppid=834672 vsize=1568788 memory=1230200 CPUtime=3093.64 cores=1,3
/proc/834687/stat : 834687 (ipbhs_static_sc) R 834672 834687 811579 0 -1 4194304 301641 0 0 0 308000 1364 0 0 20 0 1 0 157764095 1606438912 307550 134679101440 4194304 16068861 140734908098960 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 31608832 140734908105766 140734908105853 140734908105853 140734908112868 0
/proc/834687/statm: 392197 307550 2943 2900 0 388711 0
Current children cumulated CPU time: 3093.64 s
Current children cumulated vsize: 1568788 KiB
Current children cumulated memory: 1230200 KiB
[startup+3162.3 s]
/proc/loadavg: 4.17 4.19 4.17 7/259 836472
/proc/meminfo: memFree=121090468/131524600 swapFree=131071996/131071996
[pid=834687] ppid=834672 vsize=1568788 memory=1234296 CPUtime=3153.46 cores=1,3
/proc/834687/stat : 834687 (ipbhs_static_sc) R 834672 834687 811579 0 -1 4194304 301927 0 0 0 313964 1382 0 0 20 0 1 0 157764095 1606438912 308574 134679101440 4194304 16068861 140734908098960 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 31608832 140734908105766 140734908105853 140734908105853 140734908112868 0
/proc/834687/statm: 392197 308574 2943 2900 0 388711 0
Current children cumulated CPU time: 3153.46 s
Current children cumulated vsize: 1568788 KiB
Current children cumulated memory: 1234296 KiB
[startup+3222.3 s]
/proc/loadavg: 4.18 4.18 4.17 7/258 836486
/proc/meminfo: memFree=121065412/131524600 swapFree=131071996/131071996
[pid=834687] ppid=834672 vsize=1568788 memory=1239564 CPUtime=3213.28 cores=1,3
/proc/834687/stat : 834687 (ipbhs_static_sc) R 834672 834687 811579 0 -1 4194304 302517 0 0 0 319935 1393 0 0 20 0 1 0 157764095 1606438912 309891 134679101440 4194304 16068861 140734908098960 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 31608832 140734908105766 140734908105853 140734908105853 140734908112868 0
/proc/834687/statm: 392197 309891 2943 2900 0 388711 0
Current children cumulated CPU time: 3213.28 s
Current children cumulated vsize: 1568788 KiB
Current children cumulated memory: 1239564 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.16 4.17 7/258 836507
/proc/meminfo: memFree=121042720/131524600 swapFree=131071996/131071996
[pid=834687] ppid=834672 vsize=1568788 memory=1244952 CPUtime=3273.08 cores=1,3
/proc/834687/stat : 834687 (ipbhs_static_sc) R 834672 834687 811579 0 -1 4194304 303115 0 0 0 325900 1408 0 0 20 0 1 0 157764095 1606438912 311238 134679101440 4194304 16068861 140734908098960 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 31608832 140734908105766 140734908105853 140734908105853 140734908112868 0
/proc/834687/statm: 392197 311238 2943 2900 0 388711 0
Current children cumulated CPU time: 3273.08 s
Current children cumulated vsize: 1568788 KiB
Current children cumulated memory: 1244952 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.15 4.16 7/259 836520
/proc/meminfo: memFree=121005192/131524600 swapFree=131071996/131071996
[pid=834687] ppid=834672 vsize=1570324 memory=1251372 CPUtime=3332.9 cores=1,3
/proc/834687/stat : 834687 (ipbhs_static_sc) R 834672 834687 811579 0 -1 4194304 303965 0 0 0 331867 1423 0 0 20 0 1 0 157764095 1608011776 312843 134679101440 4194304 16068861 140734908098960 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 31608832 140734908105766 140734908105853 140734908105853 140734908112868 0
/proc/834687/statm: 392581 312843 2943 2900 0 389095 0
Current children cumulated CPU time: 3332.9 s
Current children cumulated vsize: 1570324 KiB
Current children cumulated memory: 1251372 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.15 4.16 7/258 836530
/proc/meminfo: memFree=120975752/131524600 swapFree=131071996/131071996
[pid=834687] ppid=834672 vsize=1573396 memory=1256536 CPUtime=3392.71 cores=1,3
/proc/834687/stat : 834687 (ipbhs_static_sc) R 834672 834687 811579 0 -1 4194304 305009 0 0 0 337834 1437 0 0 20 0 1 0 157764095 1611157504 314134 134679101440 4194304 16068861 140734908098960 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 31608832 140734908105766 140734908105853 140734908105853 140734908112868 0
/proc/834687/statm: 393349 314134 2943 2900 0 389863 0
Current children cumulated CPU time: 3392.71 s
Current children cumulated vsize: 1573396 KiB
Current children cumulated memory: 1256536 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.14 4.15 7/258 836543
/proc/meminfo: memFree=120955240/131524600 swapFree=131071996/131071996
[pid=834687] ppid=834672 vsize=1576212 memory=1263744 CPUtime=3452.52 cores=1,3
/proc/834687/stat : 834687 (ipbhs_static_sc) R 834672 834687 811579 0 -1 4194304 306055 0 0 0 343802 1450 0 0 20 0 1 0 157764095 1614041088 315936 134679101440 4194304 16068861 140734908098960 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 31608832 140734908105766 140734908105853 140734908105853 140734908112868 0
/proc/834687/statm: 394053 315936 2943 2900 0 390567 0
Current children cumulated CPU time: 3452.52 s
Current children cumulated vsize: 1576212 KiB
Current children cumulated memory: 1263744 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.14 4.15 7/256 836553
/proc/meminfo: memFree=120916212/131524600 swapFree=131071996/131071996
[pid=834687] ppid=834672 vsize=1579796 memory=1271216 CPUtime=3512.33 cores=1,3
/proc/834687/stat : 834687 (ipbhs_static_sc) R 834672 834687 811579 0 -1 4194304 307169 0 0 0 349772 1461 0 0 20 0 1 0 157764095 1617711104 317804 134679101440 4194304 16068861 140734908098960 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 31608832 140734908105766 140734908105853 140734908105853 140734908112868 0
/proc/834687/statm: 394949 317804 2943 2900 0 391463 0
Current children cumulated CPU time: 3512.33 s
Current children cumulated vsize: 1579796 KiB
Current children cumulated memory: 1271216 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.13 4.15 7/256 836563
/proc/meminfo: memFree=120894732/131524600 swapFree=131071996/131071996
[pid=834687] ppid=834672 vsize=1581588 memory=1282396 CPUtime=3572.14 cores=1,3
/proc/834687/stat : 834687 (ipbhs_static_sc) R 834672 834687 811579 0 -1 4194304 308084 0 0 0 355742 1472 0 0 20 0 1 0 157764095 1619546112 320599 134679101440 4194304 16068861 140734908098960 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 31608832 140734908105766 140734908105853 140734908105853 140734908112868 0
/proc/834687/statm: 395397 320599 2943 2900 0 391911 0
Current children cumulated CPU time: 3572.14 s
Current children cumulated vsize: 1581588 KiB
Current children cumulated memory: 1282396 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.3 s]
/proc/loadavg: 4.08 4.12 4.14 6/253 836584
/proc/meminfo: memFree=122388316/131524600 swapFree=131071996/131071996
[pid=834687] ppid=834672 vsize=1582356 memory=1297088 CPUtime=3600.05 cores=1,3
/proc/834687/stat : 834687 (ipbhs_static_sc) R 834672 834687 811579 0 -1 4194304 308602 0 0 0 358529 1476 0 0 20 0 1 0 157764095 1620332544 324272 134679101440 4194304 16068861 140734908098960 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 31608832 140734908105766 140734908105853 140734908105853 140734908112868 0
/proc/834687/statm: 395589 324272 2943 2900 0 392103 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 1582356 KiB
Current children cumulated memory: 1297088 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.32 s]
# the end of solver process 834687 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3585.29 s, system=14.7857 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.3 s]
/proc/loadavg: 4.08 4.12 4.14 6/253 836584
/proc/meminfo: memFree=122388316/131524600 swapFree=131071996/131071996
[pid=834687] ppid=834672 vsize=1582356 memory=1297088 CPUtime=3600.05 cores=1,3
/proc/834687/stat : 834687 (ipbhs_static_sc) R 834672 834687 811579 0 -1 4194304 308602 0 0 0 358529 1476 0 0 20 0 1 0 157764095 1620332544 324272 134679101440 4194304 16068861 140734908098960 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 31608832 140734908105766 140734908105853 140734908105853 140734908112868 0
/proc/834687/statm: 395589 324272 2943 2900 0 392103 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 1582356 KiB
Current children cumulated memory: 1297088 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3610.32
CPU time (s): 3600.08
CPU user time (s): 3585.29
CPU system time (s): 14.7857
CPU usage (%): 99.7163
Max. virtual memory (cumulated for all children) (KiB): 1582356
Max. memory (cumulated for all children) (KiB): 1297088
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.29
system time used= 14.7857
maximum resident set size= 1297304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 308602
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= 68
involuntary context switches= 3659
# summary of solver processes directly reported to runsolver:
# pid: 834687
# total CPU time (s): 3600.08
# total CPU user time (s): 3585.29
# total CPU system time (s): 14.7857
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.45901 second user time and 19.2964 second system time
The end
Begin job on nodeC017 at 2024-07-15 17:07:15
IDJOB=4431902
IDBENCH=146649
IDSOLVER=3057
FILE ID=nodeC017/4431902-1721056022
RUNJOBID= nodeC017-1721056035-834628
SLURM_JOB_ID= 7505469
Free space on /tmp= 890080 MiB
SOLVER NAME= IPBHS-SCIP 2024-07-09
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ws97-3.opb
COMMAND LINE= ./ipbhs_static_scip BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431902-1721056022/watcher-4431902-1721056022 -o /tmp/evaluation-result-4431902-1721056022/solver-4431902-1721056022 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721056035-834628 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4431902-1721056022.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 1c26e44dc48355aad6827be56d900020
RANDOM SEED=495375312
nodeC017.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 : 3765.158
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.46
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 : 3709.249
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.99
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 : 3707.793
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.46
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 : 3795.221
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.99
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 : 3642.878
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.46
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 : 3832.584
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.99
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 : 3797.387
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.46
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 : 3653.595
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.99
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 125515700 kB
MemAvailable: 129718132 kB
Buffers: 373392 kB
Cached: 4623528 kB
SwapCached: 0 kB
Active: 796360 kB
Inactive: 4530792 kB
Active(anon): 1440 kB
Inactive(anon): 366556 kB
Active(file): 794920 kB
Inactive(file): 4164236 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 218472 kB
Writeback: 16 kB
AnonPages: 330268 kB
Mapped: 103288 kB
Shmem: 37720 kB
KReclaimable: 165844 kB
Slab: 278152 kB
SReclaimable: 165844 kB
SUnreclaim: 112308 kB
KernelStack: 3856 kB
PageTables: 9364 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 726012 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 59808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 208896 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: 215764 kB
DirectMap2M: 24723456 kB
DirectMap1G: 111149056 kB
Free space on /tmp at the end= 889924 MiB
End job on nodeC017 at 2024-07-15 18:07:25