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