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