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