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