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