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