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