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