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