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