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