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