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