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