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