(1,25) (2,9) (3,26) (4,17) (5,12) (6,14) (7,27) (8,30) (10,23) (11,28) (13,16) (15,24) (18,22) (19,29) (20,21) 
nodes: 52129  conflicts: 75  modelTime: 1722  solveTime: 229386  totalTime: 231128  modelSize: 72264  readTime: 20 size: 15