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