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