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