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