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