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