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