Trace number 35780

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
minisat+ 1.14Signal 212.803 212.933

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-scsd1.opb
MD5SUM34085e863ff461099a0ff7d8d6c87d4c
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables22800
Total number of constraints77
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints77
Minimum length of a constraint600
Maximum length of a constraint1500
Number of terms in the objective function 22800
Biggest coefficient in the objective function 268435456000000000
Number of bits for the biggest coefficient in the objective function 58
Sum of the numbers in the objective function 188158757647584541356
Number of bits of the sum of numbers in the objective function 68
Biggest number in a constraint 268435456000000000
Number of bits of the biggest number in a constraint 58
Biggest sum of numbers in a constraint 188158757647584541356
Number of bits of the biggest sum of numbers68
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00	c Parsing PB file...
1.97	c Converting 154 PB-constraints to clauses...
1.98	c   -- Unit propagations: (none)
1.98	c   -- Detecting intervals from adjacent constraints: #############################################################################
2.01	c   -- Clauses(.)/Splits(s): (none)
2.01	c ---[ 152]---> GNU MP: Cannot allocate memory (size=8)

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node92/watcher-35780-1149310889 -o ROOT/results/node92/solver-35780-1149310889 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node92/35780-1149310889/instance-35780-1149310889.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.85 0.97 0.99 2/67 31309
/proc/meminfo: memFree=1646016/2055892 swapFree=4084900/4096564
[pid=31309] ppid=31307 vsize=18544 CPUtime=0
/proc/31309/stat : 31309 (runsolver) R 31307 31309 31263 0 -1 4194368 15 0 0 0 0 0 0 0 19 0 1 0 196727798 18989056 278 18446744073709551615 4194304 4262084 548682069056 18446744073709551615 214817109015 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/31309/statm: 4636 278 242 16 0 2626 0

[startup+10.0029 s]
/proc/loadavg: 0.87 0.97 0.99 2/67 31309
/proc/meminfo: memFree=1563584/2055892 swapFree=4084900/4096564
[pid=31309] ppid=31307 vsize=83836 CPUtime=9.97
/proc/31309/stat : 31309 (minisat+) R 31307 31309 31263 0 -1 4194304 23440 0 0 0 989 8 0 0 25 0 1 0 196727798 85848064 20695 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005894 0 0 4096 16386 0 0 0 17 0 0 0
/proc/31309/statm: 20959 20695 86 215 0 20741 0
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 83836

[startup+20.0092 s]
/proc/loadavg: 0.89 0.97 0.99 2/67 31309
/proc/meminfo: memFree=1442624/2055892 swapFree=4084900/4096564
[pid=31309] ppid=31307 vsize=204676 CPUtime=19.96
/proc/31309/stat : 31309 (minisat+) R 31307 31309 31263 0 -1 4194304 56294 0 0 0 1975 21 0 0 25 0 1 0 196727798 209588224 50912 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134809860 0 0 4096 16386 0 0 0 17 0 0 0
/proc/31309/statm: 51169 50912 86 215 0 50951 0
Current children cumulated CPU time (s) 19.96
Current children cumulated vsize (Kb) 204676

[startup+30.0155 s]
/proc/loadavg: 0.91 0.97 0.99 2/67 31309
/proc/meminfo: memFree=1387840/2055892 swapFree=4084900/4096564
[pid=31309] ppid=31307 vsize=259484 CPUtime=29.97
/proc/31309/stat : 31309 (minisat+) R 31307 31309 31263 0 -1 4194304 75247 0 0 0 2968 29 0 0 25 0 1 0 196727798 265711616 64592 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007475 0 0 4096 16386 0 0 0 17 0 0 0
/proc/31309/statm: 64871 64592 86 215 0 64653 0
Current children cumulated CPU time (s) 29.97
Current children cumulated vsize (Kb) 259484

[startup+40.0218 s]
/proc/loadavg: 0.92 0.97 0.99 2/67 31309
/proc/meminfo: memFree=1287168/2055892 swapFree=4084900/4096564
[pid=31309] ppid=31307 vsize=359876 CPUtime=39.96
/proc/31309/stat : 31309 (minisat+) R 31307 31309 31263 0 -1 4194304 110899 0 0 0 3953 43 0 0 25 0 1 0 196727798 368513024 89698 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134809850 0 0 4096 16386 0 0 0 17 0 0 0
/proc/31309/statm: 89969 89698 86 215 0 89751 0
Current children cumulated CPU time (s) 39.96
Current children cumulated vsize (Kb) 359876

[startup+50.0281 s]
/proc/loadavg: 0.93 0.97 0.99 2/67 31309
/proc/meminfo: memFree=1203392/2055892 swapFree=4084900/4096564
[pid=31309] ppid=31307 vsize=443432 CPUtime=49.96
/proc/31309/stat : 31309 (minisat+) R 31307 31309 31263 0 -1 4194304 131801 0 0 0 4946 50 0 0 25 0 1 0 196727798 454074368 110600 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134665429 0 0 4096 16386 0 0 0 17 0 0 0
/proc/31309/statm: 110858 110600 86 215 0 110640 0
Current children cumulated CPU time (s) 49.96
Current children cumulated vsize (Kb) 443432

[startup+60.0344 s]
/proc/loadavg: 0.94 0.97 0.99 2/67 31309
/proc/meminfo: memFree=1123968/2055892 swapFree=4084900/4096564
[pid=31309] ppid=31307 vsize=522764 CPUtime=59.96
/proc/31309/stat : 31309 (minisat+) R 31307 31309 31263 0 -1 4194304 151636 0 0 0 5940 56 0 0 25 0 1 0 196727798 535310336 130435 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012146 0 0 4096 16386 0 0 0 17 0 0 0
/proc/31309/statm: 130691 130435 86 215 0 130473 0
Current children cumulated CPU time (s) 59.96
Current children cumulated vsize (Kb) 522764

[startup+70.0407 s]
/proc/loadavg: 0.95 0.97 0.99 2/67 31309
/proc/meminfo: memFree=1047552/2055892 swapFree=4084900/4096564
[pid=31309] ppid=31307 vsize=599192 CPUtime=69.94
/proc/31309/stat : 31309 (minisat+) R 31307 31309 31263 0 -1 4194304 170725 0 0 0 6931 63 0 0 25 0 1 0 196727798 613572608 149524 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31309/statm: 149798 149524 86 215 0 149580 0
Current children cumulated CPU time (s) 69.94
Current children cumulated vsize (Kb) 599192

[startup+80.047 s]
/proc/loadavg: 0.96 0.97 0.99 2/67 31309
/proc/meminfo: memFree=925952/2055892 swapFree=4084900/4096564
[pid=31309] ppid=31307 vsize=720384 CPUtime=79.95
/proc/31309/stat : 31309 (minisat+) R 31307 31309 31263 0 -1 4194304 222122 0 0 0 7910 85 0 0 25 0 1 0 196727798 737673216 179830 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135010398 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31309/statm: 180096 179830 86 215 0 179878 0
Current children cumulated CPU time (s) 79.95
Current children cumulated vsize (Kb) 720384

[startup+90.0533 s]
/proc/loadavg: 0.96 0.97 0.99 2/67 31309
/proc/meminfo: memFree=843648/2055892 swapFree=4084900/4096564
[pid=31309] ppid=31307 vsize=802488 CPUtime=89.95
/proc/31309/stat : 31309 (minisat+) R 31307 31309 31263 0 -1 4194304 242655 0 0 0 8902 93 0 0 25 0 1 0 196727798 821747712 200363 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31309/statm: 200622 200363 86 215 0 200404 0
Current children cumulated CPU time (s) 89.95
Current children cumulated vsize (Kb) 802488

[startup+100.06 s]
/proc/loadavg: 0.97 0.97 0.99 2/67 31309
/proc/meminfo: memFree=764224/2055892 swapFree=4084900/4096564
[pid=31309] ppid=31307 vsize=881688 CPUtime=99.95
/proc/31309/stat : 31309 (minisat+) R 31307 31309 31263 0 -1 4194304 262462 0 0 0 9894 101 0 0 25 0 1 0 196727798 902848512 220170 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31309/statm: 220422 220170 86 215 0 220204 0
Current children cumulated CPU time (s) 99.95
Current children cumulated vsize (Kb) 881688

[startup+110.066 s]
/proc/loadavg: 0.97 0.97 0.99 2/67 31309
/proc/meminfo: memFree=683072/2055892 swapFree=4084900/4096564
[pid=31309] ppid=31307 vsize=962736 CPUtime=109.95
/proc/31309/stat : 31309 (minisat+) R 31307 31309 31263 0 -1 4194304 282722 0 0 0 10887 108 0 0 25 0 1 0 196727798 985841664 240430 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31309/statm: 240684 240430 86 215 0 240466 0
Current children cumulated CPU time (s) 109.95
Current children cumulated vsize (Kb) 962736

[startup+120.072 s]
/proc/loadavg: 0.98 0.97 0.99 2/67 31309
/proc/meminfo: memFree=602944/2055892 swapFree=4084900/4096564
[pid=31309] ppid=31307 vsize=1042728 CPUtime=119.96
/proc/31309/stat : 31309 (minisat+) R 31307 31309 31263 0 -1 4194304 302719 0 0 0 11880 116 0 0 25 0 1 0 196727798 1067753472 260427 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31309/statm: 260682 260427 86 215 0 260464 0
Current children cumulated CPU time (s) 119.96
Current children cumulated vsize (Kb) 1042728

[startup+130.078 s]
/proc/loadavg: 0.98 0.97 0.99 2/67 31309
/proc/meminfo: memFree=523904/2055892 swapFree=4084900/4096564
[pid=31309] ppid=31307 vsize=1121664 CPUtime=129.97
/proc/31309/stat : 31309 (minisat+) R 31307 31309 31263 0 -1 4194304 322431 0 0 0 12874 123 0 0 25 0 1 0 196727798 1148583936 280139 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31309/statm: 280416 280139 86 215 0 280198 0
Current children cumulated CPU time (s) 129.97
Current children cumulated vsize (Kb) 1121664

[startup+140.085 s]
/proc/loadavg: 0.98 0.97 0.99 2/67 31309
/proc/meminfo: memFree=445504/2055892 swapFree=4084900/4096564
[pid=31309] ppid=31307 vsize=1199808 CPUtime=139.97
/proc/31309/stat : 31309 (minisat+) R 31307 31309 31263 0 -1 4194304 341987 0 0 0 13867 130 0 0 25 0 1 0 196727798 1228603392 299695 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31309/statm: 299952 299695 86 215 0 299734 0
Current children cumulated CPU time (s) 139.97
Current children cumulated vsize (Kb) 1199808

[startup+150.091 s]
/proc/loadavg: 0.98 0.97 0.99 2/67 31309
/proc/meminfo: memFree=106752/2055892 swapFree=4084900/4096564
[pid=31309] ppid=31307 vsize=1537920 CPUtime=149.97
/proc/31309/stat : 31309 (minisat+) R 31307 31309 31263 0 -1 4194304 426513 0 0 0 14833 164 0 0 25 0 1 0 196727798 1574830080 384221 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134667318 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31309/statm: 384480 384221 86 215 0 384262 0
Current children cumulated CPU time (s) 149.97
Current children cumulated vsize (Kb) 1537920

[startup+160.097 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 31309
/proc/meminfo: memFree=204992/2055892 swapFree=4084900/4096564
[pid=31309] ppid=31307 vsize=1439548 CPUtime=159.97
/proc/31309/stat : 31309 (minisat+) R 31307 31309 31263 0 -1 4194304 444096 0 0 0 15825 172 0 0 25 0 1 0 196727798 1474097152 359622 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135006988 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31309/statm: 359887 359622 86 215 0 359669 0
Current children cumulated CPU time (s) 159.97
Current children cumulated vsize (Kb) 1439548

[startup+170.104 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 31309
/proc/meminfo: memFree=126016/2055892 swapFree=4084900/4096564
[pid=31309] ppid=31307 vsize=1518352 CPUtime=169.98
/proc/31309/stat : 31309 (minisat+) R 31307 31309 31263 0 -1 4194304 463799 0 0 0 16819 179 0 0 25 0 1 0 196727798 1554792448 379325 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31309/statm: 379588 379325 86 215 0 379370 0
Current children cumulated CPU time (s) 169.98
Current children cumulated vsize (Kb) 1518352

[startup+180.11 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 31309
/proc/meminfo: memFree=49856/2055892 swapFree=4084900/4096564
[pid=31309] ppid=31307 vsize=1594384 CPUtime=179.98
/proc/31309/stat : 31309 (minisat+) R 31307 31309 31263 0 -1 4194304 482802 0 0 0 17813 185 0 0 25 0 1 0 196727798 1632649216 398328 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31309/statm: 398596 398328 86 215 0 398378 0
Current children cumulated CPU time (s) 179.98
Current children cumulated vsize (Kb) 1594384

[startup+190.116 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 31309
/proc/meminfo: memFree=14912/2055892 swapFree=4084900/4096564
[pid=31309] ppid=31307 vsize=1672264 CPUtime=189.98
/proc/31309/stat : 31309 (minisat+) R 31307 31309 31263 0 -1 4194304 502292 0 0 0 18806 192 0 0 25 0 1 0 196727798 1712398336 417818 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31309/statm: 418066 417818 86 215 0 417848 0
Current children cumulated CPU time (s) 189.98
Current children cumulated vsize (Kb) 1672264

[startup+200.123 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 31309
/proc/meminfo: memFree=15616/2055892 swapFree=4084900/4096564
[pid=31309] ppid=31307 vsize=1748428 CPUtime=199.99
/proc/31309/stat : 31309 (minisat+) R 31307 31309 31263 0 -1 4194304 521323 0 0 0 19798 201 0 0 25 0 1 0 196727798 1790390272 436849 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31309/statm: 437107 436849 86 215 0 436889 0
Current children cumulated CPU time (s) 199.99
Current children cumulated vsize (Kb) 1748428

[startup+210.132 s]
/proc/loadavg: 0.99 0.97 0.99 2/67 31309
/proc/meminfo: memFree=16320/2055892 swapFree=4084900/4096564
[pid=31309] ppid=31307 vsize=1824328 CPUtime=210
/proc/31309/stat : 31309 (minisat+) R 31307 31309 31263 0 -1 4194304 540293 0 0 0 20791 209 0 0 25 0 1 0 196727798 1868111872 455819 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31309/statm: 456082 455819 86 215 0 455864 0
Current children cumulated CPU time (s) 210
Current children cumulated vsize (Kb) 1824328

Child ended because it received signal 6 (SIGABRT)
Real time (s): 212.933
CPU time (s): 212.803
CPU user time (s): 210.411
CPU system time (s): 2.39164
CPU usage (%): 99.9387
Max. virtual memory (cumulated for all children) (Kb): 1824328
The end

Launcher Data (download as text)

Begin job on node92 on Sat Jun  3 05:01:29 UTC 2006


FILE ID= 35780-1149310889

PBS_JOBID= 307952

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-scsd1.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node92/35780-1149310889/instance-35780-1149310889.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node92/watcher-35780-1149310889 -o ROOT/results/node92/solver-35780-1149310889 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node92/35780-1149310889/instance-35780-1149310889.opb

MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db
MD5SUM BENCH=  34085e863ff461099a0ff7d8d6c87d4c

RANDOM SEED= 932448589


/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.214
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	: 6006.19
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.214
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	: 5999.42
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055892 kB
MemFree:       1646224 kB
Buffers:         19084 kB
Cached:         323788 kB
SwapCached:       2840 kB
Active:          38452 kB
Inactive:       313032 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055892 kB
LowFree:       1646224 kB
SwapTotal:     4096564 kB
SwapFree:      4084900 kB
Dirty:             292 kB
Writeback:           0 kB
Mapped:          15200 kB
Slab:            44916 kB
Committed_AS:   315584 kB
PageTables:       1256 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node92 on Sat Jun  3 05:05:02 UTC 2006