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