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