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