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