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