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