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