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