Trace number 356315

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 NameAnswerCPU timeWall clock time
picosat 535SAT 57.1363 57.1598

General information on the benchmark

Nameindustrial/palacios/uts/
uts-l06-ipc5-h34-unknown.cnf
MD5SUMc4c13853f3af198723d8a0120426d1cc
Bench CategoryINDUST (industrial instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark36.3815
Satisfiable
(Un)Satisfiability was proved
Number of variables184866
Number of clauses874988
Sum of the clauses size2256992
Maximum clause length591
Minimum clause length1
Number of clauses of size 1276
Number of clauses of size 2692136
Number of clauses of size 3176579
Number of clauses of size 41637
Number of clauses of size 5133
Number of clauses of size over 54227

Solver Data (download as text)

 [...]

#
# trace file is too large. Trace was truncated at this point.
#

57.08/57.14	v -187205 -187206 -187207 -187208 -187209 -187210 -187211 -187212 -187213
57.08/57.14	v -187214 -187215 -187216 -187217 -187218 -187219 -187220 -187221 -187222
57.08/57.14	v -187223 -187224 -187225 -187226 -187227 -187228 -187229 -187230 -187231
57.08/57.14	v -187232 -187233 -187234 -187235 -187236 -187237 -187238 -187239 -187240
57.08/57.14	v -187241 -187242 -187243 -187244 -187245 -187246 -187247 -187248 -187249
57.08/57.14	v -187250 -187251 -187252 -187253 -187254 -187255 -187256 -187257 -187258
57.08/57.14	v -187259 -187260 -187261 -187262 187263 -187264 -187265 187266 -187267 -187268
57.08/57.14	v 187269 -187270 -187271 -187272 -187273 -187274 187275 -187276 -187277 187278
57.08/57.14	v -187279 -187280 187281 -187282 -187283 187284 -187285 -187286 -187287 -187288
57.08/57.14	v -187289 187290 -187291 -187292 187293 -187294 187295 -187296 -187297 187298
57.08/57.14	v -187299 -187300 -187301 187302 -187303 -187304 187305 187306 187307 -187308
57.08/57.14	v -187309 187310 -187311 187312 -187313 187314 -187315 -187316 187317 187318
57.08/57.14	v 187319 -187320 187321 -187322 187323 -187324 187325 187326 187327 187328
57.08/57.14	v -187329 187330 -187331 187332 -187333 187334 187335 187336 187337 -187338
57.08/57.14	v 187339 -187340 187341 -187342 187343 187344 187345 187346 -187347 187348
57.08/57.14	v -187349 187350 -187351 187352 187353 187354 187355 -187356 187357 -187358
57.08/57.14	v 187359 -187360 187361 187362 187363 187364 -187365 187366 -187367 187368
57.08/57.14	v -187369 187370 187371 187372 187373 -187374 187375 -187376 187377 -187378
57.08/57.14	v 187379 187380 187381 187382 -187383 187384 -187385 187386 -187387 187388
57.08/57.14	v 187389 187390 187391 -187392 187393 -187394 187395 -187396 187397 187398
57.08/57.14	v 187399 187400 -187401 187402 -187403 187404 -187405 187406 187407 187408
57.08/57.14	v 187409 -187410 187411 -187412 187413 -187414 187415 187416 187417 187418
57.08/57.14	v -187419 187420 -187421 187422 -187423 187424 187425 187426 187427 -187428
57.08/57.14	v 187429 -187430 187431 -187432 187433 187434 187435 187436 -187437 187438
57.08/57.14	v -187439 187440 -187441 187442 187443 187444 187445 -187446 187447 -187448
57.08/57.14	v 187449 -187450 187451 187452 187453 187454 -187455 187456 -187457 187458
57.08/57.14	v -187459 187460 187461 187462 187463 -187464 187465 -187466 187467 187468
57.08/57.14	v -187469 187470 187471 -187472 -187473 187474 -187475 187476 -187477 -187478
57.08/57.14	v 187479 187480 -187481 187482 -187483 -187484 187485 -187486 -187487 -187488
57.08/57.14	v 187489 -187490 -187491 -187492 -187493 187494 -187495 -187496 -187497 187498
57.08/57.14	v -187499 -187500 -187501 -187502 187503 -187504 -187505 187506 -187507 -187508
57.08/57.14	v -187509 -187510 187511 -187512 -187513 187514 -187515 -187516 -187517 -187518
57.08/57.14	v 187519 -187520 -187521 187522 -187523 -187524 -187525 187526 -187527 -187528
57.08/57.14	v -187529 -187530 -187531 -187532 -187533 -187534 -187535 -187536 -187537
57.08/57.14	v -187538 -187539 -187540 -187541 -187542 -187543 -187544 -187545 -187546
57.08/57.14	v -187547 -187548 -187549 -187550 -187551 -187552 -187553 -187554 -187555
57.08/57.14	v -187556 -187557 -187558 -187559 -187560 -187561 -187562 -187563 -187564
57.08/57.14	v -187565 -187566 -187567 187568 -187569 -187570 187571 -187572 -187573 187574
57.08/57.14	v -187575 -187576 187577 -187578 -187579 187580 -187581 187582 187583 -187584
57.08/57.14	v 187585 187586 -187587 187588 187589 -187590 187591 187592 -187593 187594
57.08/57.14	v 187595 -187596 187597 187598 -187599 187600 187601 -187602 187603 187604
57.08/57.14	v -187605 187606 187607 -187608 187609 187610 -187611 187612 187613 -187614
57.08/57.14	v 187615 187616 -187617 187618 187619 -187620 187621 187622 -187623 187624
57.08/57.14	v 187625 -187626 187627 187628 -187629 187630 187631 -187632 187633 187634
57.08/57.14	v -187635 187636 187637 -187638 187639 187640 -187641 187642 187643 -187644
57.08/57.14	v 187645 187646 -187647 187648 187649 -187650 187651 187652 -187653 -187654
57.08/57.14	v -187655 -187656 -187657 -187658 -187659 -187660 -187661 -187662 -187663
57.08/57.14	v -187664 -187665 -187666 -187667 0

Verifier Data (download as text)

OK

Watcher Data (download as text)

runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node43/watcher-356315-1177542183 -o ROOT/results/node43/solver-356315-1177542183 -C 10000 -W 15000 -M 1800 --output-limit 1,15 /tmp/evaluation/356315-1177542183/picosat /tmp/evaluation/356315-1177542183/instance-356315-1177542183.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): 15000 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.00 0.00 0.00 2/77 24841
/proc/meminfo: memFree=1636240/2055920 swapFree=4158592/4192956
[pid=24841] ppid=24839 vsize=884 CPUtime=0
/proc/24841/stat : 24841 (picosat) R 24839 24841 24785 0 -1 4194304 140 0 0 0 0 0 0 0 18 0 1 0 202130198 905216 126 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/24841/statm: 221 126 40 102 0 116 0

[startup+0.0505291 s]
/proc/loadavg: 0.00 0.00 0.00 2/77 24841
/proc/meminfo: memFree=1636240/2055920 swapFree=4158592/4192956
[pid=24841] ppid=24839 vsize=1080 CPUtime=0.04
/proc/24841/stat : 24841 (picosat) R 24839 24841 24785 0 -1 4194304 191 0 0 0 2 2 0 0 18 0 1 0 202130198 1105920 177 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/24841/statm: 270 177 40 102 0 165 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 1080

[startup+0.101532 s]
/proc/loadavg: 0.00 0.00 0.00 2/77 24841
/proc/meminfo: memFree=1636240/2055920 swapFree=4158592/4192956
[pid=24841] ppid=24839 vsize=1220 CPUtime=0.09
/proc/24841/stat : 24841 (picosat) R 24839 24841 24785 0 -1 4194304 240 0 0 0 5 4 0 0 18 0 1 0 202130198 1249280 224 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/24841/statm: 305 224 46 102 0 200 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220

[startup+0.301549 s]
/proc/loadavg: 0.00 0.00 0.00 2/77 24841
/proc/meminfo: memFree=1636240/2055920 swapFree=4158592/4192956
[pid=24841] ppid=24839 vsize=1628 CPUtime=0.29
/proc/24841/stat : 24841 (picosat) R 24839 24841 24785 0 -1 4194304 347 0 0 0 13 16 0 0 20 0 1 0 202130198 1667072 331 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/24841/statm: 407 331 46 102 0 302 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1628

[startup+0.701585 s]
/proc/loadavg: 0.00 0.00 0.00 2/77 24841
/proc/meminfo: memFree=1636240/2055920 swapFree=4158592/4192956
[pid=24841] ppid=24839 vsize=3024 CPUtime=0.69
/proc/24841/stat : 24841 (picosat) R 24839 24841 24785 0 -1 4194304 654 0 0 0 32 37 0 0 23 0 1 0 202130198 3096576 638 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/24841/statm: 756 638 46 102 0 651 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3024

[startup+1.50165 s]
/proc/loadavg: 0.00 0.00 0.00 2/78 24842
/proc/meminfo: memFree=1633032/2055920 swapFree=4158592/4192956
[pid=24841] ppid=24839 vsize=5908 CPUtime=1.49
/proc/24841/stat : 24841 (picosat) R 24839 24841 24785 0 -1 4194304 1339 0 0 0 68 81 0 0 25 0 1 0 202130198 6049792 1323 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/24841/statm: 1477 1323 46 102 0 1372 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5908

[startup+3.10179 s]
/proc/loadavg: 0.00 0.00 0.00 2/78 24842
/proc/meminfo: memFree=1628744/2055920 swapFree=4158592/4192956
[pid=24841] ppid=24839 vsize=11640 CPUtime=3.09
/proc/24841/stat : 24841 (picosat) R 24839 24841 24785 0 -1 4194304 2819 0 0 0 138 171 0 0 25 0 1 0 202130198 11919360 2803 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/24841/statm: 2910 2803 46 102 0 2805 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11640

[startup+6.30107 s]
/proc/loadavg: 0.08 0.02 0.01 2/78 24842
/proc/meminfo: memFree=1615048/2055920 swapFree=4158592/4192956
[pid=24841] ppid=24839 vsize=32096 CPUtime=6.29
/proc/24841/stat : 24841 (picosat) R 24839 24841 24785 0 -1 4194304 6391 0 0 0 284 345 0 0 25 0 1 0 202130198 32866304 6375 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/24841/statm: 8024 6375 46 102 0 7919 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 32096

[startup+12.7016 s]
/proc/loadavg: 0.15 0.03 0.01 2/78 24842
/proc/meminfo: memFree=1606280/2055920 swapFree=4158592/4192956
[pid=24841] ppid=24839 vsize=38056 CPUtime=12.69
/proc/24841/stat : 24841 (picosat) R 24839 24841 24785 0 -1 4194304 7536 0 0 0 890 379 0 0 25 0 1 0 202130198 38969344 7520 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134525741 0 0 4096 0 0 0 0 17 1 0 0
/proc/24841/statm: 9514 7520 48 102 0 9409 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 38056

[startup+25.5017 s]
/proc/loadavg: 0.34 0.08 0.02 2/78 24842
/proc/meminfo: memFree=1605064/2055920 swapFree=4158592/4192956
[pid=24841] ppid=24839 vsize=39344 CPUtime=25.49
/proc/24841/stat : 24841 (picosat) R 24839 24841 24785 0 -1 4194304 7857 0 0 0 2169 380 0 0 25 0 1 0 202130198 40288256 7841 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134524027 0 0 4096 0 0 0 0 17 1 0 0
/proc/24841/statm: 9836 7841 48 102 0 9731 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 39344

[startup+51.102 s]
/proc/loadavg: 0.56 0.15 0.05 2/78 24842
/proc/meminfo: memFree=1603208/2055920 swapFree=4158592/4192956
[pid=24841] ppid=24839 vsize=41180 CPUtime=51.07
/proc/24841/stat : 24841 (picosat) R 24839 24841 24785 0 -1 4194304 8329 0 0 0 4727 380 0 0 25 0 1 0 202130198 42168320 8313 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134522823 0 0 4096 0 0 0 0 17 1 0 0
/proc/24841/statm: 10295 8313 48 102 0 10190 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 41180

Solver just ended. Dumping a history of the last processes samples

[startup+54.3012 s]
/proc/loadavg: 0.60 0.17 0.05 2/78 24842
/proc/meminfo: memFree=1603016/2055920 swapFree=4158592/4192956
[pid=24841] ppid=24839 vsize=41444 CPUtime=54.28
/proc/24841/stat : 24841 (picosat) R 24839 24841 24785 0 -1 4194304 8385 0 0 0 5047 381 0 0 25 0 1 0 202130198 42438656 8369 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/24841/statm: 10361 8369 48 102 0 10256 0
Current children cumulated CPU time (s) 54.28
Current children cumulated vsize (KiB) 41444

[startup+55.9014 s]
/proc/loadavg: 0.60 0.17 0.05 2/78 24842
/proc/meminfo: memFree=1602824/2055920 swapFree=4158592/4192956
[pid=24841] ppid=24839 vsize=41444 CPUtime=55.88
/proc/24841/stat : 24841 (picosat) R 24839 24841 24785 0 -1 4194304 8406 0 0 0 5207 381 0 0 25 0 1 0 202130198 42438656 8390 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134525606 0 0 4096 0 0 0 0 17 1 0 0
/proc/24841/statm: 10361 8390 48 102 0 10256 0
Current children cumulated CPU time (s) 55.88
Current children cumulated vsize (KiB) 41444

[startup+56.7014 s]
/proc/loadavg: 0.60 0.17 0.05 2/78 24842
/proc/meminfo: memFree=1602824/2055920 swapFree=4158592/4192956
[pid=24841] ppid=24839 vsize=41576 CPUtime=56.68
/proc/24841/stat : 24841 (picosat) R 24839 24841 24785 0 -1 4194304 8414 0 0 0 5287 381 0 0 25 0 1 0 202130198 42573824 8398 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134530822 0 0 4096 0 0 0 0 17 1 0 0
/proc/24841/statm: 10394 8398 48 102 0 10289 0
Current children cumulated CPU time (s) 56.68
Current children cumulated vsize (KiB) 41576

[startup+57.1025 s]
/proc/loadavg: 0.60 0.17 0.05 2/78 24842
/proc/meminfo: memFree=1601352/2055920 swapFree=4158592/4192956
[pid=24841] ppid=24839 vsize=40532 CPUtime=57.08
/proc/24841/stat : 24841 (picosat) R 24839 24841 24785 0 -1 4194304 8423 0 0 0 5327 381 0 0 17 0 1 0 202130198 41504768 8216 18446744073709551615 134512640 134931368 4294956672 18446744073709551615 134533822 0 0 4096 0 0 0 0 17 1 0 0
/proc/24841/statm: 10133 8216 52 102 0 10028 0
Current children cumulated CPU time (s) 57.08
Current children cumulated vsize (KiB) 40532

Child status: 10
Real time (s): 57.1598
CPU time (s): 57.1363
CPU user time (s): 53.3089
CPU system time (s): 3.82742
CPU usage (%): 99.9588
Max. virtual memory (cumulated for all children) (KiB): 41580

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 53.3089
system time used= 3.82742
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8424
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= 222
involuntary context switches= 1214

runsolver used 0.058991 second user time and 0.189971 second system time

The end

Launcher Data (download as text)

Begin job on node43 on Wed Apr 25 23:03:04 UTC 2007

IDJOB= 356315
IDBENCH= 20412
IDSOLVER= 171
FILE ID= node43/356315-1177542183

PBS_JOBID= 4695896

Free space on /tmp= 66419 MiB

SOLVER NAME= picosat 535
BENCH NAME= HOME/pub/bench/SAT07/industrial/palacios/uts/uts-l06-ipc5-h34-unknown.cnf
COMMAND LINE= /tmp/evaluation/356315-1177542183/picosat /tmp/evaluation/356315-1177542183/instance-356315-1177542183.cnf            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node43/watcher-356315-1177542183 -o ROOT/results/node43/solver-356315-1177542183 -C 10000 -W 15000 -M 1800 --output-limit 1,15  /tmp/evaluation/356315-1177542183/picosat /tmp/evaluation/356315-1177542183/instance-356315-1177542183.cnf            

META MD5SUM SOLVER= d41d8cd98f00b204e9800998ecf8427e
MD5SUM BENCH=  c4c13853f3af198723d8a0120426d1cc

RANDOM SEED= 987440246

TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB

Linux node43.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/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.218
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.218
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:       1636712 kB
Buffers:         51184 kB
Cached:         275972 kB
SwapCached:       2984 kB
Active:         195872 kB
Inactive:       154992 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1636712 kB
SwapTotal:     4192956 kB
SwapFree:      4158592 kB
Dirty:           16384 kB
Writeback:           0 kB
Mapped:          31288 kB
Slab:            53688 kB
Committed_AS:  2674624 kB
PageTables:       1896 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= 66419 MiB

End job on node43 on Wed Apr 25 23:04:01 UTC 2007