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