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