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