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