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