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