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