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