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