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