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