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