(1,22) (2,27) (3,24) (4,15) (5,30) (6,9) (7,20) (8,12) (10,26) (11,16) (13,18) (14,29) (17,23) (19,25) (21,28) 
nodes: 18013  conflicts: 35  modelTime: 954  solveTime: 75800  totalTime: 76765  modelSize: 72273  readTime: 11 size: 15