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