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