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