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