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