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