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