(1,25) (2,27) (4,30) (5,24) (6,28) (7,21) (8,29) (9,20) (10,22) (11,19) (12,26) (13,18) (14,16) (15,17) 
nodes: 14101  conflicts: 14  modelTime: 1191  solveTime: 46453  totalTime: 47653  modelSize: 41292  readTime: 9 size: 14