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