0.03/0.14	% Problem    : theBenchmark.p : TPTP v0.0.0. Released v0.0.0.
0.03/0.15	% Command    : run_portfolio.sh /export/starexec/sandbox/benchmark/theBenchmark.p /export/starexec/sandbox/tmp/tmp.2LWPPJVcqZ
0.14/0.37	% Computer   : n009.cluster.edu
0.14/0.37	% Model      : x86_64 x86_64
0.14/0.37	% CPU        : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
0.14/0.37	% Memory     : 8042.1875MB
0.14/0.37	% OS         : Linux 3.10.0-693.el7.x86_64
0.14/0.37	% CPULimit   : 180
0.14/0.37	% DateTime   : Thu Aug 29 09:12:42 EDT 2019
0.14/0.37	% CPUTime    : 
177.73/178.14	% Running portfolio for 180 s
177.73/178.14	% File         : /export/starexec/sandbox/benchmark/theBenchmark.p
177.73/178.14	% TempDir      : /export/starexec/sandbox/tmp/tmp.2LWPPJVcqZ
177.73/178.14	% Recognized as monomorphic FO.
177.73/178.14	% Running /export/starexec/sandbox/solver/bin/fo.1.sh for 36
177.73/178.14	% Running /export/starexec/sandbox/solver/bin/fo.2.sh for 29
177.73/178.14	% Running /export/starexec/sandbox/solver/bin/fo.3.sh for 29
177.73/178.14	% Running /export/starexec/sandbox/solver/bin/fo.4.sh for 26
177.73/178.14	% Running /export/starexec/sandbox/solver/bin/fo.5.sh for 24
177.73/178.14	% Running /export/starexec/sandbox/solver/bin/fo.6.sh for 34
177.73/178.14	% Zipperpin 1.5 exiting
177.73/178.14	EOF