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