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