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