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