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