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