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