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