182.54/182.69 c starting MXC with:
182.54/182.69 c cnf_path = HOME/instance-1773457-1241299796.cnf
182.54/182.69 c restart_strategy = auto
182.54/182.69 c sign_strategy = cached
182.54/182.69 c use_preprocessing = -1
182.54/182.69 c output_implicant = 1
182.54/182.69 c timeout_seconds = 0
182.54/182.69 c running SatELite... done
182.54/182.69 c 170482 vars eliminated
182.54/182.69 c received 160 units and 289146 clauses from SatELite
182.54/182.69 c 170641 assignments made, starting to guess now
182.54/182.69 c ===================================[MXC]=====================================
182.54/182.69 c | Conflicts | Clause Statistics | Vars |
182.54/182.69 c | | CARD BIN O3+ L3+ L3+Lim Lit/CL | |
182.54/182.69 c =============================================================================
182.54/182.69 c | 0 | 0 58894 230252 0 0 nan | 217725 |
182.54/182.69 c | 100 | 0 58882 230228 90 1050 6.5 | 47079 |
182.54/182.69 c | 210 | 0 58883 230228 199 1105 11.6 | 47079 |
182.54/182.69 c | 441 | 0 58883 230228 430 1220 19.9 | 47079 |
182.54/182.69 c | 805 | 0 58901 230148 787 1402 18.7 | 47076 |
182.54/182.69 c | 1315 | 0 58908 230148 1290 1657 18.3 | 47076 |
182.54/182.69 c | 1986 | 0 58517 228741 1937 1993 18.3 | 46925 |
182.54/182.69 c | 2834 | 0 58488 228662 1748 2417 18.5 | 46915 |
182.54/182.69 c | 3876 | 0 58460 228139 2580 2938 20.2 | 46844 |
182.54/182.69 c | 5132 | 0 58588 227277 2147 3566 20.6 | 46790 |
182.54/182.69 c | 6623 | 0 58197 225551 3605 4311 19.1 | 46586 |
182.54/182.69 c | 8373 | 0 57395 221811 2645 5186 20.9 | 46135 |
182.54/182.69 c | 10408 | 0 57422 221807 4652 6204 20.9 | 46134 |
182.54/182.69 c | 12756 | 0 57040 220021 6960 7378 20.8 | 45898 |
182.54/182.69 c | 15449 | 0 56992 219826 5714 8724 22.0 | 45862 |
182.54/182.69 c | 18521 | 0 56860 219101 8750 10260 21.6 | 45788 |
182.54/182.69 c | 22010 | 0 56907 218918 6317 12005 23.8 | 45775 |
182.54/182.69 c | 25958 | 0 56501 216176 10224 13979 26.4 | 45411 |
182.54/182.69 c | 30411 | 0 56424 215851 14645 16205 25.5 | 45375 |
182.54/182.69 c | 35419 | 0 56417 214945 10747 18709 23.0 | 45281 |
182.54/182.69 c | 41038 | 0 56267 214488 16345 21519 22.9 | 45177 |
182.54/182.69 c | 47329 | 0 56276 214458 22614 24664 23.6 | 45174 |
182.54/182.69 c | 54360 | 0 54592 209945 16330 28180 23.0 | 44466 |
182.54/182.69 c | 62205 | 0 54236 208152 24083 32102 23.4 | 44232 |
182.54/182.69 c | 70945 | 0 54020 206254 32688 36472 24.7 | 44006 |
182.54/182.69 c | 80669 | 0 53999 205872 22268 41334 25.5 | 43961 |
182.54/182.69 c | 91476 | 0 53814 205459 33023 46738 27.0 | 43877 |
182.54/182.69 c | 103474 | 0 53828 205364 44984 52737 29.1 | 43867 |
182.54/182.69 c | 116782 | 0 53817 205247 58241 59391 30.0 | 43850 |
182.54/182.69 c | 131532 | 0 52479 202874 42746 66766 27.3 | 43317 |
182.54/182.69 c | 147868 | 0 52478 202648 59027 74934 29.6 | 43293 |
182.54/182.69 c | 165948 | 0 52441 202302 77062 83974 30.6 | 43260 |
182.54/182.69 c | 185947 | 0 52450 202000 51690 93973 31.6 | 43227 |
182.54/182.69 c | 208057 | 0 52457 201890 73789 105028 35.4 | 43223 |
182.54/182.69 c | 232489 | 0 52462 201764 98173 117244 36.4 | 43206 |
182.54/182.69 c | 259475 | 0 52359 201359 125106 130737 36.7 | 43157 |
182.54/182.69 c | 289271 | 0 52391 201116 85970 145635 35.1 | 43147 |
182.54/182.69 c | 322158 | 0 52875 200928 84337 162079 31.0 | 43118 |
182.54/182.69 c | 351886 | 0 52955 200928 113971 176943 32.5 | 37308 |
182.54/182.69 c ----- stats for thread 0 -----
182.54/182.69 c restarts: 694
182.54/182.69 c decisions: 2644090
182.54/182.69 c propagations: 168446362
182.54/182.69 c conflicts: 351886
182.54/182.69 c 182.676s elapsed
182.54/182.69 s UNSATISFIABLE
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1773457-1241299796/watcher-1773457-1241299796 -o /tmp/evaluation-result-1773457-1241299796/solver-1773457-1241299796 -C 10000 -W 12000 -M 1800 HOME/mxc-sat09 -i HOME/instance-1773457-1241299796.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 12000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.04 2.27 3.26 3/64 27011
/proc/meminfo: memFree=1914880/2055920 swapFree=4181296/4192956
[pid=27011] ppid=27009 vsize=12280 CPUtime=0
/proc/27011/stat : 27011 (mxc-sat09) R 27009 27011 26920 0 -1 4194304 730 0 0 0 0 0 0 0 18 0 1 0 158007505 12574720 716 1992294400 134512640 135192793 4294956224 18446744073709551615 134779278 0 0 4096 0 0 0 0 17 1 0 0
/proc/27011/statm: 3070 722 46 166 0 2901 0
[startup+0.074833 s]
/proc/loadavg: 1.04 2.27 3.26 3/64 27011
/proc/meminfo: memFree=1914880/2055920 swapFree=4181296/4192956
[pid=27011] ppid=27009 vsize=44732 CPUtime=0.07
/proc/27011/stat : 27011 (mxc-sat09) R 27009 27011 26920 0 -1 4194304 9487 0 0 0 3 4 0 0 18 0 1 0 158007505 45805568 9402 1992294400 134512640 135192793 4294956224 18446744073709551615 134569157 0 0 4096 0 0 0 0 17 1 0 0
/proc/27011/statm: 11183 9405 53 166 0 11014 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 44732
[startup+0.101835 s]
/proc/loadavg: 1.04 2.27 3.26 3/64 27011
/proc/meminfo: memFree=1914880/2055920 swapFree=4181296/4192956
[pid=27011] ppid=27009 vsize=56344 CPUtime=0.09
/proc/27011/stat : 27011 (mxc-sat09) R 27009 27011 26920 0 -1 4194304 11511 0 0 0 4 5 0 0 18 0 1 0 158007505 57696256 11426 1992294400 134512640 135192793 4294956224 18446744073709551615 134568414 0 0 4096 0 0 0 0 17 1 0 0
/proc/27011/statm: 14086 11429 53 166 0 13917 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 56344
[startup+0.301856 s]
/proc/loadavg: 1.04 2.27 3.26 3/64 27011
/proc/meminfo: memFree=1914880/2055920 swapFree=4181296/4192956
[pid=27011] ppid=27009 vsize=73368 CPUtime=0.29
/proc/27011/stat : 27011 (mxc-sat09) R 27009 27011 26920 0 -1 4194304 15466 0 0 0 23 6 0 0 19 0 1 0 158007505 75128832 15289 1992294400 134512640 135192793 4294956224 18446744073709551615 134750438 0 0 4096 0 0 0 0 17 1 0 0
/proc/27011/statm: 18342 15290 54 166 0 18173 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 73368
[startup+0.701898 s]
/proc/loadavg: 1.04 2.27 3.26 3/64 27011
/proc/meminfo: memFree=1914880/2055920 swapFree=4181296/4192956
[pid=27011] ppid=27009 vsize=96868 CPUtime=0.69
/proc/27011/stat : 27011 (mxc-sat09) R 27009 27011 26920 0 -1 4194304 21424 0 0 0 61 8 0 0 22 0 1 0 158007505 99192832 21247 1992294400 134512640 135192793 4294956224 18446744073709551615 134750438 0 0 4096 0 0 0 0 17 1 0 0
/proc/27011/statm: 24217 21247 54 166 0 24048 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 96868
[startup+1.50198 s]
/proc/loadavg: 1.04 2.27 3.26 2/65 27012
/proc/meminfo: memFree=1834360/2055920 swapFree=4181296/4192956
[pid=27011] ppid=27009 vsize=109684 CPUtime=1.49
/proc/27011/stat : 27011 (mxc-sat09) R 27009 27011 26920 0 -1 4194304 27153 0 0 0 139 10 0 0 25 0 1 0 158007505 112316416 24117 1992294400 134512640 135192793 4294956224 18446744073709551615 134750438 0 0 4096 0 0 0 0 17 1 0 0
/proc/27011/statm: 27421 24117 56 166 0 27252 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 109684
[startup+3.10217 s]
/proc/loadavg: 1.04 2.27 3.26 2/65 27012
/proc/meminfo: memFree=1801912/2055920 swapFree=4181296/4192956
[pid=27011] ppid=27009 vsize=146912 CPUtime=3.09
/proc/27011/stat : 27011 (mxc-sat09) R 27009 27011 26920 0 -1 4194304 36065 0 0 0 295 14 0 0 25 0 1 0 158007505 150437888 33029 1992294400 134512640 135192793 4294956224 18446744073709551615 134750438 0 0 4096 0 0 0 0 17 1 0 0
/proc/27011/statm: 36728 33029 56 166 0 36559 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 146912
[startup+6.3015 s]
/proc/loadavg: 1.11 2.27 3.25 2/65 27012
/proc/meminfo: memFree=1768440/2055920 swapFree=4181296/4192956
[pid=27011] ppid=27009 vsize=159828 CPUtime=6.29
/proc/27011/stat : 27011 (mxc-sat09) R 27009 27011 26920 0 -1 4194304 43677 0 0 0 611 18 0 0 25 0 1 0 158007505 163663872 37371 1992294400 134512640 135192793 4294956224 18446744073709551615 134553644 0 0 4096 0 0 0 0 17 1 0 0
/proc/27011/statm: 39957 37371 72 166 0 39788 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 159828
[startup+12.7012 s]
/proc/loadavg: 1.10 2.24 3.24 2/65 27012
/proc/meminfo: memFree=1763384/2055920 swapFree=4181296/4192956
[pid=27011] ppid=27009 vsize=161544 CPUtime=12.69
/proc/27011/stat : 27011 (mxc-sat09) R 27009 27011 26920 0 -1 4194304 44110 0 0 0 1250 19 0 0 25 0 1 0 158007505 165421056 37804 1992294400 134512640 135192793 4294956224 18446744073709551615 134533227 0 0 4096 0 0 0 0 17 1 0 0
/proc/27011/statm: 40386 37804 73 166 0 40217 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 161544
[startup+25.5016 s]
/proc/loadavg: 1.08 2.18 3.20 2/65 27012
/proc/meminfo: memFree=1761976/2055920 swapFree=4181296/4192956
[pid=27011] ppid=27009 vsize=163132 CPUtime=25.48
/proc/27011/stat : 27011 (mxc-sat09) R 27009 27011 26920 0 -1 4194304 44505 0 0 0 2529 19 0 0 25 0 1 0 158007505 167047168 38199 1992294400 134512640 135192793 4294956224 18446744073709551615 134533227 0 0 4096 0 0 0 0 17 1 0 0
/proc/27011/statm: 40783 38199 73 166 0 40614 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 163132
[startup+51.1013 s]
/proc/loadavg: 1.05 2.09 3.15 2/65 27012
/proc/meminfo: memFree=1757432/2055920 swapFree=4181296/4192956
[pid=27011] ppid=27009 vsize=168040 CPUtime=51.08
/proc/27011/stat : 27011 (mxc-sat09) R 27009 27011 26920 0 -1 4194304 45710 0 0 0 5088 20 0 0 25 0 1 0 158007505 172072960 39404 1992294400 134512640 135192793 4294956224 18446744073709551615 134532620 0 0 4096 0 0 0 0 17 1 0 0
/proc/27011/statm: 42010 39404 73 166 0 41841 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 168040
[startup+102.306 s]
/proc/loadavg: 1.02 1.92 3.03 2/65 27012
/proc/meminfo: memFree=1742328/2055920 swapFree=4181296/4192956
[pid=27011] ppid=27009 vsize=182864 CPUtime=102.27
/proc/27011/stat : 27011 (mxc-sat09) R 27009 27011 26920 0 -1 4194304 49394 0 0 0 10202 25 0 0 25 0 1 0 158007505 187252736 43088 1992294400 134512640 135192793 4294956224 18446744073709551615 134552144 0 0 4096 0 0 0 0 17 1 0 0
/proc/27011/statm: 45716 43088 73 166 0 45547 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 182864
[startup+162.301 s]
/proc/loadavg: 1.01 1.75 2.90 2/65 27012
/proc/meminfo: memFree=1725944/2055920 swapFree=4181296/4192956
[pid=27011] ppid=27009 vsize=200260 CPUtime=162.24
/proc/27011/stat : 27011 (mxc-sat09) R 27009 27011 26920 0 -1 4194304 53465 0 0 0 16195 29 0 0 25 0 1 0 158007505 205066240 47159 1992294400 134512640 135192793 4294956224 18446744073709551615 134533920 0 0 4096 0 0 0 0 17 1 0 0
/proc/27011/statm: 50065 47159 73 166 0 49896 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 200260
Solver just ended. Dumping a history of the last processes samples
[startup+166.302 s]
/proc/loadavg: 1.00 1.73 2.89 2/65 27012
/proc/meminfo: memFree=1725944/2055920 swapFree=4181296/4192956
[pid=27011] ppid=27009 vsize=200260 CPUtime=166.24
/proc/27011/stat : 27011 (mxc-sat09) R 27009 27011 26920 0 -1 4194304 53465 0 0 0 16595 29 0 0 25 0 1 0 158007505 205066240 47159 1992294400 134512640 135192793 4294956224 18446744073709551615 134532620 0 0 4096 0 0 0 0 17 1 0 0
/proc/27011/statm: 50065 47159 73 166 0 49896 0
Current children cumulated CPU time (s) 166.24
Current children cumulated vsize (KiB) 200260
[startup+172.705 s]
/proc/loadavg: 1.00 1.72 2.88 2/65 27012
/proc/meminfo: memFree=1725816/2055920 swapFree=4181296/4192956
[pid=27011] ppid=27009 vsize=200260 CPUtime=172.64
/proc/27011/stat : 27011 (mxc-sat09) R 27009 27011 26920 0 -1 4194304 53489 0 0 0 17235 29 0 0 25 0 1 0 158007505 205066240 47183 1992294400 134512640 135192793 4294956224 18446744073709551615 134533834 0 0 4096 0 0 0 0 17 1 0 0
/proc/27011/statm: 50065 47183 73 166 0 49896 0
Current children cumulated CPU time (s) 172.64
Current children cumulated vsize (KiB) 200260
[startup+179.101 s]
/proc/loadavg: 1.00 1.71 2.87 2/65 27012
/proc/meminfo: memFree=1725752/2055920 swapFree=4181296/4192956
[pid=27011] ppid=27009 vsize=200604 CPUtime=179.04
/proc/27011/stat : 27011 (mxc-sat09) R 27009 27011 26920 0 -1 4194304 53535 0 0 0 17875 29 0 0 25 0 1 0 158007505 205418496 47229 1992294400 134512640 135192793 4294956224 18446744073709551615 134533834 0 0 4096 0 0 0 0 17 1 0 0
/proc/27011/statm: 50151 47229 73 166 0 49982 0
Current children cumulated CPU time (s) 179.04
Current children cumulated vsize (KiB) 200604
[startup+180.701 s]
/proc/loadavg: 1.00 1.70 2.86 2/65 27012
/proc/meminfo: memFree=1725624/2055920 swapFree=4181296/4192956
[pid=27011] ppid=27009 vsize=200604 CPUtime=180.64
/proc/27011/stat : 27011 (mxc-sat09) R 27009 27011 26920 0 -1 4194304 53540 0 0 0 18035 29 0 0 25 0 1 0 158007505 205418496 47234 1992294400 134512640 135192793 4294956224 18446744073709551615 134533834 0 0 4096 0 0 0 0 17 1 0 0
/proc/27011/statm: 50151 47234 73 166 0 49982 0
Current children cumulated CPU time (s) 180.64
Current children cumulated vsize (KiB) 200604
[startup+181.505 s]
/proc/loadavg: 1.00 1.70 2.86 2/65 27012
/proc/meminfo: memFree=1725560/2055920 swapFree=4181296/4192956
[pid=27011] ppid=27009 vsize=200604 CPUtime=181.44
/proc/27011/stat : 27011 (mxc-sat09) R 27009 27011 26920 0 -1 4194304 53551 0 0 0 18115 29 0 0 25 0 1 0 158007505 205418496 47245 1992294400 134512640 135192793 4294956224 18446744073709551615 134533834 0 0 4096 0 0 0 0 17 1 0 0
/proc/27011/statm: 50151 47245 73 166 0 49982 0
Current children cumulated CPU time (s) 181.44
Current children cumulated vsize (KiB) 200604
[startup+182.302 s]
/proc/loadavg: 1.00 1.70 2.86 2/65 27012
/proc/meminfo: memFree=1725560/2055920 swapFree=4181296/4192956
[pid=27011] ppid=27009 vsize=200792 CPUtime=182.24
/proc/27011/stat : 27011 (mxc-sat09) R 27009 27011 26920 0 -1 4194304 53568 0 0 0 18195 29 0 0 25 0 1 0 158007505 205611008 47262 1992294400 134512640 135192793 4294956224 18446744073709551615 134533227 0 0 4096 0 0 0 0 17 1 0 0
/proc/27011/statm: 50198 47262 73 166 0 50029 0
Current children cumulated CPU time (s) 182.24
Current children cumulated vsize (KiB) 200792
[startup+182.702 s]
/proc/loadavg: 1.00 1.70 2.86 2/65 27012
/proc/meminfo: memFree=1725496/2055920 swapFree=4181296/4192956
[pid=27011] ppid=27009 vsize=0 CPUtime=182.64
/proc/27011/stat : 27011 (mxc-sat09) R 27009 27011 26920 0 -1 4194308 53571 0 0 0 18234 30 0 0 25 0 1 0 158007505 0 0 1992294400 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/27011/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 182.64
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 182.726
CPU time (s): 182.672
CPU user time (s): 182.344
CPU system time (s): 0.32795
CPU usage (%): 99.9706
Max. virtual memory (cumulated for all children) (KiB): 200792
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 182.344
system time used= 0.32795
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53571
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 486
runsolver used 0.138978 second user time and 0.414936 second system time
The end
Begin job on node47 at 2009-05-02 23:29:57
IDJOB=1773457
IDBENCH=69595
IDSOLVER=613
FILE ID=node47/1773457-1241299796
PBS_JOBID= 9225198
Free space on /tmp= 66484 MiB
SOLVER NAME= MXC 2009-03-10
BENCH NAME= SAT_RACE08/cnf/manol-pipe-g10nid.cnf
COMMAND LINE= HOME/mxc-sat09 -i BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1773457-1241299796/watcher-1773457-1241299796 -o /tmp/evaluation-result-1773457-1241299796/solver-1773457-1241299796 -C 10000 -W 12000 -M 1800 HOME/mxc-sat09 -i HOME/instance-1773457-1241299796.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= d46e452956bc993f202d3b06fd3e858e
RANDOM SEED=1553232828
node47.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.212
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
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 syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.212
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
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 syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1915296 kB
Buffers: 8064 kB
Cached: 55968 kB
SwapCached: 5260 kB
Active: 32380 kB
Inactive: 39308 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1915296 kB
SwapTotal: 4192956 kB
SwapFree: 4181296 kB
Dirty: 12216 kB
Writeback: 0 kB
Mapped: 13600 kB
Slab: 54876 kB
Committed_AS: 741636 kB
PageTables: 1448 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66484 MiB
End job on node47 at 2009-05-02 23:33:00