0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/234719-1168333087/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.41 nbVariables=25 nbDomainTypes=25 minDomainSize=240 maxDomainSize=320
0.41 => wckTime=0.099 cpuTime=0.07 mem=6M919
0.42
0.42 predicates being loaded...
0.42
0.42 constraints being loaded...
2.49 nbConstraints=100 nbConvertedConstraints=100 nbConvertConstraintsChecks=7433110 nbExtensionStructures=100
2.49 nbSharedExtensionStructures=0 nbConflictsStructures=100 nbSharedConflictsStructures=0
2.49 nbSharedBinaryRepresentations=24338 maxDegree=8 maxArity=2
2.49 => wckTime=2.173 cpuTime=2.1 mem=14M721
2.53
2.53 solver IterativeSystematicSolver being built...
2.68 => wckTime=2.365 cpuTime=2.22 mem=15M837
2.73
2.73 preprocessing
2.73 nbConstraintChecks=437531 nbPropagations=349 nbRevisions=923 nbUselessRevisions=451 nbSingletonTests=33
2.73 nbEffectiveSingletonTests=0 nbESACBranches=8 nbRemovedValues=0 detectedInconsistency=no
2.73 => wckTime=0.044 cpuTime=0.03 mem=15M837
2.83
2.83 search
2.83 run=0 nbConstraintChecks=2111105 nbPropagations=1688 nbRevisions=7116 nbUselessRevisions=4025
2.83 nbAssignments=180 nbFailedAssignments=165 nbBacktracks=10 nbVisitedNodes=356 nbRestartNogoods=0 mapSize=10
2.83 nbInferences=0 nbTooLargeKeys=0
2.83 => wckTime=0.144 cpuTime=0.11 mem=16M814
3.39
3.39 search
3.39 run=1 nbConstraintChecks=18461186 nbPropagations=15137 nbRevisions=49951 nbUselessRevisions=19894
3.39 nbAssignments=1688 nbFailedAssignments=1604 nbBacktracks=25 nbVisitedNodes=3265 nbRestartNogoods=20 mapSize=25
3.39 nbInferences=0 nbTooLargeKeys=0
3.39 => wckTime=0.704 cpuTime=0.65 mem=16M814
3.55
3.55 search
3.55 run=2 nbConstraintChecks=24263189 nbPropagations=31312 nbRevisions=103778 nbUselessRevisions=39819
3.55 nbAssignments=2172 nbFailedAssignments=2065 nbBacktracks=47 nbVisitedNodes=4232 nbRestartNogoods=35 mapSize=47
3.55 nbInferences=0 nbTooLargeKeys=0
3.55 => wckTime=0.862 cpuTime=0.8 mem=16M814
3.73
3.73 search
3.73 run=3 nbConstraintChecks=31395648 nbPropagations=50835 nbRevisions=171282 nbUselessRevisions=64736
3.73 nbAssignments=2800 nbFailedAssignments=2659 nbBacktracks=80 nbVisitedNodes=5487 nbRestartNogoods=37 mapSize=80
3.73 nbInferences=0 nbTooLargeKeys=0
3.74 => wckTime=1.05 cpuTime=0.98 mem=16M814
4.61
4.61 search
4.62 run=4 nbConstraintChecks=59880949 nbPropagations=90933 nbRevisions=302370 nbUselessRevisions=110634
4.62 nbAssignments=5506 nbFailedAssignments=5314 nbBacktracks=130 nbVisitedNodes=10898 nbRestartNogoods=43
4.62 mapSize=130 nbInferences=0 nbTooLargeKeys=0
4.62 => wckTime=1.929 cpuTime=1.85 mem=16M814
4.99
4.99 search
4.99 run=5 nbConstraintChecks=73849884 nbPropagations=138129 nbRevisions=461589 nbUselessRevisions=166878
4.99 nbAssignments=6737 nbFailedAssignments=6469 nbBacktracks=205 nbVisitedNodes=13359 nbRestartNogoods=71
4.99 mapSize=205 nbInferences=0 nbTooLargeKeys=0
4.99 => wckTime=2.306 cpuTime=2.23 mem=16M814
5.50
5.50 search
5.50 run=6 nbConstraintChecks=92944355 nbPropagations=195245 nbRevisions=659085 nbUselessRevisions=237254
5.50 nbAssignments=8349 nbFailedAssignments=7967 nbBacktracks=318 nbVisitedNodes=16582 nbRestartNogoods=82
5.50 mapSize=318 nbInferences=0 nbTooLargeKeys=0
5.50 => wckTime=2.814 cpuTime=2.73 mem=16M814
7.40
7.40 search
7.40 run=7 nbConstraintChecks=160036365 nbPropagations=295738 nbRevisions=996127 nbUselessRevisions=357000
7.40 nbAssignments=13976 nbFailedAssignments=13416 nbBacktracks=488 nbVisitedNodes=27820 nbRestartNogoods=106
7.40 mapSize=488 nbInferences=0 nbTooLargeKeys=0
7.40 => wckTime=4.72 cpuTime=4.63 mem=16M814
9.85
9.85 search
9.85 run=8 nbConstraintChecks=247472217 nbPropagations=451250 nbRevisions=1509888 nbUselessRevisions=535775
9.85 nbAssignments=20496 nbFailedAssignments=19645 nbBacktracks=744 nbVisitedNodes=40790 nbRestartNogoods=154
9.85 mapSize=744 nbInferences=0 nbTooLargeKeys=0
9.85 => wckTime=7.161 cpuTime=7.06 mem=17M789
11.53
11.53 search
11.53 run=9 nbConstraintChecks=311556407 nbPropagations=641020 nbRevisions=2153336 nbUselessRevisions=763887
11.53 nbAssignments=25408 nbFailedAssignments=24305 nbBacktracks=997 nbVisitedNodes=50600 nbRestartNogoods=154
11.53 mapSize=994 nbInferences=0 nbTooLargeKeys=0
11.53 => wckTime=8.842 cpuTime=8.73 mem=17M789
11.53
11.53 global
11.53 nbConstraintChecks=311993938 nbPropagations=641369 nbRevisions=2154259 nbUselessRevisions=764338
11.53 nbRestartNogoods=154 solvingWckTime=8.844 solvingCpuTime=8.74 expiredTime=no totalExploration=yes
11.53 nbFoundSolutions=0 globalCpuTime=11.01
11.53 => wckTime=11.212 cpuTime=10.96 mem=17M789
11.53
11.53 s UNSATISFIABLE
11.53 d NODES 25408
11.53 d CHECKS 311993938
11.53
11.53 totalWckTime=11.289 totalCpuTime=11.01
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node42/watcher-234719-1168333087 -o ROOT/results/node42/solver-234719-1168333087 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/234719-1168333087/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 0.86 1.18 1.48 2/69 10628
/proc/meminfo: memFree=1545832/2055920 swapFree=4191892/4192956
[pid=10627] ppid=10623 vsize=292 CPUtime=0
/proc/10627/stat : 10627 (java) R 10623 10627 10484 0 -1 0 47 0 0 0 0 0 0 0 20 0 1 0 181707963 299008 31 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 12411911 0 0 4096 0 0 0 0 17 1 0 0
/proc/10627/statm: 73 35 27 14 0 5 0
[startup+0.10534 s]
/proc/loadavg: 0.86 1.18 1.48 2/69 10628
/proc/meminfo: memFree=1545832/2055920 swapFree=4191892/4192956
[pid=10627] ppid=10623 vsize=912588 CPUtime=0.07
/proc/10627/stat : 10627 (java) D 10623 10627 10484 0 -1 0 2751 0 1 0 6 1 0 0 22 0 8 0 181707963 934490112 2497 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10627/statm: 228147 2497 1382 14 0 215091 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 912588
[startup+0.513386 s]
/proc/loadavg: 0.86 1.18 1.48 2/69 10628
/proc/meminfo: memFree=1545832/2055920 swapFree=4191892/4192956
[pid=10627] ppid=10623 vsize=915460 CPUtime=0.47
/proc/10627/stat : 10627 (java) R 10623 10627 10484 0 -1 0 6524 0 1 0 43 4 0 0 24 0 8 0 181707963 937431040 6263 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073600284 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10627/statm: 228865 6263 2166 14 0 215335 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915460
[startup+1.33588 s]
/proc/loadavg: 0.86 1.18 1.48 3/88 10649
/proc/meminfo: memFree=1515344/2055920 swapFree=4191892/4192956
[pid=10627] ppid=10623 vsize=915460 CPUtime=1.29
/proc/10627/stat : 10627 (java) R 10623 10627 10484 0 -1 0 7143 0 1 0 124 5 0 0 25 0 8 0 181707963 937431040 6881 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073602635 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10627/statm: 228865 6881 2167 14 0 215335 0
[pid=10627/tid=10636] ppid=10623 vsize=915460 CPUtime=0
/proc/10627/task/10636/stat : 10636 (java) S 10623 10627 10484 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 181707967 937431040 6881 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10627/tid=10637] ppid=10623 vsize=915460 CPUtime=0
/proc/10627/task/10637/stat : 10637 (java) S 10623 10627 10484 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 181707968 937431040 6881 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10627/tid=10638] ppid=10623 vsize=915460 CPUtime=0
/proc/10627/task/10638/stat : 10638 (java) S 10623 10627 10484 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 181707968 937431040 6881 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10627/tid=10642] ppid=10623 vsize=915460 CPUtime=0
/proc/10627/task/10642/stat : 10642 (java) S 10623 10627 10484 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 181707973 937431040 6881 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10627/tid=10644] ppid=10623 vsize=915460 CPUtime=0.09
/proc/10627/task/10644/stat : 10644 (java) S 10623 10627 10484 0 -1 64 313 0 0 0 9 0 0 0 16 0 8 0 181707973 937431040 6881 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10627/tid=10646] ppid=10623 vsize=915460 CPUtime=0
/proc/10627/task/10646/stat : 10646 (java) S 10623 10627 10484 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 181707973 937431040 6881 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10627/tid=10648] ppid=10623 vsize=915460 CPUtime=0
/proc/10627/task/10648/stat : 10648 (java) S 10623 10627 10484 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181707973 937431040 6881 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915460
[startup+2.98466 s]
/proc/loadavg: 0.86 1.18 1.48 3/88 10649
/proc/meminfo: memFree=1511888/2055920 swapFree=4191892/4192956
[pid=10627] ppid=10623 vsize=915460 CPUtime=2.94
/proc/10627/stat : 10627 (java) R 10623 10627 10484 0 -1 0 9188 0 1 0 287 7 0 0 25 0 8 0 181707963 937431040 8925 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073725226 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10627/statm: 228865 8925 2541 14 0 215335 0
[pid=10627/tid=10636] ppid=10623 vsize=915460 CPUtime=0.03
/proc/10627/task/10636/stat : 10636 (java) S 10623 10627 10484 0 -1 64 742 0 0 0 3 0 0 0 16 0 8 0 181707967 937431040 8925 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10627/tid=10637] ppid=10623 vsize=915460 CPUtime=0
/proc/10627/task/10637/stat : 10637 (java) S 10623 10627 10484 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 181707968 937431040 8925 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10627/tid=10638] ppid=10623 vsize=915460 CPUtime=0
/proc/10627/task/10638/stat : 10638 (java) S 10623 10627 10484 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181707968 937431040 8925 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10627/tid=10642] ppid=10623 vsize=915460 CPUtime=0
/proc/10627/task/10642/stat : 10642 (java) S 10623 10627 10484 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 181707973 937431040 8925 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10627/tid=10644] ppid=10623 vsize=915460 CPUtime=0.17
/proc/10627/task/10644/stat : 10644 (java) S 10623 10627 10484 0 -1 64 355 0 0 0 16 1 0 0 15 0 8 0 181707973 937431040 8925 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10627/tid=10646] ppid=10623 vsize=915460 CPUtime=0
/proc/10627/task/10646/stat : 10646 (java) S 10623 10627 10484 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 181707973 937431040 8925 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10627/tid=10648] ppid=10623 vsize=915460 CPUtime=0
/proc/10627/task/10648/stat : 10648 (java) S 10623 10627 10484 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181707973 937431040 8925 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915460
[startup+6.19001 s]
/proc/loadavg: 0.95 1.19 1.49 3/88 10649
/proc/meminfo: memFree=1505616/2055920 swapFree=4191892/4192956
[pid=10627] ppid=10623 vsize=915460 CPUtime=6.12
/proc/10627/stat : 10627 (java) R 10623 10627 10484 0 -1 0 9206 0 1 0 605 7 0 0 25 0 8 0 181707963 937431040 8941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073725223 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10627/statm: 228865 8941 2541 14 0 215335 0
[pid=10627/tid=10636] ppid=10623 vsize=915460 CPUtime=0.03
/proc/10627/task/10636/stat : 10636 (java) S 10623 10627 10484 0 -1 64 742 0 0 0 3 0 0 0 16 0 8 0 181707967 937431040 8941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10627/tid=10637] ppid=10623 vsize=915460 CPUtime=0
/proc/10627/task/10637/stat : 10637 (java) S 10623 10627 10484 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 181707968 937431040 8941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10627/tid=10638] ppid=10623 vsize=915460 CPUtime=0
/proc/10627/task/10638/stat : 10638 (java) S 10623 10627 10484 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181707968 937431040 8941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10627/tid=10642] ppid=10623 vsize=915460 CPUtime=0
/proc/10627/task/10642/stat : 10642 (java) S 10623 10627 10484 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 181707973 937431040 8941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10627/tid=10644] ppid=10623 vsize=915460 CPUtime=0.2
/proc/10627/task/10644/stat : 10644 (java) S 10623 10627 10484 0 -1 64 371 0 0 0 19 1 0 0 16 0 8 0 181707973 937431040 8941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10627/tid=10646] ppid=10623 vsize=915460 CPUtime=0
/proc/10627/task/10646/stat : 10646 (java) S 10623 10627 10484 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 181707973 937431040 8941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10627/tid=10648] ppid=10623 vsize=915460 CPUtime=0
/proc/10627/task/10648/stat : 10648 (java) S 10623 10627 10484 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181707973 937431040 8941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 11.5476
CPU time (s): 11.4593
CPU user time (s): 11.3783
CPU system time (s): 0.080987
CPU usage (%): 99.2353
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.3783
system time used= 0.080987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9365
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1330
involuntary context switches= 1585
runsolver used 0.015997 s user time and 0.048992 s system time
The end
Begin job on node42 on Tue Jan 9 08:58:07 UTC 2007
IDJOB= 234719
IDBENCH= 6708
FILE ID= node42/234719-1168333087
PBS_JOBID= 3503331
Free space on /tmp= 66563 MiB
BENCH NAME= HOME/pub/bench/CPAI06/taillard/os-taillard-5/os-taillard-5-95-8.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/234719-1168333087/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node42/watcher-234719-1168333087 -o ROOT/results/node42/solver-234719-1168333087 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/234719-1168333087/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= b44e154edbaa39f899e76fd76810454f
RANDOM SEED= 944576229
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/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.229
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.229
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: 1546320 kB
Buffers: 59616 kB
Cached: 371808 kB
SwapCached: 376 kB
Active: 188804 kB
Inactive: 262168 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1546320 kB
SwapTotal: 4192956 kB
SwapFree: 4191892 kB
Dirty: 2160 kB
Writeback: 0 kB
Mapped: 28360 kB
Slab: 44268 kB
Committed_AS: 3950184 kB
PageTables: 1704 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= 66563 MiB
End job on node42 on Tue Jan 9 08:58:19 UTC 2007