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