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