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