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