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