99.48/99.81 c initialize IPBHS solver
99.48/99.81 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
99.48/99.81 c optimizer = "scip"
99.48/99.81 c pbsolver = "roundingsat"
99.48/99.81 c load symmetries from file ""
99.48/99.81 c set time limit for symmetry computation to 100 seconds.
99.48/99.81 c set interchangeable summation variable limit to 3
99.48/99.81 c set abs symmetric core budget per WCE-iteration to 100
99.48/99.81 c set rel symmetric core budget per WCE-iteration to 0
99.48/99.81 c set lit symmetric core budget per WCE-iteration to 0
99.48/99.81 c set sym generation to 's'
99.48/99.81 c set abstraction set creation to 10 iterations without LB change
99.48/99.81 c set abstraction set inputs to 0
99.48/99.81 c set abstraction set cluster min size to 2
99.48/99.81 c set abstraction set cluster max size to 100000000
99.48/99.81 c set abstraction set cluster activation limit to 2
99.48/99.81 c enable abstraction set require equal cost
99.48/99.81 c set abstraction set assumptions to 0
99.48/99.81 c set abstraction set constraint type to 0
99.48/99.81 c set abstract core extraction strategy to b
99.48/99.81 c set core extraction strategy to 2
99.48/99.81 c set core extraction shuffles 10
99.48/99.81 c set cores per iteration to 5
99.48/99.81 c set optimizer bound usage strategy to 2
99.48/99.81 c set optimizer max non-optimal iterations to 1000
99.48/99.81 c set small core cardinality limit to 2
99.48/99.81 c set max coef in cores to 1000000000
99.48/99.81 c set SIS iterations to 5
99.48/99.81 c set SIS budget abs to 1000
99.48/99.81 c set SIS budget rel to 0.05
99.48/99.81 c limit for coefficient in constraints and objective to 9223372036854775807
99.48/99.81 c will solve HOME/instance-4458999-1721890790.opb
99.48/99.81 c [0.05] solve iteration 1, LB=0, UB=10101
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: 63968 MiB (61573 MiB free)
memory of node 1: 64473 MiB (60140 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458999-1721890790/watcher-4458999-1721890790 -o /tmp/evaluation-result-4458999-1721890790/solver-4458999-1721890790 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721890771-225620 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4458999-1721890790.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=225733, runsolver pid=225730
[startup+0.100446 s]*
/proc/loadavg: 1.97 1.32 1.51 5/259 225734
/proc/meminfo: memFree=124596936/131524600 swapFree=131055836/131071996
[pid=225733] ppid=225730 vsize=67432 memory=48100 CPUtime=0.09 cores=0,2
/proc/225733/stat : 225733 (ipbhs_static_sc) R 225730 225733 225610 0 -1 4194304 10110 0 0 0 5 4 0 0 20 0 1 0 25608731 69050368 12025 134679101440 4194304 16068861 140724509188688 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 18370176 18462544 50356224 140724509197350 140724509197437 140724509197437 140724509204452 0
/proc/225733/statm: 16858 12025 2383 2900 0 13372 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 67432 KiB
Current children cumulated memory: 48100 KiB
[startup+0.205644 s]*
/proc/loadavg: 1.97 1.32 1.51 5/259 225734
/proc/meminfo: memFree=124560940/131524600 swapFree=131055836/131071996
[pid=225733] ppid=225730 vsize=106852 memory=85624 CPUtime=0.19 cores=0,2
/proc/225733/stat : 225733 (ipbhs_static_sc) R 225730 225733 225610 0 -1 4194304 19378 0 0 0 13 6 0 0 20 0 1 0 25608731 109416448 21406 134679101440 4194304 16068861 140724509188688 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 50356224 140724509197350 140724509197437 140724509197437 140724509204452 0
/proc/225733/statm: 26713 21406 2639 2900 0 23227 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 106852 KiB
Current children cumulated memory: 85624 KiB
[startup+0.305663 s]*
/proc/loadavg: 1.97 1.32 1.51 5/259 225734
/proc/meminfo: memFree=124534252/131524600 swapFree=131055836/131071996
[pid=225733] ppid=225730 vsize=150828 memory=111100 CPUtime=0.29 cores=0,2
/proc/225733/stat : 225733 (ipbhs_static_sc) R 225730 225733 225610 0 -1 4194304 25379 0 0 0 22 7 0 0 20 0 1 0 25608731 154447872 27775 134679101440 4194304 16068861 140724509188688 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 50356224 140724509197350 140724509197437 140724509197437 140724509204452 0
/proc/225733/statm: 37707 27775 2703 2900 0 34221 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 150828 KiB
Current children cumulated memory: 111100 KiB
[startup+0.700147 s]
/proc/loadavg: 1.97 1.32 1.51 5/259 225734
/proc/meminfo: memFree=124502984/131524600 swapFree=131055836/131071996
[pid=225733] ppid=225730 vsize=196348 memory=142296 CPUtime=0.68 cores=0,2
/proc/225733/stat : 225733 (ipbhs_static_sc) R 225730 225733 225610 0 -1 4194304 34876 0 0 0 60 8 0 0 20 0 1 0 25608731 201060352 35574 134679101440 4194304 16068861 140724509188688 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 50356224 140724509197350 140724509197437 140724509197437 140724509204452 0
/proc/225733/statm: 49087 35574 2719 2900 0 45601 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 196348 KiB
Current children cumulated memory: 142296 KiB
[startup+1.5002 s]
/proc/loadavg: 1.97 1.32 1.51 5/259 225734
/proc/meminfo: memFree=124502948/131524600 swapFree=131055836/131071996
[pid=225733] ppid=225730 vsize=196860 memory=143088 CPUtime=1.48 cores=0,2
/proc/225733/stat : 225733 (ipbhs_static_sc) R 225730 225733 225610 0 -1 4194304 35031 0 0 0 140 8 0 0 20 0 1 0 25608731 201584640 35772 134679101440 4194304 16068861 140724509188688 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 50356224 140724509197350 140724509197437 140724509197437 140724509204452 0
/proc/225733/statm: 49215 35772 2719 2900 0 45729 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 196860 KiB
Current children cumulated memory: 143088 KiB
[startup+3.10546 s]
/proc/loadavg: 1.97 1.32 1.51 5/259 225734
/proc/meminfo: memFree=124468204/131524600 swapFree=131055836/131071996
[pid=225733] ppid=225730 vsize=229444 memory=174992 CPUtime=3.08 cores=0,2
/proc/225733/stat : 225733 (ipbhs_static_sc) R 225730 225733 225610 0 -1 4194304 43028 0 0 0 298 10 0 0 20 0 1 0 25608731 234950656 43748 134679101440 4194304 16068861 140724509188688 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 50356224 140724509197350 140724509197437 140724509197437 140724509204452 0
/proc/225733/statm: 57361 43748 2863 2900 0 53875 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 229444 KiB
Current children cumulated memory: 174992 KiB
[startup+6.30016 s]
/proc/loadavg: 2.13 1.36 1.53 5/259 225734
/proc/meminfo: memFree=124380648/131524600 swapFree=131055836/131071996
[pid=225733] ppid=225730 vsize=312556 memory=255324 CPUtime=6.27 cores=0,2
/proc/225733/stat : 225733 (ipbhs_static_sc) R 225730 225733 225610 0 -1 4194304 63161 0 0 0 614 13 0 0 20 0 1 0 25608731 320057344 63831 134679101440 4194304 16068861 140724509188688 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 50356224 140724509197350 140724509197437 140724509197437 140724509204452 0
/proc/225733/statm: 78139 63831 2879 2900 0 74653 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 312556 KiB
Current children cumulated memory: 255324 KiB
[startup+12.7001 s]
/proc/loadavg: 2.36 1.42 1.54 5/259 225736
/proc/meminfo: memFree=123906316/131524600 swapFree=131055836/131071996
[pid=225733] ppid=225730 vsize=330256 memory=271344 CPUtime=12.65 cores=0,2
/proc/225733/stat : 225733 (ipbhs_static_sc) R 225730 225733 225610 0 -1 4194304 64096 0 0 0 1251 14 0 0 20 0 1 0 25608731 338182144 67836 134679101440 4194304 16068861 140724509188688 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 50356224 140724509197350 140724509197437 140724509197437 140724509204452 0
/proc/225733/statm: 82564 67836 2895 2900 0 79078 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 330256 KiB
Current children cumulated memory: 271344 KiB
[startup+25.5002 s]
/proc/loadavg: 2.72 1.55 1.58 5/259 225739
/proc/meminfo: memFree=123863996/131524600 swapFree=131055836/131071996
[pid=225733] ppid=225730 vsize=347428 memory=284992 CPUtime=25.41 cores=0,2
/proc/225733/stat : 225733 (ipbhs_static_sc) R 225730 225733 225610 0 -1 4194304 67702 0 0 0 2526 15 0 0 20 0 1 0 25608731 355766272 71248 134679101440 4194304 16068861 140724509188688 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 50356224 140724509197350 140724509197437 140724509197437 140724509204452 0
/proc/225733/statm: 86857 71248 2895 2900 0 83371 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 347428 KiB
Current children cumulated memory: 284992 KiB
[startup+51.1056 s]
/proc/loadavg: 3.16 1.75 1.65 5/258 225744
/proc/meminfo: memFree=123816432/131524600 swapFree=131055836/131071996
[pid=225733] ppid=225730 vsize=356644 memory=288912 CPUtime=50.94 cores=0,2
/proc/225733/stat : 225733 (ipbhs_static_sc) R 225730 225733 225610 0 -1 4194304 68711 0 0 0 5077 17 0 0 20 0 1 0 25608731 365203456 72228 134679101440 4194304 16068861 140724509188688 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 50356224 140724509197350 140724509197437 140724509197437 140724509204452 0
/proc/225733/statm: 89161 72228 2895 2900 0 85675 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 356644 KiB
Current children cumulated memory: 288912 KiB
[startup+102.3 s]
/proc/loadavg: 3.76 2.13 1.79 5/258 225764
/proc/meminfo: memFree=123761368/131524600 swapFree=131055836/131071996
[pid=225733] ppid=225730 vsize=407352 memory=327736 CPUtime=101.98 cores=0,2
/proc/225733/stat : 225733 (ipbhs_static_sc) R 225730 225733 225610 0 -1 4194304 80141 0 0 0 10179 19 0 0 20 0 1 0 25608731 417128448 81934 134679101440 4194304 16068861 140724509188688 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 50356224 140724509197350 140724509197437 140724509197437 140724509204452 0
/proc/225733/statm: 101838 81934 2895 2900 0 98352 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 407352 KiB
Current children cumulated memory: 327736 KiB
[startup+162.3 s]
/proc/loadavg: 3.97 2.49 1.93 5/259 225776
/proc/meminfo: memFree=123740564/131524600 swapFree=131055836/131071996
[pid=225733] ppid=225730 vsize=407352 memory=328524 CPUtime=161.78 cores=0,2
/proc/225733/stat : 225733 (ipbhs_static_sc) R 225730 225733 225610 0 -1 4194304 80338 0 0 0 16158 20 0 0 20 0 1 0 25608731 417128448 82131 134679101440 4194304 16068861 140724509188688 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 50356224 140724509197350 140724509197437 140724509197437 140724509204452 0
/proc/225733/statm: 101838 82131 2895 2900 0 98352 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 407352 KiB
Current children cumulated memory: 328524 KiB
[startup+222.3 s]
/proc/loadavg: 3.99 2.76 2.06 5/259 225787
/proc/meminfo: memFree=123736360/131524600 swapFree=131055836/131071996
[pid=225733] ppid=225730 vsize=407352 memory=328524 CPUtime=221.59 cores=0,2
/proc/225733/stat : 225733 (ipbhs_static_sc) R 225730 225733 225610 0 -1 4194304 80370 0 0 0 22138 21 0 0 20 0 1 0 25608731 417128448 82131 134679101440 4194304 16068861 140724509188688 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 50356224 140724509197350 140724509197437 140724509197437 140724509204452 0
/proc/225733/statm: 101838 82131 2895 2900 0 98352 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 407352 KiB
Current children cumulated memory: 328524 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 3.02 2.20 5/258 225843
/proc/meminfo: memFree=123504808/131524600 swapFree=131055836/131071996
[pid=225733] ppid=225730 vsize=407352 memory=328788 CPUtime=281.38 cores=0,2
/proc/225733/stat : 225733 (ipbhs_static_sc) R 225730 225733 225610 0 -1 4194304 80390 0 0 0 28116 22 0 0 20 0 1 0 25608731 417128448 82197 134679101440 4194304 16068861 140724509188688 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 50356224 140724509197350 140724509197437 140724509197437 140724509204452 0
/proc/225733/statm: 101838 82197 2895 2900 0 98352 0
Current children cumulated CPU time: 281.38 s
Current children cumulated vsize: 407352 KiB
Current children cumulated memory: 328788 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 3.22 2.32 5/255 225854
/proc/meminfo: memFree=123228504/131524600 swapFree=131055836/131071996
[pid=225733] ppid=225730 vsize=419888 memory=340732 CPUtime=341.19 cores=0,2
/proc/225733/stat : 225733 (ipbhs_static_sc) R 225730 225733 225610 0 -1 4194304 83640 0 0 0 34095 24 0 0 20 0 1 0 25608731 429965312 85183 134679101440 4194304 16068861 140724509188688 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 50356224 140724509197350 140724509197437 140724509197437 140724509204452 0
/proc/225733/statm: 104972 85183 2895 2900 0 101486 0
Current children cumulated CPU time: 341.19 s
Current children cumulated vsize: 419888 KiB
Current children cumulated memory: 340732 KiB
[startup+402.3 s]
/proc/loadavg: 4.07 3.38 2.43 5/255 225865
/proc/meminfo: memFree=123204456/131524600 swapFree=131055836/131071996
[pid=225733] ppid=225730 vsize=419888 memory=340732 CPUtime=401 cores=0,2
/proc/225733/stat : 225733 (ipbhs_static_sc) R 225730 225733 225610 0 -1 4194304 83640 0 0 0 40075 25 0 0 20 0 1 0 25608731 429965312 85183 134679101440 4194304 16068861 140724509188688 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 50356224 140724509197350 140724509197437 140724509197437 140724509204452 0
/proc/225733/statm: 104972 85183 2895 2900 0 101486 0
Current children cumulated CPU time: 401 s
Current children cumulated vsize: 419888 KiB
Current children cumulated memory: 340732 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 3.51 2.54 5/254 225875
/proc/meminfo: memFree=123195796/131524600 swapFree=131055836/131071996
[pid=225733] ppid=225730 vsize=425100 memory=344164 CPUtime=460.79 cores=0,2
/proc/225733/stat : 225733 (ipbhs_static_sc) R 225730 225733 225610 0 -1 4194304 84517 0 0 0 46053 26 0 0 20 0 1 0 25608731 435302400 86041 134679101440 4194304 16068861 140724509188688 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 50356224 140724509197350 140724509197437 140724509197437 140724509204452 0
/proc/225733/statm: 106275 86041 2895 2900 0 102789 0
################
# More data... #
################
Current children cumulated memory: 509940 KiB
[startup+2862.3 s]
/proc/loadavg: 4.12 4.13 4.02 5/256 227026
/proc/meminfo: memFree=106212988/131524600 swapFree=131055836/131071996
[pid=225733] ppid=225730 vsize=538948 memory=509940 CPUtime=2852.31 cores=0,2
/proc/225733/stat : 225733 (ipbhs_static_sc) R 225730 225733 225610 0 -1 4194304 118756 0 0 0 285183 48 0 0 20 0 1 0 25608731 551882752 127485 134679101440 4194304 16068861 140724509188688 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 50356224 140724509197350 140724509197437 140724509197437 140724509204452 0
/proc/225733/statm: 134737 127485 2895 2900 0 131251 0
Current children cumulated CPU time: 2852.31 s
Current children cumulated vsize: 538948 KiB
Current children cumulated memory: 509940 KiB
[startup+2922.3 s]
/proc/loadavg: 4.10 4.12 4.02 5/255 227037
/proc/meminfo: memFree=106212280/131524600 swapFree=131055836/131071996
[pid=225733] ppid=225730 vsize=538948 memory=509940 CPUtime=2912.11 cores=0,2
/proc/225733/stat : 225733 (ipbhs_static_sc) R 225730 225733 225610 0 -1 4194304 118896 0 0 0 291163 48 0 0 20 0 1 0 25608731 551882752 127485 134679101440 4194304 16068861 140724509188688 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 50356224 140724509197350 140724509197437 140724509197437 140724509204452 0
/proc/225733/statm: 134737 127485 2895 2900 0 131251 0
Current children cumulated CPU time: 2912.11 s
Current children cumulated vsize: 538948 KiB
Current children cumulated memory: 509940 KiB
[startup+2982.3 s]
/proc/loadavg: 4.07 4.11 4.02 5/255 227048
/proc/meminfo: memFree=106211500/131524600 swapFree=131055836/131071996
[pid=225733] ppid=225730 vsize=538948 memory=509940 CPUtime=2971.9 cores=0,2
/proc/225733/stat : 225733 (ipbhs_static_sc) R 225730 225733 225610 0 -1 4194304 119036 0 0 0 297142 48 0 0 20 0 1 0 25608731 551882752 127485 134679101440 4194304 16068861 140724509188688 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 50356224 140724509197350 140724509197437 140724509197437 140724509204452 0
/proc/225733/statm: 134737 127485 2895 2900 0 131251 0
Current children cumulated CPU time: 2971.9 s
Current children cumulated vsize: 538948 KiB
Current children cumulated memory: 509940 KiB
[startup+3042.3 s]
/proc/loadavg: 4.06 4.10 4.02 5/256 227063
/proc/meminfo: memFree=106210648/131524600 swapFree=131055836/131071996
[pid=225733] ppid=225730 vsize=538948 memory=509940 CPUtime=3031.69 cores=0,2
/proc/225733/stat : 225733 (ipbhs_static_sc) R 225730 225733 225610 0 -1 4194304 119183 0 0 0 303121 48 0 0 20 0 1 0 25608731 551882752 127485 134679101440 4194304 16068861 140724509188688 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 50356224 140724509197350 140724509197437 140724509197437 140724509204452 0
/proc/225733/statm: 134737 127485 2895 2900 0 131251 0
Current children cumulated CPU time: 3031.69 s
Current children cumulated vsize: 538948 KiB
Current children cumulated memory: 509940 KiB
[startup+3102.3 s]
/proc/loadavg: 4.06 4.09 4.02 5/256 227074
/proc/meminfo: memFree=106210248/131524600 swapFree=131055836/131071996
[pid=225733] ppid=225730 vsize=538948 memory=509940 CPUtime=3091.48 cores=0,2
/proc/225733/stat : 225733 (ipbhs_static_sc) R 225730 225733 225610 0 -1 4194304 119323 0 0 0 309100 48 0 0 20 0 1 0 25608731 551882752 127485 134679101440 4194304 16068861 140724509188688 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 50356224 140724509197350 140724509197437 140724509197437 140724509204452 0
/proc/225733/statm: 134737 127485 2895 2900 0 131251 0
Current children cumulated CPU time: 3091.48 s
Current children cumulated vsize: 538948 KiB
Current children cumulated memory: 509940 KiB
[startup+3162.3 s]
/proc/loadavg: 4.20 4.12 4.04 5/256 227086
/proc/meminfo: memFree=106209136/131524600 swapFree=131055836/131071996
[pid=225733] ppid=225730 vsize=538948 memory=509940 CPUtime=3151.27 cores=0,2
/proc/225733/stat : 225733 (ipbhs_static_sc) R 225730 225733 225610 0 -1 4194304 119462 0 0 0 315079 48 0 0 20 0 1 0 25608731 551882752 127485 134679101440 4194304 16068861 140724509188688 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 50356224 140724509197350 140724509197437 140724509197437 140724509204452 0
/proc/225733/statm: 134737 127485 2895 2900 0 131251 0
Current children cumulated CPU time: 3151.27 s
Current children cumulated vsize: 538948 KiB
Current children cumulated memory: 509940 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.11 4.04 5/256 227096
/proc/meminfo: memFree=106208336/131524600 swapFree=131055836/131071996
[pid=225733] ppid=225730 vsize=538948 memory=509940 CPUtime=3211.07 cores=0,2
/proc/225733/stat : 225733 (ipbhs_static_sc) R 225730 225733 225610 0 -1 4194304 119608 0 0 0 321059 48 0 0 20 0 1 0 25608731 551882752 127485 134679101440 4194304 16068861 140724509188688 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 50356224 140724509197350 140724509197437 140724509197437 140724509204452 0
/proc/225733/statm: 134737 127485 2895 2900 0 131251 0
Current children cumulated CPU time: 3211.07 s
Current children cumulated vsize: 538948 KiB
Current children cumulated memory: 509940 KiB
[startup+3282.3 s]
/proc/loadavg: 4.35 4.16 4.05 5/256 227106
/proc/meminfo: memFree=106207768/131524600 swapFree=131055836/131071996
[pid=225733] ppid=225730 vsize=538948 memory=509940 CPUtime=3270.87 cores=0,2
/proc/225733/stat : 225733 (ipbhs_static_sc) R 225730 225733 225610 0 -1 4194304 119744 0 0 0 327039 48 0 0 20 0 1 0 25608731 551882752 127485 134679101440 4194304 16068861 140724509188688 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 50356224 140724509197350 140724509197437 140724509197437 140724509204452 0
/proc/225733/statm: 134737 127485 2895 2900 0 131251 0
Current children cumulated CPU time: 3270.87 s
Current children cumulated vsize: 538948 KiB
Current children cumulated memory: 509940 KiB
[startup+3342.3 s]
/proc/loadavg: 4.29 4.18 4.07 5/258 227500
/proc/meminfo: memFree=106206936/131524600 swapFree=131055836/131071996
[pid=225733] ppid=225730 vsize=538948 memory=509940 CPUtime=3330.66 cores=0,2
/proc/225733/stat : 225733 (ipbhs_static_sc) R 225730 225733 225610 0 -1 4194304 119884 0 0 0 333017 49 0 0 20 0 1 0 25608731 551882752 127485 134679101440 4194304 16068861 140724509188688 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 50356224 140724509197350 140724509197437 140724509197437 140724509204452 0
/proc/225733/statm: 134737 127485 2895 2900 0 131251 0
Current children cumulated CPU time: 3330.66 s
Current children cumulated vsize: 538948 KiB
Current children cumulated memory: 509940 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.16 4.07 5/256 227512
/proc/meminfo: memFree=106206432/131524600 swapFree=131055836/131071996
[pid=225733] ppid=225730 vsize=538948 memory=509940 CPUtime=3390.44 cores=0,2
/proc/225733/stat : 225733 (ipbhs_static_sc) R 225730 225733 225610 0 -1 4194304 120025 0 0 0 338995 49 0 0 20 0 1 0 25608731 551882752 127485 134679101440 4194304 16068861 140724509188688 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 50356224 140724509197350 140724509197437 140724509197437 140724509204452 0
/proc/225733/statm: 134737 127485 2895 2900 0 131251 0
Current children cumulated CPU time: 3390.44 s
Current children cumulated vsize: 538948 KiB
Current children cumulated memory: 509940 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.15 4.07 5/256 227523
/proc/meminfo: memFree=106205644/131524600 swapFree=131055836/131071996
[pid=225733] ppid=225730 vsize=538948 memory=509940 CPUtime=3450.23 cores=0,2
/proc/225733/stat : 225733 (ipbhs_static_sc) R 225730 225733 225610 0 -1 4194304 120164 0 0 0 344973 50 0 0 20 0 1 0 25608731 551882752 127485 134679101440 4194304 16068861 140724509188688 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 50356224 140724509197350 140724509197437 140724509197437 140724509204452 0
/proc/225733/statm: 134737 127485 2895 2900 0 131251 0
Current children cumulated CPU time: 3450.23 s
Current children cumulated vsize: 538948 KiB
Current children cumulated memory: 509940 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.13 4.07 5/257 227703
/proc/meminfo: memFree=106204836/131524600 swapFree=131055836/131071996
[pid=225733] ppid=225730 vsize=538948 memory=509940 CPUtime=3510.02 cores=0,2
/proc/225733/stat : 225733 (ipbhs_static_sc) R 225730 225733 225610 0 -1 4194304 120305 0 0 0 350952 50 0 0 20 0 1 0 25608731 551882752 127485 134679101440 4194304 16068861 140724509188688 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 50356224 140724509197350 140724509197437 140724509197437 140724509204452 0
/proc/225733/statm: 134737 127485 2895 2900 0 131251 0
Current children cumulated CPU time: 3510.02 s
Current children cumulated vsize: 538948 KiB
Current children cumulated memory: 509940 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.12 4.07 5/257 227714
/proc/meminfo: memFree=106204140/131524600 swapFree=131055836/131071996
[pid=225733] ppid=225730 vsize=538948 memory=509940 CPUtime=3569.83 cores=0,2
/proc/225733/stat : 225733 (ipbhs_static_sc) R 225730 225733 225610 0 -1 4194304 120446 0 0 0 356932 51 0 0 20 0 1 0 25608731 551882752 127485 134679101440 4194304 16068861 140724509188688 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 50356224 140724509197350 140724509197437 140724509197437 140724509204452 0
/proc/225733/statm: 134737 127485 2895 2900 0 131251 0
Current children cumulated CPU time: 3569.83 s
Current children cumulated vsize: 538948 KiB
Current children cumulated memory: 509940 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.6 s]
/proc/loadavg: 4.10 4.12 4.07 5/257 227765
/proc/meminfo: memFree=96650076/131524600 swapFree=131055836/131071996
[pid=225733] ppid=225730 vsize=538948 memory=509940 CPUtime=3600.02 cores=0,2
/proc/225733/stat : 225733 (ipbhs_static_sc) R 225730 225733 225610 0 -1 4194304 120534 0 0 0 359951 51 0 0 20 0 1 0 25608731 551882752 127485 134679101440 4194304 16068861 140724509188688 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18370176 18462544 50356224 140724509197350 140724509197437 140724509197437 140724509204452 0
/proc/225733/statm: 134737 127485 2895 2900 0 131251 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 538948 KiB
Current children cumulated memory: 509940 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.61 s]
# the end of solver process 225733 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3599.52 s, system=0.515979 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3612.61
CPU time (s): 3600.04
CPU user time (s): 3599.52
CPU system time (s): 0.515979
CPU usage (%): 99.6521
Max. virtual memory (cumulated for all children) (KiB): 538948
Max. memory (cumulated for all children) (KiB): 509940
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.52
system time used= 0.515979
maximum resident set size= 519460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 120534
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= 35
involuntary context switches= 25204
# summary of solver processes directly reported to runsolver:
# pid: 225733
# total CPU time (s): 3600.04
# total CPU user time (s): 3599.52
# total CPU system time (s): 0.515979
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.89045 second user time and 17.2084 second system time
The end
Begin job on nodeC033 at 2024-07-25 08:59:50
IDJOB=4458999
IDBENCH=178458
IDSOLVER=3057
FILE ID=nodeC033/4458999-1721890790
RUNJOBID= nodeC033-1721890771-225620
SLURM_JOB_ID= 8089342
Free space on /tmp= 889920 MiB
SOLVER NAME= IPBHS-SCIP 2024-07-09
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/vertexcover_opt_grid_evenrowoddcolsquare/normalized-vertexcover_opt_grid_evenrowoddcolsquare_dim_100.opb
COMMAND LINE= ./ipbhs_static_scip BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458999-1721890790/watcher-4458999-1721890790 -o /tmp/evaluation-result-4458999-1721890790/solver-4458999-1721890790 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721890771-225620 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4458999-1721890790.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 929d9d39c334716d4e8e7fd04254fe00
RANDOM SEED=1614124550
nodeC033.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 : 3680.916
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.99
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 : 3689.540
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 : 7005.76
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 : 3670.693
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.99
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.184
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 : 7005.76
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 : 3677.338
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.99
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 : 3689.579
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 : 7005.76
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 : 3600.212
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.99
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.101
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 : 7005.76
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 124635824 kB
MemAvailable: 128593328 kB
Buffers: 300464 kB
Cached: 4455268 kB
SwapCached: 300 kB
Active: 2515176 kB
Inactive: 3712252 kB
Active(anon): 2224 kB
Inactive(anon): 1522848 kB
Active(file): 2512952 kB
Inactive(file): 2189404 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131055836 kB
Dirty: 54416 kB
Writeback: 24 kB
AnonPages: 1471740 kB
Mapped: 143344 kB
Shmem: 53064 kB
KReclaimable: 189944 kB
Slab: 305960 kB
SReclaimable: 189944 kB
SUnreclaim: 116016 kB
KernelStack: 4092 kB
PageTables: 12216 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 2009268 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 16704 kB
HardwareCorrupted: 0 kB
AnonHugePages: 473088 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: 391892 kB
DirectMap2M: 39227392 kB
DirectMap1G: 96468992 kB
Free space on /tmp at the end= 889680 MiB
End job on nodeC033 at 2024-07-25 10:00:03