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