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