%------------------------------------------------------------------------------
% File     : nanoCoP---2.0
% Problem  : LCL666+1.015 : TPTP v8.1.2. Released v4.0.0.
% Transfm  : none
% Format   : tptp:raw
% Command  : nanocop.sh %s %d

% Computer : n020.cluster.edu
% Model    : x86_64 x86_64
% CPU      : Intel(R) Xeon(R) CPU E5-2620 v4 2.10GHz
% Memory   : 8042.1875MB
% OS       : Linux 3.10.0-693.el7.x86_64
% CPULimit : 300s
% WCLimit  : 300s
% DateTime : Fri May 19 11:33:43 EDT 2023

% Result   : Unknown 140.44s 138.56s
% Output   : None 
% Verified : 
% SZS Type : -

% Comments : 
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.08/0.12  % Problem  : LCL666+1.015 : TPTP v8.1.2. Released v4.0.0.
% 0.08/0.13  % Command  : nanocop.sh %s %d
% 0.14/0.34  % Computer : n020.cluster.edu
% 0.14/0.34  % Model    : x86_64 x86_64
% 0.14/0.34  % CPU      : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.14/0.34  % Memory   : 8042.1875MB
% 0.14/0.34  % OS       : Linux 3.10.0-693.el7.x86_64
% 0.14/0.34  % CPULimit : 300
% 0.14/0.34  % WCLimit  : 300
% 0.14/0.34  % DateTime : Thu May 18 15:43:02 EDT 2023
% 0.14/0.34  % CPUTime  : 
% 8.40/8.32  
% 8.40/8.32  *** ECLiPSe fatal error: Out of swap space in heap allocation
% 8.51/8.37  type error in type error in is_a_module(_91 : r1(_91, _91) = _41192)
% 8.51/8.37  abort
% 17.50/17.17  
% 17.50/17.17  *** ECLiPSe fatal error: Out of swap space in heap allocation
% 17.59/17.23  type error in type error in is_a_module(_93 : r1(_93, _93) = _41194)
% 17.59/17.23  abort
% 26.01/25.99  
% 26.01/25.99  *** ECLiPSe fatal error: Out of swap space in heap allocation
% 26.01/26.04  type error in type error in is_a_module(_87 : r1(_87, _87) = _41188)
% 26.01/26.04  abort
% 34.41/34.22  
% 34.41/34.22  *** ECLiPSe fatal error: Out of swap space in heap allocation
% 34.51/34.27  type error in type error in is_a_module(_89 : r1(_89, _89) = _41190)
% 34.51/34.27  abort
% 42.93/42.54  
% 42.93/42.54  *** ECLiPSe fatal error: Out of swap space in heap allocation
% 42.93/42.56  type error in type error in is_a_module(_1268 : r1(_1268, _1268) = _284601)
% 42.93/42.57  abort
% 51.96/51.44  
% 51.96/51.44  *** ECLiPSe fatal error: Out of swap space in heap allocation
% 52.00/51.49  type error in type error in is_a_module(_93 : r1(_93, _93) = _41194)
% 52.00/51.49  abort
% 61.03/60.75  
% 61.03/60.75  *** ECLiPSe fatal error: Out of swap space in heap allocation
% 61.03/60.80  type error in type error in is_a_module(_95 : r1(_95, _95) = _41196)
% 61.03/60.80  abort
% 70.16/70.20  
% 70.16/70.20  *** ECLiPSe fatal error: Out of swap space in heap allocation
% 70.16/70.26  type error in type error in is_a_module(_95 : r1(_95, _95) = _41196)
% 70.16/70.26  abort
% 79.55/79.72  
% 79.55/79.72  *** ECLiPSe fatal error: Out of swap space in heap allocation
% 79.60/79.77  type error in type error in is_a_module(_95 : r1(_95, _95) = _41196)
% 79.60/79.77  abort
% 88.84/89.10  
% 88.84/89.10  *** ECLiPSe fatal error: Out of swap space in heap allocation
% 88.84/89.12  type error in type error in is_a_module(_1288 : r1(_1288, _1288) = _284621)
% 88.84/89.12  abort
% 98.50/98.86  
% 98.50/98.86  *** ECLiPSe fatal error: Out of swap space in heap allocation
% 98.60/98.91  type error in type error in is_a_module(_93 : r1(_93, _93) = _41194)
% 98.60/98.91  abort
% 140.23/138.23  
% 140.23/138.23  *** ECLiPSe fatal error: Out of swap space in heap allocation
% 140.23/138.28  type error in type error in is_a_module(_85 : r1(_85, _85) = _41186)
% 140.23/138.28  abort
% 140.44/138.56  Timeout
%------------------------------------------------------------------------------