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