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