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