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