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