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