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