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