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