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