0.00/0.04 % Problem : theBenchmark.p : TPTP v0.0.0. Released v0.0.0. 0.00/0.04 % Command : iproveropt_run_sat.sh %d %s 0.02/0.23 % Computer : n068.star.cs.uiowa.edu 0.02/0.23 % Model : x86_64 x86_64 0.02/0.23 % CPU : Intel(R) Xeon(R) CPU E5-2609 0 @ 2.40GHz 0.02/0.23 % Memory : 32218.625MB 0.02/0.23 % OS : Linux 3.10.0-693.2.2.el7.x86_64 0.02/0.23 % CPULimit : 300 0.02/0.23 % DateTime : Fri Jul 13 15:55:40 CDT 2018 0.02/0.23 % CPUTime : 0.02/0.25 0.02/0.25 %---------------- iProver v2.5 (CASC-J8 2016) ----------------% 0.02/0.25 0.02/0.25 %---------------- SAT mode ----------------% 0.02/0.25 0.02/0.25 Input problem: /export/starexec/sandbox/benchmark/theBenchmark.p 0.02/0.25 0.02/0.25 Solving is in progress....... 78.61/20.31 terminated: /tmp/iprover.XbSbX7/3.tmp 113.63/31.46 terminated: /tmp/iprover.XbSbX7/2.tmp 209.83/77.42 terminated: /tmp/iprover.XbSbX7/1.tmp 300.06/163.04 /export/starexec/sandbox/solver/bin/iprover_sat_single.sh: line 348: 47944 CPU time limit exceeded ( ulimit -s 200000; "$PROVER" $1 --time_out_real $2 $INP >> $3 2> /dev/null ) 300.06/163.04 /export/starexec/sandbox/solver/bin/iprover_sat_single.sh: line 348: 50279 CPU time limit exceeded sleep 0.2 300.06/163.05 WARNING: TreeLimitedRun lost 158.31s, total lost is 158.31s 300.06/163.05 USED TIME: 297.08 CPU 162.80 WC 300.06/163.06 EOF