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