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