(1,23) (2,12) (3,10) (4,29) (5,11) (6,16) (7,25) (8,22) (9,15) (13,26) (14,19) (17,30) (18,27) (20,24) (21,28) 
nodes: 50002  conflicts: 37  modelTime: 1712  solveTime: 202230  totalTime: 203963  modelSize: 72277  readTime: 20 size: 15