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