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