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 (48995 MiB free)
memory of node 1: 64510 MiB (58460 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457448-1721840634/watcher-4457448-1721840634 -o /tmp/evaluation-result-4457448-1721840634/solver-4457448-1721840634 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721840464-190860 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457448-1721840634 --lp-cut-gomory=0 HOME/instance-4457448-1721840634.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=191364, runsolver pid=191361
Current StackSize limit: 8192 KiB
[startup+0.100084 s]*
/proc/loadavg: 4.11 4.08 4.07 5/262 191365
/proc/meminfo: memFree=110028908/131524600 swapFree=131054736/131071996
[pid=191364] ppid=191361 vsize=40360 memory=10676 CPUtime=0.1 cores=1,3
/proc/191364/stat : 191364 (roundingsat) R 191361 191364 190848 0 -1 4194304 1125 0 0 0 9 1 0 0 20 0 1 0 20587560 41328640 2669 134679101440 4194304 8254037 140727993157760 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 19296256 140727993164636 140727993164898 140727993164898 140727993171913 0
/proc/191364/statm: 10090 2669 1837 992 0 1948 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40360 KiB
Current children cumulated memory: 10676 KiB
[startup+0.205647 s]*
/proc/loadavg: 4.11 4.08 4.07 5/262 191365
/proc/meminfo: memFree=110025796/131524600 swapFree=131054736/131071996
[pid=191364] ppid=191361 vsize=40760 memory=12356 CPUtime=0.2 cores=1,3
/proc/191364/stat : 191364 (roundingsat) R 191361 191364 190848 0 -1 4194304 1410 0 0 0 19 1 0 0 20 0 1 0 20587560 41738240 3089 134679101440 4194304 8254037 140727993157760 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 19296256 140727993164636 140727993164898 140727993164898 140727993171913 0
/proc/191364/statm: 10190 3089 1934 992 0 2048 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40760 KiB
Current children cumulated memory: 12356 KiB
[startup+0.305578 s]*
/proc/loadavg: 4.11 4.08 4.07 5/262 191365
/proc/meminfo: memFree=110021624/131524600 swapFree=131054736/131071996
[pid=191364] ppid=191361 vsize=41996 memory=13676 CPUtime=0.3 cores=1,3
/proc/191364/stat : 191364 (roundingsat) R 191361 191364 190848 0 -1 4194304 1803 0 0 0 29 1 0 0 20 0 1 0 20587560 43003904 3419 134679101440 4194304 8254037 140727993157760 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 19296256 140727993164636 140727993164898 140727993164898 140727993171913 0
/proc/191364/statm: 10499 3419 1934 992 0 2357 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 41996 KiB
Current children cumulated memory: 13676 KiB
[startup+0.700182 s]
/proc/loadavg: 4.11 4.08 4.07 5/262 191365
/proc/meminfo: memFree=110015576/131524600 swapFree=131054736/131071996
[pid=191364] ppid=191361 vsize=42960 memory=17304 CPUtime=0.69 cores=1,3
/proc/191364/stat : 191364 (roundingsat) R 191361 191364 190848 0 -1 4194304 2148 0 0 0 67 2 0 0 20 0 1 0 20587560 43991040 4326 134679101440 4194304 8254037 140727993157760 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 19296256 140727993164636 140727993164898 140727993164898 140727993171913 0
/proc/191364/statm: 10740 4326 1934 992 0 2598 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 42960 KiB
Current children cumulated memory: 17304 KiB
[startup+1.50019 s]
/proc/loadavg: 4.10 4.07 4.07 5/262 191365
/proc/meminfo: memFree=110007176/131524600 swapFree=131054736/131071996
[pid=191364] ppid=191361 vsize=44640 memory=18784 CPUtime=1.49 cores=1,3
/proc/191364/stat : 191364 (roundingsat) R 191361 191364 190848 0 -1 4194304 2614 0 0 0 145 4 0 0 20 0 1 0 20587560 45711360 4696 134679101440 4194304 8254037 140727993157760 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 19296256 140727993164636 140727993164898 140727993164898 140727993171913 0
/proc/191364/statm: 11160 4696 1934 992 0 3018 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 44640 KiB
Current children cumulated memory: 18784 KiB
[startup+3.10563 s]
/proc/loadavg: 4.10 4.07 4.07 5/262 191365
/proc/meminfo: memFree=109980864/131524600 swapFree=131054736/131071996
[pid=191364] ppid=191361 vsize=50352 memory=24904 CPUtime=3.09 cores=1,3
/proc/191364/stat : 191364 (roundingsat) R 191361 191364 190848 0 -1 4194304 3607 0 0 0 303 6 0 0 20 0 1 0 20587560 51560448 6226 134679101440 4194304 8254037 140727993157760 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 19296256 140727993164636 140727993164898 140727993164898 140727993171913 0
/proc/191364/statm: 12588 6226 1934 992 0 4446 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 50352 KiB
Current children cumulated memory: 24904 KiB
[startup+6.3002 s]
/proc/loadavg: 4.10 4.07 4.07 5/262 191365
/proc/meminfo: memFree=109947032/131524600 swapFree=131054736/131071996
[pid=191364] ppid=191361 vsize=52500 memory=26748 CPUtime=6.27 cores=1,3
/proc/191364/stat : 191364 (roundingsat) R 191361 191364 190848 0 -1 4194304 4123 0 0 0 619 8 0 0 20 0 1 0 20587560 53760000 6687 134679101440 4194304 8254037 140727993157760 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 19296256 140727993164636 140727993164898 140727993164898 140727993171913 0
/proc/191364/statm: 13125 6687 1934 992 0 4983 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 52500 KiB
Current children cumulated memory: 26748 KiB
[startup+12.7002 s]
/proc/loadavg: 4.09 4.07 4.07 5/262 191367
/proc/meminfo: memFree=109888872/131524600 swapFree=131054736/131071996
[pid=191364] ppid=191361 vsize=58696 memory=31656 CPUtime=12.66 cores=1,3
/proc/191364/stat : 191364 (roundingsat) R 191361 191364 190848 0 -1 4194304 4804 0 0 0 1252 14 0 0 20 0 1 0 20587560 60104704 7914 134679101440 4194304 8254037 140727993157760 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 19296256 140727993164636 140727993164898 140727993164898 140727993171913 0
/proc/191364/statm: 14674 7914 1934 992 0 6532 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 58696 KiB
Current children cumulated memory: 31656 KiB
[startup+25.5003 s]
/proc/loadavg: 4.07 4.07 4.07 5/262 191368
/proc/meminfo: memFree=109814956/131524600 swapFree=131054736/131071996
[pid=191364] ppid=191361 vsize=65612 memory=39040 CPUtime=25.43 cores=1,3
/proc/191364/stat : 191364 (roundingsat) R 191361 191364 190848 0 -1 4194304 6631 0 0 0 2524 19 0 0 20 0 1 0 20587560 67186688 9760 134679101440 4194304 8254037 140727993157760 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 19296256 140727993164636 140727993164898 140727993164898 140727993171913 0
/proc/191364/statm: 16403 9760 1934 992 0 8261 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 65612 KiB
Current children cumulated memory: 39040 KiB
[startup+51.1057 s]
/proc/loadavg: 4.10 4.08 4.07 5/262 191374
/proc/meminfo: memFree=109681844/131524600 swapFree=131054736/131071996
[pid=191364] ppid=191361 vsize=74792 memory=43980 CPUtime=50.97 cores=1,3
/proc/191364/stat : 191364 (roundingsat) R 191361 191364 190848 0 -1 4194304 7398 0 0 0 5065 32 0 0 20 0 1 0 20587560 76587008 10995 134679101440 4194304 8254037 140727993157760 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 19296256 140727993164636 140727993164898 140727993164898 140727993171913 0
/proc/191364/statm: 18698 10995 1934 992 0 10556 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 74792 KiB
Current children cumulated memory: 43980 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.08 4.07 4/254 191413
/proc/meminfo: memFree=109593952/131524600 swapFree=131054736/131071996
[pid=191364] ppid=191361 vsize=102124 memory=64152 CPUtime=102.04 cores=1,3
/proc/191364/stat : 191364 (roundingsat) R 191361 191364 190848 0 -1 4194304 10916 0 0 0 10158 46 0 0 20 0 1 0 20587560 104574976 16038 134679101440 4194304 8254037 140727993157760 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 19296256 140727993164636 140727993164898 140727993164898 140727993171913 0
/proc/191364/statm: 25531 16038 1934 992 0 17389 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 102124 KiB
Current children cumulated memory: 64152 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.08 4.07 5/258 191438
/proc/meminfo: memFree=109154852/131524600 swapFree=131054736/131071996
[pid=191364] ppid=191361 vsize=107076 memory=72976 CPUtime=161.9 cores=1,3
/proc/191364/stat : 191364 (roundingsat) R 191361 191364 190848 0 -1 4194304 12085 0 0 0 16132 58 0 0 20 0 1 0 20587560 109645824 18244 134679101440 4194304 8254037 140727993157760 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 19296256 140727993164636 140727993164898 140727993164898 140727993171913 0
/proc/191364/statm: 26769 18244 1934 992 0 18627 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 107076 KiB
Current children cumulated memory: 72976 KiB
[startup+222.3 s]
/proc/loadavg: 4.23 4.12 4.09 5/258 191449
/proc/meminfo: memFree=108807296/131524600 swapFree=131054736/131071996
[pid=191364] ppid=191361 vsize=117528 memory=84248 CPUtime=221.75 cores=1,3
/proc/191364/stat : 191364 (roundingsat) R 191361 191364 190848 0 -1 4194304 14409 0 0 0 22104 71 0 0 20 0 1 0 20587560 120348672 21062 134679101440 4194304 8254037 140727993157760 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 19296256 140727993164636 140727993164898 140727993164898 140727993171913 0
/proc/191364/statm: 29382 21062 1934 992 0 21240 0
Current children cumulated CPU time: 221.75 s
Current children cumulated vsize: 117528 KiB
Current children cumulated memory: 84248 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/258 191460
/proc/meminfo: memFree=108598548/131524600 swapFree=131054736/131071996
[pid=191364] ppid=191361 vsize=142728 memory=96216 CPUtime=281.61 cores=1,3
/proc/191364/stat : 191364 (roundingsat) R 191361 191364 190848 0 -1 4194304 16390 0 0 0 28081 80 0 0 20 0 1 0 20587560 146153472 24054 134679101440 4194304 8254037 140727993157760 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 19296256 140727993164636 140727993164898 140727993164898 140727993171913 0
/proc/191364/statm: 35682 24054 1934 992 0 27540 0
Current children cumulated CPU time: 281.61 s
Current children cumulated vsize: 142728 KiB
Current children cumulated memory: 96216 KiB
[startup+342.3 s]
/proc/loadavg: 4.22 4.14 4.10 5/258 191471
/proc/meminfo: memFree=108299980/131524600 swapFree=131054736/131071996
[pid=191364] ppid=191361 vsize=152884 memory=107944 CPUtime=341.46 cores=1,3
/proc/191364/stat : 191364 (roundingsat) R 191361 191364 190848 0 -1 4194304 18285 0 0 0 34056 90 0 0 20 0 1 0 20587560 156553216 26986 134679101440 4194304 8254037 140727993157760 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 19296256 140727993164636 140727993164898 140727993164898 140727993171913 0
/proc/191364/statm: 38221 26986 1934 992 0 30079 0
Current children cumulated CPU time: 341.46 s
Current children cumulated vsize: 152884 KiB
Current children cumulated memory: 107944 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/260 191485
/proc/meminfo: memFree=108103672/131524600 swapFree=131054736/131071996
[pid=191364] ppid=191361 vsize=157740 memory=124580 CPUtime=401.29 cores=1,3
/proc/191364/stat : 191364 (roundingsat) R 191361 191364 190848 0 -1 4194304 19378 0 0 0 40033 96 0 0 20 0 1 0 20587560 161525760 31145 134679101440 4194304 8254037 140727993157760 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 19296256 140727993164636 140727993164898 140727993164898 140727993171913 0
/proc/191364/statm: 39435 31145 1934 992 0 31293 0
Current children cumulated CPU time: 401.29 s
Current children cumulated vsize: 157740 KiB
Current children cumulated memory: 124580 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/260 191497
/proc/meminfo: memFree=107841476/131524600 swapFree=131054736/131071996
[pid=191364] ppid=191361 vsize=159164 memory=129772 CPUtime=461.13 cores=1,3
/proc/191364/stat : 191364 (roundingsat) R 191361 191364 190848 0 -1 4194304 19710 0 0 0 46013 100 0 0 20 0 1 0 20587560 162983936 32443 134679101440 4194304 8254037 140727993157760 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 19296256 140727993164636 140727993164898 140727993164898 140727993171913 0
/proc/191364/statm: 39791 32443 1934 992 0 31649 0
################
# More data... #
################
Current children cumulated memory: 204540 KiB
[startup+2922.3 s]
/proc/loadavg: 3.19 3.20 3.47 4/252 192598
/proc/meminfo: memFree=108076396/131524600 swapFree=131054736/131071996
[pid=191364] ppid=191361 vsize=242240 memory=207796 CPUtime=2913.04 cores=1,3
/proc/191364/stat : 191364 (roundingsat) R 191361 191364 190848 0 -1 4194304 32055 0 0 0 291037 267 0 0 20 0 1 0 20587560 248053760 51949 134679101440 4194304 8254037 140727993157760 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 19296256 140727993164636 140727993164898 140727993164898 140727993171913 0
/proc/191364/statm: 60560 51949 1934 992 0 52418 0
Current children cumulated CPU time: 2913.04 s
Current children cumulated vsize: 242240 KiB
Current children cumulated memory: 207796 KiB
[startup+2982.3 s]
/proc/loadavg: 3.23 3.22 3.46 4/252 192609
/proc/meminfo: memFree=108046212/131524600 swapFree=131054736/131071996
[pid=191364] ppid=191361 vsize=244056 memory=208740 CPUtime=2972.82 cores=1,3
/proc/191364/stat : 191364 (roundingsat) R 191361 191364 190848 0 -1 4194304 32400 0 0 0 297011 271 0 0 20 0 1 0 20587560 249913344 52185 134679101440 4194304 8254037 140727993157760 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 19296256 140727993164636 140727993164898 140727993164898 140727993171913 0
/proc/191364/statm: 61014 52185 1934 992 0 52872 0
Current children cumulated CPU time: 2972.82 s
Current children cumulated vsize: 244056 KiB
Current children cumulated memory: 208740 KiB
[startup+3042.3 s]
/proc/loadavg: 3.21 3.21 3.44 4/252 192620
/proc/meminfo: memFree=108017248/131524600 swapFree=131054736/131071996
[pid=191364] ppid=191361 vsize=244824 memory=211464 CPUtime=3032.6 cores=1,3
/proc/191364/stat : 191364 (roundingsat) R 191361 191364 190848 0 -1 4194304 32602 0 0 0 302986 274 0 0 20 0 1 0 20587560 250699776 52866 134679101440 4194304 8254037 140727993157760 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 19296256 140727993164636 140727993164898 140727993164898 140727993171913 0
/proc/191364/statm: 61206 52866 1934 992 0 53064 0
Current children cumulated CPU time: 3032.6 s
Current children cumulated vsize: 244824 KiB
Current children cumulated memory: 211464 KiB
[startup+3102.3 s]
/proc/loadavg: 3.14 3.19 3.42 4/250 193013
/proc/meminfo: memFree=107991408/131524600 swapFree=131054736/131071996
[pid=191364] ppid=191361 vsize=245596 memory=211876 CPUtime=3092.38 cores=1,3
/proc/191364/stat : 191364 (roundingsat) R 191361 191364 190848 0 -1 4194304 32826 0 0 0 308962 276 0 0 20 0 1 0 20587560 251490304 52969 134679101440 4194304 8254037 140727993157760 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 19296256 140727993164636 140727993164898 140727993164898 140727993171913 0
/proc/191364/statm: 61399 52969 1934 992 0 53257 0
Current children cumulated CPU time: 3092.38 s
Current children cumulated vsize: 245596 KiB
Current children cumulated memory: 211876 KiB
[startup+3162.3 s]
/proc/loadavg: 3.10 3.16 3.40 4/250 193023
/proc/meminfo: memFree=107960996/131524600 swapFree=131054736/131071996
[pid=191364] ppid=191361 vsize=246896 memory=214600 CPUtime=3152.16 cores=1,3
/proc/191364/stat : 191364 (roundingsat) R 191361 191364 190848 0 -1 4194304 33116 0 0 0 314937 279 0 0 20 0 1 0 20587560 252821504 53650 134679101440 4194304 8254037 140727993157760 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 19296256 140727993164636 140727993164898 140727993164898 140727993171913 0
/proc/191364/statm: 61724 53650 1934 992 0 53582 0
Current children cumulated CPU time: 3152.16 s
Current children cumulated vsize: 246896 KiB
Current children cumulated memory: 214600 KiB
[startup+3222.3 s]
/proc/loadavg: 3.20 3.18 3.38 4/250 193034
/proc/meminfo: memFree=107931672/131524600 swapFree=131054736/131071996
[pid=191364] ppid=191361 vsize=247412 memory=215004 CPUtime=3211.94 cores=1,3
/proc/191364/stat : 191364 (roundingsat) R 191361 191364 190848 0 -1 4194304 33270 0 0 0 320912 282 0 0 20 0 1 0 20587560 253349888 53751 134679101440 4194304 8254037 140727993157760 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 19296256 140727993164636 140727993164898 140727993164898 140727993171913 0
/proc/191364/statm: 61853 53751 1934 992 0 53711 0
Current children cumulated CPU time: 3211.94 s
Current children cumulated vsize: 247412 KiB
Current children cumulated memory: 215004 KiB
[startup+3282.3 s]
/proc/loadavg: 3.12 3.16 3.36 4/252 193217
/proc/meminfo: memFree=107905736/131524600 swapFree=131054736/131071996
[pid=191364] ppid=191361 vsize=247668 memory=217192 CPUtime=3271.72 cores=1,3
/proc/191364/stat : 191364 (roundingsat) R 191361 191364 190848 0 -1 4194304 33444 0 0 0 326887 285 0 0 20 0 1 0 20587560 253612032 54298 134679101440 4194304 8254037 140727993157760 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 19296256 140727993164636 140727993164898 140727993164898 140727993171913 0
/proc/191364/statm: 61917 54298 1934 992 0 53775 0
Current children cumulated CPU time: 3271.72 s
Current children cumulated vsize: 247668 KiB
Current children cumulated memory: 217192 KiB
[startup+3342.3 s]
/proc/loadavg: 3.08 3.14 3.34 4/252 193227
/proc/meminfo: memFree=107874372/131524600 swapFree=131054736/131071996
[pid=191364] ppid=191361 vsize=248960 memory=220128 CPUtime=3331.51 cores=1,3
/proc/191364/stat : 191364 (roundingsat) R 191361 191364 190848 0 -1 4194304 33719 0 0 0 332863 288 0 0 20 0 1 0 20587560 254935040 55032 134679101440 4194304 8254037 140727993157760 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 19296256 140727993164636 140727993164898 140727993164898 140727993171913 0
/proc/191364/statm: 62240 55032 1934 992 0 54098 0
Current children cumulated CPU time: 3331.51 s
Current children cumulated vsize: 248960 KiB
Current children cumulated memory: 220128 KiB
[startup+3402.3 s]
/proc/loadavg: 3.13 3.14 3.33 4/252 193239
/proc/meminfo: memFree=107847644/131524600 swapFree=131054736/131071996
[pid=191364] ppid=191361 vsize=250904 memory=223508 CPUtime=3391.29 cores=1,3
/proc/191364/stat : 191364 (roundingsat) R 191361 191364 190848 0 -1 4194304 34142 0 0 0 338839 290 0 0 20 0 1 0 20587560 256925696 55877 134679101440 4194304 8254037 140727993157760 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 19296256 140727993164636 140727993164898 140727993164898 140727993171913 0
/proc/191364/statm: 62726 55877 1934 992 0 54584 0
Current children cumulated CPU time: 3391.29 s
Current children cumulated vsize: 250904 KiB
Current children cumulated memory: 223508 KiB
[startup+3462.3 s]
/proc/loadavg: 2.88 3.08 3.30 3/246 193292
/proc/meminfo: memFree=109014228/131524600 swapFree=131054736/131071996
[pid=191364] ppid=191361 vsize=301904 memory=224740 CPUtime=3451.05 cores=1,3
/proc/191364/stat : 191364 (roundingsat) R 191361 191364 190848 0 -1 4194304 34585 0 0 0 344812 293 0 0 20 0 1 0 20587560 309149696 56185 134679101440 4194304 8254037 140727993157760 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 19296256 140727993164636 140727993164898 140727993164898 140727993171913 0
/proc/191364/statm: 75476 56185 1934 992 0 67334 0
Current children cumulated CPU time: 3451.05 s
Current children cumulated vsize: 301904 KiB
Current children cumulated memory: 224740 KiB
[startup+3522.3 s]
/proc/loadavg: 2.43 2.91 3.22 3/246 193304
/proc/meminfo: memFree=109002888/131524600 swapFree=131054736/131071996
[pid=191364] ppid=191361 vsize=302424 memory=227316 CPUtime=3510.81 cores=1,3
/proc/191364/stat : 191364 (roundingsat) R 191361 191364 190848 0 -1 4194304 34743 0 0 0 350785 296 0 0 20 0 1 0 20587560 309682176 56829 134679101440 4194304 8254037 140727993157760 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 19296256 140727993164636 140727993164898 140727993164898 140727993171913 0
/proc/191364/statm: 75606 56829 1934 992 0 67464 0
Current children cumulated CPU time: 3510.81 s
Current children cumulated vsize: 302424 KiB
Current children cumulated memory: 227316 KiB
[startup+3582.3 s]
/proc/loadavg: 2.21 2.76 3.15 3/246 193315
/proc/meminfo: memFree=108988736/131524600 swapFree=131054736/131071996
[pid=191364] ppid=191361 vsize=302424 memory=227316 CPUtime=3570.59 cores=1,3
/proc/191364/stat : 191364 (roundingsat) R 191361 191364 190848 0 -1 4194304 34743 0 0 0 356760 299 0 0 20 0 1 0 20587560 309682176 56829 134679101440 4194304 8254037 140727993157760 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 19296256 140727993164636 140727993164898 140727993164898 140727993171913 0
/proc/191364/statm: 75606 56829 1934 992 0 67464 0
Current children cumulated CPU time: 3570.59 s
Current children cumulated vsize: 302424 KiB
Current children cumulated memory: 227316 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.9 s]
/proc/loadavg: 2.22 2.72 3.12 3/245 193321
/proc/meminfo: memFree=108982140/131524600 swapFree=131054736/131071996
[pid=191364] ppid=191361 vsize=302424 memory=227384 CPUtime=3600.08 cores=1,3
/proc/191364/stat : 191364 (roundingsat) R 191361 191364 190848 0 -1 4194304 34807 0 0 0 359707 301 0 0 20 0 1 0 20587560 309682176 56846 134679101440 4194304 8254037 140727993157760 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 19296256 140727993164636 140727993164898 140727993164898 140727993171913 0
/proc/191364/statm: 75606 56846 1934 992 0 67464 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 302424 KiB
Current children cumulated memory: 227384 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.91 s]
# the end of solver process 191364 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3597.07 s, system=3.02243 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.9 s]
/proc/loadavg: 2.22 2.72 3.12 3/245 193321
/proc/meminfo: memFree=108982140/131524600 swapFree=131054736/131071996
[pid=191364] ppid=191361 vsize=302424 memory=227384 CPUtime=3600.08 cores=1,3
/proc/191364/stat : 191364 (roundingsat) R 191361 191364 190848 0 -1 4194304 34807 0 0 0 359707 301 0 0 20 0 1 0 20587560 309682176 56846 134679101440 4194304 8254037 140727993157760 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 19296256 140727993164636 140727993164898 140727993164898 140727993171913 0
/proc/191364/statm: 75606 56846 1934 992 0 67464 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 302424 KiB
Current children cumulated memory: 227384 KiB
Child status: 0
Real time (s): 3611.91
CPU time (s): 3600.09
CPU user time (s): 3597.07
CPU system time (s): 3.02243
CPU usage (%): 99.6728
Max. virtual memory (cumulated for all children) (KiB): 302424
Max. memory (cumulated for all children) (KiB): 227384
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.07
system time used= 3.02243
maximum resident set size= 227420
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34818
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2126352
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 99
involuntary context switches= 4845
# summary of solver processes directly reported to runsolver:
# pid: 191364
# total CPU time (s): 3600.09
# total CPU user time (s): 3597.07
# total CPU system time (s): 3.02243
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.4229 second user time and 17.7904 second system time
The end
Begin job on nodeC034 at 2024-07-24 19:03:54
IDJOB=4457448
IDBENCH=175982
IDSOLVER=3085
FILE ID=nodeC034/4457448-1721840634
RUNJOBID= nodeC034-1721840464-190860
SLURM_JOB_ID= 7891550
Free space on /tmp= 890060 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-4457448-1721840634/watcher-4457448-1721840634 -o /tmp/evaluation-result-4457448-1721840634/solver-4457448-1721840634 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721840464-190860 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457448-1721840634 --lp-cut-gomory=0 HOME/instance-4457448-1721840634.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 928ae9c4ace7ac4d67936920dc463dea
RANDOM SEED=357429667
nodeC034.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 : 3662.535
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.92
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 : 3653.168
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.84
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.118
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.92
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 : 3663.177
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.84
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 : 3662.541
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.92
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 : 3666.316
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.84
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.160
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.92
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.247
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.84
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 110034620 kB
MemAvailable: 129307352 kB
Buffers: 266040 kB
Cached: 19765144 kB
SwapCached: 96 kB
Active: 1652008 kB
Inactive: 19122076 kB
Active(anon): 1968 kB
Inactive(anon): 782988 kB
Active(file): 1650040 kB
Inactive(file): 18339088 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131054736 kB
Dirty: 59580 kB
Writeback: 188 kB
AnonPages: 741804 kB
Mapped: 102896 kB
Shmem: 42580 kB
KReclaimable: 246504 kB
Slab: 362948 kB
SReclaimable: 246504 kB
SUnreclaim: 116444 kB
KernelStack: 4288 kB
PageTables: 10904 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1143960 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 14048 kB
HardwareCorrupted: 0 kB
AnonHugePages: 294912 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: 357076 kB
DirectMap2M: 48699392 kB
DirectMap1G: 87031808 kB
Free space on /tmp at the end= 890072 MiB
End job on nodeC034 at 2024-07-24 20:04:06