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