0.12/0.12	% Problem    : theBenchmark.p : TPTP v0.0.0. Released v0.0.0.
0.12/0.13	% Command    : python3 /export/starexec/sandbox2/solver/bin/portfolio.lams.parallel.py %s %d /export/starexec/sandbox2/tmp/tmp.TcFbS6UUb9 true
0.13/0.35	% Computer   : n004.cluster.edu
0.13/0.35	% Model      : x86_64 x86_64
0.13/0.35	% CPU        : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
0.13/0.35	% Memory     : 8042.1875MB
0.13/0.35	% OS         : Linux 3.10.0-693.el7.x86_64
0.13/0.35	% CPULimit   : 1200
0.13/0.35	% WCLimit    : 120
0.13/0.35	% DateTime   : Tue Jul 13 14:10:39 EDT 2021
0.13/0.35	% CPUTime    : 
0.13/0.35	% Running portfolio for 120 s
0.13/0.35	% File         : /export/starexec/sandbox2/benchmark/theBenchmark.p
0.13/0.35	% Number of cores: 8
0.13/0.35	% Python version: Python 3.6.8
0.13/0.35	% Running in FO mode
0.56/0.65	% Total configuration time : 435
0.56/0.65	% Estimated wc time : 845
0.56/0.65	% Estimated cpu time (7 cpus) : 120.71428571428571
0.56/0.72	% /export/starexec/sandbox2/solver/bin/fo/fo6_bce.sh running for 58s
0.56/0.74	% /export/starexec/sandbox2/solver/bin/fo/fo3_bce.sh running for 58s
0.56/0.75	% /export/starexec/sandbox2/solver/bin/fo/fo1_av.sh running for 58s
0.56/0.77	% /export/starexec/sandbox2/solver/bin/fo/fo7.sh running for 49s
0.56/0.77	% /export/starexec/sandbox2/solver/bin/fo/fo13.sh running for 39s
0.56/0.77	% /export/starexec/sandbox2/solver/bin/fo/fo5.sh running for 39s
0.56/0.77	% /export/starexec/sandbox2/solver/bin/fo/fo4.sh running for 39s
274.26/39.79	% /export/starexec/sandbox2/solver/bin/fo/fo1_lcnf.sh running for 39s
274.26/39.80	% /export/starexec/sandbox2/solver/bin/fo/fo17_bce.sh running for 39s
274.26/39.80	% /export/starexec/sandbox2/solver/bin/fo/fo8.sh running for 39s
343.99/49.79	% /export/starexec/sandbox2/solver/bin/fo/fo2.sh running for 29s
406.85/58.74	% /export/starexec/sandbox2/solver/bin/fo/fo14.sh running for 39s
406.85/58.76	% /export/starexec/sandbox2/solver/bin/fo/fo20.sh running for 39s
407.31/58.78	% /export/starexec/sandbox2/solver/bin/fo/fo19.sh running for 39s
545.97/78.58	% /export/starexec/sandbox2/solver/bin/fo/fo15.sh running for 39s
547.40/78.80	% /export/starexec/sandbox2/solver/bin/fo/fo9.sh running for 29s
547.40/78.83	% /export/starexec/sandbox2/solver/bin/fo/fo6_hlbe.sh running for 29s
547.40/78.83	% /export/starexec/sandbox2/solver/bin/fo/fo10.sh running for 29s
679.02/97.60	% /export/starexec/sandbox2/solver/bin/fo/fo1_bce.sh running for 29s
679.87/97.77	% /export/starexec/sandbox2/solver/bin/fo/fo12.sh running for 29s
679.87/97.78	% /export/starexec/sandbox2/solver/bin/fo/fo17_hlbe.sh running for 29s
750.43/107.83	% /export/starexec/sandbox2/solver/bin/fo/fo6_lcnf.sh running for 29s
809.37/120.10	Unknown error in runner body.
809.37/120.10	% Runner terminated.
809.37/120.11	Alarm clock
809.37/120.11	% Zipperpin 1.5 exiting
809.37/120.11	EOF