0.00/0.03	% Problem    : theBenchmark.p : TPTP v0.0.0. Released v0.0.0.
0.00/0.04	% Command    : nanocop_casc.sh %s %d
0.02/0.22	% Computer   : n134.star.cs.uiowa.edu
0.02/0.22	% Model      : x86_64 x86_64
0.02/0.22	% CPU        : Intel(R) Xeon(R) CPU E5-2609 0 @ 2.40GHz
0.02/0.22	% Memory     : 32218.625MB
0.02/0.22	% OS         : Linux 3.10.0-693.2.2.el7.x86_64
0.02/0.22	% CPULimit   : 300
0.02/0.22	% DateTime   : Sat Jul 14 07:02:04 CDT 2018
0.02/0.23	% CPUTime    : 
17.91/17.83	*** Overflow of the global/trail stack in spite of garbage collection!
17.91/17.83	You can use the "-g kBytes" (GLOBALSIZE) option to have a larger stack.
17.91/17.83	Peak sizes were: global stack 128456 kbytes, trail stack 4152 kbytes
35.90/36.21	*** Overflow of the global/trail stack in spite of garbage collection!
35.90/36.21	You can use the "-g kBytes" (GLOBALSIZE) option to have a larger stack.
35.90/36.21	Peak sizes were: global stack 128456 kbytes, trail stack 4152 kbytes
53.96/54.57	*** Overflow of the global/trail stack in spite of garbage collection!
53.96/54.57	You can use the "-g kBytes" (GLOBALSIZE) option to have a larger stack.
53.96/54.57	Peak sizes were: global stack 128456 kbytes, trail stack 4152 kbytes
86.58/87.16	*** Overflow of the global/trail stack in spite of garbage collection!
86.58/87.16	You can use the "-g kBytes" (GLOBALSIZE) option to have a larger stack.
86.58/87.16	Peak sizes were: global stack 128456 kbytes, trail stack 4152 kbytes
104.45/105.37	*** Overflow of the global/trail stack in spite of garbage collection!
104.45/105.37	You can use the "-g kBytes" (GLOBALSIZE) option to have a larger stack.
104.45/105.37	Peak sizes were: global stack 128456 kbytes, trail stack 4152 kbytes
199.49/199.18	*** Overflow of the global/trail stack in spite of garbage collection!
199.49/199.18	You can use the "-g kBytes" (GLOBALSIZE) option to have a larger stack.
199.49/199.18	Peak sizes were: global stack 128456 kbytes, trail stack 4152 kbytes
199.57/200.03	EOF