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