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