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