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