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