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