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