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