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