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