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