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