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