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