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: 64096 MiB (55458 MiB free)
memory of node 1: 64473 MiB (56099 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457392-1721840064/watcher-4457392-1721840064 -o /tmp/evaluation-result-4457392-1721840064/solver-4457392-1721840064 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721832165-186543 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457392-1721840064 --lp-cut-gomory=0 HOME/instance-4457392-1721840064.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=193014, runsolver pid=193011
Current StackSize limit: 8192 KiB
[startup+0.100687 s]*
/proc/loadavg: 4.10 4.20 4.22 5/247 193015
/proc/meminfo: memFree=114219948/131655788 swapFree=131071472/131071996
[pid=193014] ppid=193011 vsize=52184 memory=20744 CPUtime=0.1 cores=5,7
/proc/193014/stat : 193014 (roundingsat) R 193011 193014 186530 0 -1 4194304 5360 0 0 0 9 1 0 0 20 0 1 0 19995346 53436416 5186 134679101440 4194304 8254037 140725776021600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25735168 140725776024412 140725776024674 140725776024674 140725776031689 0
/proc/193014/statm: 13046 5186 1375 992 0 4904 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 52184 KiB
Current children cumulated memory: 20744 KiB
[startup+0.209331 s]*
/proc/loadavg: 4.10 4.20 4.22 5/247 193015
/proc/meminfo: memFree=114217128/131655788 swapFree=131071472/131071996
[pid=193014] ppid=193011 vsize=52184 memory=23056 CPUtime=0.2 cores=5,7
/proc/193014/stat : 193014 (roundingsat) R 193011 193014 186530 0 -1 4194304 5399 0 0 0 19 1 0 0 20 0 1 0 19995346 53436416 5764 134679101440 4194304 8254037 140725776021600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25735168 140725776024412 140725776024674 140725776024674 140725776031689 0
/proc/193014/statm: 13046 5764 1375 992 0 4904 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 52184 KiB
Current children cumulated memory: 23056 KiB
[startup+0.309283 s]*
/proc/loadavg: 4.10 4.20 4.22 5/247 193015
/proc/meminfo: memFree=114215800/131655788 swapFree=131071472/131071996
[pid=193014] ppid=193011 vsize=53660 memory=24372 CPUtime=0.3 cores=5,7
/proc/193014/stat : 193014 (roundingsat) R 193011 193014 186530 0 -1 4194304 5773 0 0 0 29 1 0 0 20 0 1 0 19995346 54947840 6093 134679101440 4194304 8254037 140725776021600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25735168 140725776024412 140725776024674 140725776024674 140725776031689 0
/proc/193014/statm: 13415 6093 1375 992 0 5273 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 53660 KiB
Current children cumulated memory: 24372 KiB
[startup+0.700281 s]
/proc/loadavg: 4.10 4.20 4.22 5/247 193015
/proc/meminfo: memFree=114213800/131655788 swapFree=131071472/131071996
[pid=193014] ppid=193011 vsize=95120 memory=68020 CPUtime=0.69 cores=5,7
/proc/193014/stat : 193014 (roundingsat) R 193011 193014 186530 0 -1 4194304 16796 0 0 0 63 6 0 0 20 0 1 0 19995346 97402880 17005 134679101440 4194304 8254037 140725776021600 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25735168 140725776024412 140725776024674 140725776024674 140725776031689 0
/proc/193014/statm: 23780 17005 1646 992 0 15638 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 95120 KiB
Current children cumulated memory: 68020 KiB
[startup+1.50032 s]
/proc/loadavg: 4.10 4.20 4.22 5/247 193015
/proc/meminfo: memFree=114162008/131655788 swapFree=131071472/131071996
[pid=193014] ppid=193011 vsize=105936 memory=78024 CPUtime=1.48 cores=5,7
/proc/193014/stat : 193014 (roundingsat) R 193011 193014 186530 0 -1 4194304 19272 0 0 0 142 6 0 0 20 0 1 0 19995346 108478464 19506 134679101440 4194304 8254037 140725776021600 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25735168 140725776024412 140725776024674 140725776024674 140725776031689 0
/proc/193014/statm: 26484 19506 1710 992 0 18342 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 105936 KiB
Current children cumulated memory: 78024 KiB
[startup+3.11306 s]
/proc/loadavg: 4.09 4.19 4.22 5/247 193015
/proc/meminfo: memFree=114155996/131655788 swapFree=131071472/131071996
[pid=193014] ppid=193011 vsize=105936 memory=78024 CPUtime=3.09 cores=5,7
/proc/193014/stat : 193014 (roundingsat) R 193011 193014 186530 0 -1 4194304 19277 0 0 0 303 6 0 0 20 0 1 0 19995346 108478464 19506 134679101440 4194304 8254037 140725776021600 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25735168 140725776024412 140725776024674 140725776024674 140725776031689 0
/proc/193014/statm: 26484 19506 1710 992 0 18342 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 105936 KiB
Current children cumulated memory: 78024 KiB
[startup+6.3003 s]
/proc/loadavg: 4.09 4.19 4.22 5/247 193017
/proc/meminfo: memFree=114101208/131655788 swapFree=131071472/131071996
[pid=193014] ppid=193011 vsize=154968 memory=122680 CPUtime=6.27 cores=5,7
/proc/193014/stat : 193014 (roundingsat) R 193011 193014 186530 0 -1 4194304 23215 0 0 0 612 15 0 0 20 0 1 0 19995346 158687232 30670 134679101440 4194304 8254037 140725776021600 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25735168 140725776024412 140725776024674 140725776024674 140725776031689 0
/proc/193014/statm: 38742 30670 1756 992 0 30600 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 154968 KiB
Current children cumulated memory: 122680 KiB
[startup+12.7003 s]
/proc/loadavg: 4.08 4.18 4.22 5/247 193017
/proc/meminfo: memFree=113966556/131655788 swapFree=131071472/131071996
[pid=193014] ppid=193011 vsize=327728 memory=234900 CPUtime=12.65 cores=5,7
/proc/193014/stat : 193014 (roundingsat) R 193011 193014 186530 0 -1 4194304 27288 0 0 0 1222 43 0 0 20 0 1 0 19995346 335593472 58725 134679101440 4194304 8254037 140725776021600 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25735168 140725776024412 140725776024674 140725776024674 140725776031689 0
/proc/193014/statm: 81932 58725 1756 992 0 73790 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 327728 KiB
Current children cumulated memory: 234900 KiB
[startup+25.5003 s]
/proc/loadavg: 4.07 4.18 4.22 5/247 193020
/proc/meminfo: memFree=113667576/131655788 swapFree=131071472/131071996
[pid=193014] ppid=193011 vsize=507036 memory=441392 CPUtime=25.43 cores=5,7
/proc/193014/stat : 193014 (roundingsat) R 193011 193014 186530 0 -1 4194304 39697 0 0 0 2458 85 0 0 20 0 1 0 19995346 519204864 110348 134679101440 4194304 8254037 140725776021600 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25735168 140725776024412 140725776024674 140725776024674 140725776031689 0
/proc/193014/statm: 126759 110348 1756 992 0 118617 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 507036 KiB
Current children cumulated memory: 441392 KiB
[startup+51.1132 s]
/proc/loadavg: 4.16 4.20 4.22 5/247 193023
/proc/meminfo: memFree=113166136/131655788 swapFree=131071472/131071996
[pid=193014] ppid=193011 vsize=777472 memory=633016 CPUtime=50.97 cores=5,7
/proc/193014/stat : 193014 (roundingsat) R 193011 193014 186530 0 -1 4194304 53861 0 0 0 4965 132 0 0 20 0 1 0 19995346 796131328 158254 134679101440 4194304 8254037 140725776021600 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25735168 140725776024412 140725776024674 140725776024674 140725776031689 0
/proc/193014/statm: 194368 158254 1836 992 0 186226 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 777472 KiB
Current children cumulated memory: 633016 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.17 4.21 5/247 193415
/proc/meminfo: memFree=112312436/131655788 swapFree=131071472/131071996
[pid=193014] ppid=193011 vsize=1245956 memory=1012688 CPUtime=102.03 cores=5,7
/proc/193014/stat : 193014 (roundingsat) R 193011 193014 186530 0 -1 4194304 82602 0 0 0 10006 197 0 0 20 0 1 0 19995346 1275858944 253172 134679101440 4194304 8254037 140725776021600 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25735168 140725776024412 140725776024674 140725776024674 140725776031689 0
/proc/193014/statm: 311489 253172 1836 992 0 303347 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 1245956 KiB
Current children cumulated memory: 1012688 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.17 4.21 5/246 193425
/proc/meminfo: memFree=111872312/131655788 swapFree=131071472/131071996
[pid=193014] ppid=193011 vsize=1337340 memory=1202348 CPUtime=161.88 cores=5,7
/proc/193014/stat : 193014 (roundingsat) R 193011 193014 186530 0 -1 4194304 105516 0 0 0 15900 288 0 0 20 0 1 0 19995346 1369436160 300587 134679101440 4194304 8254037 140725776021600 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25735168 140725776024412 140725776024674 140725776024674 140725776031689 0
/proc/193014/statm: 334335 300587 1836 992 0 326193 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 1337340 KiB
Current children cumulated memory: 1202348 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.17 4.20 5/246 193436
/proc/meminfo: memFree=111417760/131655788 swapFree=131071472/131071996
[pid=193014] ppid=193011 vsize=1462628 memory=1386048 CPUtime=221.73 cores=5,7
/proc/193014/stat : 193014 (roundingsat) R 193011 193014 186530 0 -1 4194304 135240 0 0 0 21826 347 0 0 20 0 1 0 19995346 1497731072 346512 134679101440 4194304 8254037 140725776021600 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25735168 140725776024412 140725776024674 140725776024674 140725776031689 0
/proc/193014/statm: 365657 346512 1836 992 0 357515 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 1462628 KiB
Current children cumulated memory: 1386048 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 4.17 4.19 5/248 193616
/proc/meminfo: memFree=110526844/131655788 swapFree=131071472/131071996
[pid=193014] ppid=193011 vsize=2243804 memory=1839712 CPUtime=281.57 cores=5,7
/proc/193014/stat : 193014 (roundingsat) R 193011 193014 186530 0 -1 4194304 187543 0 0 0 27717 440 0 0 20 0 1 0 19995346 2297655296 459928 134679101440 4194304 8254037 140725776021600 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25735168 140725776024412 140725776024674 140725776024674 140725776031689 0
/proc/193014/statm: 560951 459928 1836 992 0 552809 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 2243804 KiB
Current children cumulated memory: 1839712 KiB
[startup+342.3 s]
/proc/loadavg: 4.16 4.16 4.19 5/249 193673
/proc/meminfo: memFree=115746336/131655788 swapFree=131071472/131071996
[pid=193014] ppid=193011 vsize=2314020 memory=1910296 CPUtime=341.42 cores=5,7
/proc/193014/stat : 193014 (roundingsat) R 193011 193014 186530 0 -1 4194304 205209 0 0 0 33610 532 0 0 20 0 1 0 19995346 2369556480 477574 134679101440 4194304 8254037 140725776021600 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25735168 140725776024412 140725776024674 140725776024674 140725776031689 0
/proc/193014/statm: 578505 477574 1836 992 0 570363 0
Current children cumulated CPU time: 341.42 s
Current children cumulated vsize: 2314020 KiB
Current children cumulated memory: 1910296 KiB
[startup+402.3 s]
/proc/loadavg: 4.06 4.13 4.17 4/244 193727
/proc/meminfo: memFree=114399604/131655788 swapFree=131071472/131071996
[pid=193014] ppid=193011 vsize=2385272 memory=2045904 CPUtime=401.26 cores=5,7
/proc/193014/stat : 193014 (roundingsat) R 193011 193014 186530 0 -1 4194304 224829 0 0 0 39507 619 0 0 20 0 1 0 19995346 2442518528 511476 134679101440 4194304 8254037 140725776021600 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25735168 140725776024412 140725776024674 140725776024674 140725776031689 0
/proc/193014/statm: 596318 511476 1836 992 0 588176 0
Current children cumulated CPU time: 401.26 s
Current children cumulated vsize: 2385272 KiB
Current children cumulated memory: 2045904 KiB
[startup+462.3 s]
/proc/loadavg: 4.30 4.20 4.19 5/252 194219
/proc/meminfo: memFree=114961384/131655788 swapFree=131071472/131071996
[pid=193014] ppid=193011 vsize=2402368 memory=2062664 CPUtime=461.09 cores=5,7
/proc/193014/stat : 193014 (roundingsat) R 193011 193014 186530 0 -1 4194304 229005 0 0 0 45432 677 0 0 20 0 1 0 19995346 2460024832 515666 134679101440 4194304 8254037 140725776021600 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25735168 140725776024412 140725776024674 140725776024674 140725776031689 0
/proc/193014/statm: 600592 515666 1836 992 0 592450 0
################
# More data... #
################
Current children cumulated memory: 3848512 KiB
[startup+2862.3 s]
/proc/loadavg: 4.10 4.26 4.28 5/246 195400
/proc/meminfo: memFree=108561208/131655788 swapFree=131071472/131071996
[pid=193014] ppid=193011 vsize=4235828 memory=3848512 CPUtime=2855.34 cores=5,7
/proc/193014/stat : 193014 (roundingsat) R 193011 193014 186530 0 -1 4194304 486576 0 0 0 283007 2527 0 0 20 0 1 0 19995346 4337487872 962128 134679101440 4194304 8254037 140725776021600 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25735168 140725776024412 140725776024674 140725776024674 140725776031689 0
/proc/193014/statm: 1058957 962128 1836 992 0 1050815 0
Current children cumulated CPU time: 2855.34 s
Current children cumulated vsize: 4235828 KiB
Current children cumulated memory: 3848512 KiB
[startup+2922.3 s]
/proc/loadavg: 4.15 4.24 4.27 5/247 195412
/proc/meminfo: memFree=108191992/131655788 swapFree=131071472/131071996
[pid=193014] ppid=193011 vsize=4278932 memory=3892536 CPUtime=2915.19 cores=5,7
/proc/193014/stat : 193014 (roundingsat) R 193011 193014 186530 0 -1 4194304 499447 0 0 0 288964 2555 0 0 20 0 1 0 19995346 4381626368 973134 134679101440 4194304 8254037 140725776021600 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25735168 140725776024412 140725776024674 140725776024674 140725776031689 0
/proc/193014/statm: 1069733 973134 1836 992 0 1061591 0
Current children cumulated CPU time: 2915.19 s
Current children cumulated vsize: 4278932 KiB
Current children cumulated memory: 3892536 KiB
[startup+2982.3 s]
/proc/loadavg: 4.12 4.21 4.26 5/247 195422
/proc/meminfo: memFree=107872672/131655788 swapFree=131071472/131071996
[pid=193014] ppid=193011 vsize=4319748 memory=3933600 CPUtime=2975.04 cores=5,7
/proc/193014/stat : 193014 (roundingsat) R 193011 193014 186530 0 -1 4194304 511756 0 0 0 294909 2595 0 0 20 0 1 0 19995346 4423421952 983400 134679101440 4194304 8254037 140725776021600 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25735168 140725776024412 140725776024674 140725776024674 140725776031689 0
/proc/193014/statm: 1079937 983400 1836 992 0 1071795 0
Current children cumulated CPU time: 2975.04 s
Current children cumulated vsize: 4319748 KiB
Current children cumulated memory: 3933600 KiB
[startup+3042.3 s]
/proc/loadavg: 4.08 4.19 4.25 5/247 195433
/proc/meminfo: memFree=107466656/131655788 swapFree=131071472/131071996
[pid=193014] ppid=193011 vsize=4386696 memory=4036124 CPUtime=3034.9 cores=5,7
/proc/193014/stat : 193014 (roundingsat) R 193011 193014 186530 0 -1 4194304 519845 0 0 0 300848 2642 0 0 20 0 1 0 19995346 4491976704 1009031 134679101440 4194304 8254037 140725776021600 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25735168 140725776024412 140725776024674 140725776024674 140725776031689 0
/proc/193014/statm: 1096674 1009031 1836 992 0 1088532 0
Current children cumulated CPU time: 3034.9 s
Current children cumulated vsize: 4386696 KiB
Current children cumulated memory: 4036124 KiB
[startup+3102.3 s]
/proc/loadavg: 4.13 4.18 4.24 5/248 195446
/proc/meminfo: memFree=107085676/131655788 swapFree=131071472/131071996
[pid=193014] ppid=193011 vsize=4386696 memory=4036124 CPUtime=3094.74 cores=5,7
/proc/193014/stat : 193014 (roundingsat) R 193011 193014 186530 0 -1 4194304 521456 0 0 0 306800 2674 0 0 20 0 1 0 19995346 4491976704 1009031 134679101440 4194304 8254037 140725776021600 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25735168 140725776024412 140725776024674 140725776024674 140725776031689 0
/proc/193014/statm: 1096674 1009031 1836 992 0 1088532 0
Current children cumulated CPU time: 3094.74 s
Current children cumulated vsize: 4386696 KiB
Current children cumulated memory: 4036124 KiB
[startup+3162.3 s]
/proc/loadavg: 3.66 4.05 4.19 4/242 195488
/proc/meminfo: memFree=107823452/131655788 swapFree=131071472/131071996
[pid=193014] ppid=193011 vsize=4440780 memory=4089756 CPUtime=3154.56 cores=5,7
/proc/193014/stat : 193014 (roundingsat) R 193011 193014 186530 0 -1 4194304 536712 0 0 0 312745 2711 0 0 20 0 1 0 19995346 4547358720 1022439 134679101440 4194304 8254037 140725776021600 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25735168 140725776024412 140725776024674 140725776024674 140725776031689 0
/proc/193014/statm: 1110195 1022439 1836 992 0 1102053 0
Current children cumulated CPU time: 3154.56 s
Current children cumulated vsize: 4440780 KiB
Current children cumulated memory: 4089756 KiB
[startup+3222.3 s]
/proc/loadavg: 3.28 3.87 4.12 4/242 195498
/proc/meminfo: memFree=107736496/131655788 swapFree=131071472/131071996
[pid=193014] ppid=193011 vsize=4447504 memory=4096420 CPUtime=3214.39 cores=5,7
/proc/193014/stat : 193014 (roundingsat) R 193011 193014 186530 0 -1 4194304 539090 0 0 0 318707 2732 0 0 20 0 1 0 19995346 4554244096 1024105 134679101440 4194304 8254037 140725776021600 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25735168 140725776024412 140725776024674 140725776024674 140725776031689 0
/proc/193014/statm: 1111876 1024105 1836 992 0 1103734 0
Current children cumulated CPU time: 3214.39 s
Current children cumulated vsize: 4447504 KiB
Current children cumulated memory: 4096420 KiB
[startup+3282.3 s]
/proc/loadavg: 3.16 3.73 4.06 4/242 195508
/proc/meminfo: memFree=107390452/131655788 swapFree=131071472/131071996
[pid=193014] ppid=193011 vsize=4469052 memory=4117884 CPUtime=3274.21 cores=5,7
/proc/193014/stat : 193014 (roundingsat) R 193011 193014 186530 0 -1 4194304 546251 0 0 0 324672 2749 0 0 20 0 1 0 19995346 4576309248 1029471 134679101440 4194304 8254037 140725776021600 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25735168 140725776024412 140725776024674 140725776024674 140725776031689 0
/proc/193014/statm: 1117263 1029471 1836 992 0 1109121 0
Current children cumulated CPU time: 3274.21 s
Current children cumulated vsize: 4469052 KiB
Current children cumulated memory: 4117884 KiB
[startup+3342.3 s]
/proc/loadavg: 3.10 3.61 3.99 4/241 195519
/proc/meminfo: memFree=107090600/131655788 swapFree=131071472/131071996
[pid=193014] ppid=193011 vsize=4476036 memory=4125024 CPUtime=3334.04 cores=5,7
/proc/193014/stat : 193014 (roundingsat) R 193011 193014 186530 0 -1 4194304 549686 0 0 0 330643 2761 0 0 20 0 1 0 19995346 4583460864 1031256 134679101440 4194304 8254037 140725776021600 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25735168 140725776024412 140725776024674 140725776024674 140725776031689 0
/proc/193014/statm: 1119009 1031256 1836 992 0 1110867 0
Current children cumulated CPU time: 3334.04 s
Current children cumulated vsize: 4476036 KiB
Current children cumulated memory: 4125024 KiB
[startup+3402.3 s]
/proc/loadavg: 3.14 3.52 3.94 4/241 195534
/proc/meminfo: memFree=106927364/131655788 swapFree=131071472/131071996
[pid=193014] ppid=193011 vsize=4485140 memory=4133876 CPUtime=3393.86 cores=5,7
/proc/193014/stat : 193014 (roundingsat) R 193011 193014 186530 0 -1 4194304 553569 0 0 0 336615 2771 0 0 20 0 1 0 19995346 4592783360 1033469 134679101440 4194304 8254037 140725776021600 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25735168 140725776024412 140725776024674 140725776024674 140725776031689 0
/proc/193014/statm: 1121285 1033469 1836 992 0 1113143 0
Current children cumulated CPU time: 3393.86 s
Current children cumulated vsize: 4485140 KiB
Current children cumulated memory: 4133876 KiB
[startup+3462.3 s]
/proc/loadavg: 3.05 3.43 3.88 4/241 195545
/proc/meminfo: memFree=106738012/131655788 swapFree=131071472/131071996
[pid=193014] ppid=193011 vsize=4551392 memory=4198764 CPUtime=3453.69 cores=5,7
/proc/193014/stat : 193014 (roundingsat) R 193011 193014 186530 0 -1 4194304 571536 0 0 0 342588 2781 0 0 20 0 1 0 19995346 4660625408 1049691 134679101440 4194304 8254037 140725776021600 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25735168 140725776024412 140725776024674 140725776024674 140725776031689 0
/proc/193014/statm: 1137848 1049691 1836 992 0 1129706 0
Current children cumulated CPU time: 3453.69 s
Current children cumulated vsize: 4551392 KiB
Current children cumulated memory: 4198764 KiB
[startup+3522.3 s]
/proc/loadavg: 3.26 3.41 3.84 4/241 195556
/proc/meminfo: memFree=106580676/131655788 swapFree=131071472/131071996
[pid=193014] ppid=193011 vsize=4559764 memory=4244416 CPUtime=3513.53 cores=5,7
/proc/193014/stat : 193014 (roundingsat) R 193011 193014 186530 0 -1 4194304 575639 0 0 0 348546 2807 0 0 20 0 1 0 19995346 4669198336 1061104 134679101440 4194304 8254037 140725776021600 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25735168 140725776024412 140725776024674 140725776024674 140725776031689 0
/proc/193014/statm: 1139941 1061104 1836 992 0 1131799 0
Current children cumulated CPU time: 3513.53 s
Current children cumulated vsize: 4559764 KiB
Current children cumulated memory: 4244416 KiB
[startup+3582.3 s]
/proc/loadavg: 3.15 3.35 3.79 4/241 195566
/proc/meminfo: memFree=106515132/131655788 swapFree=131071472/131071996
[pid=193014] ppid=193011 vsize=4560300 memory=4263288 CPUtime=3573.36 cores=5,7
/proc/193014/stat : 193014 (roundingsat) R 193011 193014 186530 0 -1 4194304 577103 0 0 0 354472 2864 0 0 20 0 1 0 19995346 4669747200 1065822 134679101440 4194304 8254037 140725776021600 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25735168 140725776024412 140725776024674 140725776024674 140725776031689 0
/proc/193014/statm: 1140075 1065822 1836 992 0 1131933 0
Current children cumulated CPU time: 3573.36 s
Current children cumulated vsize: 4560300 KiB
Current children cumulated memory: 4263288 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609 s]*
/proc/loadavg: 3.17 3.33 3.77 4/241 195572
/proc/meminfo: memFree=106498596/131655788 swapFree=131071472/131071996
[pid=193014] ppid=193011 vsize=4560300 memory=4263288 CPUtime=3600 cores=5,7
/proc/193014/stat : 193014 (roundingsat) R 193011 193014 186530 0 -1 4194304 577949 0 0 0 357116 2884 0 0 20 0 1 0 19995346 4669747200 1065822 134679101440 4194304 8254037 140725776021600 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 25735168 140725776024412 140725776024674 140725776024674 140725776031689 0
/proc/193014/statm: 1140075 1065822 1836 992 0 1131933 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 4560300 KiB
Current children cumulated memory: 4263288 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.07 s]
# the end of solver process 193014 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3571.19 s, system=28.8733 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.07
CPU time (s): 3600.06
CPU user time (s): 3571.19
CPU system time (s): 28.8733
CPU usage (%): 99.7504
Max. virtual memory (cumulated for all children) (KiB): 4560300
Max. memory (cumulated for all children) (KiB): 4263288
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3571.19
system time used= 28.8733
maximum resident set size= 4263288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 577970
page faults= 0
swaps= 0
block input operations= 0
block output operations= 15761280
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 162
involuntary context switches= 4894
# summary of solver processes directly reported to runsolver:
# pid: 193014
# total CPU time (s): 3600.06
# total CPU user time (s): 3571.19
# total CPU system time (s): 28.8733
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.2767 second user time and 36.8104 second system time
The end
Begin job on nodeC004 at 2024-07-24 18:54:24
IDJOB=4457392
IDBENCH=164221
IDSOLVER=3085
FILE ID=nodeC004/4457392-1721840064
RUNJOBID= nodeC004-1721832165-186543
SLURM_JOB_ID= 7891533
Free space on /tmp= 723748 MiB
SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2017/normalized-neos-948346.0.s.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-4457392-1721840064/watcher-4457392-1721840064 -o /tmp/evaluation-result-4457392-1721840064/solver-4457392-1721840064 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721832165-186543 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4457392-1721840064 --lp-cut-gomory=0 HOME/instance-4457392-1721840064.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= fa44fc9c0c30a6a8030f0b23aafff6c8
RANDOM SEED=641450944
nodeC004.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3545.239
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3655.116
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.503
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.383
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3664.944
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.301
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.295
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1795.921
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 114235948 kB
MemAvailable: 128869800 kB
Buffers: 270960 kB
Cached: 15150180 kB
SwapCached: 60 kB
Active: 2587088 kB
Inactive: 14183212 kB
Active(anon): 1444 kB
Inactive(anon): 1401672 kB
Active(file): 2585644 kB
Inactive(file): 12781540 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071472 kB
Dirty: 29804 kB
Writeback: 0 kB
AnonPages: 1346608 kB
Mapped: 124548 kB
Shmem: 53860 kB
KReclaimable: 213736 kB
Slab: 326656 kB
SReclaimable: 213736 kB
SUnreclaim: 112920 kB
KernelStack: 3968 kB
PageTables: 12380 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1848552 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 20128 kB
HardwareCorrupted: 0 kB
AnonHugePages: 985088 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: 392008 kB
DirectMap2M: 50892800 kB
DirectMap1G: 84934656 kB
Free space on /tmp at the end= 723760 MiB
End job on nodeC004 at 2024-07-24 19:54:33