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