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