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