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