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