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