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