// --------- Displaying PROOF Session logs --------
// Server: proof://cborrego@tditaller025.pic.es/ 
// Session: tditaller025-1324381902-23810 
// # of elements: 13 
// ------------------------------------------------


// --------- Start of element log -----------------

// Ordinal: 0 (role: master)

// Path: proof://tditaller025.pic.es:1093//home/proof/cborrego/session-tditaller025-1324381902-23810/master-0-tditaller025-13
24381902-23810.log 
// # of retrieved lines: 5 


// ------------------------------------------------

111220 12:51:42 11623 xpd-I: ProofServMgr::CreateFork: srvtype = 2
12:51:42 23810  | Info in <TProofServ::TProofServ>: keeping the log file size within 104857600 bytes
12:52:01 23810 Mst-0 | Info in <TXProofServ::HandleUrgentData>: got interrupt: 0
12:52:01 23810 Mst-0 | Info in <TXProofServ::HandleUrgentData>: *** Ping
12:52:01 23810 Mst-0 | Info in <TXProofServ::UpdateSessionStatus>: status (=0) update in path: /tmp/.xproofd.1093/activesessi
ons/cborrego.default.23810.status
// --------- End of element log -------------------


// --------- Start of element log -----------------

// Ordinal: 0.0 (role: worker)

// Path: cborrego@tditaller026.pic.es:1093//home/proof/cborrego/session-tditaller025-1324381902-23810/worker-0.0-tditaller026
-1324381902-14338.log 
// # of retrieved lines: 5 


// ------------------------------------------------

111220 12:51:42 31467 xpd-I: ProofServMgr::CreateFork: srvtype = 0
12:51:42 14338  | Info in <TProofServ::TProofServ>: keeping the log file size within 104857600 bytes
12:52:08 14338 Wrk-0.0 | Info in <TXProofServ::HandleUrgentData>: got interrupt: 0
12:52:08 14338 Wrk-0.0 | Info in <TXProofServ::HandleUrgentData>: *** Ping
12:52:08 14338 Wrk-0.0 | Info in <TXProofServ::UpdateSessionStatus>: status (=0) update in path: /tmp/.xproofd.1093/activeses
sions/cborrego.default.14338.status
// --------- End of element log -------------------


// --------- Start of element log -----------------

// Ordinal: 0.1 (role: worker)

// Path: cborrego@tditaller026.pic.es:1093//home/proof/cborrego/session-tditaller025-1324381902-23810/worker-0.1-tditaller026
-1324381902-14343.log 
// # of retrieved lines: 5 


// ------------------------------------------------

111220 12:51:42 31467 xpd-I: ProofServMgr::CreateFork: srvtype = 0
12:51:42 14343  | Info in <TProofServ::TProofServ>: keeping the log file size within 104857600 bytes
12:52:08 14343 Wrk-0.1 | Info in <TXProofServ::HandleUrgentData>: got interrupt: 0
12:52:08 14343 Wrk-0.1 | Info in <TXProofServ::HandleUrgentData>: *** Ping
12:52:08 14343 Wrk-0.1 | Info in <TXProofServ::UpdateSessionStatus>: status (=0) update in path: /tmp/.xproofd.1093/activeses
sions/cborrego.default.14343.status
// --------- End of element log -------------------


// --------- Start of element log -----------------

// Ordinal: 0.2 (role: worker)

// Path: cborrego@tditaller026.pic.es:1093//home/proof/cborrego/session-tditaller025-1324381902-23810/worker-0.2-tditaller026
-1324381902-14346.log 
// # of retrieved lines: 5 


// ------------------------------------------------

111220 12:51:42 31467 xpd-I: ProofServMgr::CreateFork: srvtype = 0
12:51:43 14346  | Info in <TProofServ::TProofServ>: keeping the log file size within 104857600 bytes
12:52:08 14346 Wrk-0.2 | Info in <TXProofServ::HandleUrgentData>: got interrupt: 0
12:52:08 14346 Wrk-0.2 | Info in <TXProofServ::HandleUrgentData>: *** Ping
12:52:08 14346 Wrk-0.2 | Info in <TXProofServ::UpdateSessionStatus>: status (=0) update in path: /tmp/.xproofd.1093/activeses
sions/cborrego.default.14346.status
// --------- End of element log -------------------


// --------- Start of element log -----------------

// Ordinal: 0.3 (role: worker)

// Path: cborrego@tditaller026.pic.es:1093//home/proof/cborrego/session-tditaller025-1324381902-23810/worker-0.3-tditaller026
-1324381903-14348.log 
// # of retrieved lines: 5 


// ------------------------------------------------

111220 12:51:43 31467 xpd-I: ProofServMgr::CreateFork: srvtype = 0
12:51:43 14348  | Info in <TProofServ::TProofServ>: keeping the log file size within 104857600 bytes
12:52:08 14348 Wrk-0.3 | Info in <TXProofServ::HandleUrgentData>: got interrupt: 0
12:52:08 14348 Wrk-0.3 | Info in <TXProofServ::HandleUrgentData>: *** Ping
12:52:08 14348 Wrk-0.3 | Info in <TXProofServ::UpdateSessionStatus>: status (=0) update in path: /tmp/.xproofd.1093/activeses
sions/cborrego.default.14348.status
// --------- End of element log -------------------


// --------- Start of element log -----------------

// Ordinal: 0.4 (role: worker)

// Path: cborrego@tditaller026.pic.es:1093//home/proof/cborrego/session-tditaller025-1324381902-23810/worker-0.4-tditaller026
-1324381903-14350.log 
// # of retrieved lines: 5 


// ------------------------------------------------

111220 12:51:43 31467 xpd-I: ProofServMgr::CreateFork: srvtype = 0
12:51:43 14350  | Info in <TProofServ::TProofServ>: keeping the log file size within 104857600 bytes
12:52:08 14350 Wrk-0.4 | Info in <TXProofServ::HandleUrgentData>: got interrupt: 0
12:52:08 14350 Wrk-0.4 | Info in <TXProofServ::HandleUrgentData>: *** Ping
12:52:08 14350 Wrk-0.4 | Info in <TXProofServ::UpdateSessionStatus>: status (=0) update in path: /tmp/.xproofd.1093/activeses
sions/cborrego.default.14350.status
// --------- End of element log -------------------


// --------- Start of element log -----------------

// Ordinal: 0.5 (role: worker)

// Path: cborrego@tditaller026.pic.es:1093//home/proof/cborrego/session-tditaller025-1324381902-23810/worker-0.5-tditaller026
-1324381903-14352.log 
// # of retrieved lines: 5 


// ------------------------------------------------

111220 12:51:43 31467 xpd-I: ProofServMgr::CreateFork: srvtype = 0
12:51:43 14352  | Info in <TProofServ::TProofServ>: keeping the log file size within 104857600 bytes
12:52:08 14352 Wrk-0.5 | Info in <TXProofServ::HandleUrgentData>: got interrupt: 0
12:52:08 14352 Wrk-0.5 | Info in <TXProofServ::HandleUrgentData>: *** Ping
12:52:08 14352 Wrk-0.5 | Info in <TXProofServ::UpdateSessionStatus>: status (=0) update in path: /tmp/.xproofd.1093/activeses
sions/cborrego.default.14352.status
// --------- End of element log -------------------


// --------- Start of element log -----------------

// Ordinal: 0.6 (role: worker)

// Path: cborrego@tditaller026.pic.es:1093//home/proof/cborrego/session-tditaller025-1324381902-23810/worker-0.6-tditaller026
-1324381903-14354.log 
// # of retrieved lines: 5 


// ------------------------------------------------

111220 12:51:43 31467 xpd-I: ProofServMgr::CreateFork: srvtype = 0
12:51:43 14354  | Info in <TProofServ::TProofServ>: keeping the log file size within 104857600 bytes
12:52:08 14354 Wrk-0.6 | Info in <TXProofServ::HandleUrgentData>: got interrupt: 0
12:52:08 14354 Wrk-0.6 | Info in <TXProofServ::HandleUrgentData>: *** Ping
12:52:08 14354 Wrk-0.6 | Info in <TXProofServ::UpdateSessionStatus>: status (=0) update in path: /tmp/.xproofd.1093/activeses
sions/cborrego.default.14354.status
// --------- End of element log -------------------


// --------- Start of element log -----------------

// Ordinal: 0.7 (role: worker)

// Path: cborrego@tditaller026.pic.es:1093//home/proof/cborrego/session-tditaller025-1324381902-23810/worker-0.7-tditaller026
-1324381903-14356.log 
// # of retrieved lines: 5 


// ------------------------------------------------

111220 12:51:43 31467 xpd-I: ProofServMgr::CreateFork: srvtype = 0
12:51:43 14356  | Info in <TProofServ::TProofServ>: keeping the log file size within 104857600 bytes
12:52:08 14356 Wrk-0.7 | Info in <TXProofServ::HandleUrgentData>: got interrupt: 0
12:52:08 14356 Wrk-0.7 | Info in <TXProofServ::HandleUrgentData>: *** Ping
12:52:08 14356 Wrk-0.7 | Info in <TXProofServ::UpdateSessionStatus>: status (=0) update in path: /tmp/.xproofd.1093/activeses
sions/cborrego.default.14356.status
// --------- End of element log -------------------


// --------- Start of element log -----------------

// Ordinal: 0.8 (role: worker)

// Path: cborrego@tditaller026.pic.es:1093//home/proof/cborrego/session-tditaller025-1324381902-23810/worker-0.8-tditaller026
-1324381903-14359.log 
// # of retrieved lines: 5 


// ------------------------------------------------

111220 12:51:43 31467 xpd-I: ProofServMgr::CreateFork: srvtype = 0
12:51:43 14359  | Info in <TProofServ::TProofServ>: keeping the log file size within 104857600 bytes
12:52:08 14359 Wrk-0.8 | Info in <TXProofServ::HandleUrgentData>: got interrupt: 0
12:52:08 14359 Wrk-0.8 | Info in <TXProofServ::HandleUrgentData>: *** Ping
12:52:08 14359 Wrk-0.8 | Info in <TXProofServ::UpdateSessionStatus>: status (=0) update in path: /tmp/.xproofd.1093/activeses
sions/cborrego.default.14359.status
// --------- End of element log -------------------


// --------- Start of element log -----------------

// Ordinal: 0.9 (role: worker)

// Path: cborrego@tditaller026.pic.es:1093//home/proof/cborrego/session-tditaller025-1324381902-23810/worker-0.9-tditaller026
-1324381903-14362.log 
// # of retrieved lines: 5 


// ------------------------------------------------

111220 12:51:43 31467 xpd-I: ProofServMgr::CreateFork: srvtype = 0
12:51:43 14362  | Info in <TProofServ::TProofServ>: keeping the log file size within 104857600 bytes
12:52:08 14362 Wrk-0.9 | Info in <TXProofServ::HandleUrgentData>: got interrupt: 0
12:52:08 14362 Wrk-0.9 | Info in <TXProofServ::HandleUrgentData>: *** Ping
12:52:08 14362 Wrk-0.9 | Info in <TXProofServ::UpdateSessionStatus>: status (=0) update in path: /tmp/.xproofd.1093/activeses
sions/cborrego.default.14362.status
// --------- End of element log -------------------


// --------- Start of element log -----------------

// Ordinal: 0.10 (role: worker)

// Path: cborrego@tditaller026.pic.es:1093//home/proof/cborrego/session-tditaller025-1324381902-23810/worker-0.10-tditaller02
6-1324381903-14368.log 
// # of retrieved lines: 5 


// ------------------------------------------------

111220 12:51:43 31467 xpd-I: ProofServMgr::CreateFork: srvtype = 0
12:51:44 14368  | Info in <TProofServ::TProofServ>: keeping the log file size within 104857600 bytes
12:52:08 14368 Wrk-0.10 | Info in <TXProofServ::HandleUrgentData>: got interrupt: 0
12:52:08 14368 Wrk-0.10 | Info in <TXProofServ::HandleUrgentData>: *** Ping
12:52:08 14368 Wrk-0.10 | Info in <TXProofServ::UpdateSessionStatus>: status (=0) update in path: /tmp/.xproofd.1093/activese
ssions/cborrego.default.14368.status
// --------- End of element log -------------------


// --------- Start of element log -----------------

// Ordinal: 0.11 (role: worker)

// Path: cborrego@tditaller026.pic.es:1093//home/proof/cborrego/session-tditaller025-1324381902-23810/worker-0.11-tditaller02
6-1324381903-14365.log 
// # of retrieved lines: 5 


// ------------------------------------------------

111220 12:51:43 31467 xpd-I: ProofServMgr::CreateFork: srvtype = 0
12:51:43 14365  | Info in <TProofServ::TProofServ>: keeping the log file size within 104857600 bytes
12:52:08 14365 Wrk-0.11 | Info in <TXProofServ::HandleUrgentData>: got interrupt: 0
12:52:08 14365 Wrk-0.11 | Info in <TXProofServ::HandleUrgentData>: *** Ping
12:52:08 14365 Wrk-0.11 | Info in <TXProofServ::UpdateSessionStatus>: status (=0) update in path: /tmp/.xproofd.1093/activese
ssions/cborrego.default.14365.status
// --------- End of element log -------------------


// --------- End of PROOF Session logs ---------