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