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