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