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