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