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