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