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