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