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