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