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