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