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