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