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