3.18/3.26 c initialize IPBHS solver
3.18/3.26 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
3.18/3.26 c optimizer = "scip"
3.18/3.26 c pbsolver = "roundingsat"
3.18/3.26 c load symmetries from file ""
3.18/3.26 c set time limit for symmetry computation to 100 seconds.
3.18/3.26 c set interchangeable summation variable limit to 3
3.18/3.26 c set abs symmetric core budget per WCE-iteration to 100
3.18/3.26 c set rel symmetric core budget per WCE-iteration to 0
3.18/3.26 c set lit symmetric core budget per WCE-iteration to 0
3.18/3.26 c set sym generation to 's'
3.18/3.26 c set abstraction set creation to 10 iterations without LB change
3.18/3.26 c set abstraction set inputs to 0
3.18/3.26 c set abstraction set cluster min size to 2
3.18/3.26 c set abstraction set cluster max size to 100000000
3.18/3.26 c set abstraction set cluster activation limit to 2
3.18/3.26 c enable abstraction set require equal cost
3.18/3.26 c set abstraction set assumptions to 0
3.18/3.26 c set abstraction set constraint type to 0
3.18/3.26 c set abstract core extraction strategy to b
3.18/3.26 c set core extraction strategy to 2
3.18/3.26 c set core extraction shuffles 10
3.18/3.26 c set cores per iteration to 5
3.18/3.26 c set optimizer bound usage strategy to 2
3.18/3.26 c set optimizer max non-optimal iterations to 1000
3.18/3.26 c set small core cardinality limit to 2
3.18/3.26 c set max coef in cores to 1000000000
3.18/3.26 c set SIS iterations to 5
3.18/3.26 c set SIS budget abs to 1000
3.18/3.26 c set SIS budget rel to 0.05
3.18/3.26 c limit for coefficient in constraints and objective to 9223372036854775807
3.18/3.26 c will solve HOME/instance-4431822-1721092151.opb
3.18/3.26 c [0.02] solve iteration 1, LB=0, UB=474
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: 64059 MiB (62405 MiB free)
memory of node 1: 64510 MiB (63277 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431822-1721092151/watcher-4431822-1721092151 -o /tmp/evaluation-result-4431822-1721092151/solver-4431822-1721092151 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721092164-821239 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4431822-1721092151.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=821266, runsolver pid=821263
[startup+0.100863 s]*
/proc/loadavg: 3.76 4.04 4.08 5/232 821267
/proc/meminfo: memFree=128676104/131655788 swapFree=131071996/131071996
[pid=821266] ppid=821263 vsize=38656 memory=20184 CPUtime=0.1 cores=5,7
/proc/821266/stat : 821266 (ipbhs_static_sc) R 821263 821266 821226 0 -1 4194304 2520 0 0 0 8 2 0 0 20 0 1 0 161371800 39583744 5046 134679101440 4194304 16068861 140728277071312 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 36331520 140728277074982 140728277075069 140728277075069 140728277082084 0
/proc/821266/statm: 9664 5046 2879 2900 0 6178 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 38656 KiB
Current children cumulated memory: 20184 KiB
[startup+0.213481 s]*
/proc/loadavg: 3.76 4.04 4.08 5/226 821267
/proc/meminfo: memFree=128694636/131655788 swapFree=131071996/131071996
[pid=821266] ppid=821263 vsize=38896 memory=20468 CPUtime=0.21 cores=5,7
/proc/821266/stat : 821266 (ipbhs_static_sc) R 821263 821266 821226 0 -1 4194304 2588 0 0 0 19 2 0 0 20 0 1 0 161371800 39829504 5117 134679101440 4194304 16068861 140728277071312 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 36331520 140728277074982 140728277075069 140728277075069 140728277082084 0
/proc/821266/statm: 9724 5117 2879 2900 0 6238 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 38896 KiB
Current children cumulated memory: 20468 KiB
[startup+0.31278 s]*
/proc/loadavg: 3.76 4.04 4.08 5/228 821270
/proc/meminfo: memFree=128561736/131655788 swapFree=131071996/131071996
[pid=821266] ppid=821263 vsize=38896 memory=20468 CPUtime=0.31 cores=5,7
/proc/821266/stat : 821266 (ipbhs_static_sc) R 821263 821266 821226 0 -1 4194304 2589 0 0 0 29 2 0 0 20 0 1 0 161371800 39829504 5117 134679101440 4194304 16068861 140728277071312 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 36331520 140728277074982 140728277075069 140728277075069 140728277082084 0
/proc/821266/statm: 9724 5117 2879 2900 0 6238 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 38896 KiB
Current children cumulated memory: 20468 KiB
[startup+0.700264 s]
/proc/loadavg: 3.76 4.04 4.08 5/226 821270
/proc/meminfo: memFree=128530080/131655788 swapFree=131071996/131071996
[pid=821266] ppid=821263 vsize=39224 memory=20468 CPUtime=0.68 cores=5,7
/proc/821266/stat : 821266 (ipbhs_static_sc) R 821263 821266 821226 0 -1 4194304 2642 0 0 0 66 2 0 0 20 0 1 0 161371800 40165376 5117 134679101440 4194304 16068861 140728277071312 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 36331520 140728277074982 140728277075069 140728277075069 140728277082084 0
/proc/821266/statm: 9806 5117 2879 2900 0 6320 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 39224 KiB
Current children cumulated memory: 20468 KiB
[startup+1.50028 s]
/proc/loadavg: 3.76 4.04 4.08 5/244 821302
/proc/meminfo: memFree=128463848/131655788 swapFree=131071996/131071996
[pid=821266] ppid=821263 vsize=49968 memory=30580 CPUtime=1.48 cores=5,7
/proc/821266/stat : 821266 (ipbhs_static_sc) R 821263 821266 821226 0 -1 4194304 5168 0 0 0 145 3 0 0 20 0 1 0 161371800 51167232 7645 134679101440 4194304 16068861 140728277071312 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 36331520 140728277074982 140728277075069 140728277075069 140728277082084 0
/proc/821266/statm: 12492 7645 2911 2900 0 9006 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 49968 KiB
Current children cumulated memory: 30580 KiB
[startup+3.11282 s]
/proc/loadavg: 3.76 4.04 4.08 5/244 821302
/proc/meminfo: memFree=127923520/131655788 swapFree=131071996/131071996
[pid=821266] ppid=821263 vsize=79820 memory=59356 CPUtime=3.09 cores=5,7
/proc/821266/stat : 821266 (ipbhs_static_sc) R 821263 821266 821226 0 -1 4194304 12402 0 0 0 305 4 0 0 20 0 1 0 161371800 81735680 14839 134679101440 4194304 16068861 140728277071312 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 36331520 140728277074982 140728277075069 140728277075069 140728277082084 0
/proc/821266/statm: 19955 14839 2911 2900 0 16469 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 79820 KiB
Current children cumulated memory: 59356 KiB
[startup+6.30034 s]
/proc/loadavg: 3.86 4.06 4.09 5/244 821302
/proc/meminfo: memFree=125229824/131655788 swapFree=131071996/131071996
[pid=821266] ppid=821263 vsize=83524 memory=62928 CPUtime=6.27 cores=5,7
/proc/821266/stat : 821266 (ipbhs_static_sc) R 821263 821266 821226 0 -1 4194304 13368 0 0 0 623 4 0 0 20 0 1 0 161371800 85528576 15732 134679101440 4194304 16068861 140728277071312 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 36331520 140728277074982 140728277075069 140728277075069 140728277082084 0
/proc/821266/statm: 20881 15732 2911 2900 0 17395 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 83524 KiB
Current children cumulated memory: 62928 KiB
[startup+12.7003 s]
/proc/loadavg: 3.87 4.06 4.09 5/244 821303
/proc/meminfo: memFree=120737248/131655788 swapFree=131071996/131071996
[pid=821266] ppid=821263 vsize=83524 memory=62928 CPUtime=12.65 cores=5,7
/proc/821266/stat : 821266 (ipbhs_static_sc) R 821263 821266 821226 0 -1 4194304 13369 0 0 0 1261 4 0 0 20 0 1 0 161371800 85528576 15732 134679101440 4194304 16068861 140728277071312 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 36331520 140728277074982 140728277075069 140728277075069 140728277082084 0
/proc/821266/statm: 20881 15732 2911 2900 0 17395 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 83524 KiB
Current children cumulated memory: 62928 KiB
[startup+25.5004 s]
/proc/loadavg: 3.90 4.05 4.08 5/244 821305
/proc/meminfo: memFree=117909552/131655788 swapFree=131071996/131071996
[pid=821266] ppid=821263 vsize=96424 memory=78340 CPUtime=25.39 cores=5,7
/proc/821266/stat : 821266 (ipbhs_static_sc) R 821263 821266 821226 0 -1 4194304 17791 0 0 0 2534 5 0 0 20 0 1 0 161371800 98738176 19585 134679101440 4194304 16068861 140728277071312 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 36331520 140728277074982 140728277075069 140728277075069 140728277082084 0
/proc/821266/statm: 24106 19585 2911 2900 0 20620 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 96424 KiB
Current children cumulated memory: 78340 KiB
[startup+51.1128 s]
/proc/loadavg: 4.02 4.07 4.09 5/244 821310
/proc/meminfo: memFree=111187652/131655788 swapFree=131071996/131071996
[pid=821266] ppid=821263 vsize=108964 memory=91772 CPUtime=50.92 cores=5,7
/proc/821266/stat : 821266 (ipbhs_static_sc) R 821263 821266 821226 0 -1 4194304 21144 0 0 0 5086 6 0 0 20 0 1 0 161371800 111579136 22943 134679101440 4194304 16068861 140728277071312 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 36331520 140728277074982 140728277075069 140728277075069 140728277082084 0
/proc/821266/statm: 27241 22943 2911 2900 0 23755 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 108964 KiB
Current children cumulated memory: 91772 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.07 4.09 5/246 821322
/proc/meminfo: memFree=111149856/131655788 swapFree=131071996/131071996
[pid=821266] ppid=821263 vsize=112656 memory=100120 CPUtime=101.96 cores=5,7
/proc/821266/stat : 821266 (ipbhs_static_sc) R 821263 821266 821226 0 -1 4194304 22188 0 0 0 10190 6 0 0 20 0 1 0 161371800 115359744 25030 134679101440 4194304 16068861 140728277071312 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 36331520 140728277074982 140728277075069 140728277075069 140728277082084 0
/proc/821266/statm: 28164 25030 2911 2900 0 24678 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 112656 KiB
Current children cumulated memory: 100120 KiB
[startup+162.3 s]
/proc/loadavg: 4.19 4.10 4.10 5/246 821332
/proc/meminfo: memFree=110831728/131655788 swapFree=131071996/131071996
[pid=821266] ppid=821263 vsize=132304 memory=119324 CPUtime=161.79 cores=5,7
/proc/821266/stat : 821266 (ipbhs_static_sc) R 821263 821266 821226 0 -1 4194304 27525 0 0 0 16172 7 0 0 20 0 1 0 161371800 135479296 29831 134679101440 4194304 16068861 140728277071312 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 36331520 140728277074982 140728277075069 140728277075069 140728277082084 0
/proc/821266/statm: 33076 29831 2911 2900 0 29590 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 132304 KiB
Current children cumulated memory: 119324 KiB
[startup+222.3 s]
/proc/loadavg: 4.29 4.15 4.11 5/246 821343
/proc/meminfo: memFree=110782668/131655788 swapFree=131071996/131071996
[pid=821266] ppid=821263 vsize=141996 memory=128856 CPUtime=221.62 cores=5,7
/proc/821266/stat : 821266 (ipbhs_static_sc) R 821263 821266 821226 0 -1 4194304 30007 0 0 0 22153 9 0 0 20 0 1 0 161371800 145403904 32214 134679101440 4194304 16068861 140728277071312 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 36331520 140728277074982 140728277075069 140728277075069 140728277082084 0
/proc/821266/statm: 35499 32214 2911 2900 0 32013 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 141996 KiB
Current children cumulated memory: 128856 KiB
[startup+282.3 s]
/proc/loadavg: 4.17 4.14 4.11 5/246 821353
/proc/meminfo: memFree=110685284/131655788 swapFree=131071996/131071996
[pid=821266] ppid=821263 vsize=153320 memory=139264 CPUtime=281.46 cores=5,7
/proc/821266/stat : 821266 (ipbhs_static_sc) R 821263 821266 821226 0 -1 4194304 32653 0 0 0 28135 11 0 0 20 0 1 0 161371800 156999680 34816 134679101440 4194304 16068861 140728277071312 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 36331520 140728277074982 140728277075069 140728277075069 140728277082084 0
/proc/821266/statm: 38330 34816 2911 2900 0 34844 0
Current children cumulated CPU time: 281.46 s
Current children cumulated vsize: 153320 KiB
Current children cumulated memory: 139264 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.13 4.10 5/245 821364
/proc/meminfo: memFree=110681404/131655788 swapFree=131071996/131071996
[pid=821266] ppid=821263 vsize=156372 memory=142896 CPUtime=341.28 cores=5,7
/proc/821266/stat : 821266 (ipbhs_static_sc) R 821263 821266 821226 0 -1 4194304 33550 0 0 0 34117 11 0 0 20 0 1 0 161371800 160124928 35724 134679101440 4194304 16068861 140728277071312 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 36331520 140728277074982 140728277075069 140728277075069 140728277082084 0
/proc/821266/statm: 39093 35724 2911 2900 0 35607 0
Current children cumulated CPU time: 341.28 s
Current children cumulated vsize: 156372 KiB
Current children cumulated memory: 142896 KiB
[startup+402.3 s]
/proc/loadavg: 4.19 4.15 4.11 5/243 821375
/proc/meminfo: memFree=110669892/131655788 swapFree=131071996/131071996
[pid=821266] ppid=821263 vsize=156848 memory=143868 CPUtime=401.1 cores=5,7
/proc/821266/stat : 821266 (ipbhs_static_sc) R 821263 821266 821226 0 -1 4194304 33830 0 0 0 40098 12 0 0 20 0 1 0 161371800 160612352 35967 134679101440 4194304 16068861 140728277071312 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 36331520 140728277074982 140728277075069 140728277075069 140728277082084 0
/proc/821266/statm: 39212 35967 2911 2900 0 35726 0
Current children cumulated CPU time: 401.1 s
Current children cumulated vsize: 156848 KiB
Current children cumulated memory: 143868 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.14 4.10 5/243 821385
/proc/meminfo: memFree=110629932/131655788 swapFree=131071996/131071996
[pid=821266] ppid=821263 vsize=165472 memory=152092 CPUtime=460.93 cores=5,7
/proc/821266/stat : 821266 (ipbhs_static_sc) R 821263 821266 821226 0 -1 4194304 35914 0 0 0 46080 13 0 0 20 0 1 0 161371800 169443328 38023 134679101440 4194304 16068861 140728277071312 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 36331520 140728277074982 140728277075069 140728277075069 140728277082084 0
/proc/821266/statm: 41368 38023 2911 2900 0 37882 0
################
# More data... #
################
Current children cumulated memory: 269060 KiB
[startup+2922.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/244 822837
/proc/meminfo: memFree=108709384/131655788 swapFree=131071996/131071996
[pid=821266] ppid=821263 vsize=284492 memory=269124 CPUtime=2913.85 cores=5,7
/proc/821266/stat : 821266 (ipbhs_static_sc) R 821263 821266 821226 0 -1 4194304 66770 0 0 0 291348 37 0 0 20 0 1 0 161371800 291319808 67281 134679101440 4194304 16068861 140728277071312 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 36331520 140728277074982 140728277075069 140728277075069 140728277082084 0
/proc/821266/statm: 71123 67281 2911 2900 0 67637 0
Current children cumulated CPU time: 2913.85 s
Current children cumulated vsize: 284492 KiB
Current children cumulated memory: 269124 KiB
[startup+2982.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/245 823017
/proc/meminfo: memFree=108694372/131655788 swapFree=131071996/131071996
[pid=821266] ppid=821263 vsize=296816 memory=281632 CPUtime=2973.67 cores=5,7
/proc/821266/stat : 821266 (ipbhs_static_sc) R 821263 821266 821226 0 -1 4194304 69970 0 0 0 297330 37 0 0 20 0 1 0 161371800 303939584 70408 134679101440 4194304 16068861 140728277071312 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 36331520 140728277074982 140728277075069 140728277075069 140728277082084 0
/proc/821266/statm: 74204 70408 2911 2900 0 70718 0
Current children cumulated CPU time: 2973.67 s
Current children cumulated vsize: 296816 KiB
Current children cumulated memory: 281632 KiB
[startup+3042.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/245 823027
/proc/meminfo: memFree=108688248/131655788 swapFree=131071996/131071996
[pid=821266] ppid=821263 vsize=300692 memory=285080 CPUtime=3033.51 cores=5,7
/proc/821266/stat : 821266 (ipbhs_static_sc) R 821263 821266 821226 0 -1 4194304 70865 0 0 0 303313 38 0 0 20 0 1 0 161371800 307908608 71270 134679101440 4194304 16068861 140728277071312 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 36331520 140728277074982 140728277075069 140728277075069 140728277082084 0
/proc/821266/statm: 75173 71270 2911 2900 0 71687 0
Current children cumulated CPU time: 3033.51 s
Current children cumulated vsize: 300692 KiB
Current children cumulated memory: 285080 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/245 823051
/proc/meminfo: memFree=108684192/131655788 swapFree=131071996/131071996
[pid=821266] ppid=821263 vsize=300692 memory=285096 CPUtime=3093.34 cores=5,7
/proc/821266/stat : 821266 (ipbhs_static_sc) R 821263 821266 821226 0 -1 4194304 70925 0 0 0 309296 38 0 0 20 0 1 0 161371800 307908608 71274 134679101440 4194304 16068861 140728277071312 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 36331520 140728277074982 140728277075069 140728277075069 140728277082084 0
/proc/821266/statm: 75173 71274 2911 2900 0 71687 0
Current children cumulated CPU time: 3093.34 s
Current children cumulated vsize: 300692 KiB
Current children cumulated memory: 285096 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/245 823061
/proc/meminfo: memFree=108503832/131655788 swapFree=131071996/131071996
[pid=821266] ppid=821263 vsize=301068 memory=285720 CPUtime=3153.17 cores=5,7
/proc/821266/stat : 821266 (ipbhs_static_sc) R 821263 821266 821226 0 -1 4194304 71139 0 0 0 315278 39 0 0 20 0 1 0 161371800 308293632 71430 134679101440 4194304 16068861 140728277071312 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 36331520 140728277074982 140728277075069 140728277075069 140728277082084 0
/proc/821266/statm: 75267 71430 2911 2900 0 71781 0
Current children cumulated CPU time: 3153.17 s
Current children cumulated vsize: 301068 KiB
Current children cumulated memory: 285720 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/245 823073
/proc/meminfo: memFree=108502340/131655788 swapFree=131071996/131071996
[pid=821266] ppid=821263 vsize=301240 memory=285948 CPUtime=3212.99 cores=5,7
/proc/821266/stat : 821266 (ipbhs_static_sc) R 821263 821266 821226 0 -1 4194304 71251 0 0 0 321260 39 0 0 20 0 1 0 161371800 308469760 71487 134679101440 4194304 16068861 140728277071312 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 36331520 140728277074982 140728277075069 140728277075069 140728277082084 0
/proc/821266/statm: 75310 71487 2911 2900 0 71824 0
Current children cumulated CPU time: 3212.99 s
Current children cumulated vsize: 301240 KiB
Current children cumulated memory: 285948 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/244 823083
/proc/meminfo: memFree=108501972/131655788 swapFree=131071996/131071996
[pid=821266] ppid=821263 vsize=301240 memory=285964 CPUtime=3272.83 cores=5,7
/proc/821266/stat : 821266 (ipbhs_static_sc) R 821263 821266 821226 0 -1 4194304 71309 0 0 0 327243 40 0 0 20 0 1 0 161371800 308469760 71491 134679101440 4194304 16068861 140728277071312 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 36331520 140728277074982 140728277075069 140728277075069 140728277082084 0
/proc/821266/statm: 75310 71491 2911 2900 0 71824 0
Current children cumulated CPU time: 3272.83 s
Current children cumulated vsize: 301240 KiB
Current children cumulated memory: 285964 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/244 823094
/proc/meminfo: memFree=108501764/131655788 swapFree=131071996/131071996
[pid=821266] ppid=821263 vsize=301240 memory=285964 CPUtime=3332.65 cores=5,7
/proc/821266/stat : 821266 (ipbhs_static_sc) R 821263 821266 821226 0 -1 4194304 71367 0 0 0 333225 40 0 0 20 0 1 0 161371800 308469760 71491 134679101440 4194304 16068861 140728277071312 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 36331520 140728277074982 140728277075069 140728277075069 140728277082084 0
/proc/821266/statm: 75310 71491 2911 2900 0 71824 0
Current children cumulated CPU time: 3332.65 s
Current children cumulated vsize: 301240 KiB
Current children cumulated memory: 285964 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/242 823105
/proc/meminfo: memFree=108499368/131655788 swapFree=131071996/131071996
[pid=821266] ppid=821263 vsize=303776 memory=287980 CPUtime=3392.48 cores=5,7
/proc/821266/stat : 821266 (ipbhs_static_sc) R 821263 821266 821226 0 -1 4194304 71948 0 0 0 339208 40 0 0 20 0 1 0 161371800 311066624 71995 134679101440 4194304 16068861 140728277071312 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 36331520 140728277074982 140728277075069 140728277075069 140728277082084 0
/proc/821266/statm: 75944 71995 2911 2900 0 72458 0
Current children cumulated CPU time: 3392.48 s
Current children cumulated vsize: 303776 KiB
Current children cumulated memory: 287980 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/245 823120
/proc/meminfo: memFree=108496000/131655788 swapFree=131071996/131071996
[pid=821266] ppid=821263 vsize=303776 memory=288548 CPUtime=3452.31 cores=5,7
/proc/821266/stat : 821266 (ipbhs_static_sc) R 821263 821266 821226 0 -1 4194304 72127 0 0 0 345190 41 0 0 20 0 1 0 161371800 311066624 72137 134679101440 4194304 16068861 140728277071312 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 36331520 140728277074982 140728277075069 140728277075069 140728277082084 0
/proc/821266/statm: 75944 72137 2911 2900 0 72458 0
Current children cumulated CPU time: 3452.31 s
Current children cumulated vsize: 303776 KiB
Current children cumulated memory: 288548 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/245 823130
/proc/meminfo: memFree=108304420/131655788 swapFree=131071996/131071996
[pid=821266] ppid=821263 vsize=308076 memory=292032 CPUtime=3512.13 cores=5,7
/proc/821266/stat : 821266 (ipbhs_static_sc) R 821263 821266 821226 0 -1 4194304 73075 0 0 0 351172 41 0 0 20 0 1 0 161371800 315469824 73008 134679101440 4194304 16068861 140728277071312 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 36331520 140728277074982 140728277075069 140728277075069 140728277082084 0
/proc/821266/statm: 77019 73008 2911 2900 0 73533 0
Current children cumulated CPU time: 3512.13 s
Current children cumulated vsize: 308076 KiB
Current children cumulated memory: 292032 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/245 823141
/proc/meminfo: memFree=108174820/131655788 swapFree=131071996/131071996
[pid=821266] ppid=821263 vsize=308076 memory=292156 CPUtime=3571.96 cores=5,7
/proc/821266/stat : 821266 (ipbhs_static_sc) R 821263 821266 821226 0 -1 4194304 73141 0 0 0 357155 41 0 0 20 0 1 0 161371800 315469824 73039 134679101440 4194304 16068861 140728277071312 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 36331520 140728277074982 140728277075069 140728277075069 140728277082084 0
/proc/821266/statm: 77019 73039 2911 2900 0 73533 0
Current children cumulated CPU time: 3571.96 s
Current children cumulated vsize: 308076 KiB
Current children cumulated memory: 292156 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.5 s]
/proc/loadavg: 4.10 4.11 4.09 5/245 823145
/proc/meminfo: memFree=108170228/131655788 swapFree=131071996/131071996
[pid=821266] ppid=821263 vsize=312688 memory=296964 CPUtime=3600.08 cores=5,7
/proc/821266/stat : 821266 (ipbhs_static_sc) R 821263 821266 821226 0 -1 4194304 74346 0 0 0 359967 41 0 0 20 0 1 0 161371800 320192512 74241 134679101440 4194304 16068861 140728277071312 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 36331520 140728277074982 140728277075069 140728277075069 140728277082084 0
/proc/821266/statm: 78172 74241 2911 2900 0 74686 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 312688 KiB
Current children cumulated memory: 296964 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.51 s]
# the end of solver process 821266 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3599.67 s, system=0.427939 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.5 s]
/proc/loadavg: 4.10 4.11 4.09 5/245 823145
/proc/meminfo: memFree=108170228/131655788 swapFree=131071996/131071996
[pid=821266] ppid=821263 vsize=312688 memory=296964 CPUtime=3600.08 cores=5,7
/proc/821266/stat : 821266 (ipbhs_static_sc) R 821263 821266 821226 0 -1 4194304 74346 0 0 0 359967 41 0 0 20 0 1 0 161371800 320192512 74241 134679101440 4194304 16068861 140728277071312 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18370176 18462544 36331520 140728277074982 140728277075069 140728277075069 140728277082084 0
/proc/821266/statm: 78172 74241 2911 2900 0 74686 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 312688 KiB
Current children cumulated memory: 296964 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3610.51
CPU time (s): 3600.1
CPU user time (s): 3599.67
CPU system time (s): 0.427939
CPU usage (%): 99.7117
Max. virtual memory (cumulated for all children) (KiB): 312688
Max. memory (cumulated for all children) (KiB): 296964
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.67
system time used= 0.427939
maximum resident set size= 296984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74346
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= 17
involuntary context switches= 2599
# summary of solver processes directly reported to runsolver:
# pid: 821266
# total CPU time (s): 3600.1
# total CPU user time (s): 3599.67
# total CPU system time (s): 0.427939
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.5545 second user time and 36.2853 second system time
The end
Begin job on nodeC007 at 2024-07-16 03:09:24
IDJOB=4431822
IDBENCH=147549
IDSOLVER=3057
FILE ID=nodeC007/4431822-1721092151
RUNJOBID= nodeC007-1721092164-821239
SLURM_JOB_ID= 7505588
Free space on /tmp= 723784 MiB
SOLVER NAME= IPBHS-SCIP 2024-07-09
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_11.opb.PB06.opb
COMMAND LINE= ./ipbhs_static_scip BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431822-1721092151/watcher-4431822-1721092151 -o /tmp/evaluation-result-4431822-1721092151/solver-4431822-1721092151 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721092164-821239 --watchdog 3760 ./ipbhs_static_scip HOME/instance-4431822-1721092151.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 0daa95194506fa379fbbdb25b381edfb
RANDOM SEED=1343467761
nodeC007.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 : 0xb00001f
cpu MHz : 1197.131
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.25
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 : 0xb00001f
cpu MHz : 1206.052
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.30
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 : 0xb00001f
cpu MHz : 1197.199
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.25
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 : 0xb00001f
cpu MHz : 1197.170
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.30
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 : 0xb00001f
cpu MHz : 1197.130
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.25
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 : 0xb00001f
cpu MHz : 3481.644
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.30
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 : 0xb00001f
cpu MHz : 1197.882
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.25
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 : 0xb00001f
cpu MHz : 1197.135
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 128704640 kB
MemAvailable: 129916740 kB
Buffers: 392004 kB
Cached: 1652172 kB
SwapCached: 0 kB
Active: 691912 kB
Inactive: 1713480 kB
Active(anon): 1404 kB
Inactive(anon): 397872 kB
Active(file): 690508 kB
Inactive(file): 1315608 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 79512 kB
Writeback: 0 kB
AnonPages: 361780 kB
Mapped: 103696 kB
Shmem: 37704 kB
KReclaimable: 92032 kB
Slab: 188000 kB
SReclaimable: 92032 kB
SUnreclaim: 95968 kB
KernelStack: 3664 kB
PageTables: 9140 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 804700 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 51552 kB
HardwareCorrupted: 0 kB
AnonHugePages: 208896 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 248648 kB
DirectMap2M: 22724608 kB
DirectMap1G: 113246208 kB
Free space on /tmp at the end= 723524 MiB
End job on nodeC007 at 2024-07-16 04:09:35