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