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