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