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