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