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