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