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