(1,24) (2,22) (3,28) (4,8) (5,14) (6,20) (7,18) (9,26) (10,23) (11,30) (12,19) (13,16) (15,29) (17,27) (21,25) 
nodes: 10220  conflicts: 55  modelTime: 947  solveTime: 28386  totalTime: 29343  modelSize: 72266  readTime: 10 size: 15