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