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