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