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