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