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