6.87/6.96 c initialize IPBHS solver
6.87/6.96 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
6.87/6.96 c optimizer = "scip"
6.87/6.96 c pbsolver = "roundingsat"
6.87/6.96 c load symmetries from file ""
6.87/6.96 c set time limit for symmetry computation to 100 seconds.
6.87/6.96 c set interchangeable summation variable limit to 3
6.87/6.96 c set abs symmetric core budget per WCE-iteration to 100
6.87/6.96 c set rel symmetric core budget per WCE-iteration to 0
6.87/6.96 c set lit symmetric core budget per WCE-iteration to 0
6.87/6.96 c set sym generation to 's'
6.87/6.96 c set abstraction set creation to 10 iterations without LB change
6.87/6.96 c set abstraction set inputs to 0
6.87/6.96 c set abstraction set cluster min size to 2
6.87/6.96 c set abstraction set cluster max size to 100000000
6.87/6.96 c set abstraction set cluster activation limit to 2
6.87/6.96 c enable abstraction set require equal cost
6.87/6.96 c set abstraction set assumptions to 0
6.87/6.96 c set abstraction set constraint type to 0
6.87/6.96 c set abstract core extraction strategy to b
6.87/6.96 c set core extraction strategy to 2
6.87/6.96 c set core extraction shuffles 10
6.87/6.96 c set cores per iteration to 5
6.87/6.96 c set optimizer bound usage strategy to 2
6.87/6.96 c set optimizer max non-optimal iterations to 1000
6.87/6.96 c set small core cardinality limit to 2
6.87/6.96 c set max coef in cores to 1000000000
6.87/6.96 c set SIS iterations to 5
6.87/6.96 c set SIS budget abs to 1000
6.87/6.96 c set SIS budget rel to 0.05
6.87/6.96 c limit for coefficient in constraints and objective to 9223372036854775807
6.87/6.96 c will solve HOME/instance-4432065-1721135588.opb
6.87/6.96 c [0.13] solve iteration 1, LB=-85, UB=146273936717
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-4432065-1721135588/watcher-4432065-1721135588 -o /tmp/evaluation-result-4432065-1721135588/solver-4432065-1721135588 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721135601-861478 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4432065-1721135588.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
solver pid=861538, runsolver pid=861531
Current StackSize limit: 8192 KiB
[startup+0.100091 s]*
/proc/loadavg: 4.19 4.18 4.18 6/259 861540
/proc/meminfo: memFree=127698700/131524600 swapFree=131071996/131071996
[pid=861538] ppid=861531 vsize=41624 memory=18556 CPUtime=0.1 cores=1,3
/proc/861538/stat : 861538 (ipbhs_static_sc) R 861531 861538 861466 0 -1 4194304 4131 0 0 0 7 3 0 0 20 0 1 0 165727090 42622976 4639 134679101440 4194304 16068861 140727115322848 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 50573312 140727115330598 140727115330685 140727115330685 140727115337700 0
/proc/861538/statm: 10406 4639 1135 2900 0 6920 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 41624 KiB
Current children cumulated memory: 18556 KiB
[startup+0.206049 s]*
/proc/loadavg: 4.19 4.18 4.18 6/259 861540
/proc/meminfo: memFree=127556244/131524600 swapFree=131071996/131071996
[pid=861538] ppid=861531 vsize=88684 memory=70552 CPUtime=0.2 cores=1,3
/proc/861538/stat : 861538 (ipbhs_static_sc) R 861531 861538 861466 0 -1 4194304 15970 0 0 0 14 6 0 0 20 0 1 0 165727090 90812416 17638 134679101440 4194304 16068861 140727115322848 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 50573312 140727115330598 140727115330685 140727115330685 140727115337700 0
/proc/861538/statm: 22171 17638 2399 2900 0 18685 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 88684 KiB
Current children cumulated memory: 70552 KiB
[startup+0.30593 s]*
/proc/loadavg: 4.19 4.18 4.18 5/259 861540
/proc/meminfo: memFree=127486288/131524600 swapFree=131071996/131071996
[pid=861538] ppid=861531 vsize=117168 memory=99724 CPUtime=0.3 cores=1,3
/proc/861538/stat : 861538 (ipbhs_static_sc) R 861531 861538 861466 0 -1 4194304 23085 0 0 0 20 10 0 0 20 0 1 0 165727090 119980032 24931 134679101440 4194304 16068861 140727115322848 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 50573312 140727115330598 140727115330685 140727115330685 140727115337700 0
/proc/861538/statm: 29292 24931 2575 2900 0 25806 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 117168 KiB
Current children cumulated memory: 99724 KiB
[startup+0.700189 s]
/proc/loadavg: 4.18 4.18 4.18 5/259 861540
/proc/meminfo: memFree=127342932/131524600 swapFree=131071996/131071996
[pid=861538] ppid=861531 vsize=178220 memory=146652 CPUtime=0.69 cores=1,3
/proc/861538/stat : 861538 (ipbhs_static_sc) R 861531 861538 861466 0 -1 4194304 34381 0 0 0 57 12 0 0 20 0 1 0 165727090 182497280 36663 134679101440 4194304 16068861 140727115322848 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 50573312 140727115330598 140727115330685 140727115330685 140727115337700 0
/proc/861538/statm: 44555 36663 2879 2900 0 41069 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 178220 KiB
Current children cumulated memory: 146652 KiB
[startup+1.50016 s]
/proc/loadavg: 4.18 4.18 4.18 6/259 861540
/proc/meminfo: memFree=127253016/131524600 swapFree=131071996/131071996
[pid=861538] ppid=861531 vsize=179488 memory=147972 CPUtime=1.49 cores=1,3
/proc/861538/stat : 861538 (ipbhs_static_sc) R 861531 861538 861466 0 -1 4194304 34712 0 0 0 137 12 0 0 20 0 1 0 165727090 183795712 36993 134679101440 4194304 16068861 140727115322848 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 50573312 140727115330598 140727115330685 140727115330685 140727115337700 0
/proc/861538/statm: 44872 36993 2879 2900 0 41386 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 179488 KiB
Current children cumulated memory: 147972 KiB
[startup+3.10588 s]
/proc/loadavg: 4.18 4.18 4.18 5/259 861540
/proc/meminfo: memFree=127152856/131524600 swapFree=131071996/131071996
[pid=861538] ppid=861531 vsize=260592 memory=210348 CPUtime=3.08 cores=1,3
/proc/861538/stat : 861538 (ipbhs_static_sc) R 861531 861538 861466 0 -1 4194304 51196 0 0 0 294 14 0 0 20 0 1 0 165727090 266846208 52587 134679101440 4194304 16068861 140727115322848 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 50573312 140727115330598 140727115330685 140727115330685 140727115337700 0
/proc/861538/statm: 65148 52587 2911 2900 0 61662 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 260592 KiB
Current children cumulated memory: 210348 KiB
[startup+6.30021 s]
/proc/loadavg: 4.16 4.17 4.18 5/259 861540
/proc/meminfo: memFree=127043200/131524600 swapFree=131071996/131071996
[pid=861538] ppid=861531 vsize=262484 memory=212460 CPUtime=6.27 cores=1,3
/proc/861538/stat : 861538 (ipbhs_static_sc) R 861531 861538 861466 0 -1 4194304 51683 0 0 0 612 15 0 0 20 0 1 0 165727090 268783616 53115 134679101440 4194304 16068861 140727115322848 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 50573312 140727115330598 140727115330685 140727115330685 140727115337700 0
/proc/861538/statm: 65621 53115 2911 2900 0 62135 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 262484 KiB
Current children cumulated memory: 212460 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=861538] ppid=861531 vsize=301804 memory=249616 CPUtime=12.65 cores=1,3
/proc/861538/stat : 861538 (ipbhs_static_sc) R 861531 861538 861466 0 -1 4194304 61621 0 0 0 1248 17 0 0 20 0 1 0 165727090 309047296 62404 134679101440 4194304 16068861 140727115322848 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 50573312 140727115330598 140727115330685 140727115330685 140727115337700 0
/proc/861538/statm: 75451 62404 2911 2900 0 71965 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 301804 KiB
Current children cumulated memory: 249616 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=861538] ppid=861531 vsize=315896 memory=265148 CPUtime=25.41 cores=1,3
/proc/861538/stat : 861538 (ipbhs_static_sc) R 861531 861538 861466 0 -1 4194304 65516 0 0 0 2522 19 0 0 20 0 1 0 165727090 323477504 66287 134679101440 4194304 16068861 140727115322848 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 50573312 140727115330598 140727115330685 140727115330685 140727115337700 0
/proc/861538/statm: 78974 66287 2911 2900 0 75488 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 315896 KiB
Current children cumulated memory: 265148 KiB
[startup+51.106 s]
/proc/loadavg: 4.13 4.16 4.17 6/259 861548
/proc/meminfo: memFree=126900224/131524600 swapFree=131071996/131071996
[pid=861538] ppid=861531 vsize=323872 memory=273052 CPUtime=50.95 cores=1,3
/proc/861538/stat : 861538 (ipbhs_static_sc) R 861531 861538 861466 0 -1 4194304 67473 0 0 0 5073 22 0 0 20 0 1 0 165727090 331644928 68263 134679101440 4194304 16068861 140727115322848 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 50573312 140727115330598 140727115330685 140727115330685 140727115337700 0
/proc/861538/statm: 80968 68263 2911 2900 0 77482 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 323872 KiB
Current children cumulated memory: 273052 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=861538] ppid=861531 vsize=323872 memory=273264 CPUtime=101.98 cores=1,3
/proc/861538/stat : 861538 (ipbhs_static_sc) R 861531 861538 861466 0 -1 4194304 67549 0 0 0 10172 26 0 0 20 0 1 0 165727090 331644928 68316 134679101440 4194304 16068861 140727115322848 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 50573312 140727115330598 140727115330685 140727115330685 140727115337700 0
/proc/861538/statm: 80968 68316 2911 2900 0 77482 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 323872 KiB
Current children cumulated memory: 273264 KiB
[startup+162.3 s]
/proc/loadavg: 4.19 4.17 4.18 5/257 861569
/proc/meminfo: memFree=126832144/131524600 swapFree=131071996/131071996
[pid=861538] ppid=861531 vsize=329460 memory=279196 CPUtime=161.81 cores=1,3
/proc/861538/stat : 861538 (ipbhs_static_sc) R 861531 861538 861466 0 -1 4194304 69260 0 0 0 16153 28 0 0 20 0 1 0 165727090 337367040 69799 134679101440 4194304 16068861 140727115322848 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 50573312 140727115330598 140727115330685 140727115330685 140727115337700 0
/proc/861538/statm: 82365 69799 2911 2900 0 78879 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 329460 KiB
Current children cumulated memory: 279196 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=861538] ppid=861531 vsize=339220 memory=289884 CPUtime=221.63 cores=1,3
/proc/861538/stat : 861538 (ipbhs_static_sc) R 861531 861538 861466 0 -1 4194304 72088 0 0 0 22134 29 0 0 20 0 1 0 165727090 347361280 72471 134679101440 4194304 16068861 140727115322848 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 50573312 140727115330598 140727115330685 140727115330685 140727115337700 0
/proc/861538/statm: 84805 72471 3231 2900 0 81319 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 339220 KiB
Current children cumulated memory: 289884 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=861538] ppid=861531 vsize=344256 memory=295344 CPUtime=281.47 cores=1,3
/proc/861538/stat : 861538 (ipbhs_static_sc) R 861531 861538 861466 0 -1 4194304 73905 0 0 0 28117 30 0 0 20 0 1 0 165727090 352518144 73836 134679101440 4194304 16068861 140727115322848 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 50573312 140727115330598 140727115330685 140727115330685 140727115337700 0
/proc/861538/statm: 86064 73836 3231 2900 0 82578 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 344256 KiB
Current children cumulated memory: 295344 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=861538] ppid=861531 vsize=350348 memory=306528 CPUtime=341.31 cores=1,3
/proc/861538/stat : 861538 (ipbhs_static_sc) R 861531 861538 861466 0 -1 4194304 75445 0 0 0 34101 30 0 0 20 0 1 0 165727090 358756352 76632 134679101440 4194304 16068861 140727115322848 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 50573312 140727115330598 140727115330685 140727115330685 140727115337700 0
/proc/861538/statm: 87587 76632 3231 2900 0 84101 0
Current children cumulated CPU time: 341.31 s
Current children cumulated vsize: 350348 KiB
Current children cumulated memory: 306528 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=861538] ppid=861531 vsize=354400 memory=315228 CPUtime=401.14 cores=1,3
/proc/861538/stat : 861538 (ipbhs_static_sc) R 861531 861538 861466 0 -1 4194304 76690 0 0 0 40084 30 0 0 20 0 1 0 165727090 362905600 78807 134679101440 4194304 16068861 140727115322848 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 50573312 140727115330598 140727115330685 140727115330685 140727115337700 0
/proc/861538/statm: 88600 78807 3231 2900 0 85114 0
Current children cumulated CPU time: 401.14 s
Current children cumulated vsize: 354400 KiB
Current children cumulated memory: 315228 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=861538] ppid=861531 vsize=356836 memory=334796 CPUtime=460.99 cores=1,3
/proc/861538/stat : 861538 (ipbhs_static_sc) R 861531 861538 861466 0 -1 4194304 77462 0 0 0 46069 30 0 0 20 0 1 0 165727090 365400064 83699 134679101440 4194304 16068861 140727115322848 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18370176 18462544 50573312 140727115330598 140727115330685 140727115330685 140727115337700 0
/proc/861538/statm: 89209 83699 3231 2900 0 85723 0
################
# More data... #
################
Current children cumulated memory: 1249652 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=861538] ppid=861531 vsize=1382232 memory=1273472 CPUtime=2914.36 cores=1,3
/proc/861538/stat : 861538 (ipbhs_static_sc) R 861531 861538 861466 0 -1 4194304 260519 0 0 0 285646 5790 0 0 20 0 1 0 165727090 1415405568 318368 134679101440 4194304 16068861 140727115322848 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 50573312 140727115330598 140727115330685 140727115330685 140727115337700 0
/proc/861538/statm: 345558 318368 3263 2900 0 342072 0
Current children cumulated CPU time: 2914.36 s
Current children cumulated vsize: 1382232 KiB
Current children cumulated memory: 1273472 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=861538] ppid=861531 vsize=1402092 memory=1293364 CPUtime=2974.21 cores=1,3
/proc/861538/stat : 861538 (ipbhs_static_sc) R 861531 861538 861466 0 -1 4194304 265609 0 0 0 291056 6365 0 0 20 0 1 0 165727090 1435742208 323341 134679101440 4194304 16068861 140727115322848 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 50573312 140727115330598 140727115330685 140727115330685 140727115337700 0
/proc/861538/statm: 350523 323341 3263 2900 0 347037 0
Current children cumulated CPU time: 2974.21 s
Current children cumulated vsize: 1402092 KiB
Current children cumulated memory: 1293364 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=861538] ppid=861531 vsize=1435580 memory=1326876 CPUtime=3034.05 cores=1,3
/proc/861538/stat : 861538 (ipbhs_static_sc) R 861531 861538 861466 0 -1 4194304 274102 0 0 0 296491 6914 0 0 20 0 1 0 165727090 1470033920 331719 134679101440 4194304 16068861 140727115322848 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 50573312 140727115330598 140727115330685 140727115330685 140727115337700 0
/proc/861538/statm: 358895 331719 3263 2900 0 355409 0
Current children cumulated CPU time: 3034.05 s
Current children cumulated vsize: 1435580 KiB
Current children cumulated memory: 1326876 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=861538] ppid=861531 vsize=1461056 memory=1352284 CPUtime=3093.89 cores=1,3
/proc/861538/stat : 861538 (ipbhs_static_sc) R 861531 861538 861466 0 -1 4194304 280652 0 0 0 302022 7367 0 0 20 0 1 0 165727090 1496121344 338071 134679101440 4194304 16068861 140727115322848 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 50573312 140727115330598 140727115330685 140727115330685 140727115337700 0
/proc/861538/statm: 365264 338071 3263 2900 0 361778 0
Current children cumulated CPU time: 3093.89 s
Current children cumulated vsize: 1461056 KiB
Current children cumulated memory: 1352284 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=861538] ppid=861531 vsize=1498352 memory=1389556 CPUtime=3153.73 cores=1,3
/proc/861538/stat : 861538 (ipbhs_static_sc) R 861531 861538 861466 0 -1 4194304 290158 0 0 0 307611 7762 0 0 20 0 1 0 165727090 1534312448 347389 134679101440 4194304 16068861 140727115322848 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 50573312 140727115330598 140727115330685 140727115330685 140727115337700 0
/proc/861538/statm: 374588 347389 3263 2900 0 371102 0
Current children cumulated CPU time: 3153.73 s
Current children cumulated vsize: 1498352 KiB
Current children cumulated memory: 1389556 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=861538] ppid=861531 vsize=1524372 memory=1415500 CPUtime=3213.55 cores=1,3
/proc/861538/stat : 861538 (ipbhs_static_sc) R 861531 861538 861466 0 -1 4194304 296848 0 0 0 313249 8106 0 0 20 0 1 0 165727090 1560956928 353875 134679101440 4194304 16068861 140727115322848 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 50573312 140727115330598 140727115330685 140727115330685 140727115337700 0
/proc/861538/statm: 381093 353875 3263 2900 0 377607 0
Current children cumulated CPU time: 3213.55 s
Current children cumulated vsize: 1524372 KiB
Current children cumulated memory: 1415500 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=861538] ppid=861531 vsize=1548556 memory=1439864 CPUtime=3273.38 cores=1,3
/proc/861538/stat : 861538 (ipbhs_static_sc) R 861531 861538 861466 0 -1 4194304 303072 0 0 0 318922 8416 0 0 20 0 1 0 165727090 1585721344 359966 134679101440 4194304 16068861 140727115322848 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 50573312 140727115330598 140727115330685 140727115330685 140727115337700 0
/proc/861538/statm: 387139 359966 3263 2900 0 383653 0
Current children cumulated CPU time: 3273.38 s
Current children cumulated vsize: 1548556 KiB
Current children cumulated memory: 1439864 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=861538] ppid=861531 vsize=1614032 memory=1503296 CPUtime=3333.21 cores=1,3
/proc/861538/stat : 861538 (ipbhs_static_sc) R 861531 861538 861466 0 -1 4194304 319151 0 0 0 324627 8694 0 0 20 0 1 0 165727090 1652768768 375824 134679101440 4194304 16068861 140727115322848 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 50573312 140727115330598 140727115330685 140727115330685 140727115337700 0
/proc/861538/statm: 403508 375824 3263 2900 0 400022 0
Current children cumulated CPU time: 3333.21 s
Current children cumulated vsize: 1614032 KiB
Current children cumulated memory: 1503296 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=861538] ppid=861531 vsize=1698860 memory=1585944 CPUtime=3393.03 cores=1,3
/proc/861538/stat : 861538 (ipbhs_static_sc) R 861531 861538 861466 0 -1 4194304 339886 0 0 0 330308 8995 0 0 20 0 1 0 165727090 1739632640 396486 134679101440 4194304 16068861 140727115322848 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 50573312 140727115330598 140727115330685 140727115330685 140727115337700 0
/proc/861538/statm: 424715 396486 3263 2900 0 421229 0
Current children cumulated CPU time: 3393.03 s
Current children cumulated vsize: 1698860 KiB
Current children cumulated memory: 1585944 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=861538] ppid=861531 vsize=1722812 memory=1609736 CPUtime=3452.88 cores=1,3
/proc/861538/stat : 861538 (ipbhs_static_sc) R 861531 861538 861466 0 -1 4194304 346064 0 0 0 335838 9450 0 0 20 0 1 0 165727090 1764159488 402434 134679101440 4194304 16068861 140727115322848 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 50573312 140727115330598 140727115330685 140727115330685 140727115337700 0
/proc/861538/statm: 430703 402434 3263 2900 0 427217 0
Current children cumulated CPU time: 3452.88 s
Current children cumulated vsize: 1722812 KiB
Current children cumulated memory: 1609736 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=861538] ppid=861531 vsize=1741624 memory=1628508 CPUtime=3512.71 cores=1,3
/proc/861538/stat : 861538 (ipbhs_static_sc) R 861531 861538 861466 0 -1 4194304 350958 0 0 0 341469 9802 0 0 20 0 1 0 165727090 1783422976 407127 134679101440 4194304 16068861 140727115322848 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 50573312 140727115330598 140727115330685 140727115330685 140727115337700 0
/proc/861538/statm: 435406 407127 3263 2900 0 431920 0
Current children cumulated CPU time: 3512.71 s
Current children cumulated vsize: 1741624 KiB
Current children cumulated memory: 1628508 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=861538] ppid=861531 vsize=1766244 memory=1653336 CPUtime=3572.54 cores=1,3
/proc/861538/stat : 861538 (ipbhs_static_sc) R 861531 861538 861466 0 -1 4194304 357375 0 0 0 347135 10119 0 0 20 0 1 0 165727090 1808633856 413334 134679101440 4194304 16068861 140727115322848 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 50573312 140727115330598 140727115330685 140727115330685 140727115337700 0
/proc/861538/statm: 441561 413334 3263 2900 0 438075 0
Current children cumulated CPU time: 3572.54 s
Current children cumulated vsize: 1766244 KiB
Current children cumulated memory: 1653336 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.9 s]
/proc/loadavg: 4.09 4.10 4.12 5/256 863423
/proc/meminfo: memFree=111082944/131524600 swapFree=131071996/131071996
[pid=861538] ppid=861531 vsize=1772496 memory=1659424 CPUtime=3600.06 cores=1,3
/proc/861538/stat : 861538 (ipbhs_static_sc) R 861531 861538 861466 0 -1 4194304 359065 0 0 0 349769 10237 0 0 20 0 1 0 165727090 1815035904 414856 134679101440 4194304 16068861 140727115322848 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 50573312 140727115330598 140727115330685 140727115330685 140727115337700 0
/proc/861538/statm: 443124 414856 3263 2900 0 439638 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 1772496 KiB
Current children cumulated memory: 1659424 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.94 s]
# the end of solver process 861538 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3497.69 s, system=102.417 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.9 s]
/proc/loadavg: 4.09 4.10 4.12 5/256 863423
/proc/meminfo: memFree=111082944/131524600 swapFree=131071996/131071996
[pid=861538] ppid=861531 vsize=1772496 memory=1659424 CPUtime=3600.06 cores=1,3
/proc/861538/stat : 861538 (ipbhs_static_sc) R 861531 861538 861466 0 -1 4194304 359065 0 0 0 349769 10237 0 0 20 0 1 0 165727090 1815035904 414856 134679101440 4194304 16068861 140727115322848 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 18370176 18462544 50573312 140727115330598 140727115330685 140727115330685 140727115337700 0
/proc/861538/statm: 443124 414856 3263 2900 0 439638 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 1772496 KiB
Current children cumulated memory: 1659424 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3609.94
CPU time (s): 3600.11
CPU user time (s): 3497.69
CPU system time (s): 102.417
CPU usage (%): 99.7277
Max. virtual memory (cumulated for all children) (KiB): 1772496
Max. memory (cumulated for all children) (KiB): 1659424
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3497.69
system time used= 102.417
maximum resident set size= 1659604
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 359065
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= 33
involuntary context switches= 2793
# summary of solver processes directly reported to runsolver:
# pid: 861538
# total CPU time (s): 3600.11
# total CPU user time (s): 3497.69
# total CPU system time (s): 102.417
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.95099 second user time and 16.8885 second system time
The end
Begin job on nodeC031 at 2024-07-16 15:13:21
IDJOB=4432065
IDBENCH=155628
IDSOLVER=3057
FILE ID=nodeC031/4432065-1721135588
RUNJOBID= nodeC031-1721135601-861478
SLURM_JOB_ID= 7505707
Free space on /tmp= 890068 MiB
SOLVER NAME= IPBHS-SCIP 2024-07-09
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat85_4_27_4.opb
COMMAND LINE= ./ipbhs_static_scip BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432065-1721135588/watcher-4432065-1721135588 -o /tmp/evaluation-result-4432065-1721135588/solver-4432065-1721135588 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721135601-861478 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4432065-1721135588.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 21308a801a9cbe43fb5a50efc40ff8ff
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:31