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