(1,7) (2,24) (3,14) (4,29) (5,22) (6,11) (8,17) (9,16) (10,27) (12,30) (13,20) (18,21) (19,28) 
nodes: 1007  conflicts: 112  modelTime: 935  solveTime: 3531  totalTime: 4478  modelSize: 72266  readTime: 12 size: 13