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