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