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