(1,19) (2,3) (4,26) (5,25) (6,15) (7,17) (8,30) (9,20) (10,22) (11,21) (12,29) (13,27) (14,16) (18,28) (23,24) 
nodes: 15501  conflicts: 3  modelTime: 939  solveTime: 73681  totalTime: 74627  modelSize: 72338  readTime: 7 size: 15