(1,16) (2,29) (3,26) (4,18) (5,28) (6,23) (7,20) (8,17) (9,21) (10,25) (11,27) (13,30) (14,19) (15,24) 
nodes: 1158  conflicts: 46  modelTime: 656  solveTime: 1492  totalTime: 2154  modelSize: 41292  readTime: 6 size: 14