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 (47641 MiB free)
memory of node 1: 64510 MiB (56694 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460895-1722072548/watcher-4460895-1722072548 -o /tmp/evaluation-result-4460895-1722072548/solver-4460895-1722072548 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1722064836-307176 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460895-1722072548 --lp-cut-gomory=0 HOME/instance-4460895-1722072548.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=313432, runsolver pid=313429
[startup+0.100191 s]*
/proc/loadavg: 4.15 4.17 4.11 5/261 313433
/proc/meminfo: memFree=106832860/131524600 swapFree=131054992/131071996
[pid=313432] ppid=313429 vsize=40360 memory=12464 CPUtime=0.09 cores=1,3
/proc/313432/stat : 313432 (roundingsat) R 313429 313432 307164 0 -1 4194304 1049 0 0 0 9 0 0 0 20 0 1 0 43785034 41328640 3116 134679101440 4194304 8254357 140723767416944 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 40841216 140723767419739 140723767420001 140723767420001 140723767427017 0
/proc/313432/statm: 10090 3116 1839 992 0 1948 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 40360 KiB
Current children cumulated memory: 12464 KiB
[startup+0.205673 s]*
/proc/loadavg: 4.15 4.17 4.11 5/261 313433
/proc/meminfo: memFree=106830844/131524600 swapFree=131054992/131071996
[pid=313432] ppid=313429 vsize=40760 memory=13340 CPUtime=0.19 cores=1,3
/proc/313432/stat : 313432 (roundingsat) R 313429 313432 307164 0 -1 4194304 1179 0 0 0 19 0 0 0 20 0 1 0 43785034 41738240 3335 134679101440 4194304 8254357 140723767416944 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 40841216 140723767419739 140723767420001 140723767420001 140723767427017 0
/proc/313432/statm: 10190 3335 1933 992 0 2048 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 40760 KiB
Current children cumulated memory: 13340 KiB
[startup+0.305628 s]*
/proc/loadavg: 4.15 4.17 4.11 5/261 313433
/proc/meminfo: memFree=106827820/131524600 swapFree=131054992/131071996
[pid=313432] ppid=313429 vsize=41996 memory=14660 CPUtime=0.29 cores=1,3
/proc/313432/stat : 313432 (roundingsat) R 313429 313432 307164 0 -1 4194304 1480 0 0 0 29 0 0 0 20 0 1 0 43785034 43003904 3665 134679101440 4194304 8254357 140723767416944 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 40841216 140723767419739 140723767420001 140723767420001 140723767427017 0
/proc/313432/statm: 10499 3665 1933 992 0 2357 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 41996 KiB
Current children cumulated memory: 14660 KiB
[startup+0.700237 s]
/proc/loadavg: 4.15 4.17 4.11 5/261 313433
/proc/meminfo: memFree=106824088/131524600 swapFree=131054992/131071996
[pid=313432] ppid=313429 vsize=42960 memory=17496 CPUtime=0.69 cores=1,3
/proc/313432/stat : 313432 (roundingsat) R 313429 313432 307164 0 -1 4194304 1730 0 0 0 67 2 0 0 20 0 1 0 43785034 43991040 4374 134679101440 4194304 8254357 140723767416944 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 40841216 140723767419739 140723767420001 140723767420001 140723767427017 0
/proc/313432/statm: 10740 4374 1933 992 0 2598 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 42960 KiB
Current children cumulated memory: 17496 KiB
[startup+1.50024 s]
/proc/loadavg: 4.15 4.17 4.11 5/261 313435
/proc/meminfo: memFree=106815376/131524600 swapFree=131054992/131071996
[pid=313432] ppid=313429 vsize=44640 memory=19144 CPUtime=1.48 cores=1,3
/proc/313432/stat : 313432 (roundingsat) R 313429 313432 307164 0 -1 4194304 2196 0 0 0 145 3 0 0 20 0 1 0 43785034 45711360 4786 134679101440 4194304 8254357 140723767416944 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 40841216 140723767419739 140723767420001 140723767420001 140723767427017 0
/proc/313432/statm: 11160 4786 1933 992 0 3018 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 44640 KiB
Current children cumulated memory: 19144 KiB
[startup+3.1056 s]
/proc/loadavg: 4.14 4.16 4.11 5/261 313435
/proc/meminfo: memFree=106796196/131524600 swapFree=131054992/131071996
[pid=313432] ppid=313429 vsize=50484 memory=23180 CPUtime=3.08 cores=1,3
/proc/313432/stat : 313432 (roundingsat) R 313429 313432 307164 0 -1 4194304 3171 0 0 0 303 5 0 0 20 0 1 0 43785034 51695616 5795 134679101440 4194304 8254357 140723767416944 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 40841216 140723767419739 140723767420001 140723767420001 140723767427017 0
/proc/313432/statm: 12621 5795 1948 992 0 4479 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 50484 KiB
Current children cumulated memory: 23180 KiB
[startup+6.30022 s]
/proc/loadavg: 4.14 4.16 4.11 5/261 313435
/proc/meminfo: memFree=106774860/131524600 swapFree=131054992/131071996
[pid=313432] ppid=313429 vsize=52500 memory=26876 CPUtime=6.27 cores=1,3
/proc/313432/stat : 313432 (roundingsat) R 313429 313432 307164 0 -1 4194304 4118 0 0 0 619 8 0 0 20 0 1 0 43785034 53760000 6719 134679101440 4194304 8254357 140723767416944 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 40841216 140723767419739 140723767420001 140723767420001 140723767427017 0
/proc/313432/statm: 13125 6719 1948 992 0 4983 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 52500 KiB
Current children cumulated memory: 26876 KiB
[startup+12.7002 s]
/proc/loadavg: 4.13 4.16 4.11 5/261 313436
/proc/meminfo: memFree=106729220/131524600 swapFree=131054992/131071996
[pid=313432] ppid=313429 vsize=58696 memory=29932 CPUtime=12.66 cores=1,3
/proc/313432/stat : 313432 (roundingsat) R 313429 313432 307164 0 -1 4194304 4849 0 0 0 1252 14 0 0 20 0 1 0 43785034 60104704 7483 134679101440 4194304 8254357 140723767416944 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 40841216 140723767419739 140723767420001 140723767420001 140723767427017 0
/proc/313432/statm: 14674 7483 1948 992 0 6532 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 58696 KiB
Current children cumulated memory: 29932 KiB
[startup+25.5002 s]
/proc/loadavg: 4.17 4.17 4.12 5/261 313438
/proc/meminfo: memFree=106672864/131524600 swapFree=131054992/131071996
[pid=313432] ppid=313429 vsize=65612 memory=39088 CPUtime=25.42 cores=1,3
/proc/313432/stat : 313432 (roundingsat) R 313429 313432 307164 0 -1 4194304 6682 0 0 0 2522 20 0 0 20 0 1 0 43785034 67186688 9772 134679101440 4194304 8254357 140723767416944 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 40841216 140723767419739 140723767420001 140723767420001 140723767427017 0
/proc/313432/statm: 16403 9772 1948 992 0 8261 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 65612 KiB
Current children cumulated memory: 39088 KiB
[startup+51.1059 s]
/proc/loadavg: 4.18 4.17 4.12 5/261 313442
/proc/meminfo: memFree=106555316/131524600 swapFree=131054992/131071996
[pid=313432] ppid=313429 vsize=74936 memory=44816 CPUtime=50.97 cores=1,3
/proc/313432/stat : 313432 (roundingsat) R 313429 313432 307164 0 -1 4194304 7558 0 0 0 5067 30 0 0 20 0 1 0 43785034 76734464 11204 134679101440 4194304 8254357 140723767416944 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 40841216 140723767419739 140723767420001 140723767420001 140723767427017 0
/proc/313432/statm: 18734 11204 1948 992 0 10592 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 74936 KiB
Current children cumulated memory: 44816 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.16 4.11 5/263 313511
/proc/meminfo: memFree=106362020/131524600 swapFree=131054992/131071996
[pid=313432] ppid=313429 vsize=102448 memory=64996 CPUtime=102.03 cores=1,3
/proc/313432/stat : 313432 (roundingsat) R 313429 313432 307164 0 -1 4194304 11101 0 0 0 10159 44 0 0 20 0 1 0 43785034 104906752 16249 134679101440 4194304 8254357 140723767416944 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 40841216 140723767419739 140723767420001 140723767420001 140723767427017 0
/proc/313432/statm: 25612 16249 1948 992 0 17470 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 102448 KiB
Current children cumulated memory: 64996 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.14 4.11 5/262 313522
/proc/meminfo: memFree=106154584/131524600 swapFree=131054992/131071996
[pid=313432] ppid=313429 vsize=107076 memory=73300 CPUtime=161.88 cores=1,3
/proc/313432/stat : 313432 (roundingsat) R 313429 313432 307164 0 -1 4194304 12165 0 0 0 16134 54 0 0 20 0 1 0 43785034 109645824 18325 134679101440 4194304 8254357 140723767416944 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 40841216 140723767419739 140723767420001 140723767420001 140723767427017 0
/proc/313432/statm: 26769 18325 1948 992 0 18627 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 107076 KiB
Current children cumulated memory: 73300 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 4.13 4.10 5/262 313533
/proc/meminfo: memFree=105842596/131524600 swapFree=131054992/131071996
[pid=313432] ppid=313429 vsize=117336 memory=82516 CPUtime=221.73 cores=1,3
/proc/313432/stat : 313432 (roundingsat) R 313429 313432 307164 0 -1 4194304 14441 0 0 0 22107 66 0 0 20 0 1 0 43785034 120152064 20629 134679101440 4194304 8254357 140723767416944 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 40841216 140723767419739 140723767420001 140723767420001 140723767427017 0
/proc/313432/statm: 29334 20629 1948 992 0 21192 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 117336 KiB
Current children cumulated memory: 82516 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.13 4.10 5/261 313544
/proc/meminfo: memFree=105680336/131524600 swapFree=131054992/131071996
[pid=313432] ppid=313429 vsize=140600 memory=93188 CPUtime=281.56 cores=1,3
/proc/313432/stat : 313432 (roundingsat) R 313429 313432 307164 0 -1 4194304 16091 0 0 0 28081 75 0 0 20 0 1 0 43785034 143974400 23297 134679101440 4194304 8254357 140723767416944 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 40841216 140723767419739 140723767420001 140723767420001 140723767427017 0
/proc/313432/statm: 35150 23297 1948 992 0 27008 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 140600 KiB
Current children cumulated memory: 93188 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.12 4.10 5/261 313554
/proc/meminfo: memFree=105511444/131524600 swapFree=131054992/131071996
[pid=313432] ppid=313429 vsize=151796 memory=107476 CPUtime=341.4 cores=1,3
/proc/313432/stat : 313432 (roundingsat) R 313429 313432 307164 0 -1 4194304 18135 0 0 0 34056 84 0 0 20 0 1 0 43785034 155439104 26869 134679101440 4194304 8254357 140723767416944 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 40841216 140723767419739 140723767420001 140723767420001 140723767427017 0
/proc/313432/statm: 37949 26869 1948 992 0 29807 0
Current children cumulated CPU time: 341.4 s
Current children cumulated vsize: 151796 KiB
Current children cumulated memory: 107476 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/258 313565
/proc/meminfo: memFree=105259780/131524600 swapFree=131054992/131071996
[pid=313432] ppid=313429 vsize=157572 memory=116544 CPUtime=401.23 cores=1,3
/proc/313432/stat : 313432 (roundingsat) R 313429 313432 307164 0 -1 4194304 19453 0 0 0 40032 91 0 0 20 0 1 0 43785034 161353728 29136 134679101440 4194304 8254357 140723767416944 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 40841216 140723767419739 140723767420001 140723767420001 140723767427017 0
/proc/313432/statm: 39393 29136 1948 992 0 31251 0
Current children cumulated CPU time: 401.23 s
Current children cumulated vsize: 157572 KiB
Current children cumulated memory: 116544 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.12 4.09 6/258 313575
/proc/meminfo: memFree=104986788/131524600 swapFree=131054992/131071996
[pid=313432] ppid=313429 vsize=158908 memory=123228 CPUtime=461.07 cores=1,3
/proc/313432/stat : 313432 (roundingsat) R 313429 313432 307164 0 -1 4194304 20072 0 0 0 46012 95 0 0 20 0 1 0 43785034 162721792 30807 134679101440 4194304 8254357 140723767416944 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 40841216 140723767419739 140723767420001 140723767420001 140723767427017 0
/proc/313432/statm: 39727 30807 1948 992 0 31585 0
################
# More data... #
################
Current children cumulated memory: 206408 KiB
[startup+2862.3 s]
/proc/loadavg: 3.13 3.15 3.31 4/251 314855
/proc/meminfo: memFree=90263988/131524600 swapFree=131054992/131071996
[pid=313432] ppid=313429 vsize=245596 memory=207376 CPUtime=2855.32 cores=1,3
/proc/313432/stat : 313432 (roundingsat) R 313429 313432 307164 0 -1 4194304 33712 0 0 0 285284 248 0 0 20 0 1 0 43785034 251490304 51844 134679101440 4194304 8254357 140723767416944 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 40841216 140723767419739 140723767420001 140723767420001 140723767427017 0
/proc/313432/statm: 61399 51844 1948 992 0 53257 0
Current children cumulated CPU time: 2855.32 s
Current children cumulated vsize: 245596 KiB
Current children cumulated memory: 207376 KiB
[startup+2922.3 s]
/proc/loadavg: 3.10 3.14 3.29 4/251 314866
/proc/meminfo: memFree=90064612/131524600 swapFree=131054992/131071996
[pid=313432] ppid=313429 vsize=246896 memory=210388 CPUtime=2915.19 cores=1,3
/proc/313432/stat : 313432 (roundingsat) R 313429 313432 307164 0 -1 4194304 34045 0 0 0 291268 251 0 0 20 0 1 0 43785034 252821504 52597 134679101440 4194304 8254357 140723767416944 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 40841216 140723767419739 140723767420001 140723767420001 140723767427017 0
/proc/313432/statm: 61724 52597 1948 992 0 53582 0
Current children cumulated CPU time: 2915.19 s
Current children cumulated vsize: 246896 KiB
Current children cumulated memory: 210388 KiB
[startup+2982.3 s]
/proc/loadavg: 3.08 3.13 3.27 4/251 314876
/proc/meminfo: memFree=89808348/131524600 swapFree=131054992/131071996
[pid=313432] ppid=313429 vsize=247668 memory=210828 CPUtime=2975.05 cores=1,3
/proc/313432/stat : 313432 (roundingsat) R 313429 313432 307164 0 -1 4194304 34291 0 0 0 297251 254 0 0 20 0 1 0 43785034 253612032 52707 134679101440 4194304 8254357 140723767416944 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 40841216 140723767419739 140723767420001 140723767420001 140723767427017 0
/proc/313432/statm: 61917 52707 1948 992 0 53775 0
Current children cumulated CPU time: 2975.05 s
Current children cumulated vsize: 247668 KiB
Current children cumulated memory: 210828 KiB
[startup+3042.3 s]
/proc/loadavg: 3.09 3.12 3.26 4/251 314886
/proc/meminfo: memFree=89539560/131524600 swapFree=131054992/131071996
[pid=313432] ppid=313429 vsize=248444 memory=213572 CPUtime=3034.91 cores=1,3
/proc/313432/stat : 313432 (roundingsat) R 313429 313432 307164 0 -1 4194304 34557 0 0 0 303234 257 0 0 20 0 1 0 43785034 254406656 53393 134679101440 4194304 8254357 140723767416944 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 40841216 140723767419739 140723767420001 140723767420001 140723767427017 0
/proc/313432/statm: 62111 53393 1948 992 0 53969 0
Current children cumulated CPU time: 3034.91 s
Current children cumulated vsize: 248444 KiB
Current children cumulated memory: 213572 KiB
[startup+3102.3 s]
/proc/loadavg: 3.08 3.11 3.25 4/252 314901
/proc/meminfo: memFree=89302212/131524600 swapFree=131054992/131071996
[pid=313432] ppid=313429 vsize=250904 memory=215064 CPUtime=3094.77 cores=1,3
/proc/313432/stat : 313432 (roundingsat) R 313429 313432 307164 0 -1 4194304 35010 0 0 0 309218 259 0 0 20 0 1 0 43785034 256925696 53766 134679101440 4194304 8254357 140723767416944 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 40841216 140723767419739 140723767420001 140723767420001 140723767427017 0
/proc/313432/statm: 62726 53766 1948 992 0 54584 0
Current children cumulated CPU time: 3094.77 s
Current children cumulated vsize: 250904 KiB
Current children cumulated memory: 215064 KiB
[startup+3162.3 s]
/proc/loadavg: 3.18 3.13 3.25 4/252 314912
/proc/meminfo: memFree=89095184/131524600 swapFree=131054992/131071996
[pid=313432] ppid=313429 vsize=301904 memory=216740 CPUtime=3154.64 cores=1,3
/proc/313432/stat : 313432 (roundingsat) R 313429 313432 307164 0 -1 4194304 35445 0 0 0 315202 262 0 0 20 0 1 0 43785034 309149696 54185 134679101440 4194304 8254357 140723767416944 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 40841216 140723767419739 140723767420001 140723767420001 140723767427017 0
/proc/313432/statm: 75476 54185 1948 992 0 67334 0
Current children cumulated CPU time: 3154.64 s
Current children cumulated vsize: 301904 KiB
Current children cumulated memory: 216740 KiB
[startup+3222.3 s]
/proc/loadavg: 3.07 3.11 3.23 4/252 314922
/proc/meminfo: memFree=88871424/131524600 swapFree=131054992/131071996
[pid=313432] ppid=313429 vsize=302424 memory=219748 CPUtime=3214.5 cores=1,3
/proc/313432/stat : 313432 (roundingsat) R 313429 313432 307164 0 -1 4194304 35733 0 0 0 321185 265 0 0 20 0 1 0 43785034 309682176 54937 134679101440 4194304 8254357 140723767416944 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 40841216 140723767419739 140723767420001 140723767420001 140723767427017 0
/proc/313432/statm: 75606 54937 1948 992 0 67464 0
Current children cumulated CPU time: 3214.5 s
Current children cumulated vsize: 302424 KiB
Current children cumulated memory: 219748 KiB
[startup+3282.3 s]
/proc/loadavg: 3.10 3.11 3.22 4/252 314934
/proc/meminfo: memFree=88577484/131524600 swapFree=131054992/131071996
[pid=313432] ppid=313429 vsize=302424 memory=219776 CPUtime=3274.36 cores=1,3
/proc/313432/stat : 313432 (roundingsat) R 313429 313432 307164 0 -1 4194304 35783 0 0 0 327168 268 0 0 20 0 1 0 43785034 309682176 54944 134679101440 4194304 8254357 140723767416944 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 40841216 140723767419739 140723767420001 140723767420001 140723767427017 0
/proc/313432/statm: 75606 54944 1948 992 0 67464 0
Current children cumulated CPU time: 3274.36 s
Current children cumulated vsize: 302424 KiB
Current children cumulated memory: 219776 KiB
[startup+3342.3 s]
/proc/loadavg: 3.14 3.12 3.22 4/252 314944
/proc/meminfo: memFree=88311684/131524600 swapFree=131054992/131071996
[pid=313432] ppid=313429 vsize=302424 memory=219776 CPUtime=3334.21 cores=1,3
/proc/313432/stat : 313432 (roundingsat) R 313429 313432 307164 0 -1 4194304 35833 0 0 0 333149 272 0 0 20 0 1 0 43785034 309682176 54944 134679101440 4194304 8254357 140723767416944 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 40841216 140723767419739 140723767420001 140723767420001 140723767427017 0
/proc/313432/statm: 75606 54944 1948 992 0 67464 0
Current children cumulated CPU time: 3334.21 s
Current children cumulated vsize: 302424 KiB
Current children cumulated memory: 219776 KiB
[startup+3402.3 s]
/proc/loadavg: 3.10 3.11 3.21 4/251 315337
/proc/meminfo: memFree=88066112/131524600 swapFree=131054992/131071996
[pid=313432] ppid=313429 vsize=302424 memory=219776 CPUtime=3394.07 cores=1,3
/proc/313432/stat : 313432 (roundingsat) R 313429 313432 307164 0 -1 4194304 35883 0 0 0 339132 275 0 0 20 0 1 0 43785034 309682176 54944 134679101440 4194304 8254357 140723767416944 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 40841216 140723767419739 140723767420001 140723767420001 140723767427017 0
/proc/313432/statm: 75606 54944 1948 992 0 67464 0
Current children cumulated CPU time: 3394.07 s
Current children cumulated vsize: 302424 KiB
Current children cumulated memory: 219776 KiB
[startup+3462.3 s]
/proc/loadavg: 3.11 3.10 3.19 4/251 315347
/proc/meminfo: memFree=87813828/131524600 swapFree=131054992/131071996
[pid=313432] ppid=313429 vsize=302424 memory=219776 CPUtime=3453.93 cores=1,3
/proc/313432/stat : 313432 (roundingsat) R 313429 313432 307164 0 -1 4194304 35933 0 0 0 345114 279 0 0 20 0 1 0 43785034 309682176 54944 134679101440 4194304 8254357 140723767416944 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 40841216 140723767419739 140723767420001 140723767420001 140723767427017 0
/proc/313432/statm: 75606 54944 1948 992 0 67464 0
Current children cumulated CPU time: 3453.93 s
Current children cumulated vsize: 302424 KiB
Current children cumulated memory: 219776 KiB
[startup+3522.3 s]
/proc/loadavg: 3.10 3.10 3.18 4/251 315358
/proc/meminfo: memFree=87625824/131524600 swapFree=131054992/131071996
[pid=313432] ppid=313429 vsize=302424 memory=219776 CPUtime=3513.79 cores=1,3
/proc/313432/stat : 313432 (roundingsat) R 313429 313432 307164 0 -1 4194304 35983 0 0 0 351095 284 0 0 20 0 1 0 43785034 309682176 54944 134679101440 4194304 8254357 140723767416944 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 40841216 140723767419739 140723767420001 140723767420001 140723767427017 0
/proc/313432/statm: 75606 54944 1948 992 0 67464 0
Current children cumulated CPU time: 3513.79 s
Current children cumulated vsize: 302424 KiB
Current children cumulated memory: 219776 KiB
[startup+3582.3 s]
/proc/loadavg: 3.18 3.12 3.18 4/255 315540
/proc/meminfo: memFree=87237552/131524600 swapFree=131054992/131071996
[pid=313432] ppid=313429 vsize=302424 memory=219776 CPUtime=3573.64 cores=1,3
/proc/313432/stat : 313432 (roundingsat) R 313429 313432 307164 0 -1 4194304 36033 0 0 0 357076 288 0 0 20 0 1 0 43785034 309682176 54944 134679101440 4194304 8254357 140723767416944 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 40841216 140723767419739 140723767420001 140723767420001 140723767427017 0
/proc/313432/statm: 75606 54944 1948 992 0 67464 0
Current children cumulated CPU time: 3573.64 s
Current children cumulated vsize: 302424 KiB
Current children cumulated memory: 219776 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.8 s]
/proc/loadavg: 3.16 3.13 3.18 4/255 315543
/proc/meminfo: memFree=87176904/131524600 swapFree=131054992/131071996
[pid=313432] ppid=313429 vsize=302424 memory=219776 CPUtime=3600.07 cores=1,3
/proc/313432/stat : 313432 (roundingsat) R 313429 313432 307164 0 -1 4194304 36033 0 0 0 359716 291 0 0 20 0 1 0 43785034 309682176 54944 134679101440 4194304 8254357 140723767416944 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 40841216 140723767419739 140723767420001 140723767420001 140723767427017 0
/proc/313432/statm: 75606 54944 1948 992 0 67464 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 302424 KiB
Current children cumulated memory: 219776 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.82 s]
# the end of solver process 313432 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3597.18 s, system=2.9195 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3608.82
CPU time (s): 3600.1
CPU user time (s): 3597.18
CPU system time (s): 2.9195
CPU usage (%): 99.7584
Max. virtual memory (cumulated for all children) (KiB): 302424
Max. memory (cumulated for all children) (KiB): 219776
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.18
system time used= 2.9195
maximum resident set size= 219812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36044
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2277816
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 51
involuntary context switches= 4836
# summary of solver processes directly reported to runsolver:
# pid: 313432
# total CPU time (s): 3600.1
# total CPU user time (s): 3597.18
# total CPU system time (s): 2.9195
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.7597 second user time and 15.9138 second system time
The end
Begin job on nodeC035 at 2024-07-27 11:29:08
IDJOB=4460895
IDBENCH=175982
IDSOLVER=3086
FILE ID=nodeC035/4460895-1722072548
RUNJOBID= nodeC035-1722064836-307176
SLURM_JOB_ID= 8248103
Free space on /tmp= 890056 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-4460895-1722072548/watcher-4460895-1722072548 -o /tmp/evaluation-result-4460895-1722072548/solver-4460895-1722072548 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1722064836-307176 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460895-1722072548 --lp-cut-gomory=0 HOME/instance-4460895-1722072548.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 928ae9c4ace7ac4d67936920dc463dea
RANDOM SEED=600636612
nodeC035.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 : 3659.316
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.54
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 : 3661.211
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.93
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 : 3599.952
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.54
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 : 3656.598
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.93
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 : 3659.264
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.54
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 : 3661.858
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.93
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 : 3599.917
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.54
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 : 3599.967
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.93
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 106840308 kB
MemAvailable: 127391500 kB
Buffers: 379724 kB
Cached: 20977172 kB
SwapCached: 296 kB
Active: 2359160 kB
Inactive: 21669900 kB
Active(anon): 2020 kB
Inactive(anon): 2723412 kB
Active(file): 2357140 kB
Inactive(file): 18946488 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131054992 kB
Dirty: 79064 kB
Writeback: 0 kB
AnonPages: 2662848 kB
Mapped: 115160 kB
Shmem: 53220 kB
KReclaimable: 174424 kB
Slab: 297348 kB
SReclaimable: 174424 kB
SUnreclaim: 122924 kB
KernelStack: 4132 kB
PageTables: 14716 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 3146908 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 16992 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2072576 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: 414420 kB
DirectMap2M: 48642048 kB
DirectMap1G: 87031808 kB
Free space on /tmp at the end= 890048 MiB
End job on nodeC035 at 2024-07-27 12:29:16