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