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