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