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