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