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