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