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