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