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