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