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