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