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