18s: mem=503Mb trans=14463 traceSteps=4450 explored=14464 saved=4451 prove=0
33s: mem=731Mb trans=21067 traceSteps=6482 explored=21068 saved=6483 prove=0
48s: mem=856Mb trans=25918 traceSteps=7974 explored=25917 saved=7975 prove=0
63s: mem=880Mb trans=27333 traceSteps=8410 explored=27334 saved=8411 prove=0
79s: mem=880Mb trans=27892 traceSteps=8582 explored=27893 saved=8583 prove=0
94s: mem=880Mb trans=28254 traceSteps=8692 explored=28255 saved=8693 prove=0
110s: mem=880Mb trans=28529 traceSteps=8778 explored=28530 saved=8779 prove=0