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