(1,25) (2,26) (4,27) (5,20) (6,28) (8,16) (9,30) (10,18) (11,29) (12,24) (13,17) (14,21) (15,23) 
nodes: 15196  conflicts: 34  modelTime: 657  solveTime: 25289  totalTime: 25951  modelSize: 41292  readTime: 5 size: 13