(1,25) (2,18) (3,26) (5,22) (6,28) (7,27) (8,29) (9,24) (10,17) (11,21) (12,30) (13,19) (14,16) (15,23) 
nodes: 14713  conflicts: 22  modelTime: 1181  solveTime: 49559  totalTime: 50749  modelSize: 41292  readTime: 9 size: 14