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