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