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