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