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