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