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