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