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