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