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