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