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