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