Standard output
1290099 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
1290099 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 273.6ns
1290099 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1295169 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.06s
1295247 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1295247 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.4ns
1328858 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\proofStarter\CC\project.key
1328858 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 280.4ns
1328858 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
1333791 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.93s
1333853 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof CC[CC::calcCoinIndex([I,[I)].JML normal_behavior operation contract.0
1333853 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 2.5ns