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