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