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