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