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