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