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