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