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