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