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