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