# HG changeset patch # User Mike Pavone # Date 1376212604 25200 # Node ID e795f7179456e99ddd7adbbec168f0caecf09b4d # Parent 96b2fcb746bfdf53d1d89f3b638d5b12bfcf27b8 Print some timestamps of request times in solver diff -r 96b2fcb746bf -r e795f7179456 src/solver.tp --- a/src/solver.tp Sun Aug 11 02:16:14 2013 -0700 +++ b/src/solver.tp Sun Aug 11 02:16:44 2013 -0700 @@ -138,8 +138,11 @@ } solve:withAuth:andInfo:andProg <- :progId :authKey :info :prog { + start <- os time resp <- (requests evalId: progId (info allInputs)) sendWithKey: authKey + end <- os time if: (resp status) = "ok" { + print: "Start: " . (string: start) . ", End: " . (string: start) . "Duration: " . (string: end - start) matches <- info findMatches: (resp outputs) at: 0 noSuccess <- true cur <- 0 @@ -149,7 +152,10 @@ } while: { noSuccess && cur < (matches length) } do: { prog root!: (matches get: cur) + gstart <- os time gresp <- (requests guess: progId (string: prog)) sendWithKey: authKey + gend <- os time + print: "Start: " . (string: gstart) . ", End: " . (string: gend) . "Duration: " . (string: gend - gstart) if: (gresp status) = "win" { noSuccess <- false } else: {