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 (53053 MiB free)
memory of node 1: 64510 MiB (62454 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4463268-1722348263/watcher-4463268-1722348263 -o /tmp/evaluation-result-4463268-1722348263/solver-4463268-1722348263 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1722340763-6758 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463268-1722348263 --lp-cut-gomory=0 HOME/instance-4463268-1722348263.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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
solver pid=11997, runsolver pid=11994
Current StackSize limit: 8192 KiB
Starting watchdog thread
[startup+0.100091 s]*
/proc/loadavg: 4.22 4.16 4.15 5/261 11998
/proc/meminfo: memFree=118274508/131524600 swapFree=131071996/131071996
[pid=11997] ppid=11994 vsize=40360 memory=10628 CPUtime=0.09 cores=4,6
/proc/11997/stat : 11997 (roundingsat) R 11994 11997 6746 0 -1 4194304 1126 0 0 0 9 0 0 0 20 0 1 0 1421855 41328640 2657 134679101440 4194304 8255733 140729959889232 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 11145216 140729959891806 140729959892068 140729959892068 140729959899081 0
/proc/11997/statm: 10090 2657 1825 992 0 1948 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 40360 KiB
Current children cumulated memory: 10628 KiB
[startup+0.206122 s]*
/proc/loadavg: 4.22 4.16 4.15 5/261 11998
/proc/meminfo: memFree=118270424/131524600 swapFree=131071996/131071996
[pid=11997] ppid=11994 vsize=40760 memory=13828 CPUtime=0.2 cores=4,6
/proc/11997/stat : 11997 (roundingsat) R 11994 11997 6746 0 -1 4194304 1292 0 0 0 19 1 0 0 20 0 1 0 1421855 41738240 3457 134679101440 4194304 8255733 140729959889232 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 11145216 140729959891806 140729959892068 140729959892068 140729959899081 0
/proc/11997/statm: 10190 3457 1923 992 0 2048 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40760 KiB
Current children cumulated memory: 13828 KiB
[startup+0.306009 s]*
/proc/loadavg: 4.22 4.16 4.15 5/261 11998
/proc/meminfo: memFree=118267936/131524600 swapFree=131071996/131071996
[pid=11997] ppid=11994 vsize=41996 memory=14884 CPUtime=0.3 cores=4,6
/proc/11997/stat : 11997 (roundingsat) R 11994 11997 6746 0 -1 4194304 1584 0 0 0 29 1 0 0 20 0 1 0 1421855 43003904 3721 134679101440 4194304 8255733 140729959889232 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 11145216 140729959891806 140729959892068 140729959892068 140729959899081 0
/proc/11997/statm: 10499 3721 1923 992 0 2357 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 41996 KiB
Current children cumulated memory: 14884 KiB
[startup+0.700224 s]
/proc/loadavg: 4.22 4.16 4.15 5/261 11998
/proc/meminfo: memFree=118265444/131524600 swapFree=131071996/131071996
[pid=11997] ppid=11994 vsize=42960 memory=15940 CPUtime=0.68 cores=4,6
/proc/11997/stat : 11997 (roundingsat) R 11994 11997 6746 0 -1 4194304 1828 0 0 0 66 2 0 0 20 0 1 0 1421855 43991040 3985 134679101440 4194304 8255733 140729959889232 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 11145216 140729959891806 140729959892068 140729959892068 140729959899081 0
/proc/11997/statm: 10740 3985 1923 992 0 2598 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 42960 KiB
Current children cumulated memory: 15940 KiB
[startup+1.50022 s]
/proc/loadavg: 4.22 4.16 4.15 5/261 11998
/proc/meminfo: memFree=118258688/131524600 swapFree=131071996/131071996
[pid=11997] ppid=11994 vsize=44640 memory=18296 CPUtime=1.48 cores=4,6
/proc/11997/stat : 11997 (roundingsat) R 11994 11997 6746 0 -1 4194304 2483 0 0 0 144 4 0 0 20 0 1 0 1421855 45711360 4574 134679101440 4194304 8255733 140729959889232 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 11145216 140729959891806 140729959892068 140729959892068 140729959899081 0
/proc/11997/statm: 11160 4574 1923 992 0 3018 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 44640 KiB
Current children cumulated memory: 18296 KiB
[startup+3.10601 s]
/proc/loadavg: 4.22 4.16 4.15 5/261 11998
/proc/meminfo: memFree=118238776/131524600 swapFree=131071996/131071996
[pid=11997] ppid=11994 vsize=50220 memory=22612 CPUtime=3.09 cores=4,6
/proc/11997/stat : 11997 (roundingsat) R 11994 11997 6746 0 -1 4194304 3548 0 0 0 303 6 0 0 20 0 1 0 1421855 51425280 5653 134679101440 4194304 8255733 140729959889232 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 11145216 140729959891806 140729959892068 140729959892068 140729959899081 0
/proc/11997/statm: 12555 5653 1938 992 0 4413 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 50220 KiB
Current children cumulated memory: 22612 KiB
[startup+6.30021 s]
/proc/loadavg: 4.20 4.16 4.15 5/261 11999
/proc/meminfo: memFree=118219200/131524600 swapFree=131071996/131071996
[pid=11997] ppid=11994 vsize=52220 memory=26044 CPUtime=6.27 cores=4,6
/proc/11997/stat : 11997 (roundingsat) R 11994 11997 6746 0 -1 4194304 4429 0 0 0 618 9 0 0 20 0 1 0 1421855 53473280 6511 134679101440 4194304 8255733 140729959889232 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 11145216 140729959891806 140729959892068 140729959892068 140729959899081 0
/proc/11997/statm: 13055 6511 1938 992 0 4913 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 52220 KiB
Current children cumulated memory: 26044 KiB
[startup+12.7002 s]
/proc/loadavg: 4.18 4.15 4.14 5/261 11999
/proc/meminfo: memFree=118181484/131524600 swapFree=131071996/131071996
[pid=11997] ppid=11994 vsize=57832 memory=28308 CPUtime=12.65 cores=4,6
/proc/11997/stat : 11997 (roundingsat) R 11994 11997 6746 0 -1 4194304 4983 0 0 0 1251 14 0 0 20 0 1 0 1421855 59219968 7077 134679101440 4194304 8255733 140729959889232 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 11145216 140729959891806 140729959892068 140729959892068 140729959899081 0
/proc/11997/statm: 14458 7077 1938 992 0 6316 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 57832 KiB
Current children cumulated memory: 28308 KiB
[startup+25.5002 s]
/proc/loadavg: 4.22 4.16 4.15 6/261 12047
/proc/meminfo: memFree=127768160/131524600 swapFree=131071996/131071996
[pid=11997] ppid=11994 vsize=65612 memory=39052 CPUtime=25.42 cores=4,6
/proc/11997/stat : 11997 (roundingsat) R 11994 11997 6746 0 -1 4194304 7146 0 0 0 2523 19 0 0 20 0 1 0 1421855 67186688 9763 134679101440 4194304 8255733 140729959889232 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 11145216 140729959891806 140729959892068 140729959892068 140729959899081 0
/proc/11997/statm: 16403 9763 1938 992 0 8261 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 65612 KiB
Current children cumulated memory: 39052 KiB
[startup+51.1059 s]
/proc/loadavg: 4.14 4.15 4.14 5/261 12052
/proc/meminfo: memFree=127547656/131524600 swapFree=131071996/131071996
[pid=11997] ppid=11994 vsize=75204 memory=43264 CPUtime=50.96 cores=4,6
/proc/11997/stat : 11997 (roundingsat) R 11994 11997 6746 0 -1 4194304 8221 0 0 0 5065 31 0 0 20 0 1 0 1421855 77008896 10816 134679101440 4194304 8255733 140729959889232 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 11145216 140729959891806 140729959892068 140729959892068 140729959899081 0
/proc/11997/statm: 18801 10816 1938 992 0 10659 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 75204 KiB
Current children cumulated memory: 43264 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.14 4.14 5/257 12061
/proc/meminfo: memFree=127197692/131524600 swapFree=131071996/131071996
[pid=11997] ppid=11994 vsize=102960 memory=67512 CPUtime=102.02 cores=4,6
/proc/11997/stat : 11997 (roundingsat) R 11994 11997 6746 0 -1 4194304 11702 0 0 0 10157 45 0 0 20 0 1 0 1421855 105431040 16878 134679101440 4194304 8255733 140729959889232 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 11145216 140729959891806 140729959892068 140729959892068 140729959899081 0
/proc/11997/statm: 25740 16878 1938 992 0 17598 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 102960 KiB
Current children cumulated memory: 67512 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.14 4.14 5/257 12071
/proc/meminfo: memFree=126657740/131524600 swapFree=131071996/131071996
[pid=11997] ppid=11994 vsize=107076 memory=74964 CPUtime=161.88 cores=4,6
/proc/11997/stat : 11997 (roundingsat) R 11994 11997 6746 0 -1 4194304 12551 0 0 0 16134 54 0 0 20 0 1 0 1421855 109645824 18741 134679101440 4194304 8255733 140729959889232 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 11145216 140729959891806 140729959892068 140729959892068 140729959899081 0
/proc/11997/statm: 26769 18741 1938 992 0 18627 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 107076 KiB
Current children cumulated memory: 74964 KiB
[startup+222.3 s]
/proc/loadavg: 4.05 4.11 4.13 5/257 12083
/proc/meminfo: memFree=126170052/131524600 swapFree=131071996/131071996
[pid=11997] ppid=11994 vsize=117528 memory=84060 CPUtime=221.74 cores=4,6
/proc/11997/stat : 11997 (roundingsat) R 11994 11997 6746 0 -1 4194304 14891 0 0 0 22107 67 0 0 20 0 1 0 1421855 120348672 21015 134679101440 4194304 8255733 140729959889232 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 11145216 140729959891806 140729959892068 140729959892068 140729959899081 0
/proc/11997/statm: 29382 21015 1938 992 0 21240 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 117528 KiB
Current children cumulated memory: 84060 KiB
[startup+282.3 s]
/proc/loadavg: 4.21 4.14 4.13 5/257 12094
/proc/meminfo: memFree=125779972/131524600 swapFree=131071996/131071996
[pid=11997] ppid=11994 vsize=141220 memory=94932 CPUtime=281.59 cores=4,6
/proc/11997/stat : 11997 (roundingsat) R 11994 11997 6746 0 -1 4194304 16628 0 0 0 28083 76 0 0 20 0 1 0 1421855 144609280 23733 134679101440 4194304 8255733 140729959889232 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 11145216 140729959891806 140729959892068 140729959892068 140729959899081 0
/proc/11997/statm: 35305 23733 1938 992 0 27163 0
Current children cumulated CPU time: 281.59 s
Current children cumulated vsize: 141220 KiB
Current children cumulated memory: 94932 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 4.13 4.13 5/257 12104
/proc/meminfo: memFree=125594412/131524600 swapFree=131071996/131071996
[pid=11997] ppid=11994 vsize=151796 memory=108896 CPUtime=341.43 cores=4,6
/proc/11997/stat : 11997 (roundingsat) R 11994 11997 6746 0 -1 4194304 18571 0 0 0 34061 82 0 0 20 0 1 0 1421855 155439104 27224 134679101440 4194304 8255733 140729959889232 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 11145216 140729959891806 140729959892068 140729959892068 140729959899081 0
/proc/11997/statm: 37949 27224 1938 992 0 29807 0
Current children cumulated CPU time: 341.43 s
Current children cumulated vsize: 151796 KiB
Current children cumulated memory: 108896 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.12 4.12 5/259 12121
/proc/meminfo: memFree=125367640/131524600 swapFree=131071996/131071996
[pid=11997] ppid=11994 vsize=157572 memory=118168 CPUtime=401.27 cores=4,6
/proc/11997/stat : 11997 (roundingsat) R 11994 11997 6746 0 -1 4194304 19882 0 0 0 40040 87 0 0 20 0 1 0 1421855 161353728 29542 134679101440 4194304 8255733 140729959889232 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 11145216 140729959891806 140729959892068 140729959892068 140729959899081 0
/proc/11997/statm: 39393 29542 1938 992 0 31251 0
Current children cumulated CPU time: 401.27 s
Current children cumulated vsize: 157572 KiB
Current children cumulated memory: 118168 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.11 4.12 5/259 12134
/proc/meminfo: memFree=125164788/131524600 swapFree=131071996/131071996
[pid=11997] ppid=11994 vsize=158908 memory=122484 CPUtime=461.12 cores=4,6
/proc/11997/stat : 11997 (roundingsat) R 11994 11997 6746 0 -1 4194304 20492 0 0 0 46019 93 0 0 20 0 1 0 1421855 162721792 30621 134679101440 4194304 8255733 140729959889232 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 11145216 140729959891806 140729959892068 140729959892068 140729959899081 0
/proc/11997/statm: 39727 30621 1938 992 0 31585 0
################
# More data... #
################
Current children cumulated memory: 201328 KiB
[startup+2862.3 s]
/proc/loadavg: 3.12 3.10 3.25 4/253 13218
/proc/meminfo: memFree=121802608/131524600 swapFree=131071996/131071996
[pid=11997] ppid=11994 vsize=239344 memory=202320 CPUtime=2854.61 cores=4,6
/proc/11997/stat : 11997 (roundingsat) R 11994 11997 6746 0 -1 4194304 32817 0 0 0 285236 225 0 0 20 0 1 0 1421855 245088256 50580 134679101440 4194304 8255733 140729959889232 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 11145216 140729959891806 140729959892068 140729959892068 140729959899081 0
/proc/11997/statm: 59836 50580 1938 992 0 51694 0
Current children cumulated CPU time: 2854.61 s
Current children cumulated vsize: 239344 KiB
Current children cumulated memory: 202320 KiB
[startup+2922.3 s]
/proc/loadavg: 3.10 3.10 3.24 4/252 13228
/proc/meminfo: memFree=121690916/131524600 swapFree=131071996/131071996
[pid=11997] ppid=11994 vsize=241472 memory=205592 CPUtime=2914.44 cores=4,6
/proc/11997/stat : 11997 (roundingsat) R 11994 11997 6746 0 -1 4194304 33216 0 0 0 291217 227 0 0 20 0 1 0 1421855 247267328 51398 134679101440 4194304 8255733 140729959889232 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 11145216 140729959891806 140729959892068 140729959892068 140729959899081 0
/proc/11997/statm: 60368 51398 1938 992 0 52226 0
Current children cumulated CPU time: 2914.44 s
Current children cumulated vsize: 241472 KiB
Current children cumulated memory: 205592 KiB
[startup+2982.3 s]
/proc/loadavg: 3.08 3.09 3.23 4/252 13238
/proc/meminfo: memFree=121588096/131524600 swapFree=131071996/131071996
[pid=11997] ppid=11994 vsize=242496 memory=208300 CPUtime=2974.26 cores=4,6
/proc/11997/stat : 11997 (roundingsat) R 11994 11997 6746 0 -1 4194304 33478 0 0 0 297197 229 0 0 20 0 1 0 1421855 248315904 52075 134679101440 4194304 8255733 140729959889232 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 11145216 140729959891806 140729959892068 140729959892068 140729959899081 0
/proc/11997/statm: 60624 52075 1938 992 0 52482 0
Current children cumulated CPU time: 2974.26 s
Current children cumulated vsize: 242496 KiB
Current children cumulated memory: 208300 KiB
[startup+3042.3 s]
/proc/loadavg: 3.07 3.08 3.22 4/254 13251
/proc/meminfo: memFree=121493492/131524600 swapFree=131071996/131071996
[pid=11997] ppid=11994 vsize=244056 memory=209156 CPUtime=3033.67 cores=4,6
/proc/11997/stat : 11997 (roundingsat) R 11994 11997 6746 0 -1 4194304 33783 0 0 0 303135 232 0 0 20 0 1 0 1421855 249913344 52289 134679101440 4194304 8255733 140729959889232 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 11145216 140729959891806 140729959892068 140729959892068 140729959899081 0
/proc/11997/statm: 61014 52289 1938 992 0 52872 0
Current children cumulated CPU time: 3033.67 s
Current children cumulated vsize: 244056 KiB
Current children cumulated memory: 209156 KiB
[startup+3102.3 s]
/proc/loadavg: 3.15 3.11 3.22 4/254 13647
/proc/meminfo: memFree=121393020/131524600 swapFree=131071996/131071996
[pid=11997] ppid=11994 vsize=245080 memory=213896 CPUtime=3093.5 cores=4,6
/proc/11997/stat : 11997 (roundingsat) R 11994 11997 6746 0 -1 4194304 34022 0 0 0 309116 234 0 0 20 0 1 0 1421855 250961920 53474 134679101440 4194304 8255733 140729959889232 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 11145216 140729959891806 140729959892068 140729959892068 140729959899081 0
/proc/11997/statm: 61270 53474 1938 992 0 53128 0
Current children cumulated CPU time: 3093.5 s
Current children cumulated vsize: 245080 KiB
Current children cumulated memory: 213896 KiB
[startup+3162.3 s]
/proc/loadavg: 3.10 3.10 3.21 4/254 13656
/proc/meminfo: memFree=121296260/131524600 swapFree=131071996/131071996
[pid=11997] ppid=11994 vsize=246636 memory=214800 CPUtime=3153.33 cores=4,6
/proc/11997/stat : 11997 (roundingsat) R 11994 11997 6746 0 -1 4194304 34346 0 0 0 315097 236 0 0 20 0 1 0 1421855 252555264 53700 134679101440 4194304 8255733 140729959889232 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 11145216 140729959891806 140729959892068 140729959892068 140729959899081 0
/proc/11997/statm: 61659 53700 1938 992 0 53517 0
Current children cumulated CPU time: 3153.33 s
Current children cumulated vsize: 246636 KiB
Current children cumulated memory: 214800 KiB
[startup+3222.3 s]
/proc/loadavg: 3.28 3.16 3.22 4/254 13668
/proc/meminfo: memFree=121199708/131524600 swapFree=131071996/131071996
[pid=11997] ppid=11994 vsize=246896 memory=217020 CPUtime=3213.15 cores=4,6
/proc/11997/stat : 11997 (roundingsat) R 11994 11997 6746 0 -1 4194304 34489 0 0 0 321077 238 0 0 20 0 1 0 1421855 252821504 54255 134679101440 4194304 8255733 140729959889232 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 11145216 140729959891806 140729959892068 140729959892068 140729959899081 0
/proc/11997/statm: 61724 54255 1938 992 0 53582 0
Current children cumulated CPU time: 3213.15 s
Current children cumulated vsize: 246896 KiB
Current children cumulated memory: 217020 KiB
[startup+3282.3 s]
/proc/loadavg: 3.14 3.14 3.20 4/255 13848
/proc/meminfo: memFree=121103268/131524600 swapFree=131071996/131071996
[pid=11997] ppid=11994 vsize=247668 memory=217452 CPUtime=3272.98 cores=4,6
/proc/11997/stat : 11997 (roundingsat) R 11994 11997 6746 0 -1 4194304 34697 0 0 0 327058 240 0 0 20 0 1 0 1421855 253612032 54363 134679101440 4194304 8255733 140729959889232 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 11145216 140729959891806 140729959892068 140729959892068 140729959899081 0
/proc/11997/statm: 61917 54363 1938 992 0 53775 0
Current children cumulated CPU time: 3272.98 s
Current children cumulated vsize: 247668 KiB
Current children cumulated memory: 217452 KiB
[startup+3342.3 s]
/proc/loadavg: 3.16 3.14 3.20 4/254 13858
/proc/meminfo: memFree=121014788/131524600 swapFree=131071996/131071996
[pid=11997] ppid=11994 vsize=248444 memory=218048 CPUtime=3332.81 cores=4,6
/proc/11997/stat : 11997 (roundingsat) R 11994 11997 6746 0 -1 4194304 34966 0 0 0 333039 242 0 0 20 0 1 0 1421855 254406656 54512 134679101440 4194304 8255733 140729959889232 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 11145216 140729959891806 140729959892068 140729959892068 140729959899081 0
/proc/11997/statm: 62111 54512 1938 992 0 53969 0
Current children cumulated CPU time: 3332.81 s
Current children cumulated vsize: 248444 KiB
Current children cumulated memory: 218048 KiB
[startup+3402.3 s]
/proc/loadavg: 2.89 3.08 3.17 3/247 13917
/proc/meminfo: memFree=126537776/131524600 swapFree=131071996/131071996
[pid=11997] ppid=11994 vsize=249604 memory=219672 CPUtime=3392.64 cores=4,6
/proc/11997/stat : 11997 (roundingsat) R 11994 11997 6746 0 -1 4194304 35461 0 0 0 339019 245 0 0 20 0 1 0 1421855 255594496 54918 134679101440 4194304 8255733 140729959889232 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 11145216 140729959891806 140729959892068 140729959892068 140729959899081 0
/proc/11997/statm: 62401 54918 1938 992 0 54259 0
Current children cumulated CPU time: 3392.64 s
Current children cumulated vsize: 249604 KiB
Current children cumulated memory: 219672 KiB
[startup+3462.3 s]
/proc/loadavg: 2.37 2.90 3.10 3/247 13927
/proc/meminfo: memFree=126526292/131524600 swapFree=131071996/131071996
[pid=11997] ppid=11994 vsize=301512 memory=221532 CPUtime=3452.46 cores=4,6
/proc/11997/stat : 11997 (roundingsat) R 11994 11997 6746 0 -1 4194304 35980 0 0 0 344999 247 0 0 20 0 1 0 1421855 308748288 55383 134679101440 4194304 8255733 140729959889232 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 11145216 140729959891806 140729959892068 140729959892068 140729959899081 0
/proc/11997/statm: 75378 55383 1938 992 0 67236 0
Current children cumulated CPU time: 3452.46 s
Current children cumulated vsize: 301512 KiB
Current children cumulated memory: 221532 KiB
[startup+3522.3 s]
/proc/loadavg: 2.20 2.75 3.04 3/247 13938
/proc/meminfo: memFree=126514508/131524600 swapFree=131071996/131071996
[pid=11997] ppid=11994 vsize=302424 memory=223812 CPUtime=3512.28 cores=4,6
/proc/11997/stat : 11997 (roundingsat) R 11994 11997 6746 0 -1 4194304 36412 0 0 0 350979 249 0 0 20 0 1 0 1421855 309682176 55953 134679101440 4194304 8255733 140729959889232 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 11145216 140729959891806 140729959892068 140729959892068 140729959899081 0
/proc/11997/statm: 75606 55953 1938 992 0 67464 0
Current children cumulated CPU time: 3512.28 s
Current children cumulated vsize: 302424 KiB
Current children cumulated memory: 223812 KiB
[startup+3582.3 s]
/proc/loadavg: 2.42 2.72 3.00 3/246 13948
/proc/meminfo: memFree=126503932/131524600 swapFree=131071996/131071996
[pid=11997] ppid=11994 vsize=302424 memory=224192 CPUtime=3572.12 cores=4,6
/proc/11997/stat : 11997 (roundingsat) R 11994 11997 6746 0 -1 4194304 36547 0 0 0 356961 251 0 0 20 0 1 0 1421855 309682176 56048 134679101440 4194304 8255733 140729959889232 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 11145216 140729959891806 140729959892068 140729959892068 140729959899081 0
/proc/11997/statm: 75606 56048 1938 992 0 67464 0
Current children cumulated CPU time: 3572.12 s
Current children cumulated vsize: 302424 KiB
Current children cumulated memory: 224192 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.3 s]
/proc/loadavg: 2.76 2.77 3.01 3/246 13954
/proc/meminfo: memFree=126496100/131524600 swapFree=131071996/131071996
[pid=11997] ppid=11994 vsize=302424 memory=226164 CPUtime=3600.05 cores=4,6
/proc/11997/stat : 11997 (roundingsat) R 11994 11997 6746 0 -1 4194304 36547 0 0 0 359752 253 0 0 20 0 1 0 1421855 309682176 56541 134679101440 4194304 8255733 140729959889232 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 11145216 140729959891806 140729959892068 140729959892068 140729959899081 0
/proc/11997/statm: 75606 56541 1938 992 0 67464 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 302424 KiB
Current children cumulated memory: 226164 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.31 s]
# the end of solver process 11997 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3597.54 s, system=2.53379 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.31
CPU time (s): 3600.07
CPU user time (s): 3597.54
CPU system time (s): 2.53379
CPU usage (%): 99.7163
Max. virtual memory (cumulated for all children) (KiB): 302424
Max. memory (cumulated for all children) (KiB): 226164
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.54
system time used= 2.53379
maximum resident set size= 226200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36558
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2120608
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 77
involuntary context switches= 4938
# summary of solver processes directly reported to runsolver:
# pid: 11997
# total CPU time (s): 3600.07
# total CPU user time (s): 3597.54
# total CPU system time (s): 2.53379
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.76397 second user time and 16.9231 second system time
The end
Begin job on nodeC014 at 2024-07-30 16:04:23
IDJOB=4463268
IDBENCH=175982
IDSOLVER=3089
FILE ID=nodeC014/4463268-1722348263
RUNJOBID= nodeC014-1722340763-6758
SLURM_JOB_ID= 8248977
Free space on /tmp= 890036 MiB
SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/inequalities/ineq5/normalized-20array_alg_ineq5.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4463268-1722348263/watcher-4463268-1722348263 -o /tmp/evaluation-result-4463268-1722348263/solver-4463268-1722348263 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1722340763-6758 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463268-1722348263 --lp-cut-gomory=0 HOME/instance-4463268-1722348263.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 928ae9c4ace7ac4d67936920dc463dea
RANDOM SEED=1506201749
nodeC014.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 : 3666.218
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 : 7000.06
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 : 3675.614
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 : 7007.10
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 : 3600.860
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 : 7000.06
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.058
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 : 7007.10
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 : 3656.046
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 : 7000.06
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 : 3675.746
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 : 7007.10
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 : 3654.132
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 : 7000.06
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.287
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 : 7007.10
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 118279692 kB
MemAvailable: 125127764 kB
Buffers: 59104 kB
Cached: 7616524 kB
SwapCached: 0 kB
Active: 199884 kB
Inactive: 12552000 kB
Active(anon): 1532 kB
Inactive(anon): 5095840 kB
Active(file): 198352 kB
Inactive(file): 7456160 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 23124 kB
Writeback: 0 kB
AnonPages: 5072920 kB
Mapped: 96356 kB
Shmem: 21336 kB
KReclaimable: 66412 kB
Slab: 146908 kB
SReclaimable: 66412 kB
SUnreclaim: 80496 kB
KernelStack: 4188 kB
PageTables: 19256 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 5975840 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 8928 kB
HardwareCorrupted: 0 kB
AnonHugePages: 4591616 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: 174804 kB
DirectMap2M: 10084352 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 890072 MiB
End job on nodeC014 at 2024-07-30 17:04:33