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