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