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