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