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