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