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