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