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