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