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