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