(1,27) (2,24) (3,26) (5,19) (6,18) (7,28) (8,20) (9,16) (10,22) (11,30) (12,17) (13,25) (14,29) (15,21) 
nodes: 3569  conflicts: 31  modelTime: 653  solveTime: 4940  totalTime: 5598  modelSize: 41292  readTime: 5 size: 14