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