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