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