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