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