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