(1,19) (2,26) (3,22) (4,30) (5,21) (6,20) (7,16) (8,28) (10,17) (11,23) (12,24) (13,29) (14,27) (15,18) 
nodes: 13215  conflicts: 14  modelTime: 1191  solveTime: 47099  totalTime: 48300  modelSize: 41292  readTime: 10 size: 14