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