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