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