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