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