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