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