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