26.03/26.12 c initialize IPBHS solver
26.03/26.12 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
26.03/26.12 c optimizer = "scip"
26.03/26.12 c pbsolver = "roundingsat"
26.03/26.12 c load symmetries from file ""
26.03/26.12 c set time limit for symmetry computation to 100 seconds.
26.03/26.12 c set interchangeable summation variable limit to 3
26.03/26.12 c set abs symmetric core budget per WCE-iteration to 100
26.03/26.12 c set rel symmetric core budget per WCE-iteration to 0
26.03/26.12 c set lit symmetric core budget per WCE-iteration to 0
26.03/26.12 c set sym generation to 's'
26.03/26.12 c set abstraction set creation to 10 iterations without LB change
26.03/26.12 c set abstraction set inputs to 0
26.03/26.12 c set abstraction set cluster min size to 2
26.03/26.12 c set abstraction set cluster max size to 100000000
26.03/26.12 c set abstraction set cluster activation limit to 2
26.03/26.12 c enable abstraction set require equal cost
26.03/26.12 c set abstraction set assumptions to 0
26.03/26.12 c set abstraction set constraint type to 0
26.03/26.12 c set abstract core extraction strategy to b
26.03/26.12 c set core extraction strategy to 2
26.03/26.12 c set core extraction shuffles 10
26.03/26.12 c set cores per iteration to 5
26.03/26.12 c set optimizer bound usage strategy to 2
26.03/26.12 c set optimizer max non-optimal iterations to 1000
26.03/26.12 c set small core cardinality limit to 2
26.03/26.12 c set max coef in cores to 1000000000
26.03/26.12 c set SIS iterations to 5
26.03/26.12 c set SIS budget abs to 1000
26.03/26.12 c set SIS budget rel to 0.05
26.03/26.12 c limit for coefficient in constraints and objective to 9223372036854775807
26.03/26.12 c will solve HOME/instance-4432057-1721135588.opb
26.03/26.12 c [0.16] solve iteration 1, LB=-100, UB=174373725665
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 (61672 MiB free)
memory of node 1: 64510 MiB (63124 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432057-1721135588/watcher-4432057-1721135588 -o /tmp/evaluation-result-4432057-1721135588/solver-4432057-1721135588 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721135601-861479 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4432057-1721135588.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=861537, runsolver pid=861532
[startup+0.100251 s]*
/proc/loadavg: 4.19 4.18 4.18 6/259 861540
/proc/meminfo: memFree=127698700/131524600 swapFree=131071996/131071996
[pid=861537] ppid=861532 vsize=44264 memory=20752 CPUtime=0.09 cores=5,7
/proc/861537/stat : 861537 (ipbhs_static_sc) R 861532 861537 861466 0 -1 4194304 4702 0 0 0 7 2 0 0 20 0 1 0 165727090 45326336 5188 134679101440 4194304 16068861 140727082780288 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30314496 140727082783782 140727082783869 140727082783869 140727082790884 0
/proc/861537/statm: 11066 5188 1135 2900 0 7580 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 44264 KiB
Current children cumulated memory: 20752 KiB
[startup+0.20584 s]*
/proc/loadavg: 4.19 4.18 4.18 5/259 861540
/proc/meminfo: memFree=127556244/131524600 swapFree=131071996/131071996
[pid=861537] ppid=861532 vsize=92272 memory=74792 CPUtime=0.2 cores=5,7
/proc/861537/stat : 861537 (ipbhs_static_sc) R 861532 861537 861466 0 -1 4194304 16475 0 0 0 15 5 0 0 20 0 1 0 165727090 94486528 18698 134679101440 4194304 16068861 140727082780288 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30314496 140727082783782 140727082783869 140727082783869 140727082790884 0
/proc/861537/statm: 23068 18698 2399 2900 0 19582 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 92272 KiB
Current children cumulated memory: 74792 KiB
[startup+0.306072 s]*
/proc/loadavg: 4.19 4.18 4.18 6/259 861540
/proc/meminfo: memFree=127485952/131524600 swapFree=131071996/131071996
[pid=861537] ppid=861532 vsize=114296 memory=96440 CPUtime=0.29 cores=5,7
/proc/861537/stat : 861537 (ipbhs_static_sc) R 861532 861537 861466 0 -1 4194304 21938 0 0 0 20 9 0 0 20 0 1 0 165727090 117039104 24110 134679101440 4194304 16068861 140727082780288 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30314496 140727082783782 140727082783869 140727082783869 140727082790884 0
/proc/861537/statm: 28574 24110 2399 2900 0 25088 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 114296 KiB
Current children cumulated memory: 96440 KiB
[startup+0.70023 s]
/proc/loadavg: 4.18 4.18 4.18 6/259 861540
/proc/meminfo: memFree=127342596/131524600 swapFree=131071996/131071996
[pid=861537] ppid=861532 vsize=192168 memory=171636 CPUtime=0.69 cores=5,7
/proc/861537/stat : 861537 (ipbhs_static_sc) R 861532 861537 861466 0 -1 4194304 40781 0 0 0 53 16 0 0 20 0 1 0 165727090 196780032 42909 134679101440 4194304 16068861 140727082780288 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30314496 140727082783782 140727082783869 140727082783869 140727082790884 0
/proc/861537/statm: 48042 42909 2671 2900 0 44556 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 192168 KiB
Current children cumulated memory: 171636 KiB
[startup+1.50015 s]
/proc/loadavg: 4.18 4.18 4.18 6/259 861540
/proc/meminfo: memFree=127253016/131524600 swapFree=131071996/131071996
[pid=861537] ppid=861532 vsize=252368 memory=210172 CPUtime=1.48 cores=5,7
/proc/861537/stat : 861537 (ipbhs_static_sc) R 861532 861537 861466 0 -1 4194304 48868 0 0 0 131 17 0 0 20 0 1 0 165727090 258424832 52543 134679101440 4194304 16068861 140727082780288 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30314496 140727082783782 140727082783869 140727082783869 140727082790884 0
/proc/861537/statm: 63092 52543 2879 2900 0 59606 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 252368 KiB
Current children cumulated memory: 210172 KiB
[startup+3.10584 s]
/proc/loadavg: 4.18 4.18 4.18 6/259 861540
/proc/meminfo: memFree=127152856/131524600 swapFree=131071996/131071996
[pid=861537] ppid=861532 vsize=252368 memory=210436 CPUtime=3.08 cores=5,7
/proc/861537/stat : 861537 (ipbhs_static_sc) R 861532 861537 861466 0 -1 4194304 48891 0 0 0 291 17 0 0 20 0 1 0 165727090 258424832 52609 134679101440 4194304 16068861 140727082780288 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30314496 140727082783782 140727082783869 140727082783869 140727082790884 0
/proc/861537/statm: 63092 52609 2879 2900 0 59606 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 252368 KiB
Current children cumulated memory: 210436 KiB
[startup+6.30017 s]
/proc/loadavg: 4.16 4.17 4.18 6/259 861540
/proc/meminfo: memFree=127043200/131524600 swapFree=131071996/131071996
[pid=861537] ppid=861532 vsize=363284 memory=294568 CPUtime=6.27 cores=5,7
/proc/861537/stat : 861537 (ipbhs_static_sc) R 861532 861537 861466 0 -1 4194304 72174 0 0 0 606 21 0 0 20 0 1 0 165727090 372002816 73642 134679101440 4194304 16068861 140727082780288 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30314496 140727082783782 140727082783869 140727082783869 140727082790884 0
/proc/861537/statm: 90821 73642 2911 2900 0 87335 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 363284 KiB
Current children cumulated memory: 294568 KiB
[startup+12.7002 s]
/proc/loadavg: 4.15 4.17 4.18 6/259 861541
/proc/meminfo: memFree=127001008/131524600 swapFree=131071996/131071996
[pid=861537] ppid=861532 vsize=367780 memory=299056 CPUtime=12.65 cores=5,7
/proc/861537/stat : 861537 (ipbhs_static_sc) R 861532 861537 861466 0 -1 4194304 73277 0 0 0 1244 21 0 0 20 0 1 0 165727090 376606720 74764 134679101440 4194304 16068861 140727082780288 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30314496 140727082783782 140727082783869 140727082783869 140727082790884 0
/proc/861537/statm: 91945 74764 2911 2900 0 88459 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 367780 KiB
Current children cumulated memory: 299056 KiB
[startup+25.5002 s]
/proc/loadavg: 4.13 4.16 4.17 6/259 861543
/proc/meminfo: memFree=126970880/131524600 swapFree=131071996/131071996
[pid=861537] ppid=861532 vsize=380124 memory=308244 CPUtime=25.42 cores=5,7
/proc/861537/stat : 861537 (ipbhs_static_sc) R 861532 861537 861466 0 -1 4194304 75653 0 0 0 2519 23 0 0 20 0 1 0 165727090 389246976 77061 134679101440 4194304 16068861 140727082780288 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30314496 140727082783782 140727082783869 140727082783869 140727082790884 0
/proc/861537/statm: 95031 77061 2911 2900 0 91545 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 380124 KiB
Current children cumulated memory: 308244 KiB
[startup+51.1059 s]
/proc/loadavg: 4.13 4.16 4.17 6/259 861548
/proc/meminfo: memFree=126900224/131524600 swapFree=131071996/131071996
[pid=861537] ppid=861532 vsize=422792 memory=350332 CPUtime=50.97 cores=5,7
/proc/861537/stat : 861537 (ipbhs_static_sc) R 861532 861537 861466 0 -1 4194304 86344 0 0 0 5071 26 0 0 20 0 1 0 165727090 432939008 87583 134679101440 4194304 16068861 140727082780288 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30314496 140727082783782 140727082783869 140727082783869 140727082790884 0
/proc/861537/statm: 105698 87583 2911 2900 0 102212 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 422792 KiB
Current children cumulated memory: 350332 KiB
[startup+102.3 s]
/proc/loadavg: 4.05 4.14 4.16 6/259 861556
/proc/meminfo: memFree=126862532/131524600 swapFree=131071996/131071996
[pid=861537] ppid=861532 vsize=422792 memory=350572 CPUtime=102.03 cores=5,7
/proc/861537/stat : 861537 (ipbhs_static_sc) R 861532 861537 861466 0 -1 4194304 86432 0 0 0 10175 28 0 0 20 0 1 0 165727090 432939008 87643 134679101440 4194304 16068861 140727082780288 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30314496 140727082783782 140727082783869 140727082783869 140727082790884 0
/proc/861537/statm: 105698 87643 2911 2900 0 102212 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 422792 KiB
Current children cumulated memory: 350572 KiB
[startup+162.3 s]
/proc/loadavg: 4.19 4.17 4.18 6/257 861569
/proc/meminfo: memFree=126832144/131524600 swapFree=131071996/131071996
[pid=861537] ppid=861532 vsize=422792 memory=350804 CPUtime=161.88 cores=5,7
/proc/861537/stat : 861537 (ipbhs_static_sc) R 861532 861537 861466 0 -1 4194304 86502 0 0 0 16157 31 0 0 20 0 1 0 165727090 432939008 87701 134679101440 4194304 16068861 140727082780288 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30314496 140727082783782 140727082783869 140727082783869 140727082790884 0
/proc/861537/statm: 105698 87701 2911 2900 0 102212 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 422792 KiB
Current children cumulated memory: 350804 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.15 4.17 6/257 861580
/proc/meminfo: memFree=126687768/131524600 swapFree=131071996/131071996
[pid=861537] ppid=861532 vsize=422792 memory=350804 CPUtime=221.73 cores=5,7
/proc/861537/stat : 861537 (ipbhs_static_sc) R 861532 861537 861466 0 -1 4194304 86504 0 0 0 22140 33 0 0 20 0 1 0 165727090 432939008 87701 134679101440 4194304 16068861 140727082780288 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30314496 140727082783782 140727082783869 140727082783869 140727082790884 0
/proc/861537/statm: 105698 87701 2911 2900 0 102212 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 422792 KiB
Current children cumulated memory: 350804 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.13 4.16 6/256 861590
/proc/meminfo: memFree=125628992/131524600 swapFree=131071996/131071996
[pid=861537] ppid=861532 vsize=443656 memory=371584 CPUtime=281.58 cores=5,7
/proc/861537/stat : 861537 (ipbhs_static_sc) R 861532 861537 861466 0 -1 4194304 91735 0 0 0 28122 36 0 0 20 0 1 0 165727090 454303744 92896 134679101440 4194304 16068861 140727082780288 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30314496 140727082783782 140727082783869 140727082783869 140727082790884 0
/proc/861537/statm: 110914 92896 2911 2900 0 107428 0
Current children cumulated CPU time: 281.58 s
Current children cumulated vsize: 443656 KiB
Current children cumulated memory: 371584 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.12 4.16 6/255 861600
/proc/meminfo: memFree=124550332/131524600 swapFree=131071996/131071996
[pid=861537] ppid=861532 vsize=448984 memory=377116 CPUtime=341.43 cores=5,7
/proc/861537/stat : 861537 (ipbhs_static_sc) R 861532 861537 861466 0 -1 4194304 93114 0 0 0 34104 39 0 0 20 0 1 0 165727090 459759616 94279 134679101440 4194304 16068861 140727082780288 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30314496 140727082783782 140727082783869 140727082783869 140727082790884 0
/proc/861537/statm: 112246 94279 2911 2900 0 108760 0
Current children cumulated CPU time: 341.43 s
Current children cumulated vsize: 448984 KiB
Current children cumulated memory: 377116 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.11 4.15 6/256 861612
/proc/meminfo: memFree=124540224/131524600 swapFree=131071996/131071996
[pid=861537] ppid=861532 vsize=449248 memory=377596 CPUtime=401.26 cores=5,7
/proc/861537/stat : 861537 (ipbhs_static_sc) R 861532 861537 861466 0 -1 4194304 93716 0 0 0 40086 40 0 0 20 0 1 0 165727090 460029952 94399 134679101440 4194304 16068861 140727082780288 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30314496 140727082783782 140727082783869 140727082783869 140727082790884 0
/proc/861537/statm: 112312 94399 2911 2900 0 108826 0
Current children cumulated CPU time: 401.26 s
Current children cumulated vsize: 449248 KiB
Current children cumulated memory: 377596 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 4.12 4.15 6/259 861628
/proc/meminfo: memFree=124491124/131524600 swapFree=131071996/131071996
[pid=861537] ppid=861532 vsize=462964 memory=391852 CPUtime=461.12 cores=5,7
/proc/861537/stat : 861537 (ipbhs_static_sc) R 861532 861537 861466 0 -1 4194304 97201 0 0 0 46070 42 0 0 20 0 1 0 165727090 474075136 97963 134679101440 4194304 16068861 140727082780288 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30314496 140727082783782 140727082783869 140727082783869 140727082790884 0
/proc/861537/statm: 115741 97963 2911 2900 0 112255 0
################
# More data... #
################
Current children cumulated memory: 532980 KiB
[startup+2922.3 s]
/proc/loadavg: 4.07 4.23 4.18 6/257 863275
/proc/meminfo: memFree=111028468/131524600 swapFree=131071996/131071996
[pid=861537] ppid=861532 vsize=578204 memory=535700 CPUtime=2915.26 cores=5,7
/proc/861537/stat : 861537 (ipbhs_static_sc) R 861532 861537 861466 0 -1 4194304 135870 0 0 0 291479 47 0 0 20 0 1 0 165727090 592080896 133925 134679101440 4194304 16068861 140727082780288 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30314496 140727082783782 140727082783869 140727082783869 140727082790884 0
/proc/861537/statm: 144551 133925 3231 2900 0 141065 0
Current children cumulated CPU time: 2915.26 s
Current children cumulated vsize: 578204 KiB
Current children cumulated memory: 535700 KiB
[startup+2982.3 s]
/proc/loadavg: 4.07 4.20 4.17 6/257 863286
/proc/meminfo: memFree=110998396/131524600 swapFree=131071996/131071996
[pid=861537] ppid=861532 vsize=578204 memory=535700 CPUtime=2975.12 cores=5,7
/proc/861537/stat : 861537 (ipbhs_static_sc) R 861532 861537 861466 0 -1 4194304 136112 0 0 0 297465 47 0 0 20 0 1 0 165727090 592080896 133925 134679101440 4194304 16068861 140727082780288 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30314496 140727082783782 140727082783869 140727082783869 140727082790884 0
/proc/861537/statm: 144551 133925 3231 2900 0 141065 0
Current children cumulated CPU time: 2975.12 s
Current children cumulated vsize: 578204 KiB
Current children cumulated memory: 535700 KiB
[startup+3042.3 s]
/proc/loadavg: 4.13 4.19 4.17 6/256 863297
/proc/meminfo: memFree=110963272/131524600 swapFree=131071996/131071996
[pid=861537] ppid=861532 vsize=577896 memory=535396 CPUtime=3034.98 cores=5,7
/proc/861537/stat : 861537 (ipbhs_static_sc) R 861532 861537 861466 0 -1 4194304 137892 0 0 0 303451 47 0 0 20 0 1 0 165727090 591765504 133849 134679101440 4194304 16068861 140727082780288 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30314496 140727082783782 140727082783869 140727082783869 140727082790884 0
/proc/861537/statm: 144474 133849 3231 2900 0 140988 0
Current children cumulated CPU time: 3034.98 s
Current children cumulated vsize: 577896 KiB
Current children cumulated memory: 535396 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.17 4.16 6/256 863310
/proc/meminfo: memFree=110933756/131524600 swapFree=131071996/131071996
[pid=861537] ppid=861532 vsize=577896 memory=535396 CPUtime=3094.83 cores=5,7
/proc/861537/stat : 861537 (ipbhs_static_sc) R 861532 861537 861466 0 -1 4194304 138137 0 0 0 309436 47 0 0 20 0 1 0 165727090 591765504 133849 134679101440 4194304 16068861 140727082780288 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30314496 140727082783782 140727082783869 140727082783869 140727082790884 0
/proc/861537/statm: 144474 133849 3231 2900 0 140988 0
Current children cumulated CPU time: 3094.83 s
Current children cumulated vsize: 577896 KiB
Current children cumulated memory: 535396 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.15 4.16 6/255 863320
/proc/meminfo: memFree=110893468/131524600 swapFree=131071996/131071996
[pid=861537] ppid=861532 vsize=577896 memory=535396 CPUtime=3154.69 cores=5,7
/proc/861537/stat : 861537 (ipbhs_static_sc) R 861532 861537 861466 0 -1 4194304 138330 0 0 0 315422 47 0 0 20 0 1 0 165727090 591765504 133849 134679101440 4194304 16068861 140727082780288 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30314496 140727082783782 140727082783869 140727082783869 140727082790884 0
/proc/861537/statm: 144474 133849 3231 2900 0 140988 0
Current children cumulated CPU time: 3154.69 s
Current children cumulated vsize: 577896 KiB
Current children cumulated memory: 535396 KiB
[startup+3222.3 s]
/proc/loadavg: 4.16 4.15 4.16 6/255 863330
/proc/meminfo: memFree=110864084/131524600 swapFree=131071996/131071996
[pid=861537] ppid=861532 vsize=577896 memory=535396 CPUtime=3214.55 cores=5,7
/proc/861537/stat : 861537 (ipbhs_static_sc) R 861532 861537 861466 0 -1 4194304 138572 0 0 0 321408 47 0 0 20 0 1 0 165727090 591765504 133849 134679101440 4194304 16068861 140727082780288 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30314496 140727082783782 140727082783869 140727082783869 140727082790884 0
/proc/861537/statm: 144474 133849 3231 2900 0 140988 0
Current children cumulated CPU time: 3214.55 s
Current children cumulated vsize: 577896 KiB
Current children cumulated memory: 535396 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.14 4.15 6/255 863341
/proc/meminfo: memFree=110836068/131524600 swapFree=131071996/131071996
[pid=861537] ppid=861532 vsize=577896 memory=535396 CPUtime=3274.4 cores=5,7
/proc/861537/stat : 861537 (ipbhs_static_sc) R 861532 861537 861466 0 -1 4194304 138763 0 0 0 327393 47 0 0 20 0 1 0 165727090 591765504 133849 134679101440 4194304 16068861 140727082780288 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30314496 140727082783782 140727082783869 140727082783869 140727082790884 0
/proc/861537/statm: 144474 133849 3231 2900 0 140988 0
Current children cumulated CPU time: 3274.4 s
Current children cumulated vsize: 577896 KiB
Current children cumulated memory: 535396 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.13 4.15 6/256 863353
/proc/meminfo: memFree=110769324/131524600 swapFree=131071996/131071996
[pid=861537] ppid=861532 vsize=577896 memory=535396 CPUtime=3334.26 cores=5,7
/proc/861537/stat : 861537 (ipbhs_static_sc) R 861532 861537 861466 0 -1 4194304 139005 0 0 0 333379 47 0 0 20 0 1 0 165727090 591765504 133849 134679101440 4194304 16068861 140727082780288 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30314496 140727082783782 140727082783869 140727082783869 140727082790884 0
/proc/861537/statm: 144474 133849 3231 2900 0 140988 0
Current children cumulated CPU time: 3334.26 s
Current children cumulated vsize: 577896 KiB
Current children cumulated memory: 535396 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.12 4.14 6/256 863364
/proc/meminfo: memFree=110668812/131524600 swapFree=131071996/131071996
[pid=861537] ppid=861532 vsize=589312 memory=546776 CPUtime=3394.12 cores=5,7
/proc/861537/stat : 861537 (ipbhs_static_sc) R 861532 861537 861466 0 -1 4194304 143139 0 0 0 339364 48 0 0 20 0 1 0 165727090 603455488 136694 134679101440 4194304 16068861 140727082780288 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30314496 140727082783782 140727082783869 140727082783869 140727082790884 0
/proc/861537/statm: 147328 136694 3231 2900 0 143842 0
Current children cumulated CPU time: 3394.12 s
Current children cumulated vsize: 589312 KiB
Current children cumulated memory: 546776 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.11 4.13 6/259 863381
/proc/meminfo: memFree=110605128/131524600 swapFree=131071996/131071996
[pid=861537] ppid=861532 vsize=589312 memory=546776 CPUtime=3453.98 cores=5,7
/proc/861537/stat : 861537 (ipbhs_static_sc) R 861532 861537 861466 0 -1 4194304 143383 0 0 0 345350 48 0 0 20 0 1 0 165727090 603455488 136694 134679101440 4194304 16068861 140727082780288 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30314496 140727082783782 140727082783869 140727082783869 140727082790884 0
/proc/861537/statm: 147328 136694 3231 2900 0 143842 0
Current children cumulated CPU time: 3453.98 s
Current children cumulated vsize: 589312 KiB
Current children cumulated memory: 546776 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.12 4.13 6/259 863392
/proc/meminfo: memFree=110578108/131524600 swapFree=131071996/131071996
[pid=861537] ppid=861532 vsize=589312 memory=546776 CPUtime=3513.83 cores=5,7
/proc/861537/stat : 861537 (ipbhs_static_sc) R 861532 861537 861466 0 -1 4194304 143574 0 0 0 351335 48 0 0 20 0 1 0 165727090 603455488 136694 134679101440 4194304 16068861 140727082780288 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30314496 140727082783782 140727082783869 140727082783869 140727082790884 0
/proc/861537/statm: 147328 136694 3231 2900 0 143842 0
Current children cumulated CPU time: 3513.83 s
Current children cumulated vsize: 589312 KiB
Current children cumulated memory: 546776 KiB
[startup+3582.3 s]
/proc/loadavg: 4.04 4.09 4.12 6/259 863403
/proc/meminfo: memFree=110552320/131524600 swapFree=131071996/131071996
[pid=861537] ppid=861532 vsize=589312 memory=546776 CPUtime=3573.69 cores=5,7
/proc/861537/stat : 861537 (ipbhs_static_sc) R 861532 861537 861466 0 -1 4194304 143820 0 0 0 357321 48 0 0 20 0 1 0 165727090 603455488 136694 134679101440 4194304 16068861 140727082780288 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30314496 140727082783782 140727082783869 140727082783869 140727082790884 0
/proc/861537/statm: 147328 136694 3231 2900 0 143842 0
Current children cumulated CPU time: 3573.69 s
Current children cumulated vsize: 589312 KiB
Current children cumulated memory: 546776 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.7 s]
/proc/loadavg: 4.09 4.10 4.12 6/259 863408
/proc/meminfo: memFree=110546208/131524600 swapFree=131071996/131071996
[pid=861537] ppid=861532 vsize=589312 memory=546776 CPUtime=3600.02 cores=5,7
/proc/861537/stat : 861537 (ipbhs_static_sc) R 861532 861537 861466 0 -1 4194304 143867 0 0 0 359954 48 0 0 20 0 1 0 165727090 603455488 136694 134679101440 4194304 16068861 140727082780288 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30314496 140727082783782 140727082783869 140727082783869 140727082790884 0
/proc/861537/statm: 147328 136694 3231 2900 0 143842 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 589312 KiB
Current children cumulated memory: 546776 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.71 s]
# the end of solver process 861537 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3599.55 s, system=0.488747 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3608.7 s]
/proc/loadavg: 4.09 4.10 4.12 6/259 863408
/proc/meminfo: memFree=110546208/131524600 swapFree=131071996/131071996
[pid=861537] ppid=861532 vsize=589312 memory=546776 CPUtime=3600.02 cores=5,7
/proc/861537/stat : 861537 (ipbhs_static_sc) R 861532 861537 861466 0 -1 4194304 143867 0 0 0 359954 48 0 0 20 0 1 0 165727090 603455488 136694 134679101440 4194304 16068861 140727082780288 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 30314496 140727082783782 140727082783869 140727082783869 140727082790884 0
/proc/861537/statm: 147328 136694 3231 2900 0 143842 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 589312 KiB
Current children cumulated memory: 546776 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3608.71
CPU time (s): 3600.04
CPU user time (s): 3599.55
CPU system time (s): 0.488747
CPU usage (%): 99.7598
Max. virtual memory (cumulated for all children) (KiB): 594840
Max. memory (cumulated for all children) (KiB): 550720
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.55
system time used= 0.488747
maximum resident set size= 550984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 143867
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= 40
involuntary context switches= 1341
# summary of solver processes directly reported to runsolver:
# pid: 861537
# total CPU time (s): 3600.04
# total CPU user time (s): 3599.55
# total CPU system time (s): 0.488747
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.57907 second user time and 16.3398 second system time
The end
Begin job on nodeC031 at 2024-07-16 15:13:21
IDJOB=4432057
IDBENCH=155632
IDSOLVER=3057
FILE ID=nodeC031/4432057-1721135588
RUNJOBID= nodeC031-1721135601-861479
SLURM_JOB_ID= 7505707
Free space on /tmp= 890060 MiB
SOLVER NAME= IPBHS-SCIP 2024-07-09
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat100_4_32_5.opb
COMMAND LINE= ./ipbhs_static_scip BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432057-1721135588/watcher-4432057-1721135588 -o /tmp/evaluation-result-4432057-1721135588/solver-4432057-1721135588 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721135601-861479 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4432057-1721135588.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 353b00be857f2760978c5d5f587e868e
RANDOM SEED=1214551111
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 : 3635.005
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 : 3840.978
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 : 3671.754
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 : 3604.662
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 : 3716.053
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 : 3598.951
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 : 3649.765
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 : 3790.665
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: 127794508 kB
MemAvailable: 129694136 kB
Buffers: 387900 kB
Cached: 2333432 kB
SwapCached: 0 kB
Active: 711768 kB
Inactive: 2390164 kB
Active(anon): 1428 kB
Inactive(anon): 416896 kB
Active(file): 710340 kB
Inactive(file): 1973268 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 218824 kB
Writeback: 0 kB
AnonPages: 378868 kB
Mapped: 103628 kB
Shmem: 37720 kB
KReclaimable: 111332 kB
Slab: 219388 kB
SReclaimable: 111332 kB
SUnreclaim: 108056 kB
KernelStack: 3872 kB
PageTables: 9516 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 802860 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 63680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 249856 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-16 16:13:30