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