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