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