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