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